Safety Monitoring For Autonomous Systems: Interactive Elicitation of Safety Rules, Lola Masson, PhD Thesis, Université de Toulouse 3, France, 2019
SMOF – A Safety MOnitoring Framework for Autonomous Systems. Mathilde Machin, Jérémie Guiochet, Hélène Waeselynck, Jean-Paul Blanquart, Matthieu Roy, Lola Masson, In IEEE Transactions on Systems, Man, and Cybernetics: Systems, vol. 48, no 5, pp. 702-715, may 2018. IEEE. [doi] Journal
Synthesis of Safety Rules for Active Monitoring: Application to an Airport Light Measurement Robot Lola Masson, Jérémie Guiochetn Hélène Waeselynck, Augustin Desfosses, Marc Laval In IEEE Robotic Computing, Taichung, Taïwan, 2017
Synthèse de règles de sécurité pour des systèmes autonomes critiques, Mathilde Machin, Phd Thesis (in french), Université de Toulouse 3, France, 2015
Model-checking and game theory for the synthesis of safety rules, M. Machin, F. Dufossé, J. Guiochet, D. Powell, M. Roy, H.Waeselynck, International Symposium on High Assurance Systems Engineering (IEEE HASE), Daytona Beach, USA, 2015
Specifying safety monitors for autonomous systems using model-checking, M. Machin, F. Dufossé, J.-P. Banquart, J. Guiochet, D. Powell, H. Waeselynck, International conference on computer safety, reliability & security (SafeComp)Florence, Italy, 2014
Safety trigger conditions for critical autonomous systems A. Mekki-Mokhtar, J.-P. Blanquart, J. Guiochet, D. Powell, M. RoyPacific Rim International Symposium on Dependable Computing (PRDC) Niigata, Japan, 2012
Elicitation of Executable Safety Rules for Critical Autonomous Systems A.MEKKI-MOKHTAR, J.P.BLANQUART, J.GUIOCHET, D.POWELL, M.ROY, Embedded Real Time Software and Systems (ERTS) Toulouse, France, 2012