FORESEEN: FORmal mEthodS for attack dEtEction in autonomous driviNg systems

Progetto
FORESEEN: FORmal mEthodS for attack dEtEction in autonomous driviNg systems

Dati Generali

Partecipanti

QUADRI CHRISTIAN   Responsabile scientifico  

Dipartimenti coinvolti

Tipo

Progetti PNRR - Fondo per il Programma di Ricerca di Rilevante Interesse Nazionale - PRIN 2022

Finanziatore

MINISTERO DELL'UNIVERSITA' E DELLA RICERCA
Organizzazione Esterna Ente Finanziatore

Periodo di attività

Novembre 30, 2023 - Febbraio 28, 2026

Durata progetto

27 mesi

Pubblicazioni

Pubblicazioni (4)

DNN-Controlled Multi-Technology Platooning 
IEEE VEHICULAR NETWORKING CONFERENCE
IEEE
2025
Contributo in Atti di convegno
Reserved Access
Altmetric disabilitato. Abilitalo su "Utilizzo dei cookie"
Impact of Network Delays on Edge-Assisted Platooning Systems in 5G Networks: Addressing Latency Challenges 
LECTURE NOTES OF THE INSTITUTE FOR COMPUTER SCIENCES, SOCIAL INFORMATICS AND TELECOMMUNICATIONS ENGINEERING
SPRINGER
2025
Contributo in Atti di convegno
Reserved Access
Altmetric disabilitato. Abilitalo su "Utilizzo dei cookie"
Statistical Model Checking for the Analysis of Attacks in Connected Autonomous Vehicles 
IEEE
2025
Contributo in Atti di convegno
Partially Open Access
Altmetric disabilitato. Abilitalo su "Utilizzo dei cookie"
Formal Methods for Attack Detection in Autonomous Driving Systems: The FORESEEN Project 
INSTITUTE OF ELECTRICAL AND ELECTRONICS ENGINEERS
2024
Contributo in Atti di convegno
Reserved Access
Altmetric disabilitato. Abilitalo su "Utilizzo dei cookie"