Publications de
Benoit 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.
Patrick Farail, Pierre Gaufillet, Mamoun Filali, Pierre Michel, François Vernadat
Vérifications dans un AGL orienté modèles
Dans : Génie Logiciel, GL & IS, 8 Rue du Parc 92190 Meudon, Vol. 69, p. 51-55, juin 2004.
Bernard Berthomieu, Jean-Paul Bodeveix, Silvano Dal Zilio, Patrick Farail, Mamoun Filali, Pierre Gaufillet, François Vernadat
La traduction AADL-FIACRE: l’expérience TOPCASED (regular paper)
Dans : Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL 2012), Grenoble, 11/01/12-13/01/12 (conférencier invité), LCIS/LIG Grenoble, p. 8-8, janvier 2012.
J.-M. Farines, Max H. De Queiroz, Vinicius De Rocha, Ana Maria Carpes, François Vernadat, Xavier Crégut
A model-driven engineering approach to formal verification of PLC programs (regular paper)
Dans : Emerging Technologies and Factory Automation (ETFA 2011), Toulouse, France, 05/09/11-09/09/11, IEEE : Institute of Electrical and Electronics Engineers, p. 1-8, septembre 2011.
Tiago Correa, Leandro Becker, Jean-Paul Bodeveix, J.-M. Farines, Mamoun Filali, François Vernadat
Supporting the Design of Safety Critical Systems Using AADL (regular paper)
Dans : , Oxford, 22/03/10-26/03/10, IEEE Computer Society, p. 331-336, mars 2010.
Bernard Berthomieu, Jean-Paul Bodeveix, Silvano Dal Zilio, Pierre Dissaux, Mamoun Filali, Pierre Gaufillet, Sebastien Heim, François Vernadat
Formal Verification of AADL models with Fiacre and Tina (regular paper)
Dans : European Congress on Embedded Real-Time Software (ERTS 2010), Toulouse, 19/05/10-21/05/10, SIA/3AF/SEE, (support électronique), 2010.
Accès : http://web1.see.asso.fr/erts2010/Site/0ANDGY78/Fichier/PAPIERS%20ERTS%202010%202/ERTS2010_0107_final.pdf
BibTeXTiago Correa, Leandro Becker, Jean-Paul Bodeveix, J.-M. Farines, Mamoun Filali, François Vernadat
Verification Based Development Process for Embedded Systems (regular paper)
Dans : European Congress on Embedded Real-Time Software (ERTS 2010), Toulouse, 19/05/10-21/05/10, Société des Ingénieurs de l’Automobile, (support électronique), mai 2010.
Accès : http://web1.see.asso.fr/erts2010/Site/0ANDGY78/Fichier/PAPIERS%20ERTS%202010/ERTS2010_0029_final.pdf
BibTeXBernard Berthomieu, Jean-Paul Bodeveix, Christelle Chaudet, Silvano Dal Zilio, Mamoun Filali, François Vernadat
Formal Verification of AADL Specifications in the Topcased Environment
Dans : International Conference on Reliable Software Technologies – Ada-Europe, Brest, France, 08/06/09-12/06/09, Springer-Verlag, lncs 5570, p. 207-221, 2009.
Darlam Bender, Benoit Combemale, Xavier Crégut, François Vernadat, J.-M. Farines
Ladder Metamodeling & PLC Program Validation through Time Petri Nets
Dans : European Conference on Model Driven Architecture – Foundations and Applications (ECMDA-FA 2008), Berlin, Germany, 09/06/08-12/06/08, Springer, Lecture Notes in Computer Science 5095, p. 121-136, juin 2008.
Patrick Farail, Pierre Gaufillet, Florent Peres, Jean-Paul Bodeveix, Mamoun Filali, Bernard Berthomieu, Saad Rodrigo, François Vernadat, Hubert Garavel, Frédéric Lang
FIACRE: an intermediate language for model verification in the TOPCASED environment
Dans : European Congress on Embedded Real-Time Software (ERTS 2008), Toulouse, 29/01/08-01/02/08, Société de l’Electricité, de l’Electronique et des Technologies de l’Information et de la Communication (SEE), (support électronique), janvier 2008.
Benoit Combemale, Xavier Crégut, Bernard Berthomieu, François Vernadat
Vers une vérification d’un procédé de développement modélisé en SPEM
Dans : Formalisation des Activités Concurrentes, Toulouse, France, 15/03/07-16/03/07.
Accès : http://www.cert.fr/feria/svf/FAC/2007/Papiers/31.pdf
BibTeXBenoit 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, Bernard Berthomieu, François Vernadat
SimplePDL2Tina: Mise en oeuvre d’une Validation de Modèles de Processus
Dans : Journées sur l’Ingénierie Dirigée par les Modèles (IDM 2007), Toulouse, France, 29/03/07-30/03/07, INPT : Institut National Polytechnique de Toulouse, p. 86-101, mars 2007.
Jean-Paul Bodeveix, Pierre Dissaux, Patrick Farail, Mamoun Filali, Pierre Gaufillet, François Vernadat
Behavioural descriptions in architecture description languages: Application to AADL
Dans : European Congress on Embedded Real-Time Software (ERTS 2006), Toulouse, 25/01/06-27/01/06, Société des Ingénieurs de l’Automobile, (support électronique), 2006.
Accès : http://www.sia.fr/evenement_detail_erts2006_embedded_real_time_actes_365.htm
BibTeXJean-Paul Bodeveix, Pierre Dissaux, Mamoun Filali, Pierre Gaufillet, François Vernadat
AADL behavioural annex
Dans : Data Systems In Aerospace (DASIA 2006), Berlin-Germany, 22/05/06-25/05/06, European Space Agency (ESA Publications), (support électronique), 2006.
François Vernadat, Christian Percebois, Patrick Farail, R. Vingerhoeds, Alain Rossignol, Jean-Pierre Talpin, David Chemouil
The TOPCASED Project – A Toolkit in OPen-source for Critical Applications and SystEm Development
Dans : Data Systems In Aerospace (DASIA 2006), Berlin, Germany, 22/05/06-25/05/06, European Space Agency (ESA Publications), (support électronique), mai 2006.
François Vernadat, Patrick Farail, Alain Rossignol, Christian Percebois, R. Vingerhoeds, Jean-Pierre Talpin
Le projet TOPCASED : A Toolkit in OPen-source for Critical Applications and SystEm Development
Dans : Conférence d’Ingénierie Système (AFIS 2006), Toulouse, France, 02/03/06-04/03/06, Association Française d’Ingénierie Système (AFIS), p. 33-38, mars 2006.
Bernard Berthomieu, P.-O. Ribet, François Vernadat, J.-L. Bernartt, J.-M. Farines, Jean-Paul Bodeveix, Mamoun Filali, Gérard Padiou, Pierre Michel, Patrick Farail, Pierre Gaufillet, Pierre Dissaux, Jean-Luc Lambert
Towards the verification of real-time systems in avionics: TheCotre approach
Dans : Eigth International workshop for industrial critical systems, ROROS, 05/06/03-07/06/03, Thomas Arts, Wan Fokkink, p. 201-216, juin 2003.
Accès : http://www.elsevier.nl/locate/entcs/volume80.html
BibTeXJ.-M. Farines, Bernard Berthomieu, Jean-Paul Bodeveix, Pierre Dissaux, Patrick Farail, Mamoun Filali, Pierre Gaufillet, Hicham Hafidi, Jean-Luc Lambert, Pierre Michel, François Vernadat
The Cotre project: rigorous development for real time systems in Avionics
Dans : WRTP’03 27th IFAC/IFIP/IEEE Workshop on real-time programming, Logow(Pologne), 14/05/03-17/05/03, IEEE, p. 51-56, mai 2003.
Pierre Dissaux, Mamoun Filali, Pierre Michel, François Vernadat
Architecture Description languages
, Springer, avril 2005.
J.-M. Farines, Bernard Berthomieu, Jean-Paul Bodeveix, Pierre Dissaux, Patrick Farail, Mamoun Filali, Pierre Gaufillet, Hicham Hafidi, Jean-Luc Lambert, Pierre Michel, François Vernadat
The Cotre Project: Rigorous Software Development for Real Time Systems in Avionics, COLNARIC, ADAMSKI & WEGRZYN, novembre 2003.
Pierre Dissaux, Mamoun Filali, Pierre Michel, François Vernadat
Workshop on Architecture Description languages, Toulouse, Springer, avril 2005.
Bernard Berthomieu, Jean-Paul Bodeveix, Silvano Dal Zilio, Mamoun Filali, François Vernadat
Vérification formelle de spécifications AADL via FIACRE
Diffusion pédagogique. août 2011.