Abstract is missing.
- Using Assurance Cases to Prevent Malicious Behaviour from Targeting Safety VulnerabilitiesVictor Bandur, Mark Lawford, Sébastien Mosser 0001, Richard F. Paige, Vera Pantelic, Alan Wassyng. 5-14 [doi]
- Constructing Security Cases Based on Formal Verification of Security Requirements in AlloyMarwa Zeroual, Brahim Hamid, Morayo Adedjouma, Jason Jaskolka. 15-25 [doi]
- Assurance Cases for Timing Properties of Automotive TSN NetworksRyan Kapinski, Vera Pantelic, Victor Bandur, Alan Wassyng, Mark Lawford. 26-31 [doi]
- Toward Dependability Assurance Framework for Automated Driving SystemsYutaka Matsuno, Toshinori Takai, Manabu Okada, Tomoyuki Tsuchiya. 32-37 [doi]
- A Quantitative Approach for System of Systems' Resilience Analyzing Based on ArchiMateHuanjun Zhang, Yutaka Matsubara, Hiroaki Takada. 47-60 [doi]
- Towards DO-178C Compliance of a Secure ProductLijun Shan. 61-72 [doi]
- The Need for Threat Modelling in Unmanned Aerial SystemsAbdelkader Magdy Shaaban, Oliver Jung, Christoph Schmittner. 73-84 [doi]
- Using Runtime Information of Controllers for Safe Adaptation at Runtime: A Process Mining ApproachJorge Da Silva, Miren Illarramendi, Asier Iriarte. 85-94 [doi]
- Safety and Robustness for Deep Neural Networks: An Automotive Use CaseDavide Bacciu, Antonio Carta, Claudio Gallicchio, Christoph Schmittner. 95-107 [doi]
- Towards Dependable Integration Concepts for AI-Based SystemsGeorg Macher, Romana Blazevic, Omar Veledar, Eugen Brenner. 108-117 [doi]
- A Methodology for the Qualification of Operating Systems and Hypervisors for the Deployment in IoT DevicesIrene Bicchierai, Enrico Schiavone, Massimiliano Leone Itria, Andrea Bondavalli, Lorenzo Falai. 123-134 [doi]
- Computer-Aided Generation of Assurance CasesTimothy E. Wang, Chanwook Oh, Matthew Low, Isaac Amundson, Zamira Daw, Alessandro Pinto, Massimiliano L. Chiodo, Guoqiang Wang, Saqib Hasan, Ryan Melville, Pierluigi Nuzzo 0002. 135-148 [doi]
- RACK: A Semantic Model and Triplestore for Curation of Assurance Case EvidenceAbha Moitra, Paul Cuddihy, Kit Siu, David W. Archer, Eric Mertens, Daniel Russell, Kevin Quick, Valentin Robert, Baoluo Meng. 149-160 [doi]
- Patterns for Integrating NIST 800-53 Controls into Security Assurance CasesTorin Viger, Simon Diemert, Olivia Foster. 165-175 [doi]
- Analyzing Origins of Safety and Security Interactions Using Feared Events Trees and Multi-level ModelMegha Quamara, Christina Kolb, Brahim Hamid. 176-187 [doi]
- Utilising Redundancy to Enhance Security of Safety-Critical SystemsElena Troubitsyna. 188-196 [doi]
- Reliability Evaluation of Autonomous Transportation System Architecture Based on Markov ChainBingyv Shen, Guangyun Liu, Shaowu Cheng, Xiantong Li, Kui Li, Chen Liang. 205-217 [doi]
- Uncertainty Quantification for Semantic Segmentation Models via Evidential ReasoningRui Wang 0042, Mengying Wang, Ci Liang, Zhouxian Jiang. 218-229 [doi]
- Research on the Reliability of High-Speed Railway Dispatching and Commanding Personnel with Multi Physiological SignalsLiuxing Hu, Wei Zheng. 230-238 [doi]
- Research on Brain Load Prediction Based on Machine Learning for High-Speed Railway DispatchingDandan Bi, Wei Zheng, Xiaorong Meng. 239-246 [doi]
- Paired Safety Rule Structure for Human-Machine Cooperation with Feature Update and EvolutionSatoshi Otsuka, Natsumi Watanabe, Takehito Ogata, Donato Di Paola, Daniel Hillen, Joshua Frey, Nishanth Laxman, Jan Reich. 247-259 [doi]
- Towards an Effective Generation of Functional Scenarios for AVs to Guide SamplingHugues Blache, Pierre-Antoine Laharotte, Nour-Eddin El Faouzi. 260-270 [doi]
- Rear-End Collision Risk Analysis for Autonomous DrivingCi Liang, Mohamed Ghazel, Yusheng Ci, Nour-Eddin El Faouzi, Rui Wang 0042, Wei Zheng. 271-282 [doi]
- Improving Road Traffic Safety and Performance-Barriers and Directions Towards Cooperative Automated VehiclesGianfilippo Fornaro, Martin Törngren. 283-294 [doi]
- A Group-Level Learning Approach Using Logistic Regression for Fairer DecisionsMarc Elliott, Deepak P 0001. 301-313 [doi]
- Conformal Prediction and Uncertainty Wrapper: What Statistical Guarantees Can You Get for Uncertainty Quantification in Machine Learning?Lisa Jöckel, Michael Kläs, Janek Groß, Pascal Gerber. 314-327 [doi]
- AIMOS: Metamorphic Testing of AI - An Industrial ApplicationAugustin Lemesle, Aymeric Varasse, Zakaria Chihani, Dominique Tachet. 328-340 [doi]
- AERoS: Assurance of Emergent Behaviour in Autonomous Robotic SwarmsDhaminda B. Abeywickrama, James Wilson, Suet Lee, Greg Chance, Peter D. Winter, Arianna Manzini, Ibrahim Habli, Shane Windsor, Sabine Hauert, Kerstin Eder. 341-354 [doi]
- A Reasonable Driver Standard for Automated Vehicle SafetyPhilip Koopman, William H. Widen. 355-361 [doi]
- Structuring Research Related to Dynamic Risk Management for Autonomous SystemsRasmus Adler, Jan Reich, Richard Hawkins. 362-368 [doi]
- Towards Safe Machine Learning Lifecycles with ESG Model CardsThomas Bonnier, Benjamin Bosch. 369-381 [doi]
- Towards Deep Anomaly Detection with Structured Knowledge RepresentationsKonstantin Kirchheim. 382-389 [doi]
- Evaluating and Increasing Segmentation Robustness in CARLAVenkatesh Thirugnana Sambandham, Konstantin Kirchheim, Frank Ortmeier. 390-396 [doi]
- Safety Integrity Levels for Artificial IntelligenceSimon Diemert, Laure Millet, Jonathan Groves, Jeffrey J. Joyce. 397-409 [doi]
- Can Large Language Models Assist in Hazard Analysis?Simon Diemert, Jens H. Weber. 410-422 [doi]
- Contextualised Out-of-Distribution Detection Using Pattern IdentificationRomain Xu-Darme, Julien Girard-Satabin, Darryl Hond, Gabriele Incorvaia, Zakaria Chihani. 423-435 [doi]