Teodors Lisovenko

According to our database, Teodors Lisovenko authored at least 3 papers between 2024 and 2026.

Collaborative distances:

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

2026

JLiSA: The Java Frontend of the Library for Static Analysis (Competition Contribution).

Vincenzo Arceri, Luca Negrini, Giacomo Zanatta, Filippo Bianchi, Teodors Lisovenko, Luca Olivieri, Pietro Ferrara

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

2025

From Legacy to Intelligent IIoT Systems: Automation, Scalability and Elasticity.

Gianluca Caiazza, Teodors Lisovenko, Pietro Ferrara, Fabio Berti, Francesca Ferrari, Alessandro Zaupa, Guangzheng Zhang

Proceedings of the 22nd IEEE International Conference on Software Architecture, 2025

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