Annuaire - LAAS-CNRS

François Vernadat

François Vernadat

Équipe

VERTICS : VERification des Systèmes Temporisés CritiqueS

Coordonnées

Courriel :

Téléphone :

Liens

Publications

Dernières Publications

2016

Articles dans une revue

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

Communications dans un congrès

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⟩

Rapports

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

Communications dans un congrès

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⟩

Autres 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

+ Le laboratoire + Recherche + Plateformes + Formation à la recherche + Partenariats + Les actualités