François Vernadat

40 papers A* 1A 3B 2C 6Misc 3Journal 8Unranked 15

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