|
9:00
|
Welcome to VERDI 2024
Behrooz Sangchoolie, David Pereira, José Proença
|
|
9:15
|
On Improving the Robustness Of Convolutional Neural Networks Using In-Parameter Zero-Space Error Correction Codes
Juan Carlos Ruiz
|
|
10:30
|
Coffee break
|
|
11:00
|
Hybrid Hardware/Software Detection of Multi-Bit Upsets in Memory
Robin Thunig, Christoph Borchert, Urs Kober, Horst Schirmeier
|
|
11:30
|
Highly Comprehensive and Efficient Memory Safety Enforcement with Pointer Tagging
Xiaolei Wang, Bin Zhang, Chaojing Tang, Long Zhang
|
|
12:00
|
Enhancing Continuous Risk Assessment: The Role of Safety Engineers in Early Hazard Identification
Anil Ranjitbhai Patel, Peter Liggesmeyer
|
|
12:30
|
Lunch
|
|
13:30
|
Cybersecurity Pathways towards CE-Certified Autonomous Forestry Machines
Mazen Mohamad, Ramana Reddy Avula, Peter Folkesson, Pierre Kleberger, Aria Mirzai, Martin Skoglund, Marvin Damschen
|
|
14:00
|
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
|
