Formal Implementation of Data Validation for Railway Safety-Related Systems with OVADO
Applied Bounded Model Checking for Interlocking System Designs
Twenty-Five Years of Formal Methods and Railways: What Next?
Verification of Solid State Interlocking Programs
Verification of Scheme Plans Using CSP||B
Validation of Railway Interlocking Systems by Formal Verification, A Case Study
Modeling with the Timing Definition Language (TDL)
Towards Verification of Model Transformations Via Goal-Directed Certification
Reusable Services and Semi-automatic Service Composition for Automotive Software
Generating Sound and Resource-Aware Code from Hybrid Systems Models
Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control
The Case for Modeling Security, Privacy, Usability and Reliability (SPUR) in Automotive Software
Towards Model-Driven Development of Hard Real-Time Systems: Integrating ASCET and aiT/StackAnalyzer
TestML - A Test Exchange Language for Model-Based Testing of Embedded Software
An Instrumentation-Based Approach to Controller Model Validation
A Software and System Modeling Facility for Vehicle Environment Interactions
2007-01-1777 An Engine Start/Stop System for Improved Fuel Economy
2007-01-1644 Design of a Digital Dash-Panel using a TFT LCD Panel and Blackfin Processor
2007-01-0512 The Challenges of Next Generation Automotive Benchmarks