SAFECOMP B

16 papers

YearTitle / Authors
2026Computer Safety, Reliability, and Security - 44th International Conference, SAFECOMP 2025, Stockholm, Sweden, September 10-12, 2025, Proceedings
Barbara Gallina, Martin Törngren, Friedemann Bitsch
2025Alignment of SOTIF and Scenario-Based Safety Evaluation Framework.
Ikue Warren, Kenji Taguchi, Sou Kitajima, Hiroki Nakamura, Tomoyoshi Murata
2025Balancing the Risks and Benefits of Using Large Language Models to Support Assurance Case Development.
Simon Diemert, Erin Cyffka, Naweed Anwari, Olivia Foster, Torin Viger, Laure Millet, Jeffrey J. Joyce
2025Can C-Based ECC Models Leverage High-Level Synthesis? Evaluating Description Variants for Efficient Circuit Implementations.
Joaquin Gracia-Moran, Juan-Carlos Ruiz-Garcia, David de Andrés, Luis J. Saiz-Adalid
2025Consensus Building in Level 4 Automated Driving Field Trials Through Assurance Cases.
Yutaka Matsuno, Michio Hayashi, Tomoyuki Tsuchiya
2025Creation and Use of a Representative Dataset for Advanced Persistent Threats Detection.
Tommaso Puccetti, Simona De Vivo, Davide Zhang, Pietro Liguori, Roberto Natella, Andrea Ceccarelli
2025Efficient Injury Risk Assessment for Automated Driving Systems Using Subset Simulation.
Magnus Gyllenhammar, Daniel Åsljung, Majid Khorsand Vakilzadeh, Gabriel Rodrigues de Campos
2025Exploring the Potential of LSTM On Emulating Multiple-bit Fault Injection in SRAM-FPGA.
Trishna Rajkumar, Johnny Öberg
2025Hot PASTA: Improved Pragmatics for System-Theoretic Process Analysis.
Jette Petzold, Reinhard von Hanxleden
2025How Post-completion Error Leads to Software Faults and Vulnerabilities: Industrial Case Studies.
Fuqun Huang
2025Improving Out-of-Distribution Detection via Test-Time Augmentation.
Imanol Allende, Nicholas Mc Guire, Javier del Campo, Carles Hernández
2025Large Language Models in Code Co-generation for Safe Autonomous Vehicles.
Ali Nouri, Beatriz Cabrero-Daniel, Zhennan Fei, Krishna Ronanki, Håkan Sivencrona, Christian Berger
2025Managing Capability in Software Dependability Testing Through Generic Test Rigs.
Silke Kuball, Lee Walker, Martin Rendell
2025Principled Safety Assurance Arguments.
Nicholas Annable, Mark Lawford, Richard F. Paige, Alan Wassyng
2025SmartGSN: An Online Tool to Semi-automatically Manage Assurance Cases.
Oluwafemi Odu, Daniel Méndez Beltrán, Emiliano Berrones Gutiérrez, Alvine B. Belle, Gerhard Yu, Melika Sherafat
2025ULS: A Unified Likelihood Scale for Cross-Standard Risk Assessment.
Mohamed Abdelsalam, Simon Greiner, Oum-El-Kheir Aktouf, Annabelle Mercier