DOMENICI, ANDREA Statistiche

DOMENICI, ANDREA  

DIPARTIMENTO DI INGEGNERIA DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 20 di 83 (tempo di esecuzione: 0.051 secondi).
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.
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
OLT(RE)2: an On-Line on-demand Testing approach for permanent Radiation Effects in REconfigurable systems 1-gen-2018 Cozzi, Dario; Korf, Sebastian; Cassano, LUCA MARIA; Hagemeyer, Jens; Domenici, Andrea; Bernardeschi, Cinzia; Porrmann, Mario; Sterpone, Luca