default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID42nd 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
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-10-31 20:20 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:
