Skip to Main Content (Press Enter)
×
Home
Persone
Attività
Ambiti
Strutture
Pubblicazioni
Terza Missione
IT
EN
☰
Expertise & Skills
|
Expertise & Skills
unimi.it
IT
EN
×
Home
Persone
Attività
Ambiti
Strutture
Pubblicazioni
Terza Missione
☰
Attività
FORESEEN: FORmal mEthodS for attack dEtEction in autonomous driviNg systems
Progetto
Dati Generali
Pubblicazioni
Dati Generali
Partecipanti
QUADRI CHRISTIAN
Responsabile scientifico
Dipartimenti coinvolti
Dipartimento di Informatica Giovanni Degli Antoni
Principale
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
Capofila
UNIVERSITA' DI PISA
Periodo di attività
Novembre 30, 2023 - Novembre 29, 2025
Durata progetto
24 mesi
Pubblicazioni
Pubblicazioni (2)
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"
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"