Eric Madelaine
Address:
INRIA, Centre Sophia Antipolis
2004 route des Lucioles
B.P. 93
F-06902 Sophia Antipolis, FRANCE
Student subject offers:
Diplomas and Positions:
Direct links:
[J-17a] Rabéa Ameur-Boulifa, Ludovic Henrio, Oleksandra Kulankhina, Eric Madelaine, A. Savu:
Behavioural semantics for asynchronous components.
J. Log. Algebr. Meth. Program. 89: 1-40 (2017)
https://hal.inria.fr/hal-01526055v1
[C-16]
Ludovic Henrio, Eric Madelaine, and Min Zhang
A Theory for the Composition of Concurrent Processes.
In 36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, LNCS-9688
Conference version (local copy),
Extended version (hal.inria.fr)
[J-15b] Tatiana Aubonnet, Ludovic Henrio, Soumia Kessal, Oleksandra Kulankhina, Frédéric Lemoine,
Eric Madelaine, Cristian Ruz, Noëmie Simoni:
Management of service composition based on self-controlled components.
J. Internet Services and Applications 6(1): 15:1-15:17 (2015)
https://hal.inria.fr/hal-01180627v1
Research [2001-today]:
Committees
Collaborations and Projects
Software tools and prototypes
The following tools from the Meije Team [1983-1996] are no longer maintained, nor available online. Contact us if you want some information:
Other interests: