Follow
ludovic henrio
ludovic henrio
CNRS
Verified email at ens-lyon.fr - Homepage
Title
Cited by
Cited by
Year
A theory of distributed objects: asynchrony, mobility, groups, components
D Caromel, L Henrio
Springer-Verlag New York Inc, 2005
2022005
A survey of active object languages
FD Boer, V Serbanescu, R Hähnle, L Henrio, J Rochas, CC Din, ...
ACM Computing Surveys (CSUR) 50 (5), 1-39, 2017
1502017
Gcm: A grid extension to fractal for autonomous distributed components
F Baude, D Caromel, C Dalmasso, M Danelutto, V Getov, L Henrio, ...
Annals of Telecommunications 64 (1), 5-24, 2009
1422009
Asynchronous and deterministic objects
D Caromel, L Henrio, BP Serpette
ACM SIGPLAN Notices 39 (1), 123-134, 2004
1412004
Behavioural models for distributed Fractal components
T Barros, R Ameur-Boulifa, A Cansado, L Henrio, E Madelaine
Annals of Telecommunications 64 (1), 25-43, 2009
762009
Behavioural models for hierarchical components
T Barros, L Henrio, E Madelaine
Model Checking Software, 902-902, 2005
592005
Asynchronous sequential processes
D Caromel, L Henrio, BP Serpette
Information and Computation 207 (4), 459-495, 2009
552009
A hybrid message logging-cic protocol for constrained checkpointability
F Baude, D Caromel, C Delbé, L Henrio
Euro-Par 2005 Parallel Processing, 623-623, 2005
452005
Verification of distributed hierarchical components
T Barros, L Henrio, E Madelaine
Electronic Notes in Theoretical Computer Science 160, 41-55, 2006
412006
Type safe algorithmic skeletons
D Caromel, L Henrio, M Leyton
Parallel, Distributed and Network-Based Processing, 2008. PDP 2008. 16th …, 2008
342008
Behavioural semantics for asynchronous components
R Ameur-Boulifa, L Henrio, O Kulankhina, E Madelaine, A Savu
Journal of Logical and Algebraic Methods in Programming 89, 1-40, 2017
33*2017
Collective interfaces for distributed components
F Baude, D Caromel, L Henrio, M Morel
Cluster Computing and the Grid, 2007. CCGRID 2007. Seventh IEEE …, 2007
332007
Multi-threaded active objects
L Henrio, F Huet, Z István
Coordination Models and Languages: 15th International Conference …, 2013
312013
Programming distributed and adaptable autonomous components—the GCM/ProActive framework
F Baude, L Henrio, C Ruz
Software: Practice and Experience 45 (9), 1189-1227, 2015
252015
Management of service compositionbased on self-controlled components
T Aubonnet, L Henrio, S Kessal, O Kulankhina, F Lemoine, E Madelaine, ...
Journal of Internet Services and Applications 6, 1-17, 2015
252015
A Fault Tolerant and Multi-Paradigm Grid Architecture for Time Constrained Problems. Application to Option Pricing in Finance.
S Bezzine, V Galtier, S Vialle, F Baude, M Bossy, VD Doan, L Henrio
e-Science and Grid Computing, 2006. e-Science'06. Second IEEE International …, 2006
252006
A theory for the composition of concurrent processes
L Henrio, E Madelaine, M Zhang
Formal Techniques for Distributed Objects, Components, and Systems: 36th …, 2016
222016
Verifying safety of fault-tolerant distributed components
R Ameur-Boulifa, R Halalai, L Henrio, E Madelaine
International Workshop on Formal Aspects of Component Software, 278-295, 2011
22*2011
Choice trees: Representing nondeterministic, recursive, and impure programs in coq
N Chappe, P He, L Henrio, Y Zakowski, S Zdancewic
Proceedings of the ACM on Programming Languages 7 (POPL), 1770-1800, 2023
212023
pNets: an Expressive Model for Parameterised Networks of Processes
L Henrio, E Madelaine, M Zhang
Formal Approaches to Parallel and Distributed Systems (4PAD)-Special Session …, 2015
212015
The system can't perform the operation now. Try again later.
Articles 1–20