Formal methods for attack detection in autonomous driving systems: the FORESEEN project (ACSOS 2024 - Posters and Demos)

Who

Cinzia Bernardeshi, Giuseppe Lettieri, Alessio Vivani, Alessio Bechini, Alessio Vecchio, Federico Rossi, Christian Quadri, Alessia Galdeman, Adriano Fagiolini, Salvatore Pedone, Antonella Santone, Vittoria Nardone, Francesco Mercaldo, Simona Correra, Giulia Varriano

Track

ACSOS 2024 Posters and Demos

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Wed 18 Sep 2024 15:30 - 17:00 at Stakladen - Posters and Demos

Cinzia Bernardeshi

Univ. of Pisa

Italy

Giuseppe Lettieri

Alessio Vivani

Alessio Bechini

Alessio Vecchio

Federico Rossi

Università di Pisa, Dipartimento di Ingegneria dell'Informazione

Italy

Christian Quadri

Alessia Galdeman

Adriano Fagiolini

University of Palermo

Salvatore Pedone

Antonella Santone

University of Molise, Italy

Vittoria Nardone

University of Molise

Italy

Francesco Mercaldo

Simona Correra

Giulia Varriano

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Wed 18 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:30 - 17:00	Posters and DemosPosters and Demos at Stakladen

15:30 90m Poster		Formal methods for attack detection in autonomous driving systems: the FORESEEN project Posters and Demos Cinzia Bernardeshi Univ. of Pisa, Giuseppe Lettieri , Alessio Vivani , Alessio Bechini , Alessio Vecchio , Federico Rossi Università di Pisa, Dipartimento di Ingegneria dell'Informazione, Christian Quadri , Alessia Galdeman , Adriano Fagiolini University of Palermo, Salvatore Pedone , Antonella Santone University of Molise, Italy, Vittoria Nardone University of Molise, Francesco Mercaldo , Simona Correra , Giulia Varriano
15:30 90m Poster		Towards a Self-Adaptive, Real-time Monitoring System for Food Quality Assessment Posters and Demos Elia Henrichs University of Hohenheim, Christian Krupitzer University of Hohenheim, Germany File Attached
15:30 90m Poster		Automatic Adaptation Rule Optimization via Large Language Models Posters and Demos Yusei Ishimizu , Jialong Li Waseda University, Japan, Jinglue Xu , Jinyu Cai , Hitoshi Iba , Kenji Tei Tokyo Institute of Technology
15:30 90m Poster		ExpEngine: A Tool for Data Analytics Workflow Optimization through User-Driven Experimentation Posters and Demos Keerthiga Rajenthiram Vrije Universiteit Amsterdam, Milad Abdullah Charles University, Ilias Gerostathopoulos Vrije Universiteit Amsterdam, Petr Hnětynka Charles University, Tomas Bures Charles University, Czech Republic