Teodors LISOVENKO
- Qualifica
- Dottorando
- Dottorato
-
INFORMATICA
40° Ciclo - Immatricolati nel 2024
- Area tematica
- Towards Extensible Static Analysis for Reconstructing Microservice Architectures: First Bricks to Adapt LiSA to Distributed Software Contexts
- Supervisore
- Pietro Ferrara
- Sito web
-
www.unive.it/persone/teodors.lisovenko (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
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,
Articolo in Atti di convegno - Scheda ARCA: 10278/5105061
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