{"id":22,"date":"2024-11-25T17:24:22","date_gmt":"2024-11-25T16:24:22","guid":{"rendered":"https:\/\/wp.laas.fr\/smof\/?page_id=22"},"modified":"2024-11-25T17:24:22","modified_gmt":"2024-11-25T16:24:22","slug":"publications","status":"publish","type":"page","link":"https:\/\/wp.laas.fr\/smof\/publications\/","title":{"rendered":"Publications"},"content":{"rendered":"\n

Safety Monitoring For Autonomous Systems: Interactive Elicitation of Safety Rules<\/a>, Lola Masson, PhD Thesis, Universit\u00e9 de Toulouse 3, France, 2019<\/p>\n\n\n\n

SMOF – A Safety MOnitoring Framework for Autonomous Systems<\/a>. Mathilde Machin, J\u00e9r\u00e9mie Guiochet, H\u00e9l\u00e8ne 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]<\/a> Journal <\/a> <\/a>  <\/p>\n\n\n\n

Synthesis of Safety Rules for Active Monitoring: Application to an Airport Light Measurement Robot<\/a> Lola Masson, J\u00e9r\u00e9mie Guiochetn H\u00e9l\u00e8ne Waeselynck, Augustin Desfosses, Marc Laval In IEEE Robotic Computing, Taichung, Ta\u00efwan, 2017  <\/p>\n\n\n\n

Synth\u00e8se de r\u00e8gles de s\u00e9curit\u00e9 pour des syst\u00e8mes autonomes critiques<\/a>, Mathilde Machin, Phd Thesis (in french), Universit\u00e9 de Toulouse 3,  France, 2015<\/p>\n\n\n\n

Model-checking and game theory for the synthesis of safety rules<\/a>, M. Machin, F. Dufoss\u00e9, J. Guiochet, D. Powell, M. Roy, H.Waeselynck, International Symposium on High Assurance Systems Engineering (IEEE HASE), Daytona Beach, USA, 2015<\/p>\n\n\n\n

Specifying safety monitors for autonomous systems using model-checking<\/a>, M. Machin, F. Dufoss\u00e9, J.-P. Banquart, J. Guiochet, D. Powell, H. Waeselynck, International conference on computer safety, reliability & security (SafeComp)Florence, Italy, 2014  <\/p>\n\n\n\n

Safety trigger conditions for critical autonomous systems<\/a> A. Mekki-Mokhtar, J.-P. Blanquart, J. Guiochet, D. Powell, M. RoyPacific Rim International Symposium on Dependable Computing (PRDC) Niigata, Japan, 2012  <\/p>\n\n\n\n

Elicitation of Executable Safety Rules for Critical Autonomous Systems<\/a> A.MEKKI-MOKHTAR, J.P.BLANQUART, J.GUIOCHET, D.POWELL, M.ROY, Embedded Real Time Software and Systems (ERTS) Toulouse, France, 2012<\/p>\n","protected":false},"excerpt":{"rendered":"

Safety Monitoring For Autonomous Systems: Interactive Elicitation of Safety Rules, Lola Masson, PhD Thesis, Universit\u00e9 de Toulouse 3, France, 2019 SMOF – A Safety MOnitoring Framework for Autonomous Systems. Mathilde Machin, J\u00e9r\u00e9mie Guiochet, H\u00e9l\u00e8ne 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. […]<\/p>\n","protected":false},"author":51,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-22","page","type-page","status-publish","hentry","post"],"_links":{"self":[{"href":"https:\/\/wp.laas.fr\/smof\/wp-json\/wp\/v2\/pages\/22","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/wp.laas.fr\/smof\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/wp.laas.fr\/smof\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/wp.laas.fr\/smof\/wp-json\/wp\/v2\/users\/51"}],"replies":[{"embeddable":true,"href":"https:\/\/wp.laas.fr\/smof\/wp-json\/wp\/v2\/comments?post=22"}],"version-history":[{"count":1,"href":"https:\/\/wp.laas.fr\/smof\/wp-json\/wp\/v2\/pages\/22\/revisions"}],"predecessor-version":[{"id":23,"href":"https:\/\/wp.laas.fr\/smof\/wp-json\/wp\/v2\/pages\/22\/revisions\/23"}],"wp:attachment":[{"href":"https:\/\/wp.laas.fr\/smof\/wp-json\/wp\/v2\/media?parent=22"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}