Alexandre Cortier

According to our database, Alexandre Cortier authored at least 5 papers between 2006 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010

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

Proceedings of the Synthesis of Embedded Software, 2010

2009

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

Proceedings of the Proceedings FM-09 Workshop on Formal Methods for Aerospace, 2009

2007

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

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

Proceedings of the Human-Computer Interaction. Interaction Design and Usability, 2007

2006

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

Proceedings of the Leveraging Applications of Formal Methods, 2006