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

Dealing with Robustness of Convolutional Neural Networks for Image Classification., , , and . AITest, page 7-14. IEEE, (2020)Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines., , , , , and . ICTSS, volume 11812 of Lecture Notes in Computer Science, page 67-85. Springer, (2019)Automatic Test Generation with ASMETA for the Mechanical Ventilator Milano Controller., , and . ICTSS, volume 13045 of Lecture Notes in Computer Science, page 65-72. Springer, (2021)Efficient Computation of Robustness of Convolutional Neural Networks., , , and . AITest, page 21-28. IEEE, (2021)Extending ASMETA with Time Features., , , and . ABZ, volume 12709 of Lecture Notes in Computer Science, page 105-111. Springer, (2021)Incremental generation of combinatorial test suites starting from existing seed tests., and . ICSTW, page 197-205. IEEE, (2023)formal MVC: A Pattern for the Integration of ASM Specifications in UI Development., , and . ABZ, volume 14010 of Lecture Notes in Computer Science, page 340-357. Springer, (2023)Lessons Learned from the Development of a Mechanical Ventilator for COVID-19., , , , , , and . ISSRE, page 24-35. IEEE, (2021)From Concept to Code: Unveiling a Tool for Translating Abstract State Machines into Java Code., , and . ABZ, volume 14759 of Lecture Notes in Computer Science, page 160-178. Springer, (2024)On the Reuse of Existing Configurations for Testing Evolving Feature Models., , and . SPLC (B), page 67-76. ACM, (2023)