Trip Report E. W. Dijkstra, Newcastle, 8–12 September 1975
A Robot Architecture Based on Higher Order Perception Loop
Modeling an Aircraft Landing System in Event-B
The Landing Gear System Case Study
Validation of the ABZ Landing Gear System Using ProB
Aircraft Landing Gear System: Approaches with Event-B to the Modeling of an Industrial System
Context-Aware Verification of a Landing Gear System
Modeling a Landing Gear System in Event-B
Landing Gear System: An ASM-Based Solution for the ABZ Case Study
Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module
An Instrumentation-Based Approach to Controller Model Validation
The Landing Gear Case Study in Hybrid Event-B
Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using Fiacre
Co-simulation Environment for Rodin: Landing Gear Case Study
Modeling and Analyzing Using ASMs: The Landing Gear System Case Study
Trip Report E. W. Dijkstra, Poland and USSR, 4–25 September 1976
Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code
Towards Verification of Model Transformations Via Goal-Directed Certification
Simulink Integration of Giotto/TDL
Active Guidance for a Finless Rocket Using Neuroevolution
Generating Sound and Resource-Aware Code from Hybrid Systems Models
Validation of Component and Service Federations in Automotive Software Applications
Towards a Component Architecture for Hard Real Time Control Applications
On the Fault Hypothesis for a Safety-Critical Real-Time System
Automotive Software: A Challenge and Opportunity for Model-Based Software Development
TestML - A Test Exchange Language for Model-Based Testing of Embedded Software
A Compositional Framework for Real-Time Guarantees
Adding Value to Automotive Models
Modeling with the Timing Definition Language (TDL)
The Case for Modeling Security, Privacy, Usability and Reliability (SPUR) in Automotive Software
Software for Automotive Systems: Model-Integrated Computing
Towards Model-Driven Development of Hard Real-Time Systems
Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control
A Software and System Modeling Facility for Vehicle Environment Interactions
Reusable Services and Semi-automatic Service Composition for Automotive Software