Travelled to:1 × France
1 × Poland
1 × Spain
1 × USA
2 × Germany
2 × Portugal
Collaborated with:B.Berthomieu P.Azéma B.Combemale X.Crégut G.Pongas S.Dal-Zilio P.Garoche X.Thirioux F.Michel J.C.Lloret P.Bourdil J.Bodeveix C.Chaudet M.Filali D.F.Bender J.Farines
Talks about:verif (4) petri (4) net (4) process (3) formal (3) time (3) properti (2) state (2) model (2) class (2)
Person: François Vernadat
DBLP: Vernadat:Fran=ccedil=ois
Contributed to:
2015
2009
2008
200720072004
20031996
1990Wrote 9 papers:
- SAC-2015-BourdilBDV #petri net #symmetry
- Symmetry reduced state classes for time petri nets (PAB, BB, SDZ, FV), pp. 1751–1758.
- AdaEurope-2009-BerthomieuBCDFV #specification #verification
- Formal Verification of AADL Specifications in the Topcased Environment (BB, JPB, CC, SDZ, MF, FV), pp. 207–221.
- ECMDA-FA-2008-BenderCCFBV #metamodelling #petri net #validation
- Ladder Metamodeling and PLC Program Validation through Time Petri Nets (DFB, BC, XC, JMF, BB, FV), pp. 121–136.
- ICEIS-EIS-2007-CombemaleGCTV #case study #process #towards #verification
- Towards a Formal Verification of Process Model’s Properties SIMPLEPDL and TOCL Case Study (BC, PLG, XC, XT, FV), pp. 80–89.
- ICEIS-J-2007-CombemaleCGTV #approach #modelling #process #verification
- A Property-Driven Approach to Formal Verification of Process Models (BC, XC, PLG, XT, FV), pp. 286–300.
- ICEIS-v1-2004-PongasV #architecture #information management
- Developing a Corporate Information System Architecture: The Case of Eurostat (GP, FV), pp. 21–29.
- TACAS-2003-BerthomieuV #analysis #branch #petri net
- State Class Constructions for Branching Analysis of Time Petri Nets (BB, FV), pp. 442–457.
- TACAS-1996-MichelAV #algebra #process
- Permutable Agents in Process Algebras (FM, PA, FV), pp. 187–206.
- CAV-1990-LloretAV #communication #composition #design #petri net #protocol #using #verification
- Compositional Design and Verification of Communication Protocols, Using Labelled Petri Nets (JCL, PA, FV), pp. 96–105.