default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7th IMBSA 2020: Lisbon, Portugal
- 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
Safety Models and Languages
- Nungki Selviandro, Richard Hawkins, Ibrahim Habli:
A Visual Notation for the Representation of Assurance Cases Using SACM. 3-18 - Jan Reich, Joshua Frey, Emilia Cioroaica, Marc Zeller, Martin Rothfelder:
Argument-Driven Safety Engineering of a Generic Infusion Pump with Digital Dependability Identities. 19-33 - Hariharan Thiagarajan, Brian R. Larson, John Hatcliff, Yi Zhang:
Model-Based Risk Analysis for an Open-Source PCA Pump Using AADL Error Modeling. 34-50
State-Space Modeling
- Koorosh Aslansefat, Gholamreza Latif Shabgahi, Mehrdad Mohammadi:
Reliability Evaluation of Reconfigurable NMR Architecture Supported with Hot Standby Spare: Markov Modeling and Formulation. 53-67 - Stefan Kaalen, Mattias Nyberg:
Branching Transitions for Semi-Markov Processes with Application to Safety-Critical Systems. 68-82 - Anas Abdelkarim, Ping Zhang:
Optimal Scheduling of Preventive Maintenance for Safety Instrumented Systems Based on Mixed-Integer Programming. 83-96
Dependability Analysis Processes
- Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske:
Counterexample Interpretation for Contract-Based Design. 99-114 - Athira V. Jayakumar, Carl R. Elks:
Property-Based Fault Injection: A Novel Approach to Model-Based Fault Injection for Safety Critical Systems. 115-129 - Hamid Jahanian, David Parker, Marc Zeller, Annabelle McIver, Yiannis Papadopoulos:
Failure Mode Reasoning in Model Based Safety Analysis. 130-145
Safety Assessment in the Automotive Domain
- Iwo Kurzidem, Ahmad Saad, Philipp Schleiss:
A Systematic Approach to Analyzing Perception Architectures in Autonomous Vehicles. 149-162 - Birte Kramer, Christian Neurohr, Matthias Büker, Eckard Böde, Martin Fränzle, Werner Damm:
Identification and Quantification of Hazardous Scenarios for Automated Driving. 163-178 - 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. 179-193
Artificial Intelligence (AI) and Safety Assurance
- Koorosh Aslansefat, Ioannis Sorokos, Declan Whiting, Ramin Tavakoli Kolagari, Yiannis Papadopoulos:
SafeML: Safety Monitoring of Machine Learning Classifiers Through Statistical Difference Measures. 197-211 - Sheng Ding, Andrey Morozov, Silvia Vock, Michael Weyrich, Klaus Janschek:
Model-Based Error Detection for Industrial Automation Systems Using LSTM Networks. 212-226 - Nishanth Laxman, Chee Hung Koo, Peter Liggesmeyer:
U-Map: A Reference Map for Safe Handling of Runtime Uncertainties. 227-241
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-26 00:59 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
