A Compositional Framework for Real-Time Guarantees
Active Guidance for a Finless Rocket Using Neuroevolution
Adding Value to Automotive Models
Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control
Aircraft Landing Gear System: Approaches with Event-B to the Modeling of an Industrial System
Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code
An Instrumentation-Based Approach to Controller Model Validation
A Robot Architecture Based on Higher Order Perception Loop
A Software and System Modeling Facility for Vehicle Environment Interactions
Automotive Software: A Challenge and Opportunity for Model-Based Software Development
Context-Aware Verification of a Landing Gear System
Co-simulation Environment for Rodin: Landing Gear Case Study
Generating Sound and Resource-Aware Code from Hybrid Systems Models
Landing Gear System: An ASM-Based Solution for the ABZ Case Study
Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using Fiacre
Modeling a Landing Gear System in Event-B
Modeling an Aircraft Landing System in Event-B
Modeling and Analyzing Using ASMs: The Landing Gear System Case Study
Modeling with the Timing Definition Language (TDL)
Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module