| 2025 | Applying Machine Learning Towards the Recognition of Driving Behavior. | Matheus Joo Silva de Almeida, Gabriel Nicoli Niederauer, Vincius K. Marini, Marcia Pasin |
| 2025 | Improving Out-of-Distribution Detection via Test-Time Augmentation. | Imanol Allende, Nicholas Mc Guire, Javier del Campo, Carles Hernndez |
| 2025 | Safety-Aware Strategy Synthesis for Autonomous System of Systems with UPPAAL. | Nazakat Ali, Muhammad Naeem, Julieth Patricia Castellanos Ardila, Sasikumar Punnekkat |
| 2025 | ULS: A Unified Likelihood Scale for Cross-Standard Risk Assessment. | Mohamed Abdelsalam, Simon Greiner, Oum-El-Kheir Aktouf, Annabelle Mercier |
| 2024 | Position Paper - Bringing Classifiers into Critical Systems: Are We Barking up the Wrong Tree? | Tommaso Zoppi, Fahad Ahmed KhoKhar, Andrea Ceccarelli, Andrea Bondavalli |
| 2024 | Identifying Difficult Environmental Conditions with Scenario-Based Hazard and Fault Analysis. | Zhijing Zhu, Robin Philipp, Constanze Hungar, Falk Howar |
| 2024 | Reaching Consensus on System-of-Systems Resilience Assurance: A Case of Mobility as a Service. | Huanjun Zhang, Yutaka Matsubara, Hiroaki Takada |
| 2024 | Continuous Development and Safety Assurance Pipeline for ML-Based Systems in the Railway Domain. | Marc Zeller, Thomas Waschulzik, Carmen Crlan, Marat Serahlazau, Claus Bahlmann, Zhiliang Wu, Sigurd Spieckermann, Denis Krompass, Simon Geerkens, Christian Sieberichs, Konstantin Kirchheim, Batu Kaan zen, Lucia Diez Robles |
| 2024 | Enabling Theory-Based Continuous Assurance: A Coherent Approach with Semantics and Automated Synthesis. | Srivatsan Varadarajan, Robin Bloomfield, John Rushby, Gopal Gupta, Anitha Murugesan, Robert J. Stroud, Kateryna Netkachova, Isaac Hong Wong, Joaqun Arias |
| 2024 | LLMs in Web Development: Evaluating LLM-Generated PHP Code Unveiling Vulnerabilities and Limitations. | Rebeka Tth, Tams Bisztray, Lszl Erdodi |
| 2024 | CyberDS: Auditable Monitoring in the Cloud. | Lev Sorokin, Ulrich Schpp |
| 2024 | Safety-Security Analysis via Attack-Fault-Defense Trees: Semantics and Cut Set Metrics. | Reza Soltani, Milan Lopuha-Zwakenberg, Marille Stoelinga |
| 2024 | Enhancing Tunnel Safety with Artery V2X Simulation for Real-Time Risk Assessment. | Abdelkader Magdy Shaaban, Bernhard Klampfer, Martin Latzenhofer, Arndt Bonitz, Christoph Schmittner, Harald Kammerer |
| 2024 | Strategic Resilience Evaluation of Neural Networks Within Autonomous Vehicle Software. | Anna Schmedding, Philip Schowitz, Xugui Zhou, Yiyang Lu, Lishan Yang, Homa Alemzadeh, Evgenia Smirni |
| 2024 | A Dynamic Assurance Framework for an Autonomous Survey Drone. | Philippa Ryan, Sepeedeh Shahbeigi, Jie Zou, Ioannis Stefanakos, John Molloy |
| 2024 | Bridging the Reality Gap: Assurable Simulations for an ML-Based Inspection Drone Flight Controller. | Philippa Ryan, Mathias von Essen, Liam Shackley, John A. McDermid |
| 2024 | In-Memory Zero-Space Floating-Point-Based CNN Protection Using Non-significant and Invariant Bits. | Juan Carlos Ruiz, David de Andrs, Luis J. Saiz-Adalid, Joaquin Gracia-Moran |
| 2024 | Towards an Argument Pattern for the Use of Safety Performance Indicators. | Daniel Ratiu, Tihomir Rohlinger, Torben Stolte, Stefan Wagner |
| 2024 | Where Do Safety and Security Mutually Reinforce? A Multi-level Model-Based Approach for a Consistent Interplay. | Megha Quamara, Christina Kolb, Ankur Lohachab |
| 2024 | Automating an Integrated Model-Driven Approach to Analysing the Impact of Cyberattacks on Safety. | Ehsan Poorhadi, Elena Troubitsyna |
| 2024 | Assurance Case Synthesis from a Curated Semantic Triplestore. | Saswata Paul, Baoluo Meng, Kit Siu, Abha Moitra, Michael Durling |
| 2024 | Quantum Machine Learning: Perspectives in Cybersecurity. | Davide Pastorello |
| 2024 | Enclosing Prototypical Variational Autoencoder for Explainable Out-of-Distribution Detection. | Conrad Orglmeister, Erik Bochinski, Volker Eiselein, Elvira Fleig |
| 2024 | TitanSSL: Towards Accelerating OpenSSL in a Full RISC-V Architecture Using OpenTitan Root-of-Trust. | Alberto Musa, Franco Volante, Emanuele Parisi, Luca Barbierato, Edoardo Patti, Andrea Bartolini, Andrea Acquaviva, Francesco Barchi |
| 2024 | A Failure Model Library for Simulation-Based Validation of Functional Safety. | Tiziano Munaro, Irina Muntean, Alexander Pretschner |