Verification of Solid State Interlocking Programs
Formal Implementation of Data Validation for Railway Safety-Related Systems with OVADO
Verification of Scheme Plans Using CSP||B
Applied Bounded Model Checking for Interlocking System Designs
Twenty-Five Years of Formal Methods and Railways: What Next?
Validation of Railway Interlocking Systems by Formal Verification, A Case Study
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
Modeling with the Timing Definition Language (TDL)
Towards Verification of Model Transformations Via Goal-Directed Certification
Towards Model-Driven Development of Hard Real-Time Systems: Integrating ASCET and aiT/StackAnalyzer
Reusable Services and Semi-automatic Service Composition for Automotive Software
TestML - A Test Exchange Language for Model-Based Testing of Embedded Software
A Software and System Modeling Facility for Vehicle Environment Interactions
An Instrumentation-Based Approach to Controller Model Validation
2007-01-1778 Development of Telematics Software Platform using WIPI for Service-based Applications
2007-01-1645 Large Scale Modeling and Simulation of Propulsion Systems
2007-01-1624 A Three-Pillar Framework for Model-Based Engine Control System Development
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
2007-01-0503 Model-Based Automated Validation Techniques for Automotive Embedded Systems
2007-01-0505 Software Testing Strategies for Model-Based Chassis Control Systems
Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code
Validation of Component and Service Federations in Automotive Software Applications
A compositional Framework for Real-Time Guarantees
On the Fault Hypothesis for a Safety-Critical Real-Time System
Simulink Integration of Giotto/TDL
Automotive Software: A Challenge and Opportunity for Model-Based Software Development
Adding Value to Automotive Models
Towards a Component Architecture for Hard Real Time Control Applications
Software for Automotive Systems: Model-Integrated Computing
Agent-Based Parsimonious Decision Support Paradigm Employing Bayesian Belief Networks
A Multi-agent UAV Swarm for Automatic Target Recognition
Armed Services: Challenges for Military Distributed Systems
Representing Dispositions and Emotions in Simulated Combat
A Mobile Agent-Based Middleware for Opportunistic Resource Allocation and Communications
Distributed Decision-Making and Control for Agile Military Radio Networks
Cognitive Agents for Sense and Respond Logistics
Enhanced Maritime Situation Awareness with Negotiator Agents
Autonomous Agents and Multi-agent Systems (AAMAS) for the Military - Issues and Challenges