BERNARDESCHI, CINZIA Statistiche
BERNARDESCHI, CINZIA
DIPARTIMENTO DI INGEGNERIA DELL'INFORMAZIONE
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.
Do-it-Yourself FMU Generation
2023-01-01 Bernardeschi, C.; Dini, P.; Domenici, A.; Palmieri, M.; Saponara, S.
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.
Co-simulation and Formal Verification of Co-operative Drone Control With Logic-Based Specifications
2021-01-01 Bernardeschi, Cinzia; Domenici, Andrea; Fagiolini, Adriano; Palmieri, Maurizio
Cross-level Co-simulation and Verification of an Automatic Transmission Control on Embedded Processor
2021-01-01 Bernardeschi, Cinzia; Domenici, Andrea; Palmieri, Maurizio; Saponara, Sergio; Sassolas, Tanguy; Wicaksana, Arief; Zaourar, Lilia
Cross-level Co-simulation and Verification of an Automatic Transmission Control on Embedded Processor
2021-01-01 Bernardeschi, C.; Domenici, A.; Palmieri, M.; Saponara, S.; Sassolas, T.; Wicaksana, A.; Zaourar, L.
ReLock: a resilient two-phase locking RESTful transaction model
2021-01-01 Frosini, L.; Pagano, P.; Candela, L.; Simi, M.; Bernardeschi, C.
A framework for FMI-based co-simulation of human–machine interfaces
2020-01-01 Palmieri, M.; Bernardeschi, C.; Masci, P.
Analysis of security attacks in wireless sensor networks: From UPPAAL to Castalia
2020-01-01 Bernardeschi, C.; Dini, G.; Palmieri, M.; Racciatti, F.
Block-Based Models and Theorem Proving in Model-Based Development
2020-01-01 Bernardeschi, C.; Domenici, A.; Fagiolini, A.; Palmieri, M.
Co-simulation and Verification of a Non-linear Control System for Cogging Torque Reduction in Brushless Motors
2020-01-01 Bernardeschi, C.; Dini, P.; Domenici, A.; Saponara, S.
Co-simulation of bio-inspired multi-agent algorithms
2020-01-01 Bernardeschi, C.; Domenici, A.; Palmieri, M.; Fagiolini, A.
Formal verification and co-simulation in the design of a synchronous motor control algorithm
2020-01-01 Bernardeschi, C.; Dini, P.; Domenici, A.; Palmieri, M.; Saponara, S.
Formalization and co-simulation of attacks on cyber-physical systems
2020-01-01 Bernardeschi, C.; Domenici, A.; Palmieri, M.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
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. | |
Do-it-Yourself FMU Generation | 1-gen-2023 | Bernardeschi, C.; Dini, P.; Domenici, A.; Palmieri, M.; Saponara, S. | |
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. | |
Co-simulation and Formal Verification of Co-operative Drone Control With Logic-Based Specifications | 1-gen-2021 | Bernardeschi, Cinzia; Domenici, Andrea; Fagiolini, Adriano; Palmieri, Maurizio | |
Cross-level Co-simulation and Verification of an Automatic Transmission Control on Embedded Processor | 1-gen-2021 | Bernardeschi, Cinzia; Domenici, Andrea; Palmieri, Maurizio; Saponara, Sergio; Sassolas, Tanguy; Wicaksana, Arief; Zaourar, Lilia | |
Cross-level Co-simulation and Verification of an Automatic Transmission Control on Embedded Processor | 1-gen-2021 | Bernardeschi, C.; Domenici, A.; Palmieri, M.; Saponara, S.; Sassolas, T.; Wicaksana, A.; Zaourar, L. | |
ReLock: a resilient two-phase locking RESTful transaction model | 1-gen-2021 | Frosini, L.; Pagano, P.; Candela, L.; Simi, M.; Bernardeschi, C. | |
A framework for FMI-based co-simulation of human–machine interfaces | 1-gen-2020 | Palmieri, M.; Bernardeschi, C.; Masci, P. | |
Analysis of security attacks in wireless sensor networks: From UPPAAL to Castalia | 1-gen-2020 | Bernardeschi, C.; Dini, G.; Palmieri, M.; Racciatti, F. | |
Block-Based Models and Theorem Proving in Model-Based Development | 1-gen-2020 | Bernardeschi, C.; Domenici, A.; Fagiolini, A.; Palmieri, M. | |
Co-simulation and Verification of a Non-linear Control System for Cogging Torque Reduction in Brushless Motors | 1-gen-2020 | Bernardeschi, C.; Dini, P.; Domenici, A.; Saponara, S. | |
Co-simulation of bio-inspired multi-agent algorithms | 1-gen-2020 | Bernardeschi, C.; Domenici, A.; Palmieri, M.; Fagiolini, A. | |
Formal verification and co-simulation in the design of a synchronous motor control algorithm | 1-gen-2020 | Bernardeschi, C.; Dini, P.; Domenici, A.; Palmieri, M.; Saponara, S. | |
Formalization and co-simulation of attacks on cyber-physical systems | 1-gen-2020 | Bernardeschi, C.; Domenici, A.; Palmieri, M. |