Didier Le Botlan

Latest

• Accelerating the Computation of Dead and Concurrent Places Using Reductions
• A New Product Construction for the Diagnosability of Patterns in Time Petri Net
• Checking marking reachability with the state equation in Petri net subclasses
• On the Petri Nets with a Single Shared Place and Beyond
• A State Class Construction for Computing the Intersection of Time Petri Nets Languages
• Counting Petri net markings from reduction equations
• Presentation of the 9th Edition of the Model Checking Contest
• Petri Net Reductions for Counting Markings
• Time-accurate Middleware for the Virtualization of Communication Protocols
• Latency Analysis of an Aerial Video Tracking System Using Fiacre and Tina
• A formal framework to specify and verify real-time properties on critical systems
• A Verified Approach for Checking Real-Time Specification Patterns
• Real-Time Specification Patterns and Tools
• Verification of Real-Time Specification Patterns on Time Transitions Systems
• Definition of the Fiacre Real-Time Specification Patterns Language