Publications of
Huafeng Yu, Yue Ma, Yann Glouche, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Paul Le Guernic, Andres Toom, Odile Laurent
System-level Co-simulation of Integrated Avionics Using Polychrony (regular paper)
In : ACM Symposium on Applied Computing (SAC 2011), TaiChung, Taiwan, 21/03/11-24/03/11, ACM : Association for Computing Machinery, pp. 354-359, March 2011.
Loïc Besnard, Thierry Gautier, Julien Ouy, Jean-Pierre Talpin, Jean-Paul Bodeveix, Alexandre Cortier, Marc Pantel, Martin Strecker, Gérald Garcia, Ana-Helena Rugina, Jérémy Buisson, Fabien Dagnat
Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software (regular paper)
In : Workshop on Formal Methods for Aerospace (FMA 2009), Eindhoven, 03/11/09, Vol. 20, Manuela Bujorianu, Michael Fisher (Eds.), Electronic Proceedings in Theoretical Computer Science (EPTCS), pp. 80-87, March 2010.