SAFECOMP

Keyphrases

Publications

2023

Fuqun Huang, Bing Huang, Yikun Wang, Yichen Wang
A Taxonomy of Software Defect Forms for Certification Tests in Aviation Industry. SAFECOMP (2023)
Raffaela Groner, Thomas Witte, Alexander Raschke, Sophie Hirn, Irdin Pekaric, Markus Frick, Matthias Tichy, Michael Felderer
Model-Based Generation of Attack-Fault Trees. SAFECOMP (2023)
Richard Hawkins, Philippa Ryan Conmy
Identifying Run-Time Monitoring Requirements for Autonomous Systems Through the Analysis of Safety Arguments. SAFECOMP (2023)
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. SAFECOMP (2023)
Florian Geissler, Syed Qutub, Michael Paulitsch, Karthik Pattabiraman
A Low-Cost Strategic Monitoring Approach for Scalable and Interpretable Error Detection in Deep Neural Networks. SAFECOMP (2023)
Philippa Ryan Conmy, Berk Ozturk, Tom Lawton, Ibrahim Habli
The Impact of Training Data Shortfalls on Safety of AI-Based Clinical Decision Support Systems. SAFECOMP (2023)
Tobias Dörr, Florian Schade, Jürgen Becker
Pattern-Based Information Flow Control for Safety-Critical On-Chip Systems. SAFECOMP (2023)
Arnaud Gotlieb, Morten Mossige, Helge Spieker
Constraint-Guided Test Execution Scheduling: An Experience Report at ABB Robotics. SAFECOMP (2023)
Fateh Kaakai, Shridhar Shreeder Adibhatla, Ganesh Pai, Emmanuelle Escorihuela
Data-Centric Operational Design Domain Characterization for Machine Learning-Based Aeronautical Products. SAFECOMP (2023)
Michael P. Heinl, Maximilian Pursche, Nikolai Puch, Sebastian N. Peters, Alexander Giehl
From Standard to Practice: Towards ISA/IEC 62443-Conform Public Key Infrastructures. SAFECOMP (2023)
Bo Zhao, You Song, Wenhao Xu, Fuqun Huang
A Cognitive Framework for Modeling Coincident Software Faults: An Experimental Study. SAFECOMP (2023)
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. SAFECOMP (2023)
Anas Motii
MBTA: A Model-Based Threat Analysis Approach for Software Architectures. SAFECOMP (2023)
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. SAFECOMP (2023)
Michael Beyer, Jan Micha Borrmann, Andre Guntoro, Holger Blume
Online Quantization Adaptation for Fault-Tolerant Neural Network Inference. SAFECOMP (2023)
Thorsten Tarrach, Masoud Ebrahimi, Sandra König, Christoph Schmittner, Roderick Bloem, Dejan Nickovic
Attribute Repair for Threat Prevention. SAFECOMP (2023)
Thomas Decker, Ananta R. Bhattarai, Michael Lebacher
Towards Scenario-Based Safety Validation for Autonomous Trains with Deep Generative Models. SAFECOMP (2023)
Brian Hsuan-Cheng Liao, Chih-Hong Cheng, Hasan Esen, Alois Knoll
Are Transformers More Robust? Towards Exact Robustness Verification for Transformers. SAFECOMP (2023)
Lennart Siefke, Volker Sommer, Murat Can Baylan, Lars Grunske
Probabilistic Spatial Relations for Monitoring Behavior of Road Users. SAFECOMP (2023)
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. SAFECOMP (2023)

volume 14181, 2023

Computer Safety, Reliability, and Security - 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings SAFECOMP 14181 (2023)

2022

volume 13414, 2022

Computer Safety, Reliability, and Security - 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2022, Proceedings SAFECOMP 13414 (2022)

2021

volume 12852, 2021

Computer Safety, Reliability, and Security - 40th International Conference, SAFECOMP 2021, York, UK, September 8-10, 2021, Proceedings SAFECOMP 12852 (2021)