A new modeling approach for IMA platform early validation. - Michaël Lafaye; David Faura; Marc Gatti; Laurent Pautet (MOMPES, 2010)

Model driven resource usage simulation for critical embedded systems. - Michaël Lafaye; Laurent Pautet; Etienne Borde; Marc Gatti; David Faura (DATE, 2012)

Modélisation de plate-forme avionique pour exploration de performance en avance de phase. - Michaël Lafaye (2012)