IRIT - UMR 5505

Partenaires

Menu

• Présentation
  • Le mot du directeur
  • Organigramme
  • Conseils, comité d’évaluation
  • L’IRIT en chiffres
    • Personnel
    • Publications
  • Coordonnées, plans d’accès
• Axes stratégiques
  • Systèmes embarqués critiques
  • Systèmes informatiques pour la santé et l’autonomie
  • Masses de données et calcul
    • Séminaires
  • Systèmes SocioTechniques Ambiants
    • Thématiques
    • Equipes
    • Projets
    • Thèses
    • Laboratoires et industriels en lien avec la thématique
    • Divers
    • News
    • SSTApwd
• Thèmes de recherche
  • Thème 1 - Analyse et synthèse de l’information
    • Equipe SAMoVA
    • Equipe SC
    • Equipe TCI
    • Equipe VORTEX
  • Thème 2 - Indexation et recherche d’informations
    • Equipe PYRAMIDE
    • Équipe SIG
  • Thème 3 - Interaction, Coopération, Adaptation paR l’Expérimentation (ICARE)
    • Equipe ELIPSE
    • Equipe SMAC
  • Thème 4 - Raisonnement et décision
    • Equipe ADRIA
    • Equipe LILaC
    • Equipe MELODI
  • Thème 5 - Modélisation, algorithmes et calcul haute performance
    • Equipe APO
  • Thème 6 - Architecture, systèmes et réseaux
    • Equipe IRT
    • Equipe SEPIA
    • Equipe SIERA
    • Equipe T2RS
    • Equipe TRACES
  • Thème 7 - Sûreté de développement du logiciel
    • Equipe ACADIE
    • Equipe ICS
    • Equipe MACAO
• Structures de recherches communes
  • Coopération AIRSYS
  • Laboratoire AUTODIAG
  • Programme FREMIT
  • Laboratoire ILIKS
  • Laboratoire LACII
  • Laboratoire Européen Associé (LEA) LIRP
• Projets, collaborations
  • Actions transversales
    • Groupes de travail
    • Plates-formes
    • Projets
  • Projets en cours
    • Projets ANR (Agence Nationale de la Recherche)
    • Projets européens
  • Collaborations internationales
    • Carte des relations internationales
    • Consultation de la base des relations internationales
• Evénements
  • Agenda
  • Congrès, séminaires, écoles, thèses, habilitations
    • Congrès, workshops, conférences, écoles
    • Séminaires
    • Thèses et habilitations
    • Archives
    • Rencontres Recherche-Industrie
  • Journal "noir sur blanc"
• Logiciels diffusés
• Publications
• Service documentation

Rechercher

Navigation

Publications

Vernadat François

 Pour une recherche plus ciblée, utiliser l'interface d'interrogation de la base des publications de l'IRIT.
For an advanced search, please use the IRIT's publications database form.

• Livres / Books
• Ouvrages de synthèse / Books edition
• Numéros spéciaux de revues / Special issues of journals
• Actes de conférences et de workshops / Conferences proceedings
• Articles de revues internationales / International journals articles
• Articles de revues nationales / National journals articles
• Contributions à des ouvrages de synthèse / Books parts
• Conférences et workshops internationaux / International conferences articles
• Conférences et workshops nationaux / National conferences articles
• Conférences sans actes publiés / Conferences articles without published proceedings
• Rapports / Reports
• Thèses et habilitations / Thesis and HDR
• Autres types de publications / Other publications

Livres / Books (monographies)

• J.-M. Farines, Bernard Berthomieu, Jean-Paul Bodeveix, Pierre Dissaux, Patrick Farail, Mamoun Filali, Pierre Gaufillet, Hicham Hafidi, Jean-Luc Lambert, P. Michel, François Vernadat. The Cotre Project: Rigorous Software Development for Real Time Systems in Avionics, COLNARIC, ADAMSKI & WEGRZYN, novembre 2003.
  BibTeX

Ouvrages de synthèse / Books edition

• Pierre Dissaux, Mamoun Filali, P. Michel, François Vernadat. Architecture Description languages, Springer, avril 2005.
  BibTeX

Actes de conférences et de workshops / Conferences proceedings

• Pierre Dissaux, Mamoun Filali, Pierre Michel, François Vernadat. Workshop on Architecture Description languages, Toulouse, Springer, avril 2005.
  BibTeX

Articles de revues internationales / International journals articles

• 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, Springer-Verlag, Numéro spécial LNBIP 12, ICEIS 2007, Revised Selected Papers, Vol. 12, p. 286-300, 2009.
  BibTeX

Articles de revues nationales / National journals articles

• Patrick Farail, Pierre Gaufillet, Mamoun Filali, P. 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.
  BibTeX

Conférences et workshops internationaux / International conferences articles

• 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/2011-09/09/2011, IEEE, p. 1-8, septembre 2011.
  Résumé
  BibTeX

• 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/2010-26/03/2010, IEEE Computer Society, p. 331-336, mars 2010.
  BibTeX

• 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/2010-21/05/2010, SIA/3AF/SEE, (support électronique), 2010.
  Accès : http://www.erts2010.org/Site/0ANDGY78/Fichier/PAPIERS%20ERTS%202010%202/ERTS2010_0107_final.pdf
  BibTeX

• Tiago 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/2010-21/05/2010, Société des Ingénieurs de l'Automobile, (support électronique), mai 2010.
  Accès : http://www.erts2010.org/Site/0ANDGY78/Fichier/PAPIERS%20ERTS%202010/ERTS2010_0029_final.pdf
  BibTeX

• Bernard 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/2009-12/06/2009, Springer-Verlag, lncs 5570, p. 207-221, 2009.
  BibTeX

• 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/2008-12/06/2008, Springer, Lecture Notes in Computer Science 5095, p. 121-136, juin 2008.
  Résumé
  BibTeX

• 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/2008-01/02/2008, Société de l'Electricité, de l'Electronique et des Technologies de l'Information et de la Communication (SEE), (support électronique), janvier 2008.
  BibTeX

• 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/2007-16/06/2007, INSTICC Press, p. 80-89, juin 2007 (Best paper).
  BibTeX

• 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/2006-27/01/2006, 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
  BibTeX

• Jean-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/2006-25/05/2006, European Space Agency (ESA Publications), (support électronique), 2006.
  BibTeX

• 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/2006-25/05/2006, European Space Agency (ESA Publications), (support électronique), mai 2006.
  BibTeX

• Bernard Berthomieu, P.-O. Ribet, François Vernadat, J.-L. Bernartt, J.-M. Farines, Jean-Paul Bodeveix, Mamoun Filali, Gérard Padiou, P. Michel, Patrick Farail, Pierre Gaufillet, Pierre Dissaux, Jean-Luc Lambert. Towards the verification of real-time systems in avionics: The Cotre approach. Dans : Eigth International workshop for industrial critical systems, ROROS, 05/06/2003-07/06/2003, Thomas Arts, Wan Fokkink, p. 201-216, juin 2003.
  Accès : http://www.elsevier.nl/locate/entcs/volume80.html
  BibTeX

• J.-M. Farines, Bernard Berthomieu, Jean-Paul Bodeveix, Pierre Dissaux, Patrick Farail, Mamoun Filali, Pierre Gaufillet, Hicham Hafidi, Jean-Luc Lambert, P. 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/2003-17/05/2003, IEEE, p. 51-56, mai 2003.
  BibTeX

Conférences et workshops nationaux / National conferences articles

• 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/2012-13/01/2012 (conférencier invité), LCIS/LIG Grenoble, p. 8-8, janvier 2012.
  BibTeX

• 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/2007-30/03/2007, INPT, p. 86-101, mars 2007.
  BibTeX

• 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/2006-04/03/2006, Association Française d'Ingénierie Système (AFIS), p. 33-38, mars 2006.
  BibTeX

Conférences sans actes publiés / Conference articles without published proceedings

• 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/2007-16/03/2007.
  Accès : http://www.cert.fr/feria/svf/FAC/2007/Papiers/31.pdf
  BibTeX

Rapports / Reports

• S. Abdellatif, Bernard Berthomieu, Jean-Paul Bodeveix, J.-M. Farines, Mamoun Filali, C. Lohr, P. Michel, Odile Nasr, Gérard Padiou, P.-O. Ribet, Semra Sarpdag, François Vernadat. Rapport sur les sémantiques, concepts, techniques et outils. Rapport de recherche, 2002-32-R, CERT, IRIT, LAAS, Université Paul Sabatier, Toulouse, octobre 2002.
  Résumé
  BibTeX

Autres types de publications / Other publications

• 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.
  Accès : http://www.univ-brest.fr/ETR2011
  BibTeX