![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
42nd SAFECOMP 2023: Toulouse, France
- Jérémie Guiochet
, Stefano Tonetta
, Friedemann Bitsch
:
Computer Safety, Reliability, and Security - 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings. Lecture Notes in Computer Science 14181, Springer 2023, ISBN 978-3-031-40922-6
Safety Assurance
- Laure Millet, Simon Diemert, Chris Rees, Torin Viger, Marsha Chechik, Claudio Menghi
, Jeffrey J. Joyce:
Assurance Case Arguments in the Large: The CERN LHC Machine Protection System. 3-10 - Richard Hawkins
, Philippa Ryan Conmy
:
Identifying Run-Time Monitoring Requirements for Autonomous Systems Through the Analysis of Safety Arguments. 11-24 - Spencer Deevy
, Tiago de Moraes Machado
, Amen Modhafar
, Wesley O'Beirne
, Richard F. Paige
, Alan Wassyng
:
Redesigning Medical Device Assurance: Separating Technological and Clinical Assurance Cases. 25-38
Software Testing and Reliability
- Bo Zhao, You Song, Wenhao Xu, Fuqun Huang
:
A Cognitive Framework for Modeling Coincident Software Faults: An Experimental Study. 41-54 - Fuqun Huang
, Bing Huang, Yikun Wang, Yichen Wang:
A Taxonomy of Software Defect Forms for Certification Tests in Aviation Industry. 55-63 - Arnaud Gotlieb, Morten Mossige, Helge Spieker:
Constraint-Guided Test Execution Scheduling: An Experience Report at ABB Robotics. 64-72
Neural Networks Robustness and Monitoring
- Florian Geissler, Syed Sha Qutub, Michael Paulitsch, Karthik Pattabiraman:
A Low-Cost Strategic Monitoring Approach for Scalable and Interpretable Error Detection in Deep Neural Networks. 75-88 - Brian Hsuan-Cheng Liao, Chih-Hong Cheng, Hasan Esen, Alois Knoll:
Are Transformers More Robust? Towards Exact Robustness Verification for Transformers. 89-103
Model-Based Security and Threat Analysis
- Raffaela Groner
, Thomas Witte
, Alexander Raschke
, Sophie Hirn, Irdin Pekaric
, Markus Frick, Matthias Tichy
, Michael Felderer
:
Model-Based Generation of Attack-Fault Trees. 107-120 - Anas Motii:
MBTA: A Model-Based Threat Analysis Approach for Software Architectures. 121-134 - Thorsten Tarrach, Masoud Ebrahimi, Sandra König, Christoph Schmittner, Roderick Bloem, Dejan Nickovic
:
Attribute Repair for Threat Prevention. 135-148
Safety of Autonomous Driving
- Lennart Siefke
, Volker Sommer
, Murat Can Baylan
, Lars Grunske
:
Probabilistic Spatial Relations for Monitoring Behavior of Road Users. 151-164 - Jan Reich, Daniel Hillen
, Joshua Frey, Nishanth Laxman, Takehito Ogata, Donato Di Paola, Satoshi Otsuka, Natsumi Watanabe:
Concept and Metamodel to Support Cross-Domain Safety Analysis for ODD Expansion of Autonomous Systems. 165-178
Security Engineering
- Tobias Dörr
, Florian Schade, Jürgen Becker:
Pattern-Based Information Flow Control for Safety-Critical On-Chip Systems. 181-195 - Michael P. Heinl
, Maximilian Pursche
, Nikolai Puch
, Sebastian N. Peters
, Alexander Giehl
:
From Standard to Practice: Towards ISA/IEC 62443-Conform Public Key Infrastructures. 196-210
AI Safety
- Philippa Ryan Conmy
, Berk Ozturk, Tom Lawton, Ibrahim Habli:
The Impact of Training Data Shortfalls on Safety of AI-Based Clinical Decision Support Systems. 213-226 - Fateh Kaakai, Shridhar Shreeder Adibhatla, Ganesh Pai
, Emmanuelle Escorihuela:
Data-Centric Operational Design Domain Characterization for Machine Learning-Based Aeronautical Products. 227-242 - Michael Beyer
, Jan Micha Borrmann
, Andre Guntoro
, Holger Blume
:
Online Quantization Adaptation for Fault-Tolerant Neural Network Inference. 243-256
Neural Networks and Testing
- Mathieu Dumont, Kevin Hector, Pierre-Alain Moëllic, Jean-Max Dutertre, Simon Pontié:
Evaluation of Parameter-Based Attacks Against Embedded Neural Networks with Laser Injection. 259-272 - Thomas Decker, Ananta R. Bhattarai, Michael Lebacher:
Towards Scenario-Based Safety Validation for Autonomous Trains with Deep Generative Models. 273-281
![](https://dblp.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.