Maurizio Palmieri

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 30

Top Topics

Formal Verification

Theorem Proving

Top Venues

J. Comput. Virol. Hacking Tech.

Publications

Cinzia Bernardeschi, Andrea Domenici, Adriano Fagiolini, Maurizio Palmieri
Design and Validation of Cyber-Physical Systems Through Co-Simulation: The Voronoi Tessellation Use Case. IEEE Access 12 (2024)
Federico Rossi, Cinzia Bernardeschi, Marco Cococcioni, Maurizio Palmieri
Towards Formal Verification of Neural Networks in Cyber-Physical Systems. NFM (2024)
Maurizio Palmieri, Christian Quadri, Adriano Fagiolini, Cinzia Bernardeschi
Co-simulated digital twin on the network edge: A vehicle platoon. Comput. Commun. 212 (2023)
Cinzia Bernardeschi, Andrea Domenici, Adriano Fagiolini, Maurizio Palmieri
Co-simulation and Formal Verification of Co-operative Drone Control With Logic-Based Specifications. Comput. J. 66 (2) (2023)
Maurizio Palmieri, Carlo Vallati, Giuseppe Anastasi, Cinzia Bernardeschi
A Workflow for Designing an On-line Supervisor for Cyber-Physical Systems: a Case Study. SMARTCOMP (2022)
Cinzia Bernardeschi, Pierpaolo Dini, Andrea Domenici, Maurizio Palmieri, Sergio Saponara
Do-it-Yourself FMU Generation. SEFM Workshops (2022)
Maurizio Palmieri, Carlo Vallati, Giuseppe Anastasi, Cinzia Bernardeschi
Demo: An On-line Supervisor for the Line Follower Robot. SMARTCOMP (2022)
Simon Thrane Hansen, Casper Thule, Cláudio Gomes, Jaco van de Pol, Maurizio Palmieri, Emin Oguz Inci, Frederik Madsen, Jesus Alfonso, José Ángel Castellanos, José Manuel Rodriguez-Fortun
Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps. Int. J. Softw. Tools Technol. Transf. 24 (6) (2022)
Maurizio Palmieri, Christian Quadri, Adriano Fagiolini, Gian Paolo Rossi, Cinzia Bernardeschi
Co-simulated Digital Twin on the Network Edge: the case of platooning. WoWMoM (2022)
Cinzia Bernardeschi, Andrea Domenici, Maurizio Palmieri
A Prototyping Process for Medical Devices and Systems. STAF Workshops (2021)
Simon Thrane Hansen, Cláudio Gomes, Maurizio Palmieri, Casper Thule, Jaco van de Pol, Jim Woodcock
Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps. FMICS (2021)
Cinzia Bernardeschi, Gianluca Dini, Maurizio Palmieri, Francesco Racciatti
A framework for formal analysis and simulative evaluation of security attacks in wireless sensor networks. J. Comput. Virol. Hacking Tech. 17 (3) (2021)
Cinzia Bernardeschi, Pierpaolo Dini, Andrea Domenici, Ayoub Mouhagir, Maurizio Palmieri, Sergio Saponara, Tanguy Sassolas, Lilia Zaourar
Co-simulation of a Model Predictive Control System for Automotive Applications. SEFM Workshops (2021)
Cinzia Bernardeschi, Andrea Domenici, Maurizio Palmieri
Formalization and co-simulation of attacks on cyber-physical systems. J. Comput. Virol. Hacking Tech. 16 (1) (2020)
Cinzia Bernardeschi, Gianluca Dini, Maurizio Palmieri, Francesco Racciatti
Analysis of Security Attacks in Wireless Sensor Networks: From UPPAAL to Castalia. ICISSP (2020)
Maurizio Palmieri, Cinzia Bernardeschi, Paolo Masci
A framework for FMI-based co-simulation of human-machine interfaces. Softw. Syst. Model. 19 (3) (2020)
Cinzia Bernardeschi, Andrea Domenici, Adriano Fagiolini, Maurizio Palmieri
Block-Based Models and Theorem Proving in Model-Based Development. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 79 (2020)
Cinzia Bernardeschi, Andrea Domenici, Maurizio Palmieri, Sergio Saponara, Tanguy Sassolas, Arief Wicaksana, Lilia Zaourar
Cross-level Co-simulation and Verification of an Automatic Transmission Control on Embedded Processor. SEFM (2020)
Casper Thule, Maurizio Palmieri, Cláudio Gomes, Kenneth Lausdahl, Hugo Daniel Macedo, Nick Battle, Peter Gorm Larsen
Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks. SEFM Workshops (2019)
Maurizio Palmieri, Hugo Daniel Macedo
Automatic Generation of Functional Mock-Up Units from Formal Specifications. SEFM Workshops (2019)
Cinzia Bernardeschi, Andrea Domenici, Maurizio Palmieri
Modeling and Simulation of Attacks on Cyber-physical Systems. ICISSP (2019)
Maurizio Palmieri, Cinzia Bernardeschi, Paolo Masci
A Flexible Framework for FMI-Based Co-Simulation of Human-Centred Cyber-Physical Systems. STAF Workshops (2018)
Cinzia Bernardeschi, Andrea Domenici, Maurizio Palmieri
Towards Stochastic FMI Co-Simulations: Implementation of an FMU for a Stochastic Activity Networks Simulator. STAF Workshops (2018)
Cinzia Bernardeschi, Marco Di Natale, Gianluca Dini, Maurizio Palmieri
Verifying data secure flow in AUTOSAR models. J. Comput. Virol. Hacking Tech. 14 (4) (2018)
Cinzia Bernardeschi, Adriano Fagiolini, Maurizio Palmieri, Giulio Scrima, Fabio Sofia
ROS/Gazebo Based Simulation of Co-operative UAVs. MESAS (2018)
Maurizio Palmieri, Cinzia Bernardeschi, Andrea Domenici, Adriano Fagiolini
Demo: Co-simulation of UAVs with INTO-CPS and PVSio-web. STAF Workshops (2018)
Carlo Vallati, Simone Brienza, Maurizio Palmieri, Giuseppe Anastasi
Improving network formation in IEEE 802.15.4e DSME. Comput. Commun. 114 (2017)
Andrea Domenici, Adriano Fagiolini, Maurizio Palmieri
Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle. SEFM Workshops (2017)
Maurizio Palmieri, Cinzia Bernardeschi, Paolo Masci
Co-simulation of Semi-autonomous Systems: The Line Follower Robot Case Study. SEFM Workshops (2017)
Cinzia Bernardeschi, Marco Di Natale, Gianluca Dini, Maurizio Palmieri
Verifying Data Secure Flow in AUTOSAR Models by Static Analysis. ICISSP (2017)