Accepted Papers & Talks

Invited Talks

• On Improving the Robustness Of Convolutional Neural Networks Using In-Parameter Zero-Space Error Correction Codes

  Juan Carlos Ruiz

Regular papers

• Cybersecurity Pathways towards CE-Certified Autonomous Forestry Machines

  Mazen Mohamad, Ramana Reddy Avula, Peter Folkesson, Pierre Kleberger, Aria Mirzai, Martin Skoglund, Marvin Damschen

• Enhancing Continuous Risk Assessment: The Role of Safety Engineers in Early Hazard Identification

  Anil Ranjitbhai Patel, Peter Liggesmeyer

• Highly Comprehensive and Efficient Memory Safety Enforcement with Pointer Tagging

  Xiaolei Wang, Bin Zhang, Chaojing Tang, Long Zhang

Short papers

• Hybrid Hardware/Software Detection of Multi-Bit Upsets in Memory

  Robin Thunig, Christoph Borchert, Urs Kober, Horst Schirmeier

• Virtual Evaluation of Dependability Attributes for Mission-Critical Cyber-Physical Systems

  Adam Bachorek, Benedikt Lüken-Winkels, Iron Prando Da Silva, Stefan Schwenk, Markus Damm, Pablo Oliveira Antonino

Organisation

• Coffee break

• Lunch

• Welcome to VERDI 2024

  Behrooz Sangchoolie, David Pereira, José Proença