Abstract is missing.
- Triggering Conditions Analysis and Use Case for Validation of ADAS/ADS FunctionsVíctor Juan Expósito Jiménez, Helmut Martin, Christian Schwarzl, Georg Macher, Eugen Brenner. 11-22 [doi]
- A Statistical View on Automated Driving System Safety ArchitecturesRainer Faller, Krystian Radlak. 23-34 [doi]
- Criteria for the Analysis of Gaps and Limitations of V&V Methods for Safety- and Security-Critical SystemsEnrico Ferrari, Rupert Schlick, Jose Luis de la Vara, Peter Folkesson, Behrooz Sangchoolie. 35-46 [doi]
- A Guided Search for Races Based on Data Flow PatternsAndreas Neubaum, Loui Al Sardy, Marc Spisländer, Francesca Saglietti, Sara Kretschmer. 47-58 [doi]
- Building a Test Bed for the Periodical Technical Inspection of Sensors Perceiving the Environment in Autonomous VehiclesFelix Müller, Philipp Nenninger, Eric Sax. 59-70 [doi]
- Testing and Verification of the Deep Neural Networks Against Sparse Pixel DefectsMichal Szczepankiewicz, Krystian Radlak, Karolina Szczepankiewicz, Adam Popowicz, Pawel Zawistowski. 71-82 [doi]
- Observing the Impact of Multicore Execution Platform for TSP Systems Under Schedulability, Security and Safety ConstraintsIll-ham Atchadam, Laurent Lemarchand, Frank Singhoff, Hai Nam Tran. 83-96 [doi]
- Security Assessment Prospects as Part of Vehicle RegulationsMona Gierl, Reiner Kriesten, Eric Sax. 97-109 [doi]
- UNECE Threat List Case Study: Prediction of Cyber Risks in the Automotive Domain Using Regression AnalysisAbdelkader Magdy Shaaban, Sebastian Chlup, Christoph Schmittner. 110-122 [doi]
- Watch: A Validation Framework and Language for Tool QualificationLuiz Cordeiro, Christian Becker, Markus Pielmeier, Julian Amann. 127-139 [doi]
- DevOps and Safety? SafeOps! Towards Ensuring Safety in Feature-Driven Development with Frequent ReleasesPeter Munk, Markus Schweizer. 145-157 [doi]
- Dynamic Checks of Evidence Models for Assurance Projects in Eclipse OpenCertJabier Martinez, Ángel Jesús Varela-Vaca. 158-165 [doi]
- An Approach for Deriving Reduced Collision Scenarios for Highly Automated Driving SystemsMarzana Khatun, Heinrich Litagin, Rolf Jung, Michael Glaß. 166-177 [doi]
- State of the Art Study of the Safety Argumentation Frameworks for Automated Driving SystemIlona Cieslik, Víctor Juan Expósito Jiménez, Helmut Martin, Heiko Scharke, Hannes Schneider. 178-191 [doi]
- Increasing IoT Security by Supply Power MeasurementUwe Becker. 197-210 [doi]
- Towards Interdependent Safety Security Assessments Using BowtiesLuca Arnaboldi, David Aspinall 0001. 211-229 [doi]
- On Explainability in AI-Solutions: A Cross-Domain SurveySimon D. Duque Antón, Daniel Schneider 0007, Hans D. Schotten. 235-246 [doi]
- Research Questions in the Acceptance of Cybersecurity by SMEs in the EUMerijn van Tooren, Daniel Reti, Daniel Schneider 0007, Cédric Bassem, Raúl Santos de La Cámara, Hans Dieter Schotten. 247-255 [doi]
- Safe Design of Stable Neural Networks for Fault Detection in Small UAVsKavya Gupta, Fateh Kaakai, Béatrice Pesquet-Popescu, Jean-Christophe Pesquet. 263-275 [doi]
- Neural Criticality Metric for Object Detection Deep Neural NetworksVáclav Divis, Tobias Schuster, Marek Hrúz. 276-288 [doi]
- StaDRe and StaDRo: Reliability and Robustness Estimation of ML-Based Forecasting Using Statistical Distance MeasuresMohammed Naveed Akram, Akshatha Ambekar, Ioannis Sorokos, Koorosh Aslansefat, Daniel Schneider 0001. 289-301 [doi]
- A Safety Assurable Human-Inspired Perception ArchitectureRick Salay, Krzysztof Czarnecki. 302-315 [doi]
- Object Detection with Probabilistic Guarantees: A Conformal Prediction ApproachFlorence De Grancey, Jean-Luc Adam, Lucian Alecu, Sébastien Gerchinovitz, Franck Mamalet, David Vigouroux. 316-329 [doi]
- Interval Weight-Based Abstraction for Neural Network VerificationFateh Boudardara, Abderraouf Boussif, Pierre-Jean Meyer, Mohamed Ghazel. 330-342 [doi]
- Logically Sound Arguments for the Effectiveness of ML Safety MeasuresChih-Hong Cheng, Tobias Schuster, Simon Burton. 343-350 [doi]