Mathilde Machin

Publication Activity (10 Years)

Years Active: 2014-2019
Publications (10 Years): 5

Top Topics

Autonomous Systems

Safety Analysis

Linear Temporal Logic

Top Venues

Robotics Auton. Syst.

Paul Sabatier University, Toulouse, France (PHD)

Education History

Paul Sabatier University, Toulouse, France

PHD

Publications

Mathilde Machin, Estelle Saez, Pierre Virelizier, Xavier de Bossoreille
Modeling Functional Allocation in AltaRica to Support MBSE/MBSA Consistency. IMBSA (2019)
Mathilde Machin, Jérémie Guiochet, Hélène Waeselynck, Jean-Paul Blanquart, Matthieu Roy, Lola Masson
SMOF: A Safety Monitoring Framework for Autonomous Systems. IEEE Trans. Syst. Man Cybern. Syst. 48 (5) (2018)
Mohamed Tlig, Mathilde Machin, Romain Kerneis, Emmanuel Arbaretier, Linda Zhao, Florent Meurville, Jean Van Frank
Autonomous Driving System : Model Based Safety Analysis. DSN Workshops (2018)
Jérémie Guiochet, Mathilde Machin, Hélène Waeselynck
Safety-critical advanced robots: A survey. Robotics Auton. Syst. 94 (2017)
Mathilde Machin, Fanny Dufossé, Jérémie Guiochet, David Powell, Matthieu Roy, Hélène Waeselynck
Model-Checking and Game theory for Synthesis of Safety Rules. HASE (2015)
Mathilde Machin, Fanny Dufossé, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Hélène Waeselynck
Specifying Safety Monitors for Autonomous Systems Using Model-Checking. SAFECOMP (2014)