ASWSD

Keyphrases

Publications

volume 4922, 2008

Model-Driven Development of Reliable Automotive Services, Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers ASWSD 4922 (2008)

2006

Madhukar Anand, Sebastian Fischmeister, Jesung Kim, Insup Lee
Generating Sound and Resource-Aware Code from Hybrid Systems Models. ASWSD (2006)
Edward Nelson, Henry Huang
A Software and System Modeling Facility for Vehicle Environment Interactions. ASWSD (2006)
Rance Cleaveland, Scott A. Smolka, Steve Sims
An Instrumentation-Based Approach to Controller Model Validation. ASWSD (2006)
Wolfgang Pree, Josef Templ
Modeling with the Timing Definition Language (TDL). ASWSD (2006)
Sandeep Neema, Sushil Birla, Shige Wang, Tripti Saxena
Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control. ASWSD (2006)
Gabor Karsai, Anantha Narayanan
Towards Verification of Model Transformations Via Goal-Directed Certification. ASWSD (2006)
Christian Ferdinand, Reinhold Heckmann, Hans-Jörg Wolff, Christian Renz, Oleg Parshin, Reinhard Wilhelm
Towards Model-Driven Development of Hard Real-Time Systems. ASWSD (2006)
Juergen Grossmann, Ines Fey, Alexander Krupp, Mirko Conrad, Christian Wewetzer, Wolfgang Müller
TestML - A Test Exchange Language for Model-Based Testing of Embedded Software. ASWSD (2006)
K. Venkatesh Prasad, Thomas J. Giuli, David Watson
The Case for Modeling Security, Privacy, Usability and Reliability (SPUR) in Automotive Software. ASWSD (2006)
Venkita Subramonian, Christopher D. Gill
Towards Integrated Model-Driven Verification and Empirical Validation of Reusable Software Frameworks for Automotive Systems. ASWSD (2006)
Holger Giese
Reusable Services and Semi-automatic Service Composition for Automotive Software. ASWSD (2006)

volume 4147, 2006

Automotive Software - Connected Services in Mobile Networks, First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers ASWSD 4147 (2006)

2004