Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications. - Gilles Lasnier; Bechir Zalila; Laurent Pautet; Jérôme Hugues (Ada-Europe, 2009)

Architectural and Behavioral Modeling with AADL for Fault Tolerant Embedded Systems. - Gilles Lasnier; Thomas Robert 003; Laurent Pautet; Fabrice Kordon (ISORC, 2010)

Behavioral Modular Description of Fault Tolerant Distributed Systems with AADL Behavioral Annex. - Gilles Lasnier; Thomas Robert 003; Laurent Pautet; Fabrice Kordon (NOTERE, 2010)

An Implementation of the Behavior Annex in the AADL-Toolset Osate2. - Gilles Lasnier; Laurent Pautet; Jérôme Hugues; Lutz Wrage (ICECCS, 2011)

A Model-Based Transformation Process to Validate and Implement High-Integrity Systems. - Gilles Lasnier; Laurent Pautet; Jérôme Hugues (ISORC, 2011)

Une approche intégrée pour la validation et la génération de systèmes critiques par raffinement incrémental de modèles architecturaux. (An integrated approach to validate and generate high-integrity systems by incremental refinement of architectural models). - Gilles Lasnier (2012)

Distributed Simulation of Heterogeneous and Real-Time Systems. - Gilles Lasnier; Janette Cardoso; Pierre Siron; Claire Pagetti; Patricia Derler (DS-RT, 2013)