Documentation
Français (FR)

Anglais (EN)

Matthieu Roy

6

Documents

Publications

jeremie-guiochet

	SMOF - A Safety MOnitoring Framework for Autonomous Systems Mathilde Machin , Jérémie Guiochet , Hélène Waeselynck , Jean-Paul Blanquart , Matthieu Roy IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2018, 48 (5), pp.702-715. ⟨10.1109/TSMC.2016.2633291⟩ Article dans une revue hal-01394139v1

	Model-Checking and Game theory for Synthesis of Safety Rules Mathilde Machin , Fanny Dufossé , Jérémie Guiochet , David Powell , Matthieu Roy 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (HASE), Jan 2015, Daytona Beach Shores, United States. pp.36-43, ⟨10.1109/HASE.2015.15⟩ Communication dans un congrès hal-01164981v1
	Model-checking and Game Theory for the Synthesis of Safety Rules Mathilde Machin , Fanny Dufossé , Jérémie Guiochet , David Powell , Matthieu Roy IEEE International Symposium on High Assurance Systems Engineering (HASE 2015), Jan 2015, Daytona Beach, United States Communication dans un congrès hal-01207657v1
	AMORES: an architecture for mobiquitous resilient systems Christian Artigues , Yves Deswarte , Jérémie Guiochet , Marie-José Huguet , Marc-Olivier Killijian ARMOR'12, Apr 2012, Sibiu, Romania. Article N°7 (7p.), ⟨10.1145/2222436.2222443⟩ Communication dans un congrès hal-00736020v1
	Safety Trigger Conditions for Critical Autonomous Systems Amina Mekki-Mokhtar , Jean-Paul Blanquart , Jérémie Guiochet , David Powell , Matthieu Roy The 18th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2012), Nov 2012, Niigata, Japan. 10p., ⟨10.1109/PRDC.2012.22⟩ Communication dans un congrès hal-01282203v1
	Elicitation of Executable Safety Rules for Critical Autonomous Systems Amina Mekki-Mokhtar , Jean-Paul Blanquart , Jérémie Guiochet , David Powell , Matthieu Roy Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France. 10p Communication dans un congrès hal-01282237v1