Maurizio Palmieri

According to our database, Maurizio Palmieri authored at least 31 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Design and Validation of Cyber-Physical Systems Through Co-Simulation: The Voronoi Tessellation Use Case.

Cinzia Bernardeschi, Andrea Domenici, Adriano Fagiolini, Maurizio Palmieri

IEEE Access, 2024

Towards Formal Verification of Neural Networks in Cyber-Physical Systems.

Federico Rossi, Cinzia Bernardeschi, Marco Cococcioni, Maurizio Palmieri

Proceedings of the NASA Formal Methods - 16th International Symposium, 2024

Attacks detection in Cyber-Physical Systems with Neural Networks: a case study.

Cinzia Bernardeschi, Gianluca Dini, Maurizio Palmieri, Alessio Vivani

Proceedings of the IEEE Symposium on Computers and Communications, 2024

2023

Co-simulated digital twin on the network edge: A vehicle platoon.

Maurizio Palmieri, Christian Quadri, Adriano Fagiolini, Cinzia Bernardeschi

Comput. Commun., December, 2023

Co-simulation and Formal Verification of Co-operative Drone Control With Logic-Based Specifications.

Cinzia Bernardeschi, Andrea Domenici, Adriano Fagiolini, Maurizio Palmieri

Comput. J., February, 2023

2022

Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps.

Simon Thrane Hansen, Casper Thule, Cláudio Gomes, Jaco van de Pol, Maurizio Palmieri, Emin Oguz Inci, Frederik Palludan Madsen, Jesus Alfonso, José Ángel Castellanos, José Manuel Rodriguez-Fortun

Int. J. Softw. Tools Technol. Transf., 2022

Co-simulated Digital Twin on the Network Edge: the case of platooning.

Maurizio Palmieri, Christian Quadri, Adriano Fagiolini, Gian Paolo Rossi, Cinzia Bernardeschi

Proceedings of the 23rd IEEE International Symposium on a World of Wireless, 2022

A Workflow for Designing an On-line Supervisor for Cyber-Physical Systems: a Case Study.

Maurizio Palmieri, Carlo Vallati, Giuseppe Anastasi, Cinzia Bernardeschi

Proceedings of the 2022 IEEE International Conference on Smart Computing, 2022

Demo: An On-line Supervisor for the Line Follower Robot.

Maurizio Palmieri, Carlo Vallati, Giuseppe Anastasi, Cinzia Bernardeschi

Proceedings of the 2022 IEEE International Conference on Smart Computing, 2022

Do-it-Yourself FMU Generation.

Cinzia Bernardeschi, Pierpaolo Dini, Andrea Domenici, Maurizio Palmieri, Sergio Saponara

Proceedings of the Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops, 2022

2021

A framework for formal analysis and simulative evaluation of security attacks in wireless sensor networks.

Cinzia Bernardeschi, Gianluca Dini, Maurizio Palmieri, Francesco Racciatti

J. Comput. Virol. Hacking Tech., 2021

A Prototyping Process for Medical Devices and Systems.

Cinzia Bernardeschi, Andrea Domenici, Maurizio Palmieri

Proceedings of the STAF 2021 Workshop Proceedings: 9th International Workshop on Bidirectional Transformations, 2021

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

Proceedings of the Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops, 2021

Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps.

Simon Thrane Hansen, Cláudio Gomes, Maurizio Palmieri, Casper Thule, Jaco van de Pol, Jim Woodcock

Proceedings of the Formal Methods for Industrial Critical Systems, 2021

2020

Formalization and co-simulation of attacks on cyber-physical systems.

Cinzia Bernardeschi, Andrea Domenici, Maurizio Palmieri

J. Comput. Virol. Hacking Tech., 2020

A framework for FMI-based co-simulation of human-machine interfaces.

Maurizio Palmieri, Cinzia Bernardeschi, Paolo Masci

Softw. Syst. Model., 2020

Block-Based Models and Theorem Proving in Model-Based Development.

Cinzia Bernardeschi, Andrea Domenici, Adriano Fagiolini, Maurizio Palmieri

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2020

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

Proceedings of the Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 2020

Analysis of Security Attacks in Wireless Sensor Networks: From UPPAAL to Castalia.

Cinzia Bernardeschi, Gianluca Dini, Maurizio Palmieri, Francesco Racciatti

Proceedings of the 6th International Conference on Information Systems Security and Privacy, 2020

2019

Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks.

Casper Thule, Maurizio Palmieri, Cláudio Gomes, Kenneth Lausdahl, Hugo Daniel Macedo, Nick Battle, Peter Gorm Larsen

Proceedings of the Software Engineering and Formal Methods, 2019

Automatic Generation of Functional Mock-Up Units from Formal Specifications.

Maurizio Palmieri, Hugo Daniel Macedo

Proceedings of the Software Engineering and Formal Methods, 2019

Modeling and Simulation of Attacks on Cyber-physical Systems.

Cinzia Bernardeschi, Andrea Domenici, Maurizio Palmieri

Proceedings of the 5th International Conference on Information Systems Security and Privacy, 2019

2018

Verifying data secure flow in AUTOSAR models.

Cinzia Bernardeschi, Marco Di Natale, Gianluca Dini, Maurizio Palmieri

J. Comput. Virol. Hacking Tech., 2018

A Flexible Framework for FMI-Based Co-Simulation of Human-Centred Cyber-Physical Systems.

Maurizio Palmieri, Cinzia Bernardeschi, Paolo Masci

Proceedings of the Software Technologies: Applications and Foundations, 2018

Demo: Co-simulation of UAVs with INTO-CPS and PVSio-web.

Maurizio Palmieri, Cinzia Bernardeschi, Andrea Domenici, Adriano Fagiolini

Proceedings of the Software Technologies: Applications and Foundations, 2018

Towards Stochastic FMI Co-Simulations: Implementation of an FMU for a Stochastic Activity Networks Simulator.

Cinzia Bernardeschi, Andrea Domenici, Maurizio Palmieri

Proceedings of the Software Technologies: Applications and Foundations, 2018

ROS/Gazebo Based Simulation of Co-operative UAVs.

Cinzia Bernardeschi, Adriano Fagiolini, Maurizio Palmieri, Giulio Scrima, Fabio Sofia

Proceedings of the Modelling and Simulation for Autonomous Systems, 2018

2017

Improving network formation in IEEE 802.15.4e DSME.

Carlo Vallati, Simone Brienza, Maurizio Palmieri, Giuseppe Anastasi

Comput. Commun., 2017

Co-simulation of Semi-autonomous Systems: The Line Follower Robot Case Study.

Maurizio Palmieri, Cinzia Bernardeschi, Paolo Masci

Proceedings of the Software Engineering and Formal Methods, 2017

Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle.

Andrea Domenici, Adriano Fagiolini, Maurizio Palmieri

Proceedings of the Software Engineering and Formal Methods, 2017

Verifying Data Secure Flow in AUTOSAR Models by Static Analysis.

Cinzia Bernardeschi, Marco Di Natale, Gianluca Dini, Maurizio Palmieri

Proceedings of the 3rd International Conference on Information Systems Security and Privacy, 2017