BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Vernadat:Fran=ccedil=ois

Contributed to:

SAC 20152015
Ada-Europe 20092009
ECMDA-FA 20082008
ICEIS EIS 20072007
Post-ICEIS 20072007
ICEIS v1 20042004
TACAS 20032003
TACAS 19961996
CAV 19901990

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.