Verifying Data Secure Flow in AUTOSAR Models by Static Analysis. - Cinzia Bernardeschi; Marco Di Natale; Gianluca Dini; Maurizio Palmieri (ICISSP, 2017)

Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle. - Andrea Domenici; Adriano Fagiolini; Maurizio Palmieri (SEFM Workshops, 2017)

Co-simulation of Semi-autonomous Systems: The Line Follower Robot Case Study. - Maurizio Palmieri; Cinzia Bernardeschi; Paolo Masci 001 (SEFM Workshops, 2017)

Improving network formation in IEEE 802.15.4e DSME. - Carlo Vallati; Simone Brienza; Maurizio Palmieri; Giuseppe Anastasi (Comput. Commun., 2017)

ROS/Gazebo Based Simulation of Co-operative UAVs. - Cinzia Bernardeschi; Adriano Fagiolini; Maurizio Palmieri; Giulio Scrima; Fabio Sofia (MESAS, 2018)

Towards Stochastic FMI Co-Simulations: Implementation of an FMU for a Stochastic Activity Networks Simulator. - Cinzia Bernardeschi; Andrea Domenici; Maurizio Palmieri (STAF Workshops, 2018)

Demo: Co-simulation of UAVs with INTO-CPS and PVSio-web. - Maurizio Palmieri; Cinzia Bernardeschi; Andrea Domenici; Adriano Fagiolini (STAF Workshops, 2018)

A Flexible Framework for FMI-Based Co-Simulation of Human-Centred Cyber-Physical Systems. - Maurizio Palmieri; Cinzia Bernardeschi; Paolo Masci 001 (STAF Workshops, 2018)

Verifying data secure flow in AUTOSAR models. - Cinzia Bernardeschi; Marco Di Natale; Gianluca Dini; Maurizio Palmieri (J. Comput. Virol. Hacking Tech., 2018)

Modeling and Simulation of Attacks on Cyber-physical Systems. - Cinzia Bernardeschi; Andrea Domenici; Maurizio Palmieri (ICISSP, 2019)

Automatic Generation of Functional Mock-Up Units from Formal Specifications. - Maurizio Palmieri; Hugo Daniel Macedo (SEFM Workshops, 2019)

Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks. - Casper Thule; Maurizio Palmieri; Cláudio Gomes 001; Kenneth Lausdahl; Hugo Daniel Macedo; Nick Battle; Peter Gorm Larsen (SEFM Workshops, 2019)

Analysis of Security Attacks in Wireless Sensor Networks: From UPPAAL to Castalia. - Cinzia Bernardeschi; Gianluca Dini; Maurizio Palmieri; Francesco Racciatti (ICISSP, 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 (SEFM, 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)

A framework for FMI-based co-simulation of human-machine interfaces. - Maurizio Palmieri; Cinzia Bernardeschi; Paolo Masci 001 (Softw. Syst. Model., 2020)

Formalization and co-simulation of attacks on cyber-physical systems. - Cinzia Bernardeschi; Andrea Domenici; Maurizio Palmieri (J. Comput. Virol. Hacking Tech., 2020)

Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps. - Simon Thrane Hansen; Cláudio Gomes 001; Maurizio Palmieri; Casper Thule; Jaco van de Pol; Jim Woodcock 001 (FMICS, 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 (SEFM Workshops, 2021)

A Prototyping Process for Medical Devices and Systems. - Cinzia Bernardeschi; Andrea Domenici; Maurizio Palmieri (STAF Workshops, 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)

Do-it-Yourself FMU Generation. - Cinzia Bernardeschi; Pierpaolo Dini; Andrea Domenici; Maurizio Palmieri; Sergio Saponara (SEFM Workshops, 2022)

Demo: An On-line Supervisor for the Line Follower Robot. - Maurizio Palmieri; Carlo Vallati; Giuseppe Anastasi; Cinzia Bernardeschi (SMARTCOMP, 2022)

A Workflow for Designing an On-line Supervisor for Cyber-Physical Systems: a Case Study. - Maurizio Palmieri; Carlo Vallati; Giuseppe Anastasi; Cinzia Bernardeschi (SMARTCOMP, 2022)

Co-simulated Digital Twin on the Network Edge: the case of platooning. - Maurizio Palmieri; Christian Quadri; Adriano Fagiolini; Gian Paolo Rossi 001; Cinzia Bernardeschi (WoWMoM, 2022)

Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps. - Simon Thrane Hansen; Casper Thule; Cláudio Gomes 001; Jaco van de Pol; Maurizio Palmieri; Emin Oguz Inci; Frederik Palludan Madsen; Jesus Alfonso; José Ángel Castellanos 001; José Manuel Rodriguez-Fortun (Int. J. Softw. Tools Technol. Transf., 2022)

Co-simulation and Formal Verification of Co-operative Drone Control With Logic-Based Specifications. - Cinzia Bernardeschi; Andrea Domenici; Adriano Fagiolini; Maurizio Palmieri (Comput. J., 2023)

Co-simulated digital twin on the network edge: A vehicle platoon. - Maurizio Palmieri; Christian Quadri; Adriano Fagiolini; Cinzia Bernardeschi (Comput. Commun., 2023)

A Model-Based Approach for Analysis of Data-Alteration Attacks in Co-operative Vehicles. - Cinzia Bernardeschi; Maurizio Palmieri; Marta Sanguinetti; Alessio Vivani (INTSYS, 2024)

Detecting and Locating Stress in Urban Settings with ChillIn. - Daniel Namaki Ghaneh; Emanuele Respino; Gianmaria Saggini; Niccolò Settimelli; Maurizio Palmieri; Alessio Vecchio (INTSYS, 2024)

Attacks detection in Cyber-Physical Systems with Neural Networks: a case study. - Cinzia Bernardeschi; Gianluca Dini; Maurizio Palmieri; Alessio Vivani (ISCC, 2024)

Towards Formal Verification of Neural Networks in Cyber-Physical Systems. - Federico Rossi 003; Cinzia Bernardeschi; Marco Cococcioni; Maurizio Palmieri (NFM, 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)

Recognizing Special Art Pieces Through EEG: A Journey in Neuroaesthetics Classification. - Maurizio Palmieri; Marco Avvenuti; Francesco Marcelloni; Alessio Vecchio (IEEE Access, 2025)