Program at a glance (Preliminary)
- Tuesday
- Sept 9
- SafeComp workshop day
- 08.00-09.00
Registration 09.00-17.00 – Seven full day workshops; One half-day workshop
10.30-11.00 Coffee break
12.00-13.30 Lunch
15.00-15.30 Coffee break
17.00-19.00
Free time- 19:00
Conference reception, hosted by the City of Stockholm at the City Hall
- Wednesday
- Sept 10
- Conference
- 08.00-08.50
Registration - 08.50-09.00
Conference opening
09.00-10.0009.00-10.00 – Keynote 1 – Marc Duranton
10.00-10.30 Coffee break
10.30-12.00 – Session 1 – Safety argumentation
12.00-13.30 Lunch
13.30-15.00 – Session 2 – Data sets and dependability properties
15.00-15.30 Coffee break
15.30-16.30 – Session 3 – Position papers
16.30-18.30
Free time - 18:30
Social event and research demos, R1 reactor hall at KTH
– Demonstrations will start 19.00
Introduction, demos
– Social event activites and refreshments follows after that!
- Thursday
- Sept 11
- Conference
- 08.00-09.00
Registration 09.00-10.00 – Keynote 2 – Sebastian Hallensleben
10.00-10.30 Coffee break
10.30-12.00 – Session 4 – Testing and Complex Environments
12.00-13.30 Lunch
13.30-14.00 – EWICS session and presentation
14.00-14.30 Coffee break
14.30-16.00 – Session 5 – Methodologies (1) – Safety Design and Risk Assessment
16.30-19.00
Free time- 19:00
Conference dinner at the Vasa Museum
- Friday
- Sept 12
- Conference
- 08.00-09.00
Registration 09.00-10.00 – Keynote 3 – Mary Cummings
10.00-10.30 Coffee break
10.30-12.00 – Session 6 – Methodologies (2) – Machine Learning and Large Language Models
12.00-13.30 Lunch
13.30-15.00 – Session 7 – Panel debate on Trustworthy AI
15.00-15.30
Closing- 19:00
Conference reception, hosted by the City of Stockholm at the City Hall
Session details (Preliminary)
Session 1: Safety arguments/cases
SmartGSN : An Online Tool to Semi-automatically Manage Assurance Cases
Authors: Oluwafemi Odu, Daniel Méndez Beltrán, Emiliano Berrones Gutiérrez, Alvine Boaye Belle, Gerhard Yu and Melika Sherafat
Principled safety assurance arguments
Authors: Nicholas Annable, Mark Lawford, Richard Paige and Alan Wassyng
Consensus Building in Level 4 Automated Driving Field Trials through Assurance Cases
Authors: Yutaka Matsuno, Michio Hayashi and Tomoyuki Tsuchiya
Session 2: Data sets and dependability properties
Create and Use a Representative Dataset for Advanced Persistent Threats Detection
Authors: Tommaso Puccetti, Simona De Vivo, Davide Zhang, Pietro Liguori, Roberto Natella and Andrea Ceccarelli
How Post-Completion Error Leads to Software Faults and Vulnerabilities: Industrial Case Studies
Fuqun Huang
Efficient Injury Risk Assessment for Automated Driving Systems Using Subset Simulation
Magnus Gyllenhammar, Daniel Åsljung, Majid Khorsand Vakilzadeh and Gabriel Rodrigues de Campos
Session 3: Position papers
–
Session 4: Testing and complex environments
Alignment of SOTIF and Scenario-based Safety Evaluation Framework
Ikue Warren, Kenji Taguchi, Sou Kitajima, Hiroki Nakamura and Tomoyoshi Murata
Managing Capability in Statistical Software Testing through Generic Test Rigs
Authors: Silke Kuball, Lee Walker and Martin Rendell
Improving Out-of-Distribution Detection via Test-Time Augmentation
Authors: Imanol Allende, Nicholas Mc Guire, Javier Del Campo and Carles Hernandez
Session 5: Methodologies (1) – Safety design and risk assessment
Can C-Based ECC Models Leverage High-Level Synthesis? Evaluating Description Variants for Efficient Circuit Implementations
Authors: Juan Carlos Ruiz Garcia, David De Andrés, Luis-J. Saiz-Adalid and Joaquín Gracia-Morán
Hot PASTA: Improved Pragmatics for System-Theoretic Process Analysis
Authors: Jette Petzold and Reinhard von Hanxleden
ULS: A Unified Likelihood Scale for Cross-Standard Risk Assessment
Authors: Mohamed Abdelsalam, Simon Greiner, Oum-El-Kheir Aktouf and Annabelle Mercier
Session 6: Methodologies (2) – Machine Learning and Large Language Models
Large Language Models in Code Co-generation for Safe Autonomous Vehicles
Authors: Ali Nouri, Beatriz Cabrero-Daniel, Zhennan Fei, Krishna Ronanki, Hakan Sivencrona and Christian Berger
Balancing the Risks and Benefits of using Large Language Models to Support Assurance Case Development
Authors: Simon Diemert, Erin Cyffka, Naweed Anwari, Olivia Foster, Torin Viger, Laure Millet and Jeffrey Joyce
Exploring the Potential of LSTM On Emulating Multiple-bit Fault Injection in SRAM-FPGA
Authors: Trishna Rajkumar and Johnny Öberg
Session 7: Panel debate on Trustworthy AI
AI Under the Law – Building Safe, Trustworthy, and Compliant Systems
Organizers: Hakima Shiralizade and Rafia Inam (Ericsson and KTH)
CONFERENCE SECRETARIAT
Meetx is the conference bureau handling the secretariat for the SafeComp 2025 conference.
E-mail: safecomp2025@meetx.se
Tel: +46 31 708 86 90
CONFERENCE HOST
