Publications of
Benoit Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux
Essay on Semantics Definition in MDE. An Instrumented Approach for Model Verification.
In : Journal of Software (JSW), Academy Publisher, Finland, Vol. 4 N. 6, pp. 943-958, November 2009.
Abstract URL : http://www.academypublisher.com/ojs/index.php/jsw/article/view/0409943958
BibTeXBenoit Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux, François Vernadat
A Property-Driven Approach to Formal Verification of Process Models
In : Enterprise Information Systems, Taylor & Francis Online, Special issue LNBIP 12, ICEIS 2007, Revised Selected Papers, Vol. 12, pp. 286-300, 2009.
Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux
Abstract Interpretation-based Static Safety for Actors
In : Journal of Software (JSW), Academy Publisher, Finland, Vol. 2 N. 3, pp. 87-98, September 2007.
Eric Feron, Guillaume Brat, Pierre-Loïc Garoche, Pete Manolios, Marc Pantel
Formal methods for aerospace applications (short paper)
In : Formal Methods for Computer Assisted Design (FMCAD 2012), Cambridge, 22/10/12-25/10/12 (invited speaker), IEEE : Institute of Electrical and Electronics Engineers, pp. 3-3, October 2012.
Timothy 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)
In : Safe and Secure Systems and Software Symposium (S5 2012), Fairborn, Ohio, USA, 12/06/12-14/06/12, UNKNOWN, pp. 0-0, 2012.
Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux
Spécification et Vérification par Interprétation Abstraite d’Aspects pour la Distribution
In : Formalisation des Activités Concurrentes (FAC 2007), Toulouse, France, 16/03/07-16/03/07, CNRS, (on line), March 2007.
Xavier Thirioux, Benoit Combemale, Xavier Crégut, Pierre-Loïc Garoche
A Framework to formalise the MDE Foundations
In : International Workshop on Towers of Models (TOWERS 2007), Zurich, 25/06/07, Richard Paige, Jean Bézivin (Eds.), Model Driven Engineering (MDE), pp. 14-30, June 2007.
Benoit Combemale, Pierre-Loïc Garoche, Xavier Crégut, Xavier Thirioux, François Vernadat
Towards a Formal Verification of Process Model’s Properties – SimplePDL and TOCL Case Study
In : International Conference on Enterprise Information Systems (ICEIS 2007), Funchal, Madeira – Portugal, 12/06/07-16/06/07, INSTICC Press, pp. 80-89, June 2007 (Best paper).
Benoit Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux
Expérimentation pour la définition d’une sémantique dans l’IDM
In : Sémantique des (meta)Modèles, Toulouse, France, 29/01/07, INPT : Institut National Polytechnique de Toulouse, pp. 146-161, March 2007.
Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux
Static Analysis of Actors: From Type Systems to Abstract Interpretation
In : International Workshop on Emerging Applications of Abstract Interpretation (EAAI 2006), Vienna, Austria, 25/03/06-02/04/06, Francesco Ranzato (Eds.).
Kenji Tei, Christian Sommer, Yoshiaki Fukazawa, Honiden Shinichi, Pierre-Loïc Garoche
Adaptive Geographically Bound Mobile Agents
In : Mobile Ad-hoc and Sensor Networks (MSN 2006), Hong Kong, China, 13/12/06-15/12/06, Sajal K. Das, Xiaohua Jia (Eds.), Springer, LNCS 4325, (electronic medium), 2006.
URL : http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=4325&issue=preprint
BibTeXPierre-Loïc Garoche, Cyrille Artho
Accurate Centralization for Applying Model Checking on Networked Applications
In : IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), Tokyo, Japan, 18/09/06-22/09/06, Shinichi Honiden, Sebastian Uchitel, Steve Easterbrook (Eds.), IEEE : Institute of Electrical and Electronics Engineers, pp. 177-188, September 2006.
Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux
Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation
In : IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2006), Bologna, Italy, 14/06/06-16/06/06, Vol. 4037, Roberto Gorrieri, Heike Wehrheim (Eds.), Springer, LNCS , pp. 78-92, June 2006.
Analyse statique d’un calcul d’acteurs par interprétation abstraite
Master’s Thesis, Institut National Polytechnique de Toulouse, June 2008.