( en | de | ru )

 

Disambiguation of "Palmieri, Maurizio"

Author of the publication

copydeleteadd this publication to your clipboard
Modeling and Simulation of Attacks on Cyber-physical Systems.

, , and . ICISSP, page 700-708. SciTePress, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Nunzia Palmieri

Paolo Palmieri

Maurizio Podda

Maurizio Zanazzi

Maurizio Venturini

 

Other publications of authors with the same name

A Flexible Framework for FMI-Based Co-Simulation of Human-Centred Cyber-Physical Systems., , and . STAF Workshops, volume 11176 of Lecture Notes in Computer Science, page 21-33. Springer, (2018)Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks., , , , , , and . SEFM Workshops, volume 12226 of Lecture Notes in Computer Science, page 50-66. Springer, (2019)A framework for FMI-based co-simulation of human-machine interfaces., , and . Softw. Syst. Model., 19 (3): 601-623 (2020)Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps., , , , , , , , , and . Int. J. Softw. Tools Technol. Transf., 24 (6): 999-1024 (2022)Towards Stochastic FMI Co-Simulations: Implementation of an FMU for a Stochastic Activity Networks Simulator., , and . STAF Workshops, volume 11176 of Lecture Notes in Computer Science, page 34-44. Springer, (2018)Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps., , , , , and . FMICS, volume 12863 of Lecture Notes in Computer Science, page 3-20. Springer, (2021)A Prototyping Process for Medical Devices and Systems., , and . STAF Workshops, volume 2999 of CEUR Workshop Proceedings, page 115-124. CEUR-WS.org, (2021)Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle., , and . SEFM Workshops, volume 10729 of Lecture Notes in Computer Science, page 300-314. Springer, (2017)Automatic Generation of Functional Mock-Up Units from Formal Specifications., and . SEFM Workshops, volume 12226 of Lecture Notes in Computer Science, page 27-33. Springer, (2019)Demo: An On-line Supervisor for the Line Follower Robot., , , and . SMARTCOMP, page 180-182. IEEE, (2022)