Previous Editions: WAISE 2024
Seventh International Workshop on
Artificial Intelligence
Safety Engineering
Programme.
08:45-09:00
Registration and Welcome, Organisation Committee
Keynote Talk
09:00-10:00
Automated Vehicle Safety Revisited
Philip Koopman
10:00-10:30
Coffee break
Session 1 (Chair: Zakaria Chihani)
10:30-10:50
A Flow-based Credibility Metric for Safety-critical Pedestrian Detection
Maria Lyssenko, Christian Heinzemann, Matthias Woehrle, Christoph Gladisch and Rudolph Triebel
10:50-11:10
Enclosing Prototypical Variational Autoencoder for Explainable Out-of-Distribution Detection
Conrad Orglmeister, Erik Bochinski, Volker Eiselein and Elvira Fleig
11:10-11:30
Language Models as Reasoners for Out-of-Distribution Detection
Konstantin Kirchheim and Frank Ortmeier
Session 2 (Chair: Mario Trapp)
11:30-11:45
Bringing Classifiers into Critical Systems: Are we Barking up the Wrong Tree?
Tommaso Zoppi, Fahad Ahmed Khokhar, Andrea Ceccarelli and Andrea Bondavalli
11:45-12:00
Dual-Process System: an Architectural Pattern for Assurable Autonomous Robots Inspired by Dual-Process Theory
Krzysztof Czarnecki
12:00-12:15
Neuro-Symbolic Artificial Intelligence for Safety Engineering
Laura Carnevali and Marco Lippi
12:15-12:30
Homeopathic poisoning of RAG systems
Katarzyna Kapusta and Boussad Addad
12:30-13:30
Lunch break
Session 3 (Chair: Jérémie Guiochet)
13:30-13:50
Uncertainty-aware evaluation of quantitative ML safety requirements
Simon Burton, Benjamin Herd and João-Vitor Zacchi
13:50-14:10
Bridging the reality gap: assurable simulations for an ML-based inspection drone flight controller
Philippa Ryan, Mathias Von Essen, Liam Shackley and John McDermid
14:10-14:30
LLMs in Web Development: Evaluating LLM-Generated PHP Code Unveiling Vulnerabilities and Limitations
Rebeka Tóth, Tamas Bisztray and László Erdődi
Session 4 (Chair: Philippa Ryan)
14:30-14:50
Continuous Development and Safety Assurance Pipeline for ML-based Systems in the Railway Domain
Marc Zeller, Thomas Waschulzik, Carmen Carlan, Marat Serahlazau, Bahlmann Claus, Zhiliang Wu, Sigurd Spieckermann, Denis Krompass, Lucia Diez Robles, Simon Geerkens, Christian Sieberichs, Konstantin Kirchheim and Batu Kaan Özen
14:50-15:05
Learning-based Safety Monitor for Telltales in Vehicle Instrument Clusters
Cornelius Buerkle, Fabian Oboril and Kay-Ulrich Scholl
15:05-15:20
15:05-15:20
Combining Uncensored and Censored LLMs for Ransomware Generation
Muhammad Mudassar Yamin, Ehtesham Hashmi and Basel Katt
Accident Case Study Analysis of Developmental Automated Driving System (ADS) Collision (Part I and II)
Sanjeev Appicharla
15:35-16:00
Coffee break
Community Debate (Chair: Orlando Avila-García/Simon Burton)
16:00-16:15
Detecting and Mitigating Errors in Neural Networks
Uwe Becker
16:15-16:30
Enhancing LLM Security through Ontology-Based Assurance Cases
Tomas Bueno Momcilovic, Dian Balta, Beat Buesser, Giulio Zizzo and Mark Purcell
16:30-17:00
Plenary Discussion: "Safety Engineering, Foundation Models and LLMs - Dr. Jeykill and Mr. Hyde"
17:00-17:10
WAISE2024 Wrap Up
Committees.
Organization Committee
-
Orlando Avila-García, Arquimea Research Center, Spain
-
Mauricio Castillo-Effen, Lockheed Martin, USA
Chih-Hong Cheng, Fraunhofer IKS, Germany -
Zakaria Chihani, CEA LIST, France
-
Simos Gerasimou, University of York, UK
Programme Committee
-
Koorosh Aslansefat, University of Hull, UK
-
Simon Burton, IKS Fraunhofer, DE
-
Raja Chatila, ISIR - Sorbonne University, France
-
Krzysztof Czarnecki, University of Waterloo, Canada
-
Huascar Espinoza, KDT JU, Belgium
-
John Favaro, INTECS, Italy
-
Michael Fischer, University of Manchester, UK
-
Lydia Gauerhof, Robert Bosch GmbH, Germany
-
Jérémie Guiochet, LAAS-CNRS, France
-
Nico Hochgeschwende, University of Bremen, Germany
-
Sahar Kokaly, University of Toronto, Canada
-
Philip Koopman, Carnegie Mellon University, USA
-
Bettina Könighofer, Technical University of Graz, Austria
-
Nicholas Matragkas, CEA LIST, France
-
Adedjouma Morayo, CEA LIST, France
-
Chokri Mraidha, CEA LIST, France
-
Vladislav Nenchev, BMW Group, Germany
-
Jonas Nilsson, Nvidia, USA
-
Fabian Oboril, Intel, USA
-
Gabriel Pedroze, ANSYS, France
-
Philippa Ryan Conmy, University of York, UK
-
Ioannis Sorokos, Fraunhofer IESE, Germany
-
Mario Trapp, Fraunhofer IKS, Germany
-
Meine van der Meulen, DNV, Norway
-
Xingyu Zhao, University of Liverpool, UK