Maurizio Palmieri
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
16
Venues
7
Active years
2017–2025
Best venue rank
B
Where they publish
Papers
16 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | IJCCI | Data Augmentation for Neuroaesthetics Analysis. | Maurizio Palmieri, Marco Avvenuti, Francesco Marcelloni, Alessio Vecchio |
| 2024 | ISCC | Attacks detection in Cyber-Physical Systems with Neural Networks: a case study. | Cinzia Bernardeschi, Gianluca Dini, Maurizio Palmieri, Alessio Vivani |
| 2022 | WoWMoM | Co-simulated Digital Twin on the Network Edge: the case of platooning. | Maurizio Palmieri, Christian Quadri, Adriano Fagiolini, Gian Paolo Rossi, Cinzia Bernardeschi |
| 2022 | SEFM | Do-it-Yourself FMU Generation. | Cinzia Bernardeschi, Pierpaolo Dini, Andrea Domenici, Maurizio Palmieri, Sergio Saponara |
| 2022 | SmartComp | Demo: An On-line Supervisor for the Line Follower Robot. | Maurizio Palmieri, Carlo Vallati, Giuseppe Anastasi, Cinzia Bernardeschi |
| 2022 | SmartComp | A Workflow for Designing an On-line Supervisor for Cyber-Physical Systems: a Case Study. | Maurizio Palmieri, Carlo Vallati, Giuseppe Anastasi, Cinzia Bernardeschi |
| 2021 | FMICS | Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps. | Simon Thrane Hansen, Cludio Gomes, Maurizio Palmieri, Casper Thule, Jaco van de Pol, Jim Woodcock |
| 2021 | SEFM | Co-simulation of a Model Predictive Control System for Automotive Applications. | Cinzia Bernardeschi, Pierpaolo Dini, Andrea Domenici, Ayoub Mouhagir, Maurizio Palmieri, Sergio Saponara, Tanguy Sassolas, Lilia Zaourar |
| 2020 | ICISSP | Analysis of Security Attacks in Wireless Sensor Networks: From UPPAAL to Castalia. | Cinzia Bernardeschi, Gianluca Dini, Maurizio Palmieri, Francesco Racciatti |
| 2020 | SEFM | Cross-level Co-simulation and Verification of an Automatic Transmission Control on Embedded Processor. | Cinzia Bernardeschi, Andrea Domenici, Maurizio Palmieri, Sergio Saponara, Tanguy Sassolas, Arief Wicaksana, Lilia Zaourar |
| 2019 | ICISSP | Modeling and Simulation of Attacks on Cyber-physical Systems. | Cinzia Bernardeschi, Andrea Domenici, Maurizio Palmieri |
| 2019 | SEFM | Automatic Generation of Functional Mock-Up Units from Formal Specifications. | Maurizio Palmieri, Hugo Daniel Macedo |
| 2019 | SEFM | Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks. | Casper Thule, Maurizio Palmieri, Cludio Gomes, Kenneth Lausdahl, Hugo Daniel Macedo, Nick Battle, Peter Gorm Larsen |
| 2017 | ICISSP | Verifying Data Secure Flow in AUTOSAR Models by Static Analysis. | Cinzia Bernardeschi, Marco Di Natale, Gianluca Dini, Maurizio Palmieri |
| 2017 | SEFM | Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle. | Andrea Domenici, Adriano Fagiolini, Maurizio Palmieri |
| 2017 | SEFM | Co-simulation of Semi-autonomous Systems: The Line Follower Robot Case Study. | Maurizio Palmieri, Cinzia Bernardeschi, Paolo Masci |