Michel Leeman

According to our database, Michel Leeman authored at least 4 papers between 2013 and 2014.

Collaborative distances:

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

2014

Modeling automotive safety mechanisms: A Markovian approach.

Abraham Cherfi, Michel Leeman, Florent Meurville, Antoine Rauzy

Reliab. Eng. Syst. Saf., 2014

From Safety Analyses to Experimental Validation of Automotive Embedded Systems.

Ludovic Pintard, Jean-Charles Fabre, Michel Leeman, Karama Kanoun, Matthieu Roy

Proceedings of the 20th IEEE Pacific Rim International Symposium on Dependable Computing, 2014

AltaRica 3 Based Models for ISO 26262 Automotive Safety Mechanisms.

Abraham Cherfi, Antoine Rauzy, Michel Leeman

Proceedings of the Model-Based Safety and Assessment - 4th International Symposium, 2014

2013

Fault Injection in the Automotive Standard ISO 26262: An Initial Approach.

Ludovic Pintard, Jean-Charles Fabre, Karama Kanoun, Michel Leeman, Matthieu Roy

Proceedings of the Dependable Computing - 14th European Workshop, 2013