Formal Modelling of Avionics Systems. An Approach Based on Category Theory and the EXPRESS Modelling Language. - Yamine Aït Ameur; Remi Delmas; Alexandre Cortier; Virginie Wiels (ISoLA, 2006)

Formal Validation of Java/Swing User Interfaces with the Event B Method. - Alexandre Cortier; Bruno d'Ausbourg; Yamine Aït Ameur (HCI (1), 2007)

Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software - Loïc Besnard; Thierry Gautier; Julien Ouy; Jean-Pierre Talpin; Jean-Paul Bodeveix; Alexandre Cortier; Marc Pantel; Martin Strecker; Gérald Garcia; Ana-Elena Rugina; Jérémy Buisson; Fabien Dagnat (FMA, 2009)

Synoptic: A Domain-Specific Modeling Language for Space On-board Application Software. - Alexandre Cortier; Loïc Besnard; Jean-Paul Bodeveix; Jérémy Buisson; Fabien Dagnat; Mamoun Filali; Gérald Garcia; Julien Ouy; Marc Pantel; Ana-Elena Rugina; Martin Strecker; Jean-Pierre Talpin (Synthesis of Embedded Software, 2010)

Modular Interpretation of Heterogeneous Modeling Diagrams into Synchronous Equations Using Static Single Assignment. - Jean-Pierre Talpin; Julien Ouy; Thierry Gautier; Loïc Besnard; Alexandre Cortier (ACSD, 2010)