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 | 28 | 2020 |
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 | 25 | 2020 |
Integrated simulation and formal verification of a simple autonomous vehicle A Domenici, A Fagiolini, M Palmieri Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops …, 2018 | 24 | 2018 |
Ros/gazebo based simulation of co-operative uavs C Bernardeschi, A Fagiolini, M Palmieri, G Scrima, F Sofia Modelling and Simulation for Autonomous Systems: 5th International …, 2019 | 23 | 2019 |
Co-simulation of semi-autonomous systems: the Line Follower Robot case study M Palmieri, C Bernardeschi, P Masci Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops …, 2018 | 23 | 2018 |
Towards reuse of synchronization algorithms in co-simulation frameworks C Thule, M Palmieri, C Gomes, K Lausdahl, HD Macedo, N Battle, ... Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops …, 2020 | 21 | 2020 |
Co-simulation of a model predictive control system for automotive applications C Bernardeschi, P Dini, A Domenici, A Mouhagir, M Palmieri, S Saponara, ... International Conference on Software Engineering and Formal Methods, 204-220, 2021 | 18 | 2021 |
Improving network formation in IEEE 802.15. 4e DSME C Vallati, S Brienza, M Palmieri, G Anastasi Computer Communications 114, 1-9, 2017 | 18 | 2017 |
Automatic generation of functional mock-up units from formal specifications M Palmieri, HD Macedo Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops …, 2020 | 9 | 2020 |
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 | 7 | 2018 |
Verification of co-simulation algorithms subject to algebraic loops and adaptive steps ST Hansen, C Gomes, M Palmieri, C Thule, J van de Pol, J Woodcock International Conference on Formal Methods for Industrial Critical Systems, 3-20, 2021 | 6 | 2021 |
Formalization and co-simulation of attacks on cyber-physical systems C Bernardeschi, A Domenici, M Palmieri Journal of Computer Virology and Hacking Techniques 16 (1), 63-77, 2020 | 6 | 2020 |
Co-simulation and formal verification of co-operative drone control with logic-based specifications C Bernardeschi, A Domenici, A Fagiolini, M Palmieri The Computer Journal 66 (2), 295-317, 2023 | 4 | 2023 |
Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps ST Hansen, C Thule, C Gomes, J van de Pol, M Palmieri, EO Inci, ... International Journal on Software Tools for Technology Transfer 24 (6), 999-1024, 2022 | 4 | 2022 |
Do-it-Yourself FMU Generation C Bernardeschi, P Dini, A Domenici, M Palmieri, S Saponara International Conference on Software Engineering and Formal Methods, 210-227, 2022 | 4 | 2022 |
Cross-level co-simulation and verification of an automatic transmission control on embedded processor C Bernardeschi, A Domenici, M Palmieri, S Saponara, T Sassolas, ... Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops …, 2021 | 4 | 2021 |
Verifying data secure flow in AUTOSAR models C Bernardeschi, M Di Natale, G Dini, M Palmieri Journal of Computer Virology and Hacking Techniques 14, 269-289, 2018 | 4 | 2018 |
Co-simulated digital twin on the network edge: A vehicle platoon M Palmieri, C Quadri, A Fagiolini, C Bernardeschi Computer Communications 212, 35-47, 2023 | 3 | 2023 |
Co-simulated Digital Twin on the Network Edge: the case of platooning M Palmieri, C Quadri, A Fagiolini, GP Rossi, C Bernardeschi 2022 IEEE 23rd International Symposium on a World of Wireless, Mobile and …, 2022 | 3 | 2022 |
Co-simulation of UAVs with INTO-CPS and PVSio-web M Palmieri, C Bernardeschi, A Domenici, A Fagiolini Software Technologies: Applications and Foundations: STAF 2018 Collocated …, 2018 | 3 | 2018 |