DOMENICI, ANDREA Statistiche
DOMENICI, ANDREA
DIPARTIMENTO DI INGEGNERIA DELL'INFORMAZIONE
Do-it-Yourself FMU Generation
2023-01-01 Bernardeschi, C.; Dini, P.; Domenici, A.; Palmieri, M.; Saponara, S.
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.
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.
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.
Identify Potential Attacks from Simulated Log Analysis
2020-01-01 Bernardeschi, Cinzia; Domenici, Andrea; Mercaldo, Francesco; Santone, Antonella
Application of Model Checking to Fault Tolerance Analysis
2019-01-01 Bernardeschi, C.; Domenici, A.
Formal verification in the loop to enhance verification of safety-critical cyber-physical systems
2019-01-01 Bernardeschi, Cinzia; Domenici, Andrea; Saponara, Sergio
Logic-Based Formalization of System Requirements for Integrated Clinical Environments
2019-01-01 Bernardeschi, Cinzia; Domenici, Andrea; Masci, Paolo
Modeling and simulation of attacks on cyber-physical systems
2019-01-01 Bernardeschi, C.; Domenici, A.; Palmieri, M.
A PVS-Simulink Integrated Environment for Model-Based Analysis of Cyber-Physical Systems
2018-01-01 Bernardeschi, Cinzia; Domenici, Andrea; Masci, Paolo
Demo: Co-simulation of UAVs with INTO-CPS and PVSio-web
2018-01-01 Palmieri, Maurizio; Bernardeschi, Cinzia; Domenici, Andrea; Fagiolini, Adriano
Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle
2018-01-01 Domenici, Andrea; Fagiolini, Adriano; Palmieri, Maurizio
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Do-it-Yourself FMU Generation | 1-gen-2023 | Bernardeschi, C.; Dini, P.; Domenici, A.; Palmieri, M.; Saponara, S. | |
| 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. | |
| 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. | |
| 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. | |
| Identify Potential Attacks from Simulated Log Analysis | 1-gen-2020 | Bernardeschi, Cinzia; Domenici, Andrea; Mercaldo, Francesco; Santone, Antonella | |
| Application of Model Checking to Fault Tolerance Analysis | 1-gen-2019 | Bernardeschi, C.; Domenici, A. | |
| Formal verification in the loop to enhance verification of safety-critical cyber-physical systems | 1-gen-2019 | Bernardeschi, Cinzia; Domenici, Andrea; Saponara, Sergio | |
| Logic-Based Formalization of System Requirements for Integrated Clinical Environments | 1-gen-2019 | Bernardeschi, Cinzia; Domenici, Andrea; Masci, Paolo | |
| Modeling and simulation of attacks on cyber-physical systems | 1-gen-2019 | Bernardeschi, C.; Domenici, A.; Palmieri, M. | |
| A PVS-Simulink Integrated Environment for Model-Based Analysis of Cyber-Physical Systems | 1-gen-2018 | Bernardeschi, Cinzia; Domenici, Andrea; Masci, Paolo | |
| Demo: Co-simulation of UAVs with INTO-CPS and PVSio-web | 1-gen-2018 | Palmieri, Maurizio; Bernardeschi, Cinzia; Domenici, Andrea; Fagiolini, Adriano | |
| Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle | 1-gen-2018 | Domenici, Andrea; Fagiolini, Adriano; Palmieri, Maurizio |