Mathilde Machin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2014–2018
Best venue rank
A
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | DSN | Autonomous Driving System : Model Based Safety Analysis. | Mohamed Tlig, Mathilde Machin, Romain Kerneis, Emmanuel Arbaretier, Linda Zhao, Florent Meurville, Jean Van Frank |
| 2014 | SAFECOMP | Specifying Safety Monitors for Autonomous Systems Using Model-Checking. | Mathilde Machin, Fanny Dufoss, Jean-Paul Blanquart, Jrmie Guiochet, David Powell, Hlne Waeselynck |