Michel Leeman

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

Matthieu Roy, Karama Kanoun, Jean-Charles Fabre, 2013, EWDC.

Modeling automotive safety mechanisms: A Markovian approach

Antoine Rauzy, Michel Leeman, Abraham Cherfi, 2014, Reliab. Eng. Syst. Saf..

Independence and Non-interference: Two Cardinal Concepts to Develop EE Architectures Hosting Safety-Critical Systems

Michel Leeman, Paul Degoul, Pascal Chaussis, 2009 .

Calculation of ISO 26262 Architectural Metrics from Fault Trees

Antoine Rauzy, Michel Leeman, Abraham Cherfi, 2015 .

From Safety Analyses to Experimental Validation of Automotive Embedded Systems

Matthieu Roy, Karama Kanoun, Jean-Charles Fabre, 2014, 2014 IEEE 20th Pacific Rim International Symposium on Dependable Computing.

Method for implementation of a function of a motor vehicle conforms to the standard levels asil corresponding system and motor vehicle comprising such a system

Michel Leeman, Paul Degoul, 2015 .

A cross-domain comparison of software development assurance standards

Philippe Baufreton, Jean-Louis Boulanger, Philippe Quéré, 2012 .

AltaRica 3 Based Models for ISO 26262 Automotive Safety Mechanisms

Antoine Rauzy, Michel Leeman, Abraham Cherfi, 2014, IMBSA.

Emergence of a single solid chiral state from a nearly racemic amino acid derivative.

Michel Leeman, Elias Vlieg, Hugo Meekes, 2008, Journal of the American Chemical Society.