Franois Vernadat
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
10
Active years
1990–2015
Best venue rank
A*
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | SAC | Symmetry reduced state classes for time petri nets. | Pierre-Alain Bourdil, Bernard Berthomieu, Silvano Dal-Zilio, Franois Vernadat |
| 2011 | ETFA | 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, Franois Vernadat, Xavier Crgut |
| 2010 | ICECCS | Supporting the Design of Safety Critical Systems Using AADL. | T. Correa, Leandro Buss Becker, Jean-Marie Farines, Jean-Paul Bodeveix, Mamoun Filali, Franois Vernadat |
| 2008 | ISORC | Abstract State Spaces for Time Petri Nets Analysis. | Bernard Berthomieu, Florent Peres, Franois Vernadat |
| 2007 | ATVA | Model Checking Bounded Prioritized Time Petri Nets. | Bernard Berthomieu, Florent Peres, Franois Vernadat |
| 2007 | ETFA | Introducing the modeling and verification process in SysML. | Marcos Vinicius Linhares, Rmulo Silva de Oliveira, Jean-Marie Farines, Franois Vernadat |
| 2003 | TACAS | State Class Constructions for Branching Analysis of Time Petri Nets. | Bernard Berthomieu, Franois Vernadat |
| 2002 | FORTE | On Combining the Persistent Sets Method with the Covering Steps Graph Method. | Pierre-Olivier Ribet, Franois Vernadat, Bernard Berthomieu |
| 1999 | PDPTA | Layered -net Specification of a Workshop. | Pierre Gradit, Franois Vernadat, Pierre Azma |
| 1996 | TACAS | Permutable Agents in Process Algebras. | Franois Michel, Pierre Azma, Franois Vernadat |
| 1994 | ICDCS | Distributed Coin Tossing. | Franois Vernadat, Pierre Azma, Khalil Drira |
| 1990 | CAV | Compositional Design and Verification of Communication Protocols, Using Labelled Petri Nets. | Jean Christophe Lloret, Pierre Azma, Franois Vernadat |
| 1990 | FORTE | A Bus Instrumentation Protocol Specified in LOTOS. | Pierre Azma, Khalil Drira, Franois Vernadat |