Publications de
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.
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
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.
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, 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.
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.
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.
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.