Abstract is missing.
- SmartGSN: An Online Tool to Semi-automatically Manage Assurance CasesOluwafemi Odu, Daniel Méndez Beltrán, Emiliano Berrones Gutiérrez, Alvine B. Belle, Gerhard Yu, Melika Sherafat. 3-17 [doi]
- Principled Safety Assurance ArgumentsNicholas Annable, Mark Lawford, Richard F. Paige, Alan Wassyng. 18-32 [doi]
- Consensus Building in Level 4 Automated Driving Field Trials Through Assurance CasesYutaka Matsuno, Michio Hayashi, Tomoyuki Tsuchiya. 33-47 [doi]
- Creation and Use of a Representative Dataset for Advanced Persistent Threats DetectionTommaso Puccetti, Simona De Vivo, Davide Zhang, Pietro Liguori, Roberto Natella, Andrea Ceccarelli. 51-66 [doi]
- How Post-completion Error Leads to Software Faults and Vulnerabilities: Industrial Case StudiesFuqun Huang. 67-81 [doi]
- Efficient Injury Risk Assessment for Automated Driving Systems Using Subset SimulationMagnus Gyllenhammar, Daniel Åsljung, Majid Khorsand Vakilzadeh, Gabriel Rodrigues de Campos. 82-96 [doi]
- Alignment of SOTIF and Scenario-Based Safety Evaluation FrameworkIkue Warren, Kenji Taguchi 0001, Sou Kitajima, Hiroki Nakamura, Tomoyoshi Murata. 99-114 [doi]
- Managing Capability in Software Dependability Testing Through Generic Test RigsSilke Kuball, Lee Walker, Martin Rendell. 115-127 [doi]
- Improving Out-of-Distribution Detection via Test-Time AugmentationImanol Allende, Nicholas Mc Guire, Javier del Campo, Carles Hernández 0001. 128-141 [doi]
- Can C-Based ECC Models Leverage High-Level Synthesis? Evaluating Description Variants for Efficient Circuit ImplementationsJoaquin Gracia-Moran, Juan-Carlos Ruiz-Garcia 0001, David de Andrés, Luis J. Saiz-Adalid. 145-159 [doi]
- Hot PASTA: Improved Pragmatics for System-Theoretic Process AnalysisJette Petzold, Reinhard von Hanxleden. 160-174 [doi]
- ULS: A Unified Likelihood Scale for Cross-Standard Risk AssessmentMohamed AbdElSalam, Simon Greiner, Oum-El-Kheir Aktouf, Annabelle Mercier. 175-189 [doi]
- Large Language Models in Code Co-generation for Safe Autonomous VehiclesAli Nouri, Beatriz Cabrero Daniel, Zhennan Fei, Krishna Ronanki, Håkan Sivencrona, Christian Berger 0001. 193-208 [doi]
- Balancing the Risks and Benefits of Using Large Language Models to Support Assurance Case DevelopmentSimon Diemert, Erin Cyffka, Naweed Anwari, Olivia Foster, Torin Viger, Laure Millet, Jeffrey J. Joyce. 209-225 [doi]
- Exploring the Potential of LSTM On Emulating Multiple-bit Fault Injection in SRAM-FPGATrishna Rajkumar, Johnny Öberg. 226-239 [doi]