AADL Execution Semantics Transformation for Formal Verification. - Thomas Abdoul; Joël Champeau; Philippe Dhaussy; Pierre Yves Pillain; Jean-Charles Roger (ICECCS, 2008)

Reducing State Explosion with Context Modeling for Model-Checking. - Philippe Dhaussy; Jean-Charles Roger; Frédéric Boniol (HASE, 2011)

Improving Model Checking with Context Modelling. - Philippe Dhaussy; Frédéric Boniol; Jean-Charles Roger; Luka Leroux (Adv. Softw. Eng., 2012)

Formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués. - Philippe Dhaussy; Frédéric Boniol; Jean-Charles Roger; Amine Raji; Yves Le Traon; Benoit Baudry (Tech. Sci. Informatiques, 2012)