Specifying Safety Monitors for Autonomous Systems Using Model-Checking. - Mathilde Machin; Fanny Dufossé; Jean-Paul Blanquart; Jérémie Guiochet; David Powell; Hélène Waeselynck (SAFECOMP, 2014)

Model-Checking and Game theory for Synthesis of Safety Rules. - Mathilde Machin; Fanny Dufossé; Jérémie Guiochet; David Powell; Matthieu Roy; Hélène Waeselynck (HASE, 2015)

Synthèse de règles de sécurité pour des systèmes autonomes critiques. (Synthesis of safety rules for critical autonomous systems). - Mathilde Machin (2015)

Safety-critical advanced robots: A survey. - Jérémie Guiochet; Mathilde Machin; Hélène Waeselynck (Robotics Auton. Syst., 2017)

Autonomous Driving System : Model Based Safety Analysis. - Mohamed Tlig; Mathilde Machin; Romain Kerneis; Emmanuel Arbaretier; Linda Zhao; Florent Meurville; Jean Van Frank (DSN Workshops, 2018)

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 (IEEE Trans. Syst. Man Cybern. Syst., 2018)

Modeling Functional Allocation in AltaRica to Support MBSE/MBSA Consistency. - Mathilde Machin; Estelle Saez; Pierre Virelizier; Xavier de Bossoreille (IMBSA, 2019)