Mathilde Machin

According to our database, Mathilde Machin authored at least 7 papers between 2014 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Modeling Functional Allocation in AltaRica to Support MBSE/MBSA Consistency.

Mathilde Machin, Estelle Saez, Pierre Virelizier, Xavier de Bossoreille

Proceedings of the Model-Based Safety and Assessment - 6th International Symposium, 2019

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

Autonomous Driving System : Model Based Safety Analysis.

Mohamed Tlig, Mathilde Machin, Romain Kerneis, Emmanuel Arbaretier, Linda Zhao, Florent Meurville, Jean Van Frank

Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2018

2017

Safety-critical advanced robots: A survey.

Jérémie Guiochet, Mathilde Machin, Hélène Waeselynck

Robotics Auton. Syst., 2017

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

PhD thesis, 2015

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

Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

2014

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

Proceedings of the Computer Safety, Reliability, and Security, 2014