Sede ufficiale: VIA G. CARUSO, 16, 56122 PISA
Email: maurizio.palmieri@unipi.it
Profilo
Didattica
Incarichi di co-docenza in moduli/insegnamenti
- Sistemi Operativi (Cod. 544II) per Laurea in Ingegneria informatica
- Dependable and Secure Systems (Cod. 602II) per Laurea Magistrale in Computer engineering
Ricerca
Pubblicazioni
- Finding Beauty in Mobile EEG When Visiting Art Exhibitions (Palmieri, Maurizio; Avvenuti, Marco; Callara, ALEJANDRO LUIS; Marcelloni, Francesco; Vecchio, Alessio - 2024 - 4.1 Contributo in Atti di convegno)
- Attacks detection in Cyber-Physical Systems with Neural Networks: A case study (Bernardeschi, C.; Dini, G.; Palmieri, M.; Vivani, A. - 2024 - 2.1 Contributo in volume (Capitolo o Saggio))
- A smart, multi-configuration, and low-cost system for water turbidity monitoring (Vecchio, Alessio; Bini, Monica; Lazzarotti, Marco; Luppichini, Marco; Palmieri, Maurizio - 2024 - 1.1 Articolo in rivista)
- Towards Formal Verification of Neural Networks in Cyber-Physical Systems (Rossi, Federico; Bernardeschi, Cinzia; Cococcioni, Marco; Palmieri, Maurizio - 2024 - 4.1 Contributo in Atti di convegno)
- Design and Validation of Cyber-Physical Systems Through Co-Simulation: The Voronoi Tessellation Use Case (Bernardeschi, C.; Domenici, A.; Fagiolini, A.; Palmieri, M. - 2024 - 1.1 Articolo in rivista)
- Training Neural Networks in Cyber-Physical Systems using Design Space Exploration and Co-Simulation (Bernardeschi, C.; Cococcioni, M.; Palmieri, M.; Rossi, F. - 2023 - 4.1 Contributo in Atti di convegno)
- Co-simulated digital twin on the network edge: A vehicle platoon (Palmieri, M.; Quadri, C.; Fagiolini, A.; Bernardeschi, C. - 2023 - 1.1 Articolo in rivista)
- Open-source as an enabling approach for the introduction of artificial intelligence in healthcare (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. - 2023 - 4.1 Contributo in Atti di convegno)
- Do-it-Yourself FMU Generation (Bernardeschi, C.; Dini, P.; Domenici, A.; Palmieri, M.; Saponara, S. - 2023 - 4.1 Contributo in Atti di convegno)
- Co-simulation and Formal Verification of Co-operative Drone Control With Logic-Based Specifications (Bernardeschi, Cinzia; Domenici, Andrea; Fagiolini, Adriano; Palmieri, Maurizio - 2023 - 1.1 Articolo in rivista)