Skip to Main Content (Press Enter)

Logo UNIMI
  • ×
  • Home
  • Persone
  • Attività
  • Ambiti
  • Strutture
  • Pubblicazioni
  • Terza Missione

Expertise & Skills
Logo UNIMI

|

Expertise & Skills

unimi.it
  • ×
  • Home
  • Persone
  • Attività
  • Ambiti
  • Strutture
  • Pubblicazioni
  • Terza Missione
  1. Attività

FORESEEN: FORmal mEthodS for attack dEtEction in autonomous driviNg systems

Progetto
FORESEEN: FORmal mEthodS for attack dEtEction in autonomous driviNg systems
  • 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"
  • Informazioni
  • Assistenza
  • Accessibilità
  • Privacy
  • Utilizzo dei cookie
  • Note legali

Realizzato con VIVO | Progettato da Cineca | 25.6.0.0