Cross-Diagram UML Design Verification. - Iryna Zaretska; Oleksandra Kulankhina; Hlib Mykhailenko (ICTERI (Revised Selected Papers), 2012)

Checking Inconsistencies in UML Design. - Iryna Zaretska; Oleksandra Kulankhina; Hlib Mykhailenko; Roman Kovalenko (ICTERI, 2012)

Verifying the correct composition of distributed components: Formalisation and Tool. - Ludovic Henrio; Oleksandra Kulankhina; Dongqian Liu; Eric Madelaine (FOCLASA, 2014)

Management of service compositionbased on self-controlled components. - Tatiana Aubonnet; Ludovic Henrio; Soumia Kessal; Oleksandra Kulankhina; Frédéric Lemoine 001; Eric Madelaine; Cristian Ruz; Noëmie Simoni (J. Internet Serv. Appl., 2015)

Integrated Environment for Verifying and Running Distributed Components. - Ludovic Henrio; Oleksandra Kulankhina; Siqi Li; Eric Madelaine (FASE, 2016)

A framework for rigorous development of distributed components: formalisation and tools. (Un environnement pour le développement rigoureux de composants répartis: formalisation et outils logiciels). - Oleksandra Kulankhina (2016)

Behavioural semantics for asynchronous components. - Rabéa Ameur-Boulifa; Ludovic Henrio; Oleksandra Kulankhina; Eric Madelaine; A. Savu (J. Log. Algebraic Methods Program., 2017)