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