Requirement Analysis for Communication Protocols. - Pierre Azéma; François Vernadat 001; Jean Christophe Lloret (Automatic Verification Methods for Finite State Systems, 1989)

Spécification Logique de Protocoles de Communication à l'aide de Réseaux Prédicat/Transition Etiquetés. - Pierre Azéma; François Vernadat 001; Jean Christophe Lloret (SPLT, 1989)

Compositional Design and Verification of Communication Protocols, Using Labelled Petri Nets. - Jean Christophe Lloret; Pierre Azéma; François Vernadat 001 (CAV, 1990)

A Bus Instrumentation Protocol Specified in LOTOS. - Pierre Azéma; Khalil Drira; François Vernadat 001 (FORTE, 1990)

Refusal Graphs for Conformance Tester Generation and Simplification: A Computational Framework. - Khalil Drira; Pierre Azéma; François Vernadat 001 (PSTV, 1993)

Distributed Coin Tossing. - François Vernadat 001; Pierre Azéma; Khalil Drira (ICDCS, 1994)

A Communication Protocol for Conflict Resolution. - Pierre Azéma; François Vernadat 001; Jean Luc Albacete (ICMAS, 1995)

Formal design of cooperative systems. - Michel Diaz; Thierry Villemur; François Vernadat 001 (PSTV, 1995)

Covering Step Graph. - François Vernadat 001; Pierre Azéma; François Michel (Application and Theory of Petri Nets, 1996)

Permutable Agents in Process Algebras. - François Michel; Pierre Azéma; François Vernadat 001 (TACAS, 1996)

Covering Step Graph Preserving Failure Semantics. - François Vernadat 001; François Michel (ICATPN, 1997)

Layered -net Specification of a Workshop. - Pierre Gradit; François Vernadat 001; Pierre Azéma (PDPTA, 1999)

High Level Transition Systems for Communicating Agents. - François Vernadat 001; Pierre Azéma (Concurrent Object-Oriented Programming and Petri Nets, 2001)

An integrated approach to coordination description in distributed multimedia applications. - Pierre Gradit; Khalil Drira; François Vernadat 001 (Integr. Comput. Aided Eng., 2001)

On Combining the Persistent Sets Method with the Covering Steps Graph Method. - Pierre-Olivier Ribet; François Vernadat 001; Bernard Berthomieu (FORTE, 2002)

State Class Constructions for Branching Analysis of Time Petri Nets. - Bernard Berthomieu; François Vernadat 001 (TACAS, 2003)

Towards the verification of real-time systems in avionics: the Cotre approach. - Bernard Berthomieu; Pierre-Olivier Ribet; François Vernadat 001; J. L. Bernartt; Jean-Marie Farines; Jean-Paul Bodeveix; Mamoun Filali; Gérard Padiou; Pierre Michel; Patrick Farail; Pierre Gauffilet; Pierre Dissaux; et al. (FMICS, 2003)

Bridging the Gap Between Timed Automata and Bounded Time Petri Nets. - Bernard Berthomieu; Florent Peres; François Vernadat 001 (FORMATS, 2006)

Time Petri Nets Analysis with TINA. - Bernard Berthomieu; François Vernadat 001 (QEST, 2006)

Model Checking Bounded Prioritized Time Petri Nets. - Bernard Berthomieu; Florent Peres; François Vernadat 001 (ATVA, 2007)

Introducing the modeling and verification process in SysML. - Marcos Vinicius Linhares; Rômulo Silva de Oliveira; Jean-Marie Farines; François Vernadat 001 (ETFA, 2007)

A Property-Driven Approach to Formal Verification of Process Models. - Benoît Combemale; Xavier Crégut; Pierre-Loïc Garoche; Xavier Thirioux; François Vernadat 001 (ICEIS (Selected Papers), 2007)

Towards a Formal Verification of Process Model's Properties SIMPLEPDL and TOCL Case Study. - Benoît Combemale; Pierre-Loïc Garoche; Xavier Crégut; Xavier Thirioux; François Vernadat 001 (ICEIS (3), 2007)

Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches. - Bernard Berthomieu; Didier Lime; Olivier H. Roux; François Vernadat 001 (Discret. Event Dyn. Syst., 2007)

State Space Abstractions for Time Petri Nets. - François Vernadat 001; Bernard Berthomieu (Handbook of Real-Time and Embedded Systems, 2007)

Ladder Metamodeling and PLC Program Validation through Time Petri Nets. - Darlam Fabio Bender; Benoît Combemale; Xavier Crégut; Jean-Marie Farines; Bernard Berthomieu; François Vernadat 001 (ECMDA-FA, 2008)

Abstract State Spaces for Time Petri Nets Analysis. - Bernard Berthomieu; Florent Peres; François Vernadat 001 (ISORC, 2008)

Verifying Dynamic Properties of Industrial Critical Systems Using TOPCASED/FIACRE. - Bernard Berthomieu; Hubert Garavel; Frédéric Lang; François Vernadat 001 (ERCIM News, 2008)

Formal Verification of AADL Specifications in the Topcased Environment. - Bernard Berthomieu; Jean-Paul Bodeveix; Christelle Chaudet; Silvano Dal-Zilio; Mamoun Filali; François Vernadat 001 (Ada-Europe, 2009)

Supporting the Design of Safety Critical Systems Using AADL. - T. Correa; Leandro Buss Becker; Jean-Marie Farines; Jean-Paul Bodeveix; Mamoun Filali; François Vernadat 001 (ICECCS, 2010)

A model-driven engineering approach to formal verification of PLC programs. - Jean-Marie Farines; Max Hering de Queiroz; Vinicius G. da Rocha; Ana Maria M. Carpes; François Vernadat 001; Xavier Crégut (ETFA, 2011)

On the composition of time Petri nets. - Florent Peres; Bernard Berthomieu; François Vernadat 001 (Discret. Event Dyn. Syst., 2011)

Specification and verification of real-time systems using POLA. - Florent Peres; Pierre-Emmanuel Hladik; François Vernadat 001 (Int. J. Crit. Comput. Based Syst., 2011)

Time Petri Nets with Dynamic Firing Dates: Semantics and Applications. - Bernard Berthomieu; Silvano Dal-Zilio; Lukasz Fronc; François Vernadat 001 (FORMATS, 2014)

Symmetry reduced state classes for time petri nets. - Pierre-Alain Bourdil; Bernard Berthomieu; Silvano Dal-Zilio; François Vernadat 001 (SAC, 2015)

Real-Time Model Checking Support for AADL. - Bernard Berthomieu; Jean-Paul Bodeveix; Silvano Dal-Zilio; Mamoun Filali; Didier Le Botlan; Guillaume Verdier; François Vernadat 001 (CoRR, 2015)

Symmetry reduction for time Petri net state classes. - Pierre-Alain Bourdil; Bernard Berthomieu; Silvano Dal-Zilio; François Vernadat 001 (Sci. Comput. Program., 2016)