Annuaire - LAAS-CNRS

François Vernadat

François Vernadat

Team

TRUST : Trustworthy systems: foundations and practices

Contact details

Email :

Phone :

Links

Publications

Latest publications

2025

Books

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. ⟨hal-04806378⟩

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⟩

LAAS-CNRS

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

GPS : 43.563545, 1.476923

Tél :

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