Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDASWSD 2006: San Diego, CA, USA
- Manfred Broy, Ingolf H. Krüger, Michael Meisinger:
Model-Driven Development of Reliable Automotive Services, Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers. Lecture Notes in Computer Science 4922, Springer 2008, ISBN 978-3-540-70929-9
Modeling Techniques and Infrastructures
- K. Venkatesh Prasad, Thomas J. Giuli, David Watson:
The Case for Modeling Security, Privacy, Usability and Reliability (SPUR) in Automotive Software. 1-14 - Sandeep Neema
, Sushil Birla, Shige Wang, Tripti Saxena:
Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control. 15-33 - Edward Nelson, Henry Huang:
A Software and System Modeling Facility for Vehicle Environment Interactions. 34-47
Model Transformations
- Madhukar Anand, Sebastian Fischmeister, Jesung Kim, Insup Lee:
Generating Sound and Resource-Aware Code from Hybrid Systems Models. 48-66 - Gabor Karsai, Anantha Narayanan:
Towards Verification of Model Transformations Via Goal-Directed Certification. 67-83
Quality Assurance
- Rance Cleaveland, Scott A. Smolka, Steve Sims:
An Instrumentation-Based Approach to Controller Model Validation. 84-97 - 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. 98-117 - Venkita Subramonian, Christopher D. Gill:
Towards Integrated Model-Driven Verification and Empirical Validation of Reusable Software Frameworks for Automotive Systems. 118-132
Real-Time Control
- Wolfgang Pree, Josef Templ:
Modeling with the Timing Definition Language (TDL). 133-144 - Christian Ferdinand, Reinhold Heckmann, Hans-Jörg Wolff, Christian Renz, Oleg Parshin, Reinhard Wilhelm:
Towards Model-Driven Development of Hard Real-Time Systems. 145-160
Services and Components
- Holger Giese:
Reusable Services and Semi-automatic Service Composition for Automotive Software. 161-181
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-08-29 20:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
