Gianluca CAIAZZA

Position
Adjunct Professor
Telephone
041 234 8582
E-mail
gianluca.caiazza@unive.it
Academic discipline
Informatics [INFO-01/A]
Website
www.unive.it/people/gianluca.caiazza (personal record)
Office
Interconnected Nord-Est Innovation Ecosystem - Temporary Project Centre
Research Institute
Research Institute for Complexity

Olivieri, Luca; Arceri, Vincenzo; Negrini, Luca; Caiazza, Gianluca Challenges of Software Verification (CSV’25) in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, vol. - (ISSN 1433-2779)
DOI 2026, Journal Article - ARCA card: 10278/5117888


Caiazza, Gianluca; Lisovenko, Teodors; Ferrara, Pietro; Berti, Fabio; Ferrari, Francesca; Zaupa, Alessandro; Zhang, Guangzheng From Legacy to Intelligent IIoT Systems: Automation, Scalability and Elasticity , Proceedings - 2025 IEEE 22nd International Conference on Software Architecture, ICSA 2025, 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA, Institute of Electrical and Electronics Engineers Inc., pp. 255-266, Convegno: 22nd IEEE International Conference on Software Architecture, ICSA 2025, 2025
DOI 2025, Article in Conference Proceedings - ARCA card: 10278/5105061


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, Journal Article - ARCA card: 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, 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