Annuaire - LAAS-CNRS

François Vernadat

François Vernadat

Team

VERTICS : VERification of TIme Critical Systems

Contact details

Email :

Phone :

Links

Publications

Latest publications

2016

Journal articles

Pierre-Alain Bourdil, Bernard Berthomieu, Silvano Dal Zilio, François Vernadat. Symmetry reduction for time Petri net state classes. Science of Computer Programming, 2016, Science of Computer Programming, 132 (Part 2), pp.209 - 225. ⟨10.1016/j.scico.2016.08.008⟩. ⟨hal-01561994⟩

2015

Conference papers

Pierre-Alain Bourdil, Bernard Berthomieu, Silvano Dal Zilio, François Vernadat. Symmetry reduced state classes for Time Petri nets. 30th Annual ACM Symposium on Applied Computing, Apr 2015, Salamanca, Spain. pp.1751-1758, ⟨10.1145/2695664.2695803⟩. ⟨hal-01275316⟩

Reports

Bernard Berthomieu, Jean-Paul Bodeveix, Silvano Dal Zilio, M Filali, Didier Le Botlan, et al.. Real-Time Model Checking Support for AADL. [Research Report] LAAS-CNRS. 2015. ⟨hal-01121605⟩

2014

Conference papers

Silvano Dal Zilio, Lukasz Fronc, Bernard Berthomieu, François Vernadat. Time Petri Nets with Dynamic Firing Dates: Semantics and Applications. 12th International Conference, FORMATS 2014, Sep 2014, Florence, Italy. pp 85-99, ⟨10.1007/978-3-319-10512-3_7⟩. ⟨hal-00984354⟩

Other documents

Pierre-Alain Bourdil, Bernard Berthomieu, Silvano Dal Zilio, François Vernadat. Réduction par symétrie du graphe des classes d'états des Réseaux de Petri Temporels. Rapport LAAS n° 14405. Formalisation des activités concurrentes 2014. 2014. ⟨hal-01949504⟩

LAAS-CNRS

7, av. du colonel Roche
BP 54200
31031 Toulouse cedex 4
France

Tél :

GPS

Lat : 43.564330
Long : 1.476839

+ The Lab + Research + Platforms + Training for and to research + Partnership + News