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
- 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
Pubblicazioni
| Anno | Tipologia | Pubblicazione |
|---|---|---|
| Anno | Tipologia | Pubblicazione |
|
|
||
| 2026 | Articolo in Atti di convegno |
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 - Scheda ARCA: 10278/5112869 |
| 2024 | Articolo su rivista |
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 - Scheda ARCA: 10278/5091727 |
| 2024 | Articolo in Atti di convegno |
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) - Scheda ARCA: 10278/5062421 |
| 2024 | Articolo in Atti di convegno |
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 - Scheda ARCA: 10278/5072661 |