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

• 2022
• 
  Koorosh Aslansefat, Panagiota Nikolaou, Martin Walker, Mohammed Naveed Akram, Ioannis Sorokos, Jan Reich, Panayiotis Kolios, Maria K. Michael, Theocharis Theocharides, Georgios Ellinas, Daniel Schneider, Yiannis Papadopoulos:
  SafeDrones: Real-Time Reliability Evaluation of UAVs Using Executable Digital Dependable Identities. IMBSA 2022: 252-266
• 
  Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy:
  Performance Assessment of an Offshore Windmill Farm with AltaRica 3.0. IMBSA 2022: 130-145
• 
  Alberto Bombardelli, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Massimo Nazaria, Edoardo Nicolodi, Stefano Tonetta:
  COMPASTA: Extending TASTE with Formal Design and Verification Functionality. IMBSA 2022: 21-27
• 
  Guillaume Brau, Eric Jenn, Silvana Radu:
  A Capella-Based Tool for the Early Assessment of Nano/Micro Satellites Availability. IMBSA 2022: 155-169
• 
  Lucas Bressan, André Luíz de Oliveira, Fernanda C. A. Campos, Leonardo Montecchi, Rafael Capilla, David Parker, Koorosh Aslansefat, Yiannis Papadopoulos:
  Modeling the Variability of System Safety Analysis Using State-Machine Diagrams. IMBSA 2022: 43-59
• 
  Sheng Ding, Skander Ayoub, Andrey Morozov:
  Tool Paper: Time Series Anomaly Detection Platform for MATLAB Simulink. IMBSA 2022: 204-218
• 
  Al-Harith Farhad, Ioannis Sorokos, Andreas Schmidt, Mohammed Naveed Akram, Koorosh Aslansefat, Daniel Schneider:
  Keep Your Distance: Determining Sampling and Distance Thresholds in Machine Learning Monitoring. IMBSA 2022: 219-234
• 
  Christophe Frazza, Pierre Darfeuil, Jean Gauthier:
  MBSA in Aeronautics: A Way to Support Safety Activities. IMBSA 2022: 31-42
• 
  Daniel Hillen, Tom Philip Huck, Nishanth Laxman, Christoph Ledermann, Jan Reich, Patrick Schlosser, Andreas Schmidt, Daniel Schneider, Denis Uecker:
  Plug-and-Produce... Safely! - End-to-End Model-Based Safety Assurance for Reconfigurable Industry 4.0. IMBSA 2022: 83-97
• 
  Bernhard Kaiser, Bernard Dion, Ilya Tolchinsky, Thierry Le Sergent, Max Najork:
  An AEBS Use Case for Model-Based System Design Integrating Safety Analyses and Simulation. IMBSA 2022: 3-20
• 
  Anthony Legendre, Roland Donat:
  Practical Application of Model-Based Safety Analysis to the Design of Global Operating System of New Rolling Stock on Automatic Metro Lines. IMBSA 2022: 68-82
• 
  Robert Maier, Lisa Grabinger, David Urlhart, Jürgen Mottok:
  Towards Causal Model-Based Engineering in Automotive System Safety. IMBSA 2022: 116-129
• 
  Bertille Noisette, Sébastien Dobol, Laurène Monteil:
  Model-Based Safety Analysis: A Practical Experience. IMBSA 2022: 60-67
• 
  Ehsan Poorhadi, Elena Troubitsyna, György Dán:
  Analysing the Impact of Security Attacks on Safety Using SysML and Event-B. IMBSA 2022: 170-185
• 
  Tatiana Prosvirnova, Christel Seguin, Christophe Frazza, Michel Batteux, Xavier de Bossoreille, Frédéric Deschamps, Jean Gauthier, Estelle Saez:
  Strategies for Modelling Failure Propagation in Dynamic Systems with AltaRica. IMBSA 2022: 101-115
• 
  Jan Reich, Pascal Gerber, Nishanth Laxman, Daniel Schneider, Takehito Ogata, Satoshi Otsuka, Tasuku Ishigooka:
  Engineering Dynamic Risk and Capability Models to Improve Cooperation Efficiency Between Human Workers and Autonomous Mobile Robots in Shared Spaces. IMBSA 2022: 237-251
• 
  Connor Walker, Callum Rothon, Koorosh Aslansefat, Yiannis Papadopoulos, Nina Dethlefs:
  A Deep Learning Framework for Wind Turbine Repair Action Prediction Using Alarm Sequences and Long Short Term Memory Algorithms. IMBSA 2022: 189-203
• 
  Marc Zeller:
  Component Fault and Deficiency Tree (CFDT): Combining Functional Safety and SOTIF Analysis. IMBSA 2022: 146-152
• 
  Christel Seguin, Marc Zeller, Tatiana Prosvirnova:
  Model-Based Safety and Assessment - 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings. Lecture Notes in Computer Science 13525, Springer 2022, ISBN 978-3-031-15841-4 [contents]
• 2020
• 
  Anas Abdelkarim, Ping Zhang:
  Optimal Scheduling of Preventive Maintenance for Safety Instrumented Systems Based on Mixed-Integer Programming. IMBSA 2020: 83-96
• 
  Koorosh Aslansefat, Gholamreza Latif Shabgahi, Mehrdad Mohammadi:
  Reliability Evaluation of Reconfigurable NMR Architecture Supported with Hot Standby Spare: Markov Modeling and Formulation. IMBSA 2020: 53-67
• 
  Koorosh Aslansefat, Ioannis Sorokos, Declan Whiting, Ramin Tavakoli Kolagari, Yiannis Papadopoulos:
  SafeML: Safety Monitoring of Machine Learning Classifiers Through Statistical Difference Measures. IMBSA 2020: 197-211
• 
  Lucas Bressan, André Luíz de Oliveira, Fernanda Campos, Yiannis Papadopoulos, David Parker:
  An Integrated Approach to Support the Process-Based Certification of Variant-Intensive Systems. IMBSA 2020: 179-193
• 
  Sheng Ding, Andrey Morozov, Silvia Vock, Michael Weyrich, Klaus Janschek:
  Model-Based Error Detection for Industrial Automation Systems Using LSTM Networks. IMBSA 2020: 212-226
• 
  Hamid Jahanian, David Parker, Marc Zeller, Annabelle McIver, Yiannis Papadopoulos:
  Failure Mode Reasoning in Model Based Safety Analysis. IMBSA 2020: 130-145
• 
  Athira V. Jayakumar, Carl R. Elks:
  Property-Based Fault Injection: A Novel Approach to Model-Based Fault Injection for Safety Critical Systems. IMBSA 2020: 115-129
• 
  Stefan Kaalen, Mattias Nyberg:
  Branching Transitions for Semi-Markov Processes with Application to Safety-Critical Systems. IMBSA 2020: 68-82
• 
  Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske:
  Counterexample Interpretation for Contract-Based Design. IMBSA 2020: 99-114
• 
  Birte Kramer, Christian Neurohr, Matthias Büker, Eckard Böde, Martin Fränzle, Werner Damm:
  Identification and Quantification of Hazardous Scenarios for Automated Driving. IMBSA 2020: 163-178
• 
  Iwo Kurzidem, Ahmad Saad, Philipp Schleiss:
  A Systematic Approach to Analyzing Perception Architectures in Autonomous Vehicles. IMBSA 2020: 149-162

skipping 64 more matches