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