Maurizio Palmieri

38 papers B 3C 6Journal 11Unranked 16

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Data Augmentation for Neuroaesthetics Analysis. IJCCI (3) Maurizio Palmieri, Marco Avvenuti, Francesco Marcelloni, Alessio Vecchio
2025	J	`jnl`	Recognizing Special Art Pieces Through EEG: A Journey in Neuroaesthetics Classification. IEEE Access Maurizio Palmieri, Marco Avvenuti, Francesco Marcelloni, Alessio Vecchio
2024	—	`conf`	A Model-Based Approach for Analysis of Data-Alteration Attacks in Co-operative Vehicles. INTSYS Cinzia Bernardeschi, Maurizio Palmieri, Marta Sanguinetti, Alessio Vivani
2024	C	`conf`	Attacks detection in Cyber-Physical Systems with Neural Networks: a case study. ISCC Cinzia Bernardeschi, Gianluca Dini, Maurizio Palmieri, Alessio Vivani
2024	J	`jnl`	Design and Validation of Cyber-Physical Systems Through Co-Simulation: The Voronoi Tessellation Use Case. IEEE Access Cinzia Bernardeschi, Andrea Domenici, Adriano Fagiolini, Maurizio Palmieri
2024	—	`conf`	Detecting and Locating Stress in Urban Settings with ChillIn. INTSYS Daniel Namaki Ghaneh, Emanuele Respino, Gianmaria Saggini, Niccolò Settimelli, Maurizio Palmieri, Alessio Vecchio
2024	—	`conf`	Finding Beauty in Mobile EEG When Visiting Art Exhibitions. BODYNETS (A) Maurizio Palmieri, Marco Avvenuti, Alejandro Luis Callara, Francesco Marcelloni, Alessio Vecchio
2024	—	`conf`	Towards Formal Verification of Neural Networks in Cyber-Physical Systems. NFM Federico Rossi, Cinzia Bernardeschi, Marco Cococcioni, Maurizio Palmieri
2023	J	`jnl`	Co-simulated digital twin on the network edge: A vehicle platoon. Comput. Commun. Maurizio Palmieri, Christian Quadri, Adriano Fagiolini, Cinzia Bernardeschi
2023	J	`jnl`	Co-simulation and Formal Verification of Co-operative Drone Control With Logic-Based Specifications. Comput. J. Cinzia Bernardeschi, Andrea Domenici, Adriano Fagiolini, Maurizio Palmieri
2023	—	`ed.`	Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops - AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers SEFM Workshops Paolo Masci, Cinzia Bernardeschi, Pierluigi Graziani, Mario Koddenbrock, Maurizio Palmieri
2022	B	`conf`	A Workflow for Designing an On-line Supervisor for Cyber-Physical Systems: a Case Study. SMARTCOMP Maurizio Palmieri, Carlo Vallati, Giuseppe Anastasi, Cinzia Bernardeschi
2022	C	`conf`	Co-simulated Digital Twin on the Network Edge: the case of platooning. WoWMoM Maurizio Palmieri, Christian Quadri, Adriano Fagiolini, Gian Paolo Rossi, Cinzia Bernardeschi
2022	B	`conf`	Demo: An On-line Supervisor for the Line Follower Robot. SMARTCOMP Maurizio Palmieri, Carlo Vallati, Giuseppe Anastasi, Cinzia Bernardeschi
2022	—	`conf`	Do-it-Yourself FMU Generation. SEFM Workshops Cinzia Bernardeschi, Pierpaolo Dini, Andrea Domenici, Maurizio Palmieri, Sergio Saponara
2022	—	`ed.`	Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers SEFM Workshops Antonio Cerone, Marco Autili, Alessio Bucaioni, Cláudio Gomes, Pierluigi Graziani, Maurizio Palmieri, Marco Temperini, Gentiane Venture
2022	J	`jnl`	Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps. Int. J. Softw. Tools Technol. Transf. 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
2021	—	`conf`	A Prototyping Process for Medical Devices and Systems. STAF Workshops Cinzia Bernardeschi, Andrea Domenici, Maurizio Palmieri
2021	J	`jnl`	A framework for formal analysis and simulative evaluation of security attacks in wireless sensor networks. J. Comput. Virol. Hacking Tech. Cinzia Bernardeschi, Gianluca Dini, Maurizio Palmieri, Francesco Racciatti
2021	—	`conf`	Co-simulation of a Model Predictive Control System for Automotive Applications. SEFM Workshops Cinzia Bernardeschi, Pierpaolo Dini, Andrea Domenici, Ayoub Mouhagir, Maurizio Palmieri, Sergio Saponara, Tanguy Sassolas, Lilia Zaourar
2021	C	`conf`	Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps. FMICS Simon Thrane Hansen, Cláudio Gomes, Maurizio Palmieri, Casper Thule, Jaco van de Pol, Jim Woodcock
2020	J	`jnl`	A framework for FMI-based co-simulation of human-machine interfaces. Softw. Syst. Model. Maurizio Palmieri, Cinzia Bernardeschi, Paolo Masci
2020	C	`conf`	Analysis of Security Attacks in Wireless Sensor Networks: From UPPAAL to Castalia. ICISSP Cinzia Bernardeschi, Gianluca Dini, Maurizio Palmieri, Francesco Racciatti
2020	J	`jnl`	Block-Based Models and Theorem Proving in Model-Based Development. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Cinzia Bernardeschi, Andrea Domenici, Adriano Fagiolini, Maurizio Palmieri
2020	B	`conf`	Cross-level Co-simulation and Verification of an Automatic Transmission Control on Embedded Processor. SEFM Cinzia Bernardeschi, Andrea Domenici, Maurizio Palmieri, Sergio Saponara, Tanguy Sassolas, Arief Wicaksana, Lilia Zaourar
2020	J	`jnl`	Formalization and co-simulation of attacks on cyber-physical systems. J. Comput. Virol. Hacking Tech. Cinzia Bernardeschi, Andrea Domenici, Maurizio Palmieri
2019	—	`conf`	Automatic Generation of Functional Mock-Up Units from Formal Specifications. SEFM Workshops Maurizio Palmieri, Hugo Daniel Macedo
2019	C	`conf`	Modeling and Simulation of Attacks on Cyber-physical Systems. ICISSP Cinzia Bernardeschi, Andrea Domenici, Maurizio Palmieri
2019	—	`conf`	Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks. SEFM Workshops Casper Thule, Maurizio Palmieri, Cláudio Gomes, Kenneth Lausdahl, Hugo Daniel Macedo, Nick Battle, Peter Gorm Larsen
2018	—	`conf`	A Flexible Framework for FMI-Based Co-Simulation of Human-Centred Cyber-Physical Systems. STAF Workshops Maurizio Palmieri, Cinzia Bernardeschi, Paolo Masci
2018	—	`conf`	Demo: Co-simulation of UAVs with INTO-CPS and PVSio-web. STAF Workshops Maurizio Palmieri, Cinzia Bernardeschi, Andrea Domenici, Adriano Fagiolini
2018	—	`conf`	ROS/Gazebo Based Simulation of Co-operative UAVs. MESAS Cinzia Bernardeschi, Adriano Fagiolini, Maurizio Palmieri, Giulio Scrima, Fabio Sofia
2018	—	`conf`	Towards Stochastic FMI Co-Simulations: Implementation of an FMU for a Stochastic Activity Networks Simulator. STAF Workshops Cinzia Bernardeschi, Andrea Domenici, Maurizio Palmieri
2018	J	`jnl`	Verifying data secure flow in AUTOSAR models. J. Comput. Virol. Hacking Tech. Cinzia Bernardeschi, Marco Di Natale, Gianluca Dini, Maurizio Palmieri
2017	—	`conf`	Co-simulation of Semi-autonomous Systems: The Line Follower Robot Case Study. SEFM Workshops Maurizio Palmieri, Cinzia Bernardeschi, Paolo Masci
2017	J	`jnl`	Improving network formation in IEEE 802.15.4e DSME. Comput. Commun. Carlo Vallati, Simone Brienza, Maurizio Palmieri, Giuseppe Anastasi
2017	—	`conf`	Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle. SEFM Workshops Andrea Domenici, Adriano Fagiolini, Maurizio Palmieri
2017	C	`conf`	Verifying Data Secure Flow in AUTOSAR Models by Static Analysis. ICISSP Cinzia Bernardeschi, Marco Di Natale, Gianluca Dini, Maurizio Palmieri