François Vernadat

According to our database, François Vernadat authored at least 37 papers between 1989 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Symmetry reduction for time Petri net state classes.

Pierre-Alain Bourdil, Bernard Berthomieu, Silvano Dal-Zilio, François Vernadat

Sci. Comput. Program., 2016

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

CoRR, 2015

Symmetry reduced state classes for time petri nets.

Pierre-Alain Bourdil, Bernard Berthomieu, Silvano Dal-Zilio, François Vernadat

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

2014

Time Petri Nets with Dynamic Firing Dates: Semantics and Applications.

Bernard Berthomieu, Silvano Dal-Zilio, Lukasz Fronc, François Vernadat

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2014

2011

Specification and verification of real-time systems using POLA.

Florent Peres, Pierre-Emmanuel Hladik, François Vernadat

Int. J. Crit. Comput. Based Syst., 2011

On the composition of time Petri nets.

Florent Peres, Bernard Berthomieu, François Vernadat

Discret. Event Dyn. Syst., 2011

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, Xavier Crégut

Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

2010

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

Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010

2009

Formal Verification of AADL Specifications in the Topcased Environment.

Bernard Berthomieu, Jean-Paul Bodeveix, Christelle Chaudet, Silvano Dal-Zilio, Mamoun Filali, François Vernadat

Proceedings of the Reliable Software Technologies, 2009

2008

Verifying Dynamic Properties of Industrial Critical Systems Using TOPCASED/FIACRE.

Bernard Berthomieu, Hubert Garavel, Frédéric Lang, François Vernadat

ERCIM News, 2008

Abstract State Spaces for Time Petri Nets Analysis.

Bernard Berthomieu, Florent Peres, François Vernadat

Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

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

Proceedings of the Model Driven Architecture, 2008

2007

State Space Abstractions for Time Petri Nets.

François Vernadat, Bernard Berthomieu

Proceedings of the Handbook of Real-Time and Embedded Systems., 2007

Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches.

Bernard Berthomieu, Didier Lime, Olivier H. Roux, François Vernadat

Discret. Event Dyn. Syst., 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

Proceedings of the ICEIS 2007, 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

Proceedings of the Enterprise Information Systems, 9th International Conference, 2007

Introducing the modeling and verification process in SysML.

Marcos Vinicius Linhares, Rômulo Silva de Oliveira, Jean-Marie Farines, François Vernadat

Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2007

Model Checking Bounded Prioritized Time Petri Nets.

Bernard Berthomieu, Florent Peres, François Vernadat

Proceedings of the Automated Technology for Verification and Analysis, 2007

2006

Time Petri Nets Analysis with TINA.

Bernard Berthomieu, François Vernadat

Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

Bridging the Gap Between Timed Automata and Bounded Time Petri Nets.

Bernard Berthomieu, Florent Peres, François Vernadat

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006

2003

Towards the verification of real-time systems in avionics: the Cotre approach.

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

Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003

State Class Constructions for Branching Analysis of Time Petri Nets.

Bernard Berthomieu, François Vernadat

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

2002

On Combining the Persistent Sets Method with the Covering Steps Graph Method.

Pierre-Olivier Ribet, François Vernadat, Bernard Berthomieu

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2002

2001

An integrated approach to coordination description in distributed multimedia applications.

Pierre Gradit, Khalil Drira, François Vernadat

Integr. Comput. Aided Eng., 2001

High Level Transition Systems for Communicating Agents.

François Vernadat, Pierre Azéma

Proceedings of the Concurrent Object-Oriented Programming and Petri Nets, 2001

1999

Layered -net Specification of a Workshop.

Pierre Gradit, François Vernadat, Pierre Azéma

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

1997

Covering Step Graph Preserving Failure Semantics.

François Vernadat, François Michel

Proceedings of the Application and Theory of Petri Nets 1997, 1997

1996

Permutable Agents in Process Algebras.

François Michel, Pierre Azéma, François Vernadat

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996

Covering Step Graph.

François Vernadat, Pierre Azéma, François Michel

Proceedings of the Application and Theory of Petri Nets 1996, 1996

1995

Formal design of cooperative systems.

Michel Diaz, Thierry Villemur, François Vernadat

Proceedings of the Protocol Specification, 1995

A Communication Protocol for Conflict Resolution.

Pierre Azéma, François Vernadat, Jean Luc Albacete

Proceedings of the First International Conference on Multiagent Systems, 1995

1994

Distributed Coin Tossing.

François Vernadat, Pierre Azéma, Khalil Drira

Proceedings of the 14th International Conference on Distributed Computing Systems, 1994

1993

Refusal Graphs for Conformance Tester Generation and Simplification: A Computational Framework.

Khalil Drira, Pierre Azéma, François Vernadat

Proceedings of the Protocol Specification, 1993

1990

A Bus Instrumentation Protocol Specified in LOTOS.

Pierre Azéma, Khalil Drira, François Vernadat

Proceedings of the Formal Description Techniques, 1990

Compositional Design and Verification of Communication Protocols, Using Labelled Petri Nets.

Jean Christophe Lloret, Pierre Azéma, François Vernadat

Proceedings of the Computer Aided Verification, 2nd International Workshop, 1990

1989

Spécification Logique de Protocoles de Communication à l'aide de Réseaux Prédicat/Transition Etiquetés.

Pierre Azéma, François Vernadat, Jean Christophe Lloret

Proceedings of the SPLT'89, 1989

Requirement Analysis for Communication Protocols.

Pierre Azéma, François Vernadat, Jean Christophe Lloret

Proceedings of the Automatic Verification Methods for Finite State Systems, 1989