Segui
ludovic henrio
ludovic henrio
CNRS
Email verificata su ens-lyon.fr - Home page
Titolo
Citata da
Citata da
Anno
A theory of distributed objects: asynchrony, mobility, groups, components
D Caromel, L Henrio
Springer-Verlag New York Inc, 2005
2002005
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
1462009
Asynchronous and deterministic objects
D Caromel, L Henrio, BP Serpette
ACM SIGPLAN Notices 39 (1), 123-134, 2004
1402004
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
1042017
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
582005
Asynchronous sequential processes
D Caromel, L Henrio, BP Serpette
Information and Computation 207 (4), 459-495, 2009
532009
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
442005
Verification of distributed hierarchical components
T Barros, L Henrio, E Madelaine
Electronic Notes in Theoretical Computer Science 160, 41-55, 2006
422006
Multi-threaded active objects
L Henrio, F Huet, Z István
Coordination Models and Languages: 15th International Conference …, 2013
332013
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
Type safe algorithmic skeletons
D Caromel, L Henrio, M Leyton
Parallel, Distributed and Network-Based Processing, 2008. PDP 2008. 16th …, 2008
322008
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
31*2017
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
292015
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), 1-17, 2015
272015
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
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
242015
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
RA Boulifa, R Halalai, L Henrio, E Madelaine
International Symposium on Formal Aspects of Component Software (FACS 2011), 2011
22*2011
Integrated environment for verifying and running distributed components
L Henrio, O Kulankhina, S Li, E Madelaine
Fundamental Approaches to Software Engineering: 19th International …, 2016
20*2016
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20