Conferences in DBLP

(aswsd)
2006 (conf/aswsd/2006)

1. 
   The Case for Modeling Security, Privacy, Usability and Reliability (SPUR) in Automotive Software. [Citation Graph (, )][DBLP]
   
   
2. 
   Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control. [Citation Graph (, )][DBLP]
   
   
3. 
   A Software and System Modeling Facility for Vehicle Environment Interactions. [Citation Graph (, )][DBLP]
   
   
4. 
   Generating Sound and Resource-Aware Code from Hybrid Systems Models. [Citation Graph (, )][DBLP]
   
   
5. 
   Towards Verification of Model Transformations Via Goal-Directed Certification. [Citation Graph (, )][DBLP]
   
   
6. 
   An Instrumentation-Based Approach to Controller Model Validation. [Citation Graph (, )][DBLP]
   
   
7. 
   TestML - A Test Exchange Language for Model-Based Testing of Embedded Software. [Citation Graph (, )][DBLP]
   
   
8. 
   Towards Integrated Model-Driven Verification and Empirical Validation of Reusable Software Frameworks for Automotive Systems. [Citation Graph (, )][DBLP]
   
   
9. 
   Modeling with the Timing Definition Language (TDL). [Citation Graph (, )][DBLP]
   
   
10. 
    Towards Model-Driven Development of Hard Real-Time Systems. [Citation Graph (, )][DBLP]
    
    
11. 
    Reusable Services and Semi-automatic Service Composition for Automotive Software. [Citation Graph (, )][DBLP]