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

Publications

Year Type Publication
Year Type Publication
2024 Article in Conference Proceedings 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)
- ARCA card: 10278/5062421
2024 Article in Conference Proceedings 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 - ARCA card: 10278/5072661