Alexandre Cortier

Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software

Martin Strecker, Jean-Paul Bodeveix, Fabien Dagnat, 2009, FMA.

Modular Interpretation of Heterogeneous Modeling Diagrams into Synchronous Equations Using Static Single Assignment

Thierry Gautier, Jean-Pierre Talpin, Loïc Besnard, 2010, 2010 10th International Conference on Application of Concurrency to System Design.

Innovative Frac Stimulation of Low-Perm Oil Zone in High-Deviation Well Offshore Congo

Billy W. McDaniel, Philippe Quero, Alexandre Cortier, 2008 .

Formal Validation of Java/Swing User Interfaces with the Event B Method

Yamine Aït Ameur, Bruno d'Ausbourg, Alexandre Cortier, 2007, HCI.

Synoptic: A Domain-Specific Modeling Language for Space On-board Application Software

Martin Strecker, Mamoun Filali, Fabien Dagnat, 2010, Synthesis of Embedded Software.

Formal Modelling of Avionics Systems. An Approach Based on Category Theory and the EXPRESS Modelling Language

Yamine Aït Ameur, Virginie Wiels, Rémi Delmas, 2006, Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).

Requirements Baseline for Integrated Modular Avionics for Space Separation Kernel Qualification

Mark Hann, Julien Galizzi, Alexandre Cortier, 2015 .

Simulation of JUICE Science Data Flow :Event Driven Models for Rapid-prototyping

Eric Ecale, Alexandre Cortier, 2018 .

System Optimization: A Use Case in the Space Domain

Mihal Brumbulli, Emmanuel Gaudin, Alain Rossignol, 2018 .

Language for Space On-board Application

Martin Strecker, Jean-Pierre Talpin, Marc Pantel, 2010 .