Publications de
Timothy Wang, Romain Jobredeaux, Marc Pantel, Pierre-Loïc Garoche, Eric Feron, Didier Henrion
Credible Autocoding of Convex Optimization Algorithms
Dans : Optimization Engineering, Taylor & Francis Group, Vol. 17 N. 4, p. 781-812, décembre 2016.
Benoit Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux
Essay on Semantics Definition in MDE. An Instrumented Approach for Model Verification.
Dans : Journal of Software (JSW), Academy Publisher, Finland, Vol. 4 N. 6, p. 943-958, novembre 2009.
Résumé Accès : 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
Dans : Enterprise Information Systems, Taylor & Francis Online, Numéro spécial LNBIP 12, ICEIS 2007, Revised Selected Papers, Vol. 12, p. 286-300, 2009.
Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux
Abstract Interpretation-based Static Safety for Actors
Dans : Journal of Software (JSW), Academy Publisher, Finland, Vol. 2 N. 3, p. 87-98, septembre 2007.
Pierre-Loïc Garoche, Temesghen Kahsai, Xavier Thirioux
Hierarchical State Machines as Modular Horn Clauses (regular paper)
Dans : Workshop on Horn Clauses for Verification and Synthesis (HCVS 2016), Eindhoven, The Netherlands, 03/04/16, Vol. 219, Electronic Proceedings in Theorical Computer Science (EPTCS), p. 15-28, avril 2016.
Résumé Accès : https://doi.org/10.4204/EPTCS.219.2 – https://oatao.univ-toulouse.fr/22653/
BibTeXArnaud 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/
BibTeXPierre-Loïc Garoche, Folk Howar, Temesghen Kahsai, Xavier Thirioux
Testing-Based Compiler Validation for Synchronous Languages (regular paper)
Dans : International Symposium on NASA Formal Methods (NFM 2014), Houston, Texas, 29/04/14-01/05/14, Vol. 8430, Julia M. Badger, Kristin Yvonne Rozier (Eds.), Springer, Lecture Notes in Computer Science, p. 246-251, mai 2014.
Accès : https://doi.org/10.1007/978-3-319-06200-6_19 – https://oatao.univ-toulouse.fr/22651/
BibTeXEric Feron, Guillaume Brat, Pierre-Loïc Garoche, Pete Manolios, Marc Pantel
Formal methods for aerospace applications (short paper)
Dans : Formal Methods for Computer Assisted Design (FMCAD 2012), Cambridge, 22/10/12-25/10/12 (conférencier invité), IEEE : Institute of Electrical and Electronics Engineers, p. 3-3, octobre 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)
Dans : Safe and Secure Systems and Software Symposium (S5 2012), Fairborn, Ohio, USA, 12/06/12-14/06/12, UNKNOWN, p. 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
Dans : Formalisation des Activités Concurrentes (FAC 2007), Toulouse, France, 16/03/07-16/03/07, CNRS, (en ligne), mars 2007.
Xavier Thirioux, Benoit Combemale, Xavier Crégut, Pierre-Loïc Garoche
A Framework to formalise the MDE Foundations
Dans : International Workshop on Towers of Models (TOWERS 2007), Zurich, 25/06/07, Richard Paige, Jean Bézivin (Eds.), Model Driven Engineering (MDE), p. 14-30, juin 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
Dans : International Conference on Enterprise Information Systems (ICEIS 2007), Funchal, Madeira – Portugal, 12/06/07-16/06/07, INSTICC Press, p. 80-89, juin 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
Dans : Sémantique des (meta)Modèles, Toulouse, France, 29/01/07, INPT : Institut National Polytechnique de Toulouse, p. 146-161, mars 2007.
Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux
Static Analysis of Actors: From Type Systems to Abstract Interpretation
Dans : 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
Dans : 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, (support électronique), 2006.
Accès : 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
Dans : 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, p. 177-188, septembre 2006.
Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux
Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation
Dans : 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 , p. 78-92, juin 2006.
Timothy Wang, Romain Jobredeaux, Heber Henrencia, Pierre-Loïc Garoche, Eric Feron, Marc Pantel
From Design to Implementation: An Automated Credible Autocoding Chain for Control Systems
Dans : Advances in Control System Technology for Aerospace Applications. Eric Féron (Eds.) , Springer-Verlag, p. 137-180, 2016.
Analyse statique d’un calcul d’acteurs par interprétation abstraite
Thèse de doctorat, Institut National Polytechnique de Toulouse, juin 2008.