Giacomo Zanatta

According to our database, Giacomo Zanatta authored at least 2 papers in 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Automating ROS2 Security Policies Extraction through Static Analysis.

Giacomo Zanatta, Gianluca Caiazza, Pietro Ferrara, Luca Negrini, Ruffin White

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2024

Sound Static Analysis for Microservices: Utopia? A Preliminary Experience with LiSA.

Giacomo Zanatta, Pietro Ferrara, Teodors Lisovenko, Luca Negrini, Gianluca Caiazza, Ruffin White

Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs, 2024