Bernard Berthomieu

Latest

• On the Combination of Polyhedral Abstraction and SMT-Based Model Checking for Petri Nets
• Checking marking reachability with the state equation in Petri net subclasses
• On the Petri Nets with a Single Shared Place and Beyond
• Counting Petri net markings from reduction equations
• Presentation of the 9th Edition of the Model Checking Contest
• Formal Verification of Complex Robotic Systems on Resource-Constrained Platforms
• Petri Net Reductions for Counting Markings
• Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots
• Symmetry reduction for time Petri net state classes
• Outillage pour la modélisation, la vérification et la génération d'applications temporisées et embarquées
• Automating the Verification of Realtime Observers using Probes and the Modal mu-calculus
• Latency Analysis of an Aerial Video Tracking System Using Fiacre and Tina
• 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
• Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using Fiacre
• Time Petri nets with dynamic firing dates: semantics and applications
• An Experiment on Parallel Model Checking of a CTL Fragment
• Who Checks the Model-Checkers?
• Vérification formelle de spécifications AADL via FIACRE
• Mixed Shared-Distributed Hash Tables Approaches for Parallel State Space Construction
• Definition of the Fiacre Real-Time Specification Patterns Language
• A General Lock-Free Algorithm for Parallel State Space Construction
• 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