BERNARDESCHI, CINZIA Statistiche
BERNARDESCHI, CINZIA
DIPARTIMENTO DI INGEGNERIA DELL'INFORMAZIONE
A Portable Research Honeypot for Corporate Networks
2025-01-01 Mirabella, Lorenzo; Bernardeschi, Cinzia; Lettieri, Giuseppe; Lucattini, Fabio; Montanarella, Salvatore
A Risk Assessment Framework Based on Fuzzy Logic for Automotive Systems
2024-01-01 Merola, Francesco; Bernardeschi, Cinzia; Lami, Giuseppe
Attacks detection in Cyber-Physical Systems with Neural Networks: A case study
2024-01-01 Bernardeschi, C.; Dini, G.; Palmieri, M.; Vivani, A.
Design and Validation of Cyber-Physical Systems Through Co-Simulation: The Voronoi Tessellation Use Case
2024-01-01 Bernardeschi, C.; Domenici, A.; Fagiolini, A.; Palmieri, M.
Neural networks in closed-loop systems: Verification using interval arithmetic and formal prover
2024-01-01 Rossi, Federico; Bernardeschi, Cinzia; Cococcioni, Marco
Statistical Model Checking of Cooperative Autonomous Driving Systems
2024-01-01 Bernardeschi, Cinzia; Lettieri, Giuseppe; Rossi, Federico
Towards Formal Verification of Neural Networks in Cyber-Physical Systems
2024-01-01 Rossi, Federico; Bernardeschi, Cinzia; Cococcioni, Marco; Palmieri, Maurizio
An Analysis System to Test Security of Software on Continuous Integration-Continuous Delivery Pipeline
2023-01-01 Aparo, C.; Bernardeschi, C.; Lettieri, G.; Lucattini, F.; Montanarella, S.
Co-simulated digital twin on the network edge: A vehicle platoon
2023-01-01 Palmieri, M.; Quadri, C.; Fagiolini, A.; Bernardeschi, C.
Co-simulation and Formal Verification of Co-operative Drone Control With Logic-Based Specifications
2023-01-01 Bernardeschi, Cinzia; Domenici, Andrea; Fagiolini, Adriano; Palmieri, Maurizio
Do-it-Yourself FMU Generation
2023-01-01 Bernardeschi, C.; Dini, P.; Domenici, A.; Palmieri, M.; Saponara, S.
Open-source as an enabling approach for the introduction of artificial intelligence in healthcare
2023-01-01 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.
Training Neural Networks in Cyber-Physical Systems using Design Space Exploration and Co-Simulation
2023-01-01 Bernardeschi, C.; Cococcioni, M.; Palmieri, M.; Rossi, F.
A Workflow for Designing an On-line Supervisor for Cyber-Physical Systems: a Case Study
2022-01-01 Palmieri, M.; Vallati, C.; Anastasi, G.; Bernardeschi, C.
Co-simulated Digital Twin on the Network Edge: the case of platooning
2022-01-01 Palmieri, M.; Quadri, C.; Fagiolini, A.; Rossi, G. P.; Bernardeschi, C.
Co-simulation of a Model Predictive Control System for Automotive Applications
2022-01-01 Bernardeschi, C.; Dini, P.; Domenici, A.; Mouhagir, A.; Palmieri, M.; Saponara, S.; Sassolas, T.; Zaourar, L.
Demo: An On-line Supervisor for the Line Follower Robot
2022-01-01 Palmieri, M.; Vallati, C.; Anastasi, G.; Bernardeschi, C.
A framework for formal analysis and simulative evaluation of security attacks in wireless sensor networks
2021-01-01 Bernardeschi, C.; Dini, G.; Palmieri, M.; Racciatti, F.
A logic theory pattern for linearized control systems
2021-01-01 Domenici, A.; Bernardeschi, C.
A prototyping process for medical devices and systems
2021-01-01 Bernardeschi, C.; Domenici, A.; Palmieri, M.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Portable Research Honeypot for Corporate Networks | 1-gen-2025 | Mirabella, Lorenzo; Bernardeschi, Cinzia; Lettieri, Giuseppe; Lucattini, Fabio; Montanarella, Salvatore | |
| 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. | |
| 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. | |
| Training Neural Networks in Cyber-Physical Systems using Design Space Exploration and Co-Simulation | 1-gen-2023 | Bernardeschi, C.; Cococcioni, M.; Palmieri, M.; Rossi, F. | |
| A Workflow for Designing an On-line Supervisor for Cyber-Physical Systems: a Case Study | 1-gen-2022 | Palmieri, M.; Vallati, C.; Anastasi, G.; Bernardeschi, C. | |
| Co-simulated Digital Twin on the Network Edge: the case of platooning | 1-gen-2022 | Palmieri, M.; Quadri, C.; Fagiolini, A.; Rossi, G. P.; Bernardeschi, C. | |
| Co-simulation of a Model Predictive Control System for Automotive Applications | 1-gen-2022 | Bernardeschi, C.; Dini, P.; Domenici, A.; Mouhagir, A.; Palmieri, M.; Saponara, S.; Sassolas, T.; Zaourar, L. | |
| Demo: An On-line Supervisor for the Line Follower Robot | 1-gen-2022 | Palmieri, M.; Vallati, C.; Anastasi, G.; Bernardeschi, C. | |
| A framework for formal analysis and simulative evaluation of security attacks in wireless sensor networks | 1-gen-2021 | Bernardeschi, C.; Dini, G.; Palmieri, M.; Racciatti, F. | |
| A logic theory pattern for linearized control systems | 1-gen-2021 | Domenici, A.; Bernardeschi, C. | |
| A prototyping process for medical devices and systems | 1-gen-2021 | Bernardeschi, C.; Domenici, A.; Palmieri, M. |