Abstract is missing.
- Assurance Case Arguments in the Large: The CERN LHC Machine Protection SystemLaure Millet, Simon Diemert, Chris Rees, Torin Viger, Marsha Chechik, Claudio Menghi, Jeffrey Joyce. 3-10 [doi]
- Identifying Run-Time Monitoring Requirements for Autonomous Systems Through the Analysis of Safety ArgumentsRichard Hawkins, Philippa Ryan Conmy. 11-24 [doi]
- Redesigning Medical Device Assurance: Separating Technological and Clinical Assurance CasesSpencer Deevy, Tiago de Moraes Machado, Amen Modhafar, Wesley O'Beirne, Richard F. Paige, Alan Wassyng. 25-38 [doi]
- A Cognitive Framework for Modeling Coincident Software Faults: An Experimental StudyBo Zhao, You Song, Wenhao Xu, Fuqun Huang. 41-54 [doi]
- A Taxonomy of Software Defect Forms for Certification Tests in Aviation IndustryFuqun Huang, Bing Huang, Yikun Wang, Yichen Wang. 55-63 [doi]
- Constraint-Guided Test Execution Scheduling: An Experience Report at ABB RoboticsArnaud Gotlieb, Morten Mossige, Helge Spieker. 64-72 [doi]
- A Low-Cost Strategic Monitoring Approach for Scalable and Interpretable Error Detection in Deep Neural NetworksFlorian Geissler, Syed Qutub, Michael Paulitsch, Karthik Pattabiraman. 75-88 [doi]
- Are Transformers More Robust? Towards Exact Robustness Verification for TransformersBrian Hsuan-Cheng Liao, Chih-Hong Cheng, Hasan Esen, Alois Knoll. 89-103 [doi]
- Model-Based Generation of Attack-Fault TreesRaffaela Groner, Thomas Witte, Alexander Raschke, Sophie Hirn, Irdin Pekaric, Markus Frick, Matthias Tichy, Michael Felderer. 107-120 [doi]
- MBTA: A Model-Based Threat Analysis Approach for Software ArchitecturesAnas Motii. 121-134 [doi]
- Attribute Repair for Threat PreventionThorsten Tarrach, Masoud Ebrahimi 0002, Sandra König, Christoph Schmittner, Roderick Bloem, Dejan Nickovic. 135-148 [doi]
- Probabilistic Spatial Relations for Monitoring Behavior of Road UsersLennart Siefke, Volker Sommer, Murat Can Baylan, Lars Grunske. 151-164 [doi]
- Concept and Metamodel to Support Cross-Domain Safety Analysis for ODD Expansion of Autonomous SystemsJan Reich, Daniel Hillen, Joshua Frey, Nishanth Laxman, Takehito Ogata, Donato Di Paola, Satoshi Otsuka, Natsumi Watanabe. 165-178 [doi]
- Pattern-Based Information Flow Control for Safety-Critical On-Chip SystemsTobias Dörr, Florian Schade, Jürgen Becker 0001. 181-195 [doi]
- From Standard to Practice: Towards ISA/IEC 62443-Conform Public Key InfrastructuresMichael P. Heinl, Maximilian Pursche, Nikolai Puch, Sebastian N. Peters, Alexander Giehl. 196-210 [doi]
- The Impact of Training Data Shortfalls on Safety of AI-Based Clinical Decision Support SystemsPhilippa Ryan Conmy, Berk Ozturk, Tom Lawton, Ibrahim Habli. 213-226 [doi]
- Data-Centric Operational Design Domain Characterization for Machine Learning-Based Aeronautical ProductsFateh Kaakai, Shridhar Shreeder Adibhatla, Ganesh Pai, Emmanuelle Escorihuela. 227-242 [doi]
- Online Quantization Adaptation for Fault-Tolerant Neural Network InferenceMichael Beyer, Jan Micha Borrmann, Andre Guntoro, Holger Blume. 243-256 [doi]
- Evaluation of Parameter-Based Attacks Against Embedded Neural Networks with Laser InjectionMathieu Dumont, Kevin Hector, Pierre-Alain Moëllic, Jean-Max Dutertre, Simon Pontié. 259-272 [doi]
- Towards Scenario-Based Safety Validation for Autonomous Trains with Deep Generative ModelsThomas Decker 0004, Ananta R. Bhattarai, Michael Lebacher. 273-281 [doi]