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

• 2017
• 
  Alexandre Albore, Silvano Dal-Zilio, Guillaume Infantes, Christel Seguin, Pierre Virelizier:
  A Model-Checking Approach to Analyse Temporal Failure Propagation with AltaRica. IMBSA 2017: 147-162
• 
  Richard Banach:
  Invariant Management in the Presence of Failures. IMBSA 2017: 112-128
• 
  Walid Mokhtar Bennaceur, Leïla Kloul, Antoine Rauzy:
  Safety Analysis of a Data Center's Electrical System Using Production Trees. IMBSA 2017: 82-96
• 
  Benjamin Bittner, Marco Bozzano, Alessandro Cimatti:
  Timed Failure Propagation Analysis for Spacecraft Engineering: The ESA Solar Orbiter Case Study. IMBSA 2017: 255-271
• 
  Julien Brunel, Peter H. Feiler, Jérôme Hugues, Bruce A. Lewis, Tatiana Prosvirnova, Christel Seguin, Lutz Wrage:
  Performing Safety Analyses with AADL and AltaRica. IMBSA 2017: 67-81
• 
  Francesco Cannarile, Michele Compare, Enrico Zio:
  A Fault Diagnostic Tool Based on a First Principle Model Simulator. IMBSA 2017: 179-193
• 
  De-Jiu Chen, Zhonghai Lu:
  A Model-Based Approach to Dynamic Self-assessment for Automated Performance and Safety Awareness of Cyber-Physical Systems. IMBSA 2017: 227-240
• 
  Orlando Ferrante, Luigi Di Guglielmo, Valerio Senni, Alberto Ferrari:
  Application of Model-Based Safety Assessment to the Validation of Avionic Electrical Power Systems. IMBSA 2017: 243-254
• 
  Marco Filax, Tim Gonschorek, Frank Ortmeier:
  Building Models We Can Rely On: Requirements Traceability for Model-Based Verification Techniques. IMBSA 2017: 3-18
• 
  Sohag Kabir, Yiannis Papadopoulos, Martin Walker, David Parker, Jose Ignacio Aizpurua, Jörg Lampe, Erich Rüde:
  A Model-Based Extension to HiP-HOPS for Dynamic Fault Propagation Studies. IMBSA 2017: 163-178
• 
  Hojat Khosrowjerdi, Karl Meinke, Andreas Rasmusson:
  Learning-Based Testing for Safety Critical Automotive Applications. IMBSA 2017: 197-211
• 
  Anthony Legendre, Agnes Lanusse, Antoine Rauzy:
  Toward Model Synchronization Between Safety Analysis and System Architecture Design in Industrial Contexts. IMBSA 2017: 35-49
• 
  Leonardo Montecchi, Barbara Gallina:
  SafeConcert: A Metamodel for a Concerted Safety Modeling of Socio-Technical Systems. IMBSA 2017: 129-144
• 
  Tatiana Prosvirnova, Estelle Saez, Christel Seguin, Pierre Virelizier:
  Handling Consistency Between Safety and System Models. IMBSA 2017: 19-34
• 
  Sebastian Reiter, Marc Zeller, Kai Höfig, Alexander Viehl, Oliver Bringmann, Wolfgang Rosenstiel:
  Verification of Component Fault Trees Using Error Effect Simulations. IMBSA 2017: 212-226
• 
  Athanasios Retouniotis, Yiannis Papadopoulos, Ioannis Sorokos, David Parker, Nicholas Matragkas, Septavera Sharvia:
  Model-Connected Safety Cases. IMBSA 2017: 50-63
• 
  Danielle Stewart, Michael W. Whalen, Darren D. Cofer, Mats Per Erik Heimdahl:
  Architectural Modeling and Analysis for Safety Engineering. IMBSA 2017: 97-111
• 
  Marco Bozzano, Yiannis Papadopoulos:
  Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings. Lecture Notes in Computer Science 10437, Springer 2017, ISBN 978-3-319-64118-8 [contents]