Ludovic Henrio

2008
17	EE	Denis Caromel, Ludovic Henrio, Mario Leyton: Type Safe Algorithmic Skeletons. PDP 2008: 45-53
2007
16	EE	Françoise Baude, Ludovic Henrio, Paul Naoumenko: A component platform for experimenting with autonomic composition. Autonomics 2007: 8
15	EE	Françoise Baude, Denis Caromel, Ludovic Henrio, Matthieu Morel: Collective Interfaces for Distributed Components. CCGRID 2007: 599-610
14	EE	Ludovic Henrio, Florian Kammüller: A Mechanized Model of the Theory of Objects. FMOODS 2007: 190-205
13	EE	Denis Caromel, Guillaume Chazarain, Ludovic Henrio: Garbage Collecting the Grid: A Complete DGC for Activities. Middleware 2007: 164-183
12	EE	Françoise Baude, Denis Caromel, Christian Delbé, Ludovic Henrio: Promised messages: recovering from inconsistent global states. PPOPP 2007: 154-155
11	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
10	EE	Denis Caromel, Ludovic Henrio: Asynchonous Distributed Components: Concurrency and Determinacy. IFIP TCS 2006: 165-183
9	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
8	EE	Tomás Barros, Ludovic Henrio, Eric Madelaine: Verification of Distributed Hierarchical Components. Electr. Notes Theor. Comput. Sci. 160: 41-55 (2006)
2005
7	EE	Françoise Baude, Denis Caromel, Christian Delbé, Ludovic Henrio: A Hybrid Message Logging-CIC Protocol for Constrained Checkpointability. Euro-Par 2005: 644-653
6	EE	Tomás Barros, Ludovic Henrio, Eric Madelaine: Behavioural Models for Hierarchical Components. SPIN 2005: 154-168
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	[11]
2	Isabelle Attali	[1] [2] [11]
3	Tomás Barros	[6] [8]
4	Françoise Baude	[7] [9] [12] [15] [16]
5	Sebastien Bezzine	[9]
6	Mireille Bossy	[9]
7	Denis Caromel	[1] [2] [3] [5] [7] [10] [11] [12] [13] [15] [17]
8	Guillaume Chazarain	[13]
9	Carine Courbis	[1] [2]
10	Christian Delbé	[7] [12]
11	Viet Dung Doan	[9]
12	Virginie Galtier	[9]
13	Florian Kammüller	[14]
14	Mario Leyton	[17]
15	Eric Madelaine	[6] [8]
16	Matthieu Morel	[15]
17	Paul Naoumenko	[16]
18	Henrik Nilsson	[1] [2]
19	Bernard P. Serpette	[3] [4] [5]
20	Stéphane Vialle	[9]

Colors in the list of coauthors