Oleksandra Kulankhina

Publication Activity (10 Years)

Years Active: 2012-2017
Publications (10 Years): 3

Top Topics

Loosely Coupled

Distributed Network

Management Policies

Top Venues

J. Log. Algebraic Methods Program.

J. Internet Serv. Appl.

University of Nice Sophia Antipolis, France (PHD)

Education History

University of Nice Sophia Antipolis, France

PHD

Publications

Rabéa Ameur-Boulifa, Ludovic Henrio, Oleksandra Kulankhina, Eric Madelaine, A. Savu
Behavioural semantics for asynchronous components. J. Log. Algebraic Methods Program. 89 (2017)
Ludovic Henrio, Oleksandra Kulankhina, Siqi Li, Eric Madelaine
Integrated Environment for Verifying and Running Distributed Components. FASE (2016)
Tatiana Aubonnet, Ludovic Henrio, Soumia Kessal, Oleksandra Kulankhina, Frédéric Lemoine, Eric Madelaine, Cristian Ruz, Noëmie Simoni
Management of service compositionbased on self-controlled components. J. Internet Serv. Appl. 6 (1) (2015)
Ludovic Henrio, Oleksandra Kulankhina, Dongqian Liu, Eric Madelaine
Verifying the correct composition of distributed components: Formalisation and Tool. FOCLASA (2014)
Iryna Zaretska, Oleksandra Kulankhina, Hlib Mykhailenko, Roman Kovalenko
Checking Inconsistencies in UML Design. ICTERI (2012)
Iryna Zaretska, Oleksandra Kulankhina, Hlib Mykhailenko
Cross-Diagram UML Design Verification. ICTERI (Revised Selected Papers) (2012)