CINECA IRIS Institutional Research Information System

PALMIERI, MAURIZIO Statistiche

PALMIERI, MAURIZIO  

DIPARTIMENTO DI INGEGNERIA DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 20 di 36 (tempo di esecuzione: 0.041 secondi).
Titolo Data di pubblicazione Autore(i) File
A smart, multi-configuration, and low-cost system for water turbidity monitoring 1-gen-2024 Vecchio, Alessio; Bini, Monica; Lazzarotti, Marco; Luppichini, Marco; Palmieri, Maurizio
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.
Towards Formal Verification of Neural Networks in Cyber-Physical Systems 1-gen-2024 Rossi, Federico; Bernardeschi, Cinzia; Cococcioni, Marco; Palmieri, Maurizio
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.
Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps 1-gen-2022 Hansen, St; Thule, C; Gomes, C; van de Pol, J; Palmieri, M; Inci, Eo; Madsen, F; Alfonso, J; Castellanos, Ja; Rodriguez, Jm
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 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, C.; Domenici, A.; Palmieri, M.; Saponara, S.; Sassolas, T.; Wicaksana, A.; Zaourar, L.
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
Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps 1-gen-2021 Hansen, St; Gomes, C; Palmieri, M; Thule, C; van de Pol, J; Woodcock, J
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.