Management of service composition based on self-controlled components
Tatiana Aubonnet
,
Ludovic Henrio
,
Soumia Kessal
,
Oleksandra Kulankhina
,
Frédéric Lemoine
et al.
Journal articles
hal-01180627v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A graphical specification environnement for GCM component-based applications
Oleksandra Kulankhina
Information Theory [cs.IT]. 2013
Master thesis
hal-00932190v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A framework for rigorous development of distributed components : formalisation and tools
Oleksandra Kulankhina
Theses
tel-01419298v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Behavioural semantics for asynchronous components
Rabéa Ameur-Boulifa
,
Ludovic Henrio
,
Oleksandra Kulankhina
,
Eric Madelaine
,
Alexandra Savu
et al.
Journal articles
hal-01526055v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More