BibSonomy :: author  ::

bookmarks

publications

(61)

• A Software and System Modeling Facility for Vehicle Environment Interactions.
  Edward Nelson and Henry Huang ASWSD 34-47 (2006)
  to dblp by dblp on 2008-10-28 00:00:00
  | URL | BibTeX  
• Towards Model-Driven Development of Hard Real-Time Systems.
  Christian Ferdinand and Reinhold Heckmann and Hans-Jörg Wolff and Christian Renz and Oleg Parshin and Reinhard Wilhelm ASWSD 145-160 (2006)
  to dblp by dblp on 2008-10-28 00:00:00
  | URL | BibTeX  
• Modeling with the Timing Definition Language (TDL).
  Wolfgang Pree and Josef Templ ASWSD 133-144 (2006)
  to dblp by dblp on 2008-10-28 00:00:00
  | URL | BibTeX  
• Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control.
  Sandeep Neema and Sushil Birla and Shige Wang and Tripti Saxena ASWSD 15-33 (2006)
  to dblp by dblp on 2008-10-28 00:00:00
  | URL | BibTeX  
• Reusable Services and Semi-automatic Service Composition for Automotive Software.
  Holger Giese ASWSD 161-181 (2006)
  to dblp by dblp on 2008-10-28 00:00:00
  | URL | BibTeX  
• An Instrumentation-Based Approach to Controller Model Validation.
  Rance Cleaveland and Scott A. Smolka and Steve Sims ASWSD 84-97 (2006)
  to dblp by dblp on 2008-10-28 00:00:00
  | URL | BibTeX  
• Towards Verification of Model Transformations Via Goal-Directed Certification.
  Gabor Karsai and Anantha Narayanan ASWSD 67-83 (2006)
  to dblp by dblp on 2008-10-28 00:00:00
  | URL | BibTeX  
• Towards Integrated Model-Driven Verification and Empirical Validation of Reusable Software Frameworks for Automotive Systems.
  Venkita Subramonian and Christopher Gill ASWSD 118-132 (2006)
  to dblp by dblp on 2008-10-28 00:00:00
  | URL | BibTeX  
• TestML - A Test Exchange Language for Model-Based Testing of Embedded Software.
  Juergen Grossmann and Ines Fey and Alexander Krupp and Mirko Conrad and Christian Wewetzer and Wolfgang Mueller ASWSD 98-117 (2006)
  to dblp by dblp on 2008-10-28 00:00:00
  | URL | BibTeX  
• Generating Sound and Resource-Aware Code from Hybrid Systems Models.
  Madhukar Anand and Sebastian Fischmeister and Jesung Kim and Insup Lee ASWSD 48-66 (2006)
  to dblp by dblp on 2008-10-28 00:00:00
  | URL | BibTeX