Nouha Abid

Latest

• 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
• A Timed Graphical Interval Logic
• Who Checks the Model-Checkers?
• Verification of Real-Time Specification Patterns on Time Transitions Systems
• Definition of the Fiacre Real-Time Specification Patterns Language
• Real-time Extensions for the Fiacre modeling language