Ludovic Henrio

2009
24	EE	Tomás Barros, Rabéa Ameur-Boulifa, Antonio Cansado, Ludovic Henrio, Eric Madelaine: Behavioural models for distributed Fractal components. Annales des Télécommunications 64(1-2): 25-43 (2009)
23	EE	Françoise Baude, Denis Caromel, Cédric Dalmasso, Marco Danelutto, Vladimir Getov, Ludovic Henrio, Christian Pérez: GCM: a grid extension to Fractal for autonomous distributed components. Annales des Télécommunications 64(1-2): 5-24 (2009)
22	EE	Denis Caromel, Ludovic Henrio, Bernard P. Serpette: Asynchronous sequential processes. Inf. Comput. 207(4): 459-495 (2009)
2008
21	EE	Denis Caromel, Ludovic Henrio, Mario Leyton: Type Safe Algorithmic Skeletons. PDP 2008: 45-53
2007
20	EE	Françoise Baude, Ludovic Henrio, Paul Naoumenko: A component platform for experimenting with autonomic composition. Autonomics 2007: 8
19	EE	Françoise Baude, Denis Caromel, Ludovic Henrio, Matthieu Morel: Collective Interfaces for Distributed Components. CCGRID 2007: 599-610
18	EE	Antonio Cansado, Denis Caromel, Ludovic Henrio, Eric Madelaine, Marcela Rivera, Emil Salageanu: A Specification Language for Distributed Components Implemented in GCM/ProActive. CoCoME 2007: 418-448
17	EE	Maciej Malawski, Marian Bubak, Françoise Baude, Denis Caromel, Ludovic Henrio, Matthieu Morel: Interoperability of Grid component models: GCM and CCA case study. CoreGRID 2007: 95-105
16	EE	Denis Caromel, Ludovic Henrio, Eric Madelaine: Active Objects and Distributed Components: Theory and Implementation. FMCO 2007: 133-152
15	EE	Ludovic Henrio, Florian Kammüller: A Mechanized Model of the Theory of Objects. FMOODS 2007: 190-205
14	EE	Denis Caromel, Guillaume Chazarain, Ludovic Henrio: Garbage Collecting the Grid: A Complete DGC for Activities. Middleware 2007: 164-183
13	EE	Françoise Baude, Denis Caromel, Christian Delbé, Ludovic Henrio: Promised messages: recovering from inconsistent global states. PPOPP 2007: 154-155
12	EE	Isabelle Attali, Denis Caromel, Ludovic Henrio, Felipe Luna Del Aguila: Secured Information Flow for Asynchronous Sequential Processes. Electr. Notes Theor. Comput. Sci. 180(1): 17-34 (2007)
2006
11	EE	Denis Caromel, Ludovic Henrio: Asynchonous Distributed Components: Concurrency and Determinacy. IFIP TCS 2006: 165-183
10	EE	Sebastien Bezzine, Virginie Galtier, Stéphane Vialle, Françoise Baude, Mireille Bossy, Viet Dung Doan, Ludovic Henrio: A Fault Tolerant and Multi-Paradigm Grid Architecture for Time Constrained Problems. Application to Option Pricing in Finance. e-Science 2006: 49
9	EE	Tomás Barros, Ludovic Henrio, Eric Madelaine: Verification of Distributed Hierarchical Components. Electr. Notes Theor. Comput. Sci. 160: 41-55 (2006)
2005
8	EE	Françoise Baude, Denis Caromel, Christian Delbé, Ludovic Henrio: A Hybrid Message Logging-CIC Protocol for Constrained Checkpointability. Euro-Par 2005: 644-653
7	EE	Tomás Barros, Ludovic Henrio, Eric Madelaine: Behavioural Models for Hierarchical Components. SPIN 2005: 154-168
6	EE	Françoise Baude, Denis Caromel, Christian Delbé, Ludovic Henrio: Un protocole de tolérance aux pannes pour objets actifs non préemptifs. Technique et Science Informatiques 24(10): 1199-1226 (2005)
2004
5	EE	Denis Caromel, Ludovic Henrio, Bernard P. Serpette: Asynchronous and deterministic objects. POPL 2004: 123-134
2003
4		Ludovic Henrio, Bernard P. Serpette: A Parametrized Polyvariant Bytecode Verifier. JFLA 2003: 95-110
2001
3	EE	Denis Caromel, Ludovic Henrio, Bernard P. Serpette: Context Inference for Static Analysis of Java Card Object Sharing. E-smart 2001: 43-57
2	EE	Isabelle Attali, Denis Caromel, Carine Courbis, Ludovic Henrio, Henrik Nilsson: An integrated development environment for Java Card. Computer Networks 36(4): 391-405 (2001)
2000
1		Isabelle Attali, Denis Caromel, Carine Courbis, Ludovic Henrio, Henrik Nilsson: Smart Tools for Java Cards. CARDIS 2000: 155-176

Coauthor Index

1	Felipe Luna Del Aguila	[12]
2	Rabéa Ameur-Boulifa (Rabéa Boulifa)	[24]
3	Isabelle Attali	[1] [2] [12]
4	Tomás Barros	[7] [9] [24]
5	Françoise Baude	[6] [8] [10] [13] [17] [19] [20] [23]
6	Sebastien Bezzine	[10]
7	Mireille Bossy	[10]
8	Marian Bubak	[17]
9	Antonio Cansado	[18] [24]
10	Denis Caromel	[1] [2] [3] [5] [6] [8] [11] [12] [13] [14] [16] [17] [18] [19] [21] [22] [23]
11	Guillaume Chazarain	[14]
12	Carine Courbis	[1] [2]
13	Cédric Dalmasso	[23]
14	Marco Danelutto	[23]
15	Christian Delbé	[6] [8] [13]
16	Viet Dung Doan	[10]
17	Virginie Galtier	[10]
18	Vladimir Getov	[23]
19	Florian Kammüller	[15]
20	Mario Leyton	[21]
21	Eric Madelaine	[7] [9] [16] [18] [24]
22	Maciej Malawski	[17]
23	Matthieu Morel	[17] [19]
24	Paul Naoumenko	[20]
25	Henrik Nilsson	[1] [2]
26	Christian Pérez	[23]
27	Marcela Rivera	[18]
28	Emil Salageanu	[18]
29	Bernard P. Serpette	[3] [4] [5] [22]
30	Stéphane Vialle	[10]

Colors in the list of coauthors