Publications of
Andres Toom, Arnaud Dieumegard, Marc Pantel
Specification and Validation of Model Transformations for Certified Systems Development (regular paper)
In : Formalisation des Activités Concurrentes (FAC 2012), Toulouse, France, 04/04/12-05/04/12, IRIT, (on line), April 2012.
URL : http://seminaire-verif.enseeiht.fr/FAC/2012/Papiers/I-6.pdf
BibTeXArnaud Dieumegard, Andres Toom, Marc Pantel
Model-based formal specification of a DSL library for a qualified code generator (regular paper)
In : Workshop on OCL and Textual Modelling, Innsbruk, Austria, 30/09/12-05/10/12, ACM : Association for Computing Machinery, pp. 61-62, 2012.
Matteo Bordin, Tonu Naks, Andres Toom, Marc Pantel
Compilation of Heterogeneous Models: Motivations and Challenges (regular paper)
In : European Conference on Embedded Real Time Software and Systems (ERTS 2012), Toulouse, France, 01/02/12-03/02/12, SIA/3AF/SEE, (electronic medium), February 2012.
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.
Andres Toom, Nassima Izerrouken, Marc Pantel, Olivier Ssi Yan Kai, Tonu Naks
Towards Reliable Code Generation with an Open Tool: Evolutions of the GeneAuto Toolset (regular paper)
In : European Conference on Embedded Real Time Software and Systems (ERTS 2010), Toulouse, 19/05/10-21/05/10, SIA/3AF/SEE, (electronic medium), May 2010.
Andres Toom, Tonu Naks, Marc Pantel, Marcel Gandriau, Indra Wati
GeneAuto: An Automatic Code Generator for a safe subset of SimuLink/StateFlow
In : European Congress on Embedded Real-Time Software (ERTS 2008), Toulouse, 29/01/08-01/02/08, Société des Ingénieurs de l’Automobile, (electronic medium), 2008.