Semantics-Driven Migration of Java Programs: A Practical Application. - Artyom Olegovich Aleksyuk; Vladimir M. Itsykson (Autom. Control. Comput. Sci., 2018)

Automated Cross-Language Integration Based on Formal Model of Components. - Artyom Olegovich Aleksyuk; Vladimir M. Itsykson (FISEE, 2019)