Giacomo ZANATTA

Position
PhD Student
Dottorato
INFORMATICA
39° Ciclo - Immatricolati nel 2023
Area tematica
Program Analysis for Robotics Software
Supervisore
Pietro Ferrara / Leonardo Maccari
E-mail
giacomo.zanatta@unive.it
859156@stud.unive.it
Website
www.unive.it/people/giacomo.zanatta (personal record)
Office
Department of Environmental Sciences, Informatics and Statistics
Website: https://www.unive.it/dep.dais

Giacomo Zanatta, Gianluca Caiazza, Pietro Ferrara, Luca Negrini, Ruffin White Automating ROS2 Security Policies Extraction through Static Analysis , Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), IEEE, Convegno: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
2024, Article in Conference Proceedings - ARCA card: 10278/5062421


Zanatta, Giacomo; Ferrara, Pietro; Lisovenko, Teodors; Negrini, Luca; Caiazza, Gianluca; White, Ruffin Sound Static Analysis for Microservices: Utopia? A Preliminary Experience with LiSA , FTfJP 2024: Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs, Association for Computing Machinery, pp. 5-10, Convegno: Formal Techniques for Java-like Programs (FTfJP 2024)
DOI 2024, Article in Conference Proceedings - ARCA card: 10278/5072661