- Nishanth Laxman, Chee Hung Koo, Peter Liggesmeyer:
U-Map: A Reference Map for Safe Handling of Runtime Uncertainties. IMBSA 2020: 227-241 - Jan Reich
, Joshua Frey, Emilia Cioroaica, Marc Zeller, Martin Rothfelder:
Argument-Driven Safety Engineering of a Generic Infusion Pump with Digital Dependability Identities. IMBSA 2020: 19-33 - Nungki Selviandro, Richard Hawkins, Ibrahim Habli:
A Visual Notation for the Representation of Assurance Cases Using SACM. IMBSA 2020: 3-18 - Hariharan Thiagarajan, Brian R. Larson, John Hatcliff, Yi Zhang:
Model-Based Risk Analysis for an Open-Source PCA Pump Using AADL Error Modeling. IMBSA 2020: 34-50 - Marc Zeller, Kai Höfig:
Model-Based Safety and Assessment - 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14-16, 2020, Proceedings. Lecture Notes in Computer Science 12297, Springer 2020, ISBN 978-3-030-58919-6 [contents] - 2019
- Jose Ignacio Aizpurua, Unai Garro, Eñaut Muxika, Mikel Mendicute, Ian Paul Gilbert:
Towards Dependability and Energy Aware Asset Management Framework for Maintenance Planning in Smart Grids. IMBSA 2019: 188-203 - Stylianos Basagiannis, Panagiotis Katsaros:
Formal Verification of Network Interlocking Control by Distributed Signal Boxes. IMBSA 2019: 204-221 - Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy:
Modeling Patterns for the Assessment of Maintenance Policies with AltaRica 3.0. IMBSA 2019: 32-46 - Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy:
Model Synchronization: A Formal Framework for the Management of Heterogeneous Models. IMBSA 2019: 157-172 - Lorenzo Bitetti, Régis De Ferluc, David Mailland, Guy Gregoris, Fulvio Capogna:
Model Based Approach for RAMS Analyses in the Space Domain with Capella Open-Source Tool. IMBSA 2019: 18-31 - Wei Chen, Leïla Kloul:
Stochastic Modelling of Autonomous Vehicles Driving Scenarios Using PEPA. IMBSA 2019: 317-331 - Kester Dean Clegg, Mole Li, David Stamp, Alan Grigg, John A. McDermid:
Integrating Existing Safety Analyses into SysML. IMBSA 2019: 63-77 - Kevin Delmas, Christel Seguin, Pierre Bieber:
Tiered Model-Based Safety Assessment. IMBSA 2019: 141-156 - Tim Gonschorek, Philipp Bergt, Marco Filax, Frank Ortmeier:
Integrating Safety Design Artifacts into System Development Models Using SafeDeML. IMBSA 2019: 93-106 - Simon Greiner, Peter Munk, Arne Nordmann:
Compositionality of Component Fault Trees. IMBSA 2019: 125-140 - Zhensheng Guo, Marc Zeller:
DPN - Dependability Priority Numbers. IMBSA 2019: 173-187 - Sohag Kabir, Koorosh Aslansefat, Ioannis Sorokos, Yiannis Papadopoulos, Youcef Gheraibia:
A Conceptual Framework to Incorporate Complex Basic Events in HiP-HOPS. IMBSA 2019: 109-124 - Sohag Kabir, Ioannis Sorokos, Koorosh Aslansefat, Yiannis Papadopoulos, Youcef Gheraibia, Jan Reich, Merve Saimler, Ran Wei:
A Runtime Safety Analysis Concept for Open Adaptive Systems. IMBSA 2019: 332-346 - Arut Prakash Kaleeswaran, Peter Munk, Samir Sarkic, Thomas Vogel, Arne Nordmann:
A Domain Specific Language to Support HAZOP Studies of SysML Models. IMBSA 2019: 47-62 - 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 - Georg Macher, Norbert Druml, Omar Veledar, Jakob Reckenzaun:
Safety and Security Aspects of Fail-Operational Urban Surround perceptION (FUSION). IMBSA 2019: 286-300 - Mathilde Machin, Estelle Saez, Pierre Virelizier, Xavier de Bossoreille:
Modeling Functional Allocation in AltaRica to Support MBSE/MBSA Consistency. IMBSA 2019: 3-17 - Pangkaj Chandra Paul, John Loane, Fergal McCaffery, Gilbert Regan:
A Serverless Architecture for Wireless Body Area Network Applications. IMBSA 2019: 239-254 - Deepak Rao, Plato Pathrose, Felix Huening, Jithin Sid:
An Approach for Validating Safety of Perception Software in Autonomous Driving Systems. IMBSA 2019: 303-316 - Inna Vistbakka, Elena Troubitsyna:
Pattern-Based Formal Approach to Analyse Security and Safety of Control Systems. IMBSA 2019: 363-378 - Declan Whiting, Ioannis Sorokos, Yiannis Papadopoulos, Gilbert Regan, Eoin O'Carroll:
Automated Model-Based Attack Tree Analysis Using HiP-HOPS. IMBSA 2019: 255-269 - Tim Wuellner, Sebastian Feuerstack, Axel Hahn:
Clustering Environmental Conditions of Historical Accident Data to Efficiently Generate Testing Sceneries for Maritime Systems. IMBSA 2019: 349-362 - Liu Yang, Antoine Rauzy:
FDS-ML: A New Modeling Formalism for Probabilistic Risk and Safety Analyses. IMBSA 2019: 78-92 - Markus Zoppelt, Ramin Tavakoli Kolagari:
What Today's Serious Cyber Attacks on Cars Tell Us: Consequences for Automotive Security and Dependability. IMBSA 2019: 270-285 - Yiannis Papadopoulos, Koorosh Aslansefat, Panagiotis Katsaros, Marco Bozzano:
Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings. Lecture Notes in Computer Science 11842, Springer 2019, ISBN 978-3-030-32871-9 [contents]
