Alexandre Cortier

Publication Activity (10 Years)

Years Active: 2006-2010
Publications (10 Years): 0

Publications

Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, Loïc Besnard, Alexandre Cortier
Modular Interpretation of Heterogeneous Modeling Diagrams into Synchronous Equations Using Static Single Assignment. ACSD (2010)
Loïc Besnard, Thierry Gautier, Julien Ouy, Jean-Pierre Talpin, Jean-Paul Bodeveix, Alexandre Cortier, Marc Pantel, Martin Strecker, G. Garcia, A. Rugina, Jérémy Buisson, Fabien Dagnat
Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software FMA (2009)
Alexandre Cortier, Bruno d'Ausbourg, Yamine Aït Ameur
Formal Validation of Java/Swing User Interfaces with the Event B Method. HCI (1) (2007)
Yamine Aït Ameur, Remi Delmas, Alexandre Cortier, Virginie Wiels
Formal Modelling of Avionics Systems. An Approach Based on Category Theory and the EXPRESS Modelling Language. ISoLA (2006)