All papers authored by Maurizio Palmieri
Refreshing results…
2024
Federico Rossi 
,
Cinzia Bernardeschi ,
Marco Cococcioni ,
Maurizio Palmieri
,
Cinzia Bernardeschi ,
Marco Cococcioni ,
Maurizio Palmieri
Towards Formal Verification of Neural Networks in Cyber-Physical Systems
Upload
2019
Cinzia Bernardeschi,
Adriano Fagiolini,
Maurizio Palmieri ,
Giulio Scrima,
Fabio Sofia
,
Giulio Scrima,
Fabio Sofia
ROS/Gazebo Based Simulation of Co-operative UAVs
Upload
2018
Cinzia Bernardeschi ,
Marco Di Natale,
Gianluca Dini,
Maurizio Palmieri
,
Marco Di Natale,
Gianluca Dini,
Maurizio Palmieri
Verifying data secure flow in AUTOSAR models
Upload
2017
Carlo Vallati,
Simone Brienza,
Maurizio Palmieri ,
Giuseppe Anastasi
,
Giuseppe Anastasi
Improving network formation in IEEE 802.15.4e DSME
UploadMissing publications? Search for publications with a matching author name.