| 9:00 |
|
Welcome to VERDI 2023
David Pereira, José Proença, Behrooz Sangchoolie
|
|---|
|
:5
|
|
Fault Injection is Dead. Long Live Fault Injection!
Karthik Pattabiraman
|
|---|
|
:10
|
|
|---|
|
:15
|
|
|---|
|
:20
|
|
|---|
|
:25
|
|
|---|
|
:30
|
|
|---|
|
:35
|
|
|---|
|
:40
|
|
|---|
|
:45
|
|
|---|
|
:50
|
|
|---|
|
:55
|
|
NetLoiter: A Tool for Automated Testing of Network Applications using Fault-injection
Aleš Smrčka, Michal Rozsíval
Short paper
|
|---|
| 10:00 |
|
|---|
|
:5
|
|
|---|
|
:10
|
|
|---|
|
:15
|
|
RISC-V Timing-Instructions for Open Time-Triggered Architectures
Nithin Ravani Nanjundaswamy, Gregor Nitsche
Short paper
|
|---|
|
:20
|
|
|---|
|
:25
|
|
|---|
|
:30
|
|
|---|
|
:35
|
|
Coffee break
|
|---|
|
:40
|
|
|---|
|
:45
|
|
|---|
|
:50
|
|
|---|
|
:55
|
|
|---|
| 11:00 |
|
Evaluating the Safety Impact of Network Disturbances for Remote Driving with Simulation-Based Human-in-the-Loop Testing
Shrishti Trivedi, Fredrik Warg
|
|---|
|
:5
|
|
|---|
|
:10
|
|
|---|
|
:15
|
|
|---|
|
:20
|
|
|---|
|
:25
|
|
Using AI to Inject Vulnerabilities in Python Code
Frédéric Bogaerts, Naghmeh Ivaki, José Fonseca
|
|---|
|
:30
|
|
|---|
|
:35
|
|
|---|
|
:40
|
|
|---|
|
:45
|
|
|---|
|
:50
|
|
Timeseries-aware Uncertainty Wrappers for Uncertainty Quantification of Information-Fusion-Enhanced AI Models based on Machine Learning
Janek Groß, Michael Kläs, Lisa Jöckel, Pascal Gerber
|
|---|
|
:55
|
|
|---|
| 12:00 |
|
|---|
|
:5
|
|
|---|
|
:10
|
|
|---|
|
:15
|
|
Modelling V&V Workflows to Improve Development Processes of Software-intensive Systems
Thomas Bauer, Wolfgang Herzner, Bob Hruska, Katia di Blasio, Zain Shahwar
Short paper
|
|---|
|
:20
|
|
|---|
|
:25
|
|
|---|
|
:30
|
|
|---|
|
:35
|
|
Lunch
|
|---|
|
:40
|
|
|---|
|
:45
|
|
|---|
|
:50
|
|
|---|
|
:55
|
|
|---|
| 13:00 |
|
|---|
|
:5
|
|
|---|
|
:10
|
|
|---|
|
:15
|
|
|---|
|
:20
|
|
|---|
|
:25
|
|
|---|
|
:30
|
|
|---|
|
:35
|
|
|---|
|
:40
|
|
|---|
|
:45
|
|
|---|
|
:50
|
|
|---|
|
:55
|
|
|---|
| 14:00 |
|
Jasmin/EasyCrypt — a framework for high-assurance software development
José Bacelar Almeida
|
|---|
|
:5
|
|
|---|
|
:10
|
|
|---|
|
:15
|
|
|---|
|
:20
|
|
|---|
|
:25
|
|
|---|
|
:30
|
|
|---|
|
:35
|
|
|---|
|
:40
|
|
|---|
|
:45
|
|
|---|
|
:50
|
|
SMT-Based Stability Verification of an Industrial Switched PI Control Systems
Stylianos Basagiannis, Ludovico Battista, Anna Becchi, Alessandro Cimatti, Georgios Giantamidis, Sergio Mover, Alberto Tacchella, Stefano Tonetta, Vassilios Tsachouridis
|
|---|
|
:55
|
|
|---|
| 15:00 |
|
|---|
|
:5
|
|
|---|
|
:10
|
|
|---|
|
:15
|
|
llhsc: A Devicetree Syntax and Semantic Checker
Vitor Rodrigues, André Matos Pedro
|
|---|
|
:20
|
|
|---|
|
:25
|
|
|---|
|
:30
|
|
|---|
|
:35
|
|
|---|
|
:40
|
|
Translating Natural Language Requirements to Formal Specifications: A Study on GPT and Symbolic NLP
Iat Tou Leong, Raul Barbosa
Short paper
|
|---|
|
:45
|
|
|---|
|
:50
|
|
|---|
|
:55
|
|
|---|
| 16:00 |
|
Coffee break
|
|---|
|
:5
|
|
|---|
|
:10
|
|
|---|
|
:15
|
|
|---|
|
:20
|
|
|---|
|
:25
|
|
|---|
|
:30
|
|
Simplifying Requirements Formalization for Resource-Constrained Mission-Critical Software
Carlos Mão de Ferro, Anastasia Mavridou, Michael Dille, Francisco Martins
Short paper
|
|---|
|
:35
|
|
|---|
|
:40
|
|
|---|
|
:45
|
|
|---|
|
:50
|
|
Preliminary Risk and Mitigation Assessment in Cyber-Physical Systems
András Földvári, Francesco Brancati, András Pataricza
|
|---|
|
:55
|
|
|---|
| 17:00 |
|
|---|
|
:5
|
|
|---|
|
:10
|
|
|---|
|
:15
|
|
Formal Verification for Safe AI-based Flight Planning for UAVs
Radouane Bouchekir, Michell Guzman Cancimance, Cook Alasdair, Johannes Haindl, Riqaq Woolnough
|
|---|
|
:20
|
|
|---|
|
:25
|
|
|---|
|
:30
|
|
|---|
|
:35
|
|
|---|
|
:40
|
|
Formalizing Model Inference of MicroPython
Carlos Mão de Ferro, Tiago Cogumbreiro, Francisco Martins
|
|---|
|
:45
|
|
|---|
|
:50
|
|
|---|
|
:55
|
|
|---|
| 18:00 |
|
|---|
|
:5
|
|
SIMoT: A Low-fidelity Orchestrator Simulator for Task Allocation in IoT Devices
Tiago Fragoso, David Silva, João Pedro Dias, André Restivo, Hugo Sereno Ferreira
|
|---|
|
:10
|
|
|---|
|
:15
|
|
|---|
|
:20
|
|
|---|
|
:25
|
|
|---|