François Vernadat

Latest

• Symmetry reduction for time Petri net state classes
• Symmetry reduced state classes for time petri nets
• Real-Time Model Checking Support for AADL
• Time Petri Nets with Dynamic Firing Dates: Semantics and Applications
• Time Petri nets with dynamic firing dates: semantics and applications
• Vérification formelle de spécifications AADL via FIACRE
• Definition of the Fiacre Real-Time Specification Patterns Language
• Formal Verification of AADL models with Fiacre and Tina
• Langage intermédiaire et transformations de modèles pour le développement de systèmes temps-réel: retour d'expérience sur la chaîne de vérification formelle Fiacre
• Enumerative Parallel and Distributed State Space Construction
• Formal Verification of AADL Specifications in the Topcased Environment
• Observation Graph implementation for TINA toolbox