Mathilde Machin

Publications

306

Citations

H-Index

2015

Active since

Affiliations

Laboratoire d'Analyse et d'Architecture des Systèmes(Current)

Centre National de la Recherche Scientifique

Université Fédérale de Toulouse Midi-Pyrénées

Airbus (France)

Mathilde Machin is an author at Laboratoire d'Analyse et d'Architecture des Systèmes specializing in systems engineering, engineering, and automation.

Top concepts

AutomationEngineeringSystems EngineeringRoboticsSafety ScienceComputer ScienceAutonomous SystemsVerificationFormal MethodsSafety Engineering

Publications per year

2015–2018

Publications

Safety-critical advanced robots: A survey

Jérémie Guiochet, Mathilde Machin, Hélène Waeselynck · Robotics and Autonomous Systems · 2017 · 210 citations · Full text

Engineering, Automation, Intelligent Robotics +6

SMOF: A Safety Monitoring Framework for Autonomous Systems

Mathilde Machin, Jérémie Guiochet, Hélène Waeselynck et al. · IEEE Transactions on Systems Man and Cybernetics Systems · 2016 · 65 citations · Full text

Engineering, Verification, Safety Science +16

Autonomous Driving System : Model Based Safety Analysis

Mohamed Tlig, Mathilde Machin, Romain Kerneis et al. · 2018 · 17 citations · Full text

Safety Analysis Methodology, Validation Processes, Engineering +13

Model-Checking and Game theory for Synthesis of Safety Rules

Mathilde Machin, Fanny Dufossé, Jérémie Guiochet et al. · 2015 · 14 citations · Full text

Rows per page

1–4 of 4