| 2025 | Ensuring Information Security in Inclusive Digital Environments. | Damilola Innomesanghan, Emmanuel Kiwamu, Sergey Butakov, Eslam G. AbdAllah |
| 2025 | PROTECTION: Provably Robust Intrusion Detection System for IoT Through Recursive Delegation. | Riad Ibadulla, Hafiz ul Asad |
| 2025 | How Post-completion Error Leads to Software Faults and Vulnerabilities: Industrial Case Studies. | Fuqun Huang |
| 2025 | An End-to-End Testbed for Communication, Compute, and Control Co-design: The Kista Innovation Park. | Aitor Hernandez Herranz, Fernando S. Barbosa |
| 2025 | A GSN-Based Requirement Analysis of the EU AI Regulation. | Natsuki Hayama, Yoriyuki Yamagata, Hideaki Nishihara, Yutaka Matsuno |
| 2025 | Quantitative Assessment of Energy Efficiency, Comfort, and Safety in an Intelligent Heating System Under False Data Injection Attacks. | Imran Riaz Hasrat, Sani M. Abdullahi, Eun-Young Kang |
| 2025 | A Safety Argument Fragment Towards Safe Deployment of Performant Automated Driving Systems. | Magnus Gyllenhammar, Gabriel Rodrigues de Campos, Martin Trngren |
| 2025 | Efficient Injury Risk Assessment for Automated Driving Systems Using Subset Simulation. | Magnus Gyllenhammar, Daniel sljung, Majid Khorsand Vakilzadeh, Gabriel Rodrigues de Campos |
| 2025 | Real-Time Control Selection over the Computing Continuum. | Xiyu Gu, Luca Schenato, Subhrakanti Dey, Matthias Pezzutto |
| 2025 | Can C-Based ECC Models Leverage High-Level Synthesis? Evaluating Description Variants for Efficient Circuit Implementations. | Joaquin Gracia-Moran, Juan-Carlos Ruiz-Garcia, David de Andrs, Luis J. Saiz-Adalid |
| 2025 | Functional Safety with Model-Based Safety Analysis: A Perspective from ARP4761A. | Tim Gonschorek, Frank Ortmeier |
| 2025 | High-Performance AI Inference for Agile Deployment on Space-Qualified Processors: A Performance Benchmarking Study. | Pablo Ghiglino, Mandar Harshe, Hans Dermot Doran, Carlos Rafael Tordoya Taquichiri |
| 2025 | Efficient Safety Retrofitting Against Jailbreaking for LLMs. | Dario Garcia-Gasulla, Adrin Tormos, Anna Arias-Duart, Daniel Hinjos, Oscar Molina-Sedano, Ashwin Kumar Gurarajan, Maria Eugenia Cardello |
| 2025 | Temporal Intent-Aware Multi-agent Learning for Network Optimization. | Albin Larsson Forsberg, Alexandros Nikou, Aneta Vulgarakis Feljan, Jana Tumova |
| 2025 | Systematic Test Scenario Generation and Risk Assessment for Automated Driving System. | Alexandru Forrai |
| 2025 | Dependable AI Inference - A Work-in-Progress on CPU, Co-processor and FPGA Approaches. | Hans Dermot Doran, Carlos Rafael Tordoya Taquichiri, Pablo Ghiglino, Mandar Harshe |
| 2025 | Certus: A Domain Specific Language for Confidence Assessment in Assurance Cases. | Simon Diemert, Jens H. Weber |
| 2025 | Balancing the Risks and Benefits of Using Large Language Models to Support Assurance Case Development. | Simon Diemert, Erin Cyffka, Naweed Anwari, Olivia Foster, Torin Viger, Laure Millet, Jeffrey J. Joyce |
| 2025 | Formal Analysis of Resilience in Transport Systems with Bigraphs. | Susmoy Das, Ricardo Almeida, Blair Archibald, Michele Sevegnani |
| 2025 | Trick or Treat: A Study of Human Detection of Manipulative Tactics in Phishing Emails. | Arifa Islam Champa, Md. Fazle Rabbi, Farjana Z. Eishita, Minhaz Fahim Zibran |
| 2025 | Doubt in Safety Claims is Inevitable: What is its Impact, What Can be Done About It? | Peter Bishop, Andrey Povyakalo, Lorenzo Strigini |
| 2025 | Towards Credible Simulators: A Validation Methodology for Safety-Critical Virtual Testing. | Ramana Reddy Avula, Mazen Mohamad, Behrooz Sangchoolie, Marvin Damschen |
| 2025 | Cyber-Safety Assessment of Wind Turbines: A Reachability Analysis Approach Against Cyber-Attacks. | Muhammad Arsal, Hafizul Asad, Tamer S. Kamel, Asiya Khan |
| 2025 | From Bouncing Break-ins to Frictional Firewalls: Ideas About Interacting Requirements for Vehicle Safety and Security. | Luca Arnaboldi, David Aspinall, Christina Kolb, Sasa Radomirovic |
| 2025 | Principled Safety Assurance Arguments. | Nicholas Annable, Mark Lawford, Richard F. Paige, Alan Wassyng |