• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 11 matches

• 2006
• 
  Manfred Broy, Ingolf H. Krüger, Michael Meisinger:
  Automotive Software - Connected Services in Mobile Networks, First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers. Lecture Notes in Computer Science 4147, Springer 2006, ISBN 3-540-37677-1 [contents]
• 2004
• 
  Luciano Baresi, Carlo Ghezzi:
  Validation of Component and Service Federations in Automotive Software Applications. ASWSD 2004: 57-73
• 
  Eckard Böde, Werner Damm, Jarl Høyem, Bernhard Josko, Jürgen Niehaus, Marc Segelken:
  Adding Value to Automotive Models. ASWSD 2004: 86-102
• 
  Christian Ferdinand, Reinhold Heckmann, Reinhard Wilhelm:
  Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code. ASWSD 2004: 1-14
• 
  Gabor Karsai:
  Automotive Software: A Challenge and Opportunity for Model-Based Software Development. ASWSD 2004: 103-115
• 
  Hermann Kopetz:
  On the Fault Hypothesis for a Safety-Critical Real-Time System. ASWSD 2004: 31-42
• 
  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: 15-30
• 
  Sandeep Neema, Gabor Karsai:
  Software for Automotive Systems: Model-Integrated Computing. ASWSD 2004: 116-136
• 
  Wolfgang Pree, Gerald Stieglbauer, Josef Templ:
  Simulink Integration of Giotto/TDL. ASWSD 2004: 137-154
• 
  Wolfgang Pree, Josef Templ:
  Towards a Component Architecture for Hard Real Time Control Applications. ASWSD 2004: 74-85
• 
  Insik Shin, Insup Lee:
  A Compositional Framework for Real-Time Guarantees. ASWSD 2004: 43-56