CINECA IRIS Institutional Research Information System

BERNARDESCHI, CINZIA Statistiche

BERNARDESCHI, CINZIA  

DIPARTIMENTO DI INGEGNERIA DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 20 di 146 (tempo di esecuzione: 0.028 secondi).
Titolo Data di pubblicazione Autore(i) File
Severity of Attacks in a Vehicle Platoon by Model-Based Simulation In corso di stampa Bernardeschi, Cinzia; Fagiolini, Adriano; Lettieri, Giuseppe; Nardone, Vittoria; Pagani, Dario; Quadri, Christian; Santone, Antonella
Statistical Model Checking of a Dynamic Vehicle Platoon 1-gen-2026 Bernardeschi, C.; Fagiolini, A.; Lettieri, G.; Pagani, D.; Rossi, F.
A Model-Based Approach for Analysis of Data-Alteration Attacks in Co-operative Vehicles 1-gen-2025 Bernardeschi, Cinzia; Palmieri, Maurizio; Sanguinetti, Marta; Vivani, Alessio
A Portable Research Honeypot for Corporate Networks 1-gen-2025 Mirabella, Lorenzo; Bernardeschi, Cinzia; Lettieri, Giuseppe; Lucattini, Fabio; Montanarella, Salvatore
HARDNESS: Hardware-Supported Post Quantum Over-the-Air Software Update and Intrusion Detection System for Next 1-gen-2025 Bernardeschi, Cinzia; Canino, Nicasio; Dini, Gianluca; Dini, Pierpaolo; Rossi, Daniele; Rossi, Federico; Saponara, Sergio
Longitudinal traces of platoon simulation with and without cyber-attacks and network latency 1-gen-2025 Pagani, Dario; Bernardeschi, Cinzia; Lettieri, Giuseppe; Quadri, Christian; Fagiolini, Adriano; Santone, Antonella; Nardone, Vittoria; Vivani, Alessio
Statistical Model Checking for the Analysis of Attacks in Connected Autonomous Vehicles 1-gen-2025 Bernardeschi, Cinzia; Fagiolini, Adriano; Pagani, Dario; C., Quadri
Verifying Robustness of Neural Networks in Vision-Based End-to-End Autonomous Driving 1-gen-2025 Bernardeschi, Cinzia; Lami, Giuseppe; Merola, Francesco; Rossi, Federico
A Risk Assessment Framework Based on Fuzzy Logic for Automotive Systems 1-gen-2024 Merola, Francesco; Bernardeschi, Cinzia; Lami, Giuseppe
Attacks detection in Cyber-Physical Systems with Neural Networks: A case study 1-gen-2024 Bernardeschi, C.; Dini, G.; Palmieri, M.; Vivani, A.
Design and Validation of Cyber-Physical Systems Through Co-Simulation: The Voronoi Tessellation Use Case 1-gen-2024 Bernardeschi, C.; Domenici, A.; Fagiolini, A.; Palmieri, M.
Formal Methods for Attack Detection in Autonomous Driving Systems: The FORESEEN Project 1-gen-2024 Bernardeschi, C.; Lettieri, G.; Vivani, A.; Bechini, A.; Vecchio, A.; Rossi, F.; Quadri, C.; Galdeman, A.; Fagiolini, A.; Pedone, S.; Santone, A.; Nardone, V.; Mercaldo, F.; Correra, S.; Varriano, G.
Neural networks in closed-loop systems: Verification using interval arithmetic and formal prover 1-gen-2024 Rossi, Federico; Bernardeschi, Cinzia; Cococcioni, Marco
Statistical Model Checking of Cooperative Autonomous Driving Systems 1-gen-2024 Bernardeschi, Cinzia; Lettieri, Giuseppe; Rossi, Federico
Towards Formal Verification of Neural Networks in Cyber-Physical Systems 1-gen-2024 Rossi, Federico; Bernardeschi, Cinzia; Cococcioni, Marco; Palmieri, Maurizio
An Analysis System to Test Security of Software on Continuous Integration-Continuous Delivery Pipeline 1-gen-2023 Aparo, C.; Bernardeschi, C.; Lettieri, G.; Lucattini, F.; Montanarella, S.
Co-simulated digital twin on the network edge: A vehicle platoon 1-gen-2023 Palmieri, M.; Quadri, C.; Fagiolini, A.; Bernardeschi, C.
Co-simulation and Formal Verification of Co-operative Drone Control With Logic-Based Specifications 1-gen-2023 Bernardeschi, Cinzia; Domenici, Andrea; Fagiolini, Adriano; Palmieri, Maurizio
Do-it-Yourself FMU Generation 1-gen-2023 Bernardeschi, C.; Dini, P.; Domenici, A.; Palmieri, M.; Saponara, S.
Open-source as an enabling approach for the introduction of artificial intelligence in healthcare 1-gen-2023 Coro, F.; Bonatti, A. F.; Fortunato, G. M.; Gulino, I.; Arcarisi, L.; Lippi, M. E.; Calderai, V.; Gallo, G.; Palmieri, M.; Ducange, P.; Bernardeschi, C.; Tomei, G.; De Simone, P.; Ahluwalia, A.; De Maria, C.