• 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 10 matches

• 2021
• 
  David Santiago Velasco Moncada, Daniel Schneider, Ana Petrovska, Nishanth Laxman, Felix Möhrle, Stefan Rothbauer, Marc Zeller, Chee Hung Koo, Samira Safdari:
  Dynamic Safety Certification for Collaborative Embedded Systems at Runtime. Model-Based Engineering of Collaborative Embedded Systems 2021: 171-196
• 
  Daniel Ratiu, Holger Nehls, Andreas Joanni, Stefan Rothbauer:
  Use MPS to Unleash the Creativity of Domain Experts: Language Engineering Is a Key Enabler for Bringing Innovation in Industry. Domain-Specific Languages in Practice 2021: 25-52
• 
  Chee Hung Koo, Stefan Rothbauer, Marian Vorderer, Kai Höfig, Marc Zeller:
  SQUADfps: Integrated Model-Based Machine Safety and Product Quality for Flexible Production Systems. CoRR abs/2105.14817 (2021)
• 
  Jef Stegen, Stefan Dutré, Joe Zhensheng Guo, Marc Zeller, Stefan Rothbauer:
  Meta model application for consistency management of models for avionic systems design. CoRR abs/2106.00974 (2021)
• 
  Kai Höfig, Cornel Klein, Stefan Rothbauer, Marc Zeller, Marian Vorderer, Chee Hung Koo:
  A Meta-model for Process Failure Mode and Effects Analysis (PFMEA). CoRR abs/2106.11035 (2021)
• 2019
• 
  Kai Höfig, Cornel Klein, Stefan Rothbauer, Marc Zeller, Marian Vorderer, Chee Hung Koo:
  A Meta-model for Process Failure Mode and Effects Analysis (PFMEA). ETFA 2019: 1199-1202
• 
  Chee Hung Koo, Stefan Rothbauer, Marian Vorderer, Kai Höfig, Marc Zeller:
  SQUADfps: Integrated Model-Based Machine Safety and Product Quality for Flexible Production Systems. IMBSA 2019: 222-236
• 
  Jef Stegen, Stefan Dutré, Joe Zhensheng Guo, Marc Zeller, Stefan Rothbauer:
  Meta Model Application for Consistency Management of Models for Avionic Systems Design. MoDELS (Companion) 2019: 790-795
• 2016
• 
  Joachim Fröhlich, Jelena Frtunikj, Stefan Rothbauer, Christoph Stückjürgen:
  Testing Safety Properties of Cyber-Physical Systems with Non-Intrusive Fault Injection - An Industrial Case Study. SAFECOMP Workshops 2016: 105-117
• 2007
• 
  Reiner Heilmann, Stefan Rothbauer, Ariane Sutor:
  Component Fault Tree Analysis Resolves Complexity: Dependability Confirmation for a Railway Brake System. SAFECOMP 2007: 100-105