![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
41st SAFECOMP 2022: Munich, Germany
- Mario Trapp, Francesca Saglietti, Marc Spisländer, Friedemann Bitsch
:
Computer Safety, Reliability, and Security - 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2022, Proceedings. Lecture Notes in Computer Science 13414, Springer 2022, ISBN 978-3-031-14834-7
Safety Analysis and Certification
- Matt Osborne
, Richard Hawkins
, John A. McDermid
:
Analysing the Safety of Decision-Making in Autonomous Systems. 3-16 - Robert Maier
, Jürgen Mottok
:
BayesianSafety - An Open-Source Package for Causality-Guided, Multi-model Safety Analysis. 17-30 - Kai Lampka, Joel Thurlby, Adam Lackorzynski
, Marcus Hähnel:
Safety Certification with the Open Source Microkernel-Based Operating System L4Re. 31-45 - Lisandro Arturo Jimenez-Roa
, Matthias Volk
, Mariëlle Stoelinga
:
Data-Driven Inference of Fault Tree Models Exploiting Symmetry and Modularization. 46-61
Assurance Cases
- Chanwook Oh
, Nikhil Naik, Zamira Daw, Timothy E. Wang, Pierluigi Nuzzo:
ARACHNE: Automated Validation of Assurance Cases with Stochastic Contract Networks. 65-81 - Shreyas Ramakrishna
, Hyunjee Jin, Abhishek Dubey, Arun Ramamurthy:
Automating Pattern Selection for Assurance Case Development for Cyber-Physical Systems. 82-96 - Nicholas Annable
, Thomas Chiang
, Mark Lawford
, Richard F. Paige
, Alan Wassyng
:
Generating Assurance Cases Using Workflow+ Models. 97-110 - Yassir Idmessaoud, Didier Dubois, Jérémie Guiochet:
Uncertainty Elicitation and Propagation in GSN Models of Assurance Cases. 111-125
Fault Detection, Monitoring and Tolerance
- Francesco Terrosi
, Lorenzo Strigini, Andrea Bondavalli
:
Impact of Machine Learning on Safety Monitors. 129-143 - Marc Fischer
, Oliver Riedel
, Armin Lechler
:
Comprehensive Analysis of Software-Based Fault Tolerance with Arithmetic Coding for Performant Encoding of Integer Calculations. 144-157 - Smitha Gautham, Georgios Bakirtzis
, Alexander Will, Athira Varma Jayakumar, Carl R. Elks:
STPA-Driven Multilevel Runtime Monitoring for In-Time Hazard Detection. 158-172
Security and Safety
- Pierre-Marie Bajan, Martin Boyer, Anouk Dubois, Jérôme Letailleur, Kevin Mantissa, Jérémy Sobieraj, Mohamed Tlig:
Proposal of Cybersecurity and Safety Co-engineering Approaches on Cyber-Physical Systems. 175-188 - Florian Kohnhäuser, Nicolas Coppik, Francisco Mendoza, Ankita Kumari:
On the Feasibility and Performance of Secure OPC UA Communication with IIoT Devices. 189-203
Fault Injection
- Christian Dietrich, Malte Bargholz, Yannick Loeck, Marcel Budoj, Luca Nedaskowskij, Daniel Lohmann:
SailFAIL: Model-Derived Simulation-Assisted ISA-Level Fault-Injection Platforms. 207-221 - Iban Guinebert, Andres Barrilado, Kevin Delmas
, Franck Galtié, Claire Pagetti
:
Quality of Fault Injection Strategies on Hardware Accelerator. 222-236 - Anamta Khan, Carlos A. Chuquitarco Jiménez, Morcillo-Pallarés Pablo, Naghmeh Ramezani Ivaki
, Juan Vicente Balbastre-Tejedor, Henrique Madeira
:
Assessment of the Impact of U-space Faulty Conditions on Drones Conflict Rate. 237-251 - Tim-Marek Thomas
, Christian Dietrich, Oskar Pusz, Daniel Lohmann:
ACTOR: Accelerating Fault Injection Campaigns Using Timeout Detection Based on Autocorrelation. 252-266
Object Detection and Perception
- Tobias Schuster, Emmanouil Seferis, Simon Burton, Chih-Hong Cheng:
Formally Compensating Performance Limitations for Imprecise 2D Object Detection. 269-283 - Janek Groß, Rasmus Adler
, Michael Kläs, Jan Reich
, Lisa Jöckel, Roman Gansch:
Architectural Patterns for Handling Runtime Uncertainty of Data-Driven Models in Safety-Critical Perception. 284-297 - Syed Sha Qutub
, Florian Geissler
, Yang Peng
, Ralf Gräfe, Michael Paulitsch
, Gereon Hinz, Alois C. Knoll:
Hardware Faults that Matter: Understanding and Estimating the Safety Impact of Hardware Faults on Object Detection DNNs. 298-318 - Esra Acar-Celik, Carmen Cârlan, Asim Abdulkhaleq, Fridolin Bauer, Martin Schels, Henrik J. Putzer:
Application of STPA for the Elicitation of Safety Requirements for a Machine Learning-Based Perception Component in Automotive. 319-332
Testing
- Tabea Schmidt, Florian Hauer, Alexander Pretschner:
Exploring a Maximal Number of Relevant Obstacles for Testing UAVs. 335-349 - Nicola Kolb, Florian Hauer, Mojdeh Golagha, Alexander Pretschner:
Data-Driven Assessment of Parameterized Scenarios for Autonomous Vehicles. 350-364 - Peter Bishop
, Andrey Povyakalo:
Optimising the Reliability that Can Be Claimed for a Software-Based System Based on Failure-Free Tests of Its Components. 365-378
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.