Authors | Paper Title |
Anders Cassel, Bengt Haraldsson, Daniel Sandberg, Fredrik Beckman, Martin Torngren, Mattias Nyberg, Molly Hasselberg, Murat Erdogan, Rolf Johansson, Sebastian Holmqvist, Tom Strandberg and Xinhai Zhang | DevOps Safety – do not get left at the station! |
James Inge and Katia Potiron | System Safety for Complex and Defence Systems |
Akihisa Morikawa, Yutaka Matsubara, Daichi Mizuguchi and Kiyoshi Fujiwara | AI2X Co-evolution Guidebook and Case Study for Human-centered AI Framework |
Imanol Allende, Nicholas Mc Guire and Carles Hernandez | Herds of Dumb Models: A New Approach Towards Reliable and Safe AI |
Philippa Ryan and John McDermid | Will the real Operating Domain please stand up? |
James Wright and Stephen Wolthusen | Formal Methods for Secure Cyber-Physical Systems Workshop: Report on the First Edition |
Peter G. Bishop, Andrey Povyakalo and Lorenzo Strigini | How to reason about Risk, given Inevitable Doubt on Arguments for High Dependability |
Hans Dermot Doran and Suzana Veljanovska | An Early-Stage Workflow Proposal for the Generation of Safe and Dependable AI Classifiers |
Wiebke Outzen, Michael Oppermann, Tim Gonschorek and Frank Ortmeier | Validating Design-Intent System Specification Models with State-of-the-art Large Language Models |
Thi Kim Nhung Dang, Milan Lopuhaä-Zwakenberg and Marielle Stoelinga | Algorithms for Fuzzy Attack and Fault Trees |
Last update
12.08.2024