Annuaire - LAAS-CNRS

François Vernadat

François Vernadat

Équipe

TRUST : Trustworthy systems: foundations and practices

Coordonnées

Courriel :

Téléphone :

Liens

Publications

Dernières Publications

2025

Livres

François Vernadat, Arturo Molina Gutiérrez, Hervé Panetto, Georg Weichhart. Interoperability principles and standards: Applications to collaborative and automated systems. Springer, 16, X-290 p., In press, Automation, Collaboration, & E-Services series, Shimon Nof, 978-3-031-81496-9. ⟨10.1007/978-3-031-81497-6⟩. ⟨hal-04806378⟩

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⟩

LAAS-CNRS

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

GPS : 43.563545, 1.476923

Tél :

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