Teodors LISOVENKO

Qualifica
Dottorando
Dottorato
INFORMATICA
40° Ciclo - Immatricolati nel 2024
Area tematica
Tbd
Supervisore
Pietro Ferrara
E-mail
teodors.lisovenko@unive.it
1001015@stud.unive.it
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

Pubblicazioni

Anno Tipologia Pubblicazione
Anno Tipologia Pubblicazione
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