Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

7 Results
authFullName_s : Oleksandra Kulankhina
Image document

Management of service composition based on self-controlled components

Tatiana Aubonnet , Ludovic Henrio , Soumia Kessal , Oleksandra Kulankhina , Frédéric Lemoine et al.
Journal of Internet Services and Applications, 2015, 6 (15), pp.17. ⟨10.1186/s13174-015-0031-7⟩
Journal articles hal-01180627v1
Image document

A graphical specification environnement for GCM component-based applications

Oleksandra Kulankhina
Information Theory [cs.IT]. 2013
Master thesis hal-00932190v1
Image document

Verifying the correct composition of distributed components: Formalisation and Tool

Ludovic Henrio , Oleksandra Kulankhina , Dongqian Liu , Eric Madelaine
FOCLASA, Sep 2014, Rome, Italy
Conference papers hal-01055370v1
Image document

Integrated environment for verifying and running distributed components -Extended version

Ludovic Henrio , Oleksandra Kulankhina , Siqi Li , Eric Madelaine
[Research Report] RR-8841, INRIA Sophia-Antipolis. 2015, pp.24
Reports hal-01252323v1
Image document

A framework for rigorous development of distributed components : formalisation and tools

Oleksandra Kulankhina
Other [cs.OH]. Université Côte d'Azur, 2016. English. ⟨NNT : 2016AZUR4077⟩
Theses tel-01419298v2
Image document

Behavioural semantics for asynchronous components

Rabéa Ameur-Boulifa , Ludovic Henrio , Oleksandra Kulankhina , Eric Madelaine , Alexandra Savu et al.
Journal of Logical and Algebraic Methods in Programming, 2017, 89, pp.1 - 40. ⟨10.1016/j.jlamp.2017.02.003⟩
Journal articles hal-01526055v1
Image document

Integrated Environment for Verifying and Running Distributed Components

Ludovic Henrio , Oleksandra Kulankhina , Siqi Li , Eric Madelaine
Fundamental Approaches to Software Engineering, Perdita Stevens; Andrzej Wąsowski, Apr 2016, Eindhoven, Netherlands. pp.66-83, ⟨10.1007/978-3-662-49665-7_5⟩
Conference papers hal-01303557v1