Oleksandra Kulankhina

According to our database, Oleksandra Kulankhina authored at least 7 papers between 2012 and 2017.

Collaborative distances:

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

2017

Behavioural semantics for asynchronous components.

Rabéa Ameur-Boulifa, Ludovic Henrio, Oleksandra Kulankhina, Eric Madelaine, A. Savu

J. Log. Algebraic Methods Program., 2017

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

PhD thesis, 2016

Integrated Environment for Verifying and Running Distributed Components.

Ludovic Henrio, Oleksandra Kulankhina, Siqi Li, Eric Madelaine

Proceedings of the Fundamental Approaches to Software Engineering, 2016

2015

Management of service compositionbased on self-controlled components.

Tatiana Aubonnet, Ludovic Henrio, Soumia Kessal, Oleksandra Kulankhina, Frédéric Lemoine, Eric Madelaine, Cristian Ruz, Noëmie Simoni

J. Internet Serv. Appl., 2015

2014

Verifying the correct composition of distributed components: Formalisation and Tool.

Ludovic Henrio, Oleksandra Kulankhina, Dongqian Liu, Eric Madelaine

Proceedings of the Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, 2014

2012

Checking Inconsistencies in UML Design.

Iryna Zaretska, Oleksandra Kulankhina, Hlib Mykhailenko, Roman Kovalenko

Proceedings of the 8th International Conference on ICT in Education, 2012

Cross-Diagram UML Design Verification.

Iryna Zaretska, Oleksandra Kulankhina, Hlib Mykhailenko

Proceedings of the ICT in Education, Research, and Industrial Applications, 2012