Publications de
Neeraj Singh, Yamine Ait Ameur, Marc Pantel, Arnaud Dieumegard, Eric Jenn
Stepwise Formal Modeling and Verification of Self-Adaptive Systems with Event-B. The Automatic Rover Protection Case Study (regular paper)
Dans : IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2016), Dubaï, Emirats Arabes Unis, 06/11/16-08/11/16, IEEE Computer Society, p. 43-52, novembre 2016.
Arnaud Dieumegard, Andres Toom, Marc Pantel
Block Library Driven Translation Validation for Dataflow Models in Safety Critical Systems (regular paper)
Dans : International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2016), Pise, Italie, 26/09/16-28/09/16, Vol. 9933, Springer, LNCS, p. 117-132, septembre 2016.
Arnaud Dieumegard, Pierre-Loïc Garoche, Temesghen Kahsai, Alice Taillar, Xavier Thirioux
Compilation of synchronous observers as code contracts (regular paper)
Dans : Annual ACM Symposium on Applied Computing (SAC 2015), Salamanca, Spain, 13/04/15-17/04/15, ACM : Association for Computing Machinery, p. 1933-1939, avril 2015.
Accès : https://doi.org/10.1145/2695664.2695819 – https://oatao.univ-toulouse.fr/22652/
BibTeXArnaud Dieumegard, Marc Pantel, Guillaume Babin, Martin Carton
Tool Paper: A Lightweight Formal Encoding of a Constraint Language for DSMLs (regular paper)
Dans : OCL and Textual Modeling Workshop at the MODELS conference (OCL-TM 2015), Ottawa, 27/09/15-02/10/15, Vol. 1512, Achim D. Brucker, Marina Egea, Martin Gogolla, Frédéric Tuong (Eds.), CEUR-WS : Workshop proceedings, p. 89-104, septembre 2015.
Accès : http://ceur-ws.org/Vol-1512/paper08.pdf – https://oatao.univ-toulouse.fr/15449/
BibTeXArnaud Dieumegard, Andres Toom, Marc Pantel
A software product line approach for semantic specification of block libraries in dataflow languages (regular paper)
Dans : Software Product Line Conference, Florence, 15/09/14-19/09/14, ACM : Association for Computing Machinery, (support électronique), septembre 2014.
Andres Toom, Arnaud Dieumegard, Marc Pantel
Specifying and Verifying Model Transformations for Certified Systems using Transformation Models (regular paper)
Dans : European Conference on Embedded Real Time Software and Systems (ERTS 2014), Toulouse, 03/02/14-05/02/14, SIA/3AF/SEE, (en ligne), février 2014.
Accès : http://www.erts2014.org/Site/0R4UXE94/Fichier/erts2014_8D1.pdf
BibTeXArnaud Dieumegard, Andres Toom, Marc Pantel
Formal specification of block libraries in dataflow languages (regular paper)
Dans : European Conference on Embedded Real Time Software and Systems (ERTS 2014), Toulouse, 03/02/14-05/02/14, SIA/3AF/SEE, (en ligne), février 2014.
Accès : http://www.erts2014.org/Site/0R4UXE94/Fichier/erts2014_6D4.pdf
BibTeXAndres Toom, Arnaud Dieumegard, Marc Pantel
Specification and Validation of Model Transformations for Certified Systems Development (regular paper)
Dans : Formalisation des Activités Concurrentes (FAC 2012), Toulouse, France, 04/04/12-05/04/12, IRIT, (en ligne), avril 2012.
Accès : http://seminaire-verif.enseeiht.fr/FAC/2012/Papiers/I-6.pdf
BibTeXArnaud Dieumegard, Marc Pantel
Vérification dun générateur de code par génération dannotations (short paper)
Dans : Conférence en Ingénierie du Logiciel (CIEL 2012), Rennes, France, 19/06/12-21/06/12, IRISA, (en ligne), 2012.
Accès : http://gpl2012.irisa.fr/sites/default/files/CIEL2012-Dieumegard-paper34.pdf
BibTeXTimothy Wang, Arnaud Dieumegard, Eric Feron, Romain Jobredeaux, Marc Pantel, Pierre-Loïc Garoche
Autocoding of Computer-controlled Systems with Control Semantics for Formal Verification (regular paper)
Dans : Safe and Secure Systems and Software Symposium (S5 2012), Fairborn, Ohio, USA, 12/06/12-14/06/12, UNKNOWN, p. 0-0, 2012.
Arnaud Dieumegard, Andres Toom, Marc Pantel
Model-based formal specification of a DSL library for a qualified code generator (regular paper)
Dans : Workshop on OCL and Textual Modelling, Innsbruk, Austria, 30/09/12-05/10/12, ACM : Association for Computing Machinery, p. 61-62, 2012.
Benoit Combemale, Xavier Crégut, Arnaud Dieumegard, Marc Pantel, Faiez Zalila
MDE through the Formal Verification of Process Models (regular paper)
Dans : Educators’ Symposium@MODELS 2011 – Software Modeling in Education, Wellington, New Zealand, 18/10/11, Vol. 52, Electronic Communications of the EASST, (en ligne), 2012.
Résumé Accès : http://journal.ub.tu-berlin.de/eceasst/article/view/749
BibTeXArnaud Dieumegard, Marc Pantel
Vérification d’un générateur de code par génération d’annotations (regular paper)
Dans : Formalisation des Activités Concurrentes (FAC 2011), Toulouse, France, 06/04/11-07/04/11, LAAS, (en ligne), avril 2011.
Accès : http://seminaire-verif.enseeiht.fr/FAC/2011/Papiers/GeneCode.pdf
BibTeX
Formal Guaranties for Safety Critical Code Generation : the Case of Highly Variable Languages
Thèse de doctorat, Institut National Polytechnique de Toulouse, janvier 2015.