Maurizio Palmieri
Maurizio Palmieri
Verified email at ing.unipi.it
Title
Cited by
Cited by
Year
Co-simulation of semi-autonomous systems: the line follower robot case study
M Palmieri, C Bernardeschi, P Masci
International Conference on Software Engineering and Formal Methods, 423-437, 2017
162017
Integrated simulation and formal verification of a simple autonomous vehicle
A Domenici, A Fagiolini, M Palmieri
International Conference on Software Engineering and Formal Methods, 300-314, 2017
122017
Improving network formation in IEEE 802.15. 4e DSME
C Vallati, S Brienza, M Palmieri, G Anastasi
Computer Communications 114, 1-9, 2017
102017
A framework for FMI-based co-simulation of human–machine interfaces
M Palmieri, C Bernardeschi, P Masci
Software and Systems Modeling 19 (3), 601-623, 2020
92020
A flexible framework for FMI-based co-simulation of human-centred cyber-physical systems
M Palmieri, C Bernardeschi, P Masci
Federation of International Conferences on Software Technologies …, 2018
52018
Towards reuse of synchronization algorithms in co-simulation frameworks
C Thule, M Palmieri, C Gomes, K Lausdahl, HD Macedo, N Battle, ...
International Conference on Software Engineering and Formal Methods, 50-66, 2019
42019
Ros/gazebo based simulation of co-operative uavs
C Bernardeschi, A Fagiolini, M Palmieri, G Scrima, F Sofia
International Conference on Modelling and Simulation for Autonomous Systesm …, 2018
42018
Formalization and co-simulation of attacks on cyber-physical systems
C Bernardeschi, A Domenici, M Palmieri
Journal of Computer Virology and Hacking Techniques, 1-15, 2020
32020
Automatic generation of functional mock-up units from formal specifications
M Palmieri, HD Macedo
International Conference on Software Engineering and Formal Methods, 27-33, 2019
32019
Formal Verification and Co-Simulation in the Design of a Synchronous Motor Control Algorithm
C Bernardeschi, P Dini, A Domenici, M Palmieri, S Saponara
Energies 13 (16), 4057, 2020
22020
Co-simulation of UAVs with INTO-CPS and PVSio-web
M Palmieri, C Bernardeschi, A Domenici, A Fagiolini
Federation of International Conferences on Software Technologies …, 2018
22018
Modeling and Simulation of Attacks on Cyber-physical Systems.
C Bernardeschi, A Domenici, M Palmieri
ICISSP, 700-708, 2019
12019
Verifying data secure flow in AUTOSAR models
C Bernardeschi, M Di Natale, G Dini, M Palmieri
Journal of Computer Virology and Hacking Techniques 14 (4), 269-289, 2018
12018
Verifying data secure flow in autosar models by static analysis
C Bernardeschi, M Di Natale, G Dini, M Palmieri
International Workshop on FORmal methods for Security Engineering, 704-713, 2017
12017
Block-Based Models and Theorem Proving in Model-Based Development
C Bernardeschi, A Domenici, A Fagiolini, M Palmieri
Electronic Communications of the EASST 79, 2021
2021
Cross-level Co-simulation and Verification of an Automatic Transmission Control on Embedded Processor
C Bernardeschi, A Domenici, M Palmieri, S Saponara, T Sassolas, ...
International Conference on Software Engineering and Formal Methods, 263-279, 2020
2020
Co-simulation of bio-inspired multi-agent algorithms
C Bernardeschi, A Domenici, M Palmieri, A Fagiolini
Proceedings of the 2020 Summer Simulation Conference, 1-12, 2020
2020
Analysis of security attacks in wireless sensor networks: From UPPAAL to Castalia
C Bernardeschi, G Dini, M Palmieri, F Racciatti
4th International Workshop on FORmal methods for Security Engineering 2020 …, 2020
2020
Towards Stochastic FMI Co-simulations: Implementation of an FMU for a Stochastic Activity Networks Simulator
C Bernardeschi, A Domenici, M Palmieri
Federation of International Conferences on Software Technologies …, 2018
2018
IEEE 802.15. 4e DSME Wireless Sensor Networks. Performance Evaluation and Improvements
M PALMIERI
2016
The system can't perform the operation now. Try again later.
Articles 1–20