Author of the publication

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.

 

Other publications of authors with the same name

ROBY: a Tool for Robustness Analysis of Neural Network Classifiers., , , and . ICST, page 442-447. IEEE, (2021)Robustness assessment and improvement of a neural network for blood oxygen pressure estimation., , , , , and . ICST, page 312-322. IEEE, (2022)Towards an Evaluation Framework for Autonomous Systems., , , , , , and . ACSOS-C, page 43-48. IEEE, (2022)Compositional Simulation of Abstract State Machines for Safety Critical Systems., , , and . FACS, volume 13712 of Lecture Notes in Computer Science, page 3-19. Springer, (2022)Visual Notation and Patterns for Abstract State Machines., , , and . STAF Workshops, volume 9946 of Lecture Notes in Computer Science, page 163-178. Springer, (2016)A Mobile Application for Milano Ventilatore Meccanico: A First Prototype., , and . HEALTHINF, page 314-321. SCITEPRESS, (2023)Amblyopia Rehabilitation by Games for Low-Cost Virtual Reality Visors., and . REHAB (Revised Selected Papers), volume 665 of Communications in Computer and Information Science, page 116-125. Springer, (2015)Dealing with Robustness of Convolutional Neural Networks for Image Classification., , , and . AITest, page 7-14. IEEE, (2020)The Mechanical Lung Ventilator Case Study., and . ABZ, volume 14759 of Lecture Notes in Computer Science, page 281-288. Springer, (2024)A Mobile Application for the Stereoacuity Test., , and . HCI (17), volume 9185 of Lecture Notes in Computer Science, page 315-326. Springer, (2015)