François Vernadat

Publication Activity (10 Years)

Years Active: 1989-2016
Publications (10 Years): 1

Top Topics

Concurrent Systems

Top Venues

Sci. Comput. Program.

Publications

Pierre-Alain Bourdil, Bernard Berthomieu, Silvano Dal-Zilio, François Vernadat
Symmetry reduction for time Petri net state classes. Sci. Comput. Program. 132 (2016)
Bernard Berthomieu, Jean-Paul Bodeveix, Silvano Dal-Zilio, Mamoun Filali, Didier Le Botlan, Guillaume Verdier, François Vernadat
Real-Time Model Checking Support for AADL. CoRR (2015)
Pierre-Alain Bourdil, Bernard Berthomieu, Silvano Dal-Zilio, François Vernadat
Symmetry reduced state classes for time petri nets. SAC (2015)
Silvano Dal-Zilio, Lukasz Fronc, Bernard Berthomieu, François Vernadat
Time Petri Nets with Dynamic Firing Dates: Semantics and Applications. CoRR (2014)
Bernard Berthomieu, Silvano Dal-Zilio, Lukasz Fronc, François Vernadat
Time Petri Nets with Dynamic Firing Dates: Semantics and Applications. FORMATS (2014)
Florent Peres, Bernard Berthomieu, François Vernadat
On the composition of time Petri nets. Discret. Event Dyn. Syst. 21 (3) (2011)
Jean-Marie Farines, Max Hering de Queiroz, Vinicius G. da Rocha, Ana Maria M. Carpes, François Vernadat, Xavier Crégut
A model-driven engineering approach to formal verification of PLC programs. ETFA (2011)
Florent Peres, Pierre-Emmanuel Hladik, François Vernadat
Specification and verification of real-time systems using POLA. Int. J. Crit. Comput. Based Syst. 2 (3/4) (2011)
T. Correa, Leandro Buss Becker, Jean-Marie Farines, Jean-Paul Bodeveix, Mamoun Filali, François Vernadat
Supporting the Design of Safety Critical Systems Using AADL. ICECCS (2010)
Bernard Berthomieu, Jean-Paul Bodeveix, Christelle Chaudet, Silvano Dal-Zilio, Mamoun Filali, François Vernadat
Formal Verification of AADL Specifications in the Topcased Environment. Ada-Europe (2009)
Bernard Berthomieu, Florent Peres, François Vernadat
Abstract State Spaces for Time Petri Nets Analysis. ISORC (2008)
Darlam Fabio Bender, Benoît Combemale, Xavier Crégut, Jean-Marie Farines, Bernard Berthomieu, François Vernadat
Ladder Metamodeling and PLC Program Validation through Time Petri Nets. ECMDA-FA (2008)
Bernard Berthomieu, Hubert Garavel, Frédéric Lang, François Vernadat
Verifying Dynamic Properties of Industrial Critical Systems Using TOPCASED/FIACRE. ERCIM News 2008 (75) (2008)
Benoît 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. ICEIS (3) (2007)
Bernard Berthomieu, Florent Peres, François Vernadat
Model Checking Bounded Prioritized Time Petri Nets. ATVA (2007)
Bernard Berthomieu, Didier Lime, Olivier H. Roux, François Vernadat
Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches. Discret. Event Dyn. Syst. 17 (2) (2007)
Marcos Vinicius Linhares, Rômulo Silva de Oliveira, Jean-Marie Farines, François Vernadat
Introducing the modeling and verification process in SysML. ETFA (2007)
Benoît Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux, François Vernadat
A Property-Driven Approach to Formal Verification of Process Models. ICEIS (Selected Papers) (2007)
Bernard Berthomieu, François Vernadat
Time Petri Nets Analysis with TINA. QEST (2006)
Bernard Berthomieu, Florent Peres, François Vernadat
Bridging the Gap Between Timed Automata and Bounded Time Petri Nets. FORMATS (2006)
Bernard Berthomieu, François Vernadat
State Class Constructions for Branching Analysis of Time Petri Nets. TACAS (2003)
Bernard Berthomieu, Pierre-Olivier Ribet, François Vernadat, J. L. Bernartt, Jean-Marie Farines, Jean-Paul Bodeveix, Mamoun Filali, Gérard Padiou, Pierre Michel, Patrick Farail, Pierre Gauffilet, Pierre Dissaux, Jean-Luc Lambert
Towards the verification of real-time systems in avionics: the Cotre approach. Electron. Notes Theor. Comput. Sci. 80 (2003)
Pierre-Olivier Ribet, François Vernadat, Bernard Berthomieu
On Combining the Persistent Sets Method with the Covering Steps Graph Method. FORTE (2002)
Pierre Gradit, Khalil Drira, François Vernadat
An integrated approach to coordination description in distributed multimedia applications. Integr. Comput. Aided Eng. 8 (4) (2001)
François Vernadat, Pierre Azéma
High Level Transition Systems for Communicating Agents. Concurrent Object-Oriented Programming and Petri Nets (2001)
Pierre Gradit, François Vernadat, Pierre Azéma
Layered -net Specification of a Workshop. PDPTA (1999)
François Vernadat, François Michel
Covering Step Graph Preserving Failure Semantics. ICATPN (1997)
François Michel, Pierre Azéma, François Vernadat
Permutable Agents in Process Algebras. TACAS (1996)
François Vernadat, Pierre Azéma, François Michel
Covering Step Graph. Application and Theory of Petri Nets (1996)
Pierre Azéma, François Vernadat, Jean Luc Albacete
A Communication Protocol for Conflict Resolution. ICMAS (1995)
Michel Diaz, Thierry Villemur, François Vernadat
Formal design of cooperative systems. PSTV (1995)
François Vernadat, Pierre Azéma, Khalil Drira
Distributed Coin Tossing. ICDCS (1994)
Khalil Drira, Pierre Azéma, François Vernadat
Refusal Graphs for Conformance Tester Generation and Simplification: A Computational Framework. PSTV (1993)
Jean Christophe Lloret, Pierre Azéma, François Vernadat
Compositional Design and Verification of Communication Protocols, Using Labelled Petri Nets. CAV (1990)
Pierre Azéma, Khalil Drira, François Vernadat
A Bus Instrumentation Protocol Specified in LOTOS. FORTE (1990)
Jean Christophe Lloret, Pierre Azéma, François Vernadat
Compositional Design and Verification of Communication Protocols, Using Labelled PETRI Nets. CAV (DIMACS/AMS volume) (1990)
Pierre Azéma, François Vernadat, Jean Christophe Lloret
Requirement Analysis for Communication Protocols. Automatic Verification Methods for Finite State Systems (1989)
Pierre Azéma, François Vernadat, Jean Christophe Lloret
Spécification Logique de Protocoles de Communication à l'aide de Réseaux Prédicat/Transition Etiquetés. SPLT (1989)