|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4 occurrences of 4 keywords
|
|
|
|
|
Results
Found 23 publication records. Showing 23 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Manfred Broy, Ingolf H. Krüger, Michael Meisinger (eds.) |
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  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy, Ingolf H. Krüger, Michael Meisinger (eds.) |
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 |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Madhukar Anand, Sebastian Fischmeister, Jesung Kim, Insup Lee 0001 |
Generating Sound and Resource-Aware Code from Hybrid Systems Models. |
ASWSD |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward Nelson, Henry Huang |
A Software and System Modeling Facility for Vehicle Environment Interactions. |
ASWSD |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Rance Cleaveland, Scott A. Smolka, Steve Sims |
An Instrumentation-Based Approach to Controller Model Validation. |
ASWSD |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Pree, Josef Templ |
Modeling with the Timing Definition Language (TDL). |
ASWSD |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandeep Neema, Sushil Birla, Shige Wang, Tripti Saxena |
Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control. |
ASWSD |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabor Karsai, Anantha Narayanan |
Towards Verification of Model Transformations Via Goal-Directed Certification. |
ASWSD |
2006 |
DBLP DOI BibTeX RDF |
Behavior Preservation, Weak Bisimulation, Semantic Anchoring, Bisimulation |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Juergen Grossmann, Ines Fey, Alexander Krupp, Mirko Conrad, Christian Wewetzer, Wolfgang Müller 0003 |
TestML - A Test Exchange Language for Model-Based Testing of Embedded Software. |
ASWSD |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | K. Venkatesh Prasad, Thomas J. Giuli, David Watson |
The Case for Modeling Security, Privacy, Usability and Reliability (SPUR) in Automotive Software. |
ASWSD |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Venkita Subramonian, Christopher D. Gill |
Towards Integrated Model-Driven Verification and Empirical Validation of Reusable Software Frameworks for Automotive Systems. |
ASWSD |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Giese |
Reusable Services and Semi-automatic Service Composition for Automotive Software. |
ASWSD |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hermann Kopetz |
On the Fault Hypothesis for a Safety-Critical Real-Time System. |
ASWSD |
2004 |
DBLP DOI BibTeX RDF |
Fault-Hypothesis, Error-Containment, State Repair, Fault-tolerance, Error Detection, Safety-Critical Systems |
| 1 | Gabor Karsai |
Automotive Software: A Challenge and Opportunity for Model-Based Software Development. |
ASWSD |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Carlo Ghezzi |
Validation of Component and Service Federations in Automotive Software Applications. |
ASWSD |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Eckard Böde, Werner Damm, Jarl Høyem, Bernhard Josko, Jürgen Niehaus, Marc Segelken |
Adding Value to Automotive Models. |
ASWSD |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandeep Neema, Gabor Karsai |
Software for Automotive Systems: Model-Integrated Computing. |
ASWSD |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Ferdinand, Reinhold Heckmann, Reinhard Wilhelm |
Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code. |
ASWSD |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus D. Müller-Glaser, Clemens Reichmann, Markus Kühl, Stefan Benz |
Quality Assurance and Certification of Software Modules in Safety Critical Automotive Electronic Control Units Using a CASE-Tool Integration Platform. |
ASWSD |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Insik Shin, Insup Lee 0001 |
A Compositional Framework for Real-Time Guarantees. |
ASWSD |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Pree, Gerald Stieglbauer, Josef Templ |
Simulink Integration of Giotto/TDL. |
ASWSD |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Pree, Josef Templ |
Towards a Component Architecture for Hard Real Time Control Applications. |
ASWSD |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #23 of 23 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license