Giacomo ZANATTA

Qualifica
Dottorando
Dottorato
INFORMATICA
39° Ciclo - Immatricolati nel 2023
Area tematica
Designing a generic methodology to analyze distributed applications statically: LiSA4ROS2 and beyond
Supervisore
Pietro Ferrara / Leonardo Maccari
E-mail
giacomo.zanatta@unive.it
859156@stud.unive.it
Sito web
www.unive.it/persone/giacomo.zanatta (scheda personale)
Struttura
Dipartimento di Scienze Ambientali, Informatica e Statistica
Sito web struttura: https://www.unive.it/dais

Vincenzo Arceri, Luca Negrini, Giacomo Zanatta, Filippo Bianchi, Teodors Lisovenko, Luca Olivieri, Pietro Ferrara JLiSA: the Java frontend of the Library for Static Analysis (Competition Contribution) , Proceedings of TACAS 2026, Springer, Convegno: TACAS
2026, Articolo in Atti di convegno - Scheda ARCA: 10278/5112869

Zanatta, Giacomo; Caiazza, Gianluca; Ferrara, Pietro; Negrini, Luca Inference of access policies through static analysis in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, vol. 26, pp. 797-821 (ISSN 1433-2779)
DOI 2024, Articolo su rivista - Scheda ARCA: 10278/5091727

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, Articolo in Atti di convegno - Scheda ARCA: 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, Articolo in Atti di convegno - Scheda ARCA: 10278/5072661

Tutte le pubblicazioni