Ludovic Henrio

	2012
41		Ludovic Henrio, Florian Kammüller, Bianca Lutz: ASPfun : A typed functional active object calculus. Sci. Comput. Program. 77(7-8): 823-847 (2012)
	2011
40		Ludovic Henrio, Fabrice Huet, Zsolt Istv'n, Gheorghe Sebestyen: Adapting Active Objects to Multicore Architectures. ISPDC 2011: 41-48
	2010
39		Mario Leyton, Ludovic Henrio, José M. Piquer: Exceptions for Algorithmic Skeletons. Euro-Par (2) 2010: 14-25
38		Ludovic Henrio, Muhammad Uzair Khan, Nadia Ranaldo, Eugenio Zimeo: First Class Futures: Specification and Implementation of Update Strategies. Euro-Par Workshops 2010: 295-303
37		Rabéa Ameur-Boulifa, Ludovic Henrio, Eric Madelaine: Behavioural Models for Group Communications WCSI 2010: 42-56
36		Ludovic Henrio, Florian Kammüller, Bianca Lutz, Henry Sudhof: Locally Nameless Sigma Calculus. Archive of Formal Proofs 2010: (2010)
35		Antonio Cansado, Ludovic Henrio, Eric Madelaine: Transparent First-class Futures and Distributed Components. Electr. Notes Theor. Comput. Sci. 260: 155-171 (2010)
34		Antonio Cansado, Ludovic Henrio, Eric Madelaine, Pablo Valenzuela: Unifying Architectural and Behavioural Specifications of Distributed Components. Electr. Notes Theor. Comput. Sci. 260: 25-45 (2010)
33		Ludovic Henrio, Muhammad Uzair Khan: Asynchronous Components with Futures: Semantics and Proofs in Isabelle/HOL. Electr. Notes Theor. Comput. Sci. 264(1): 35-53 (2010)
32		Françoise Baude, Virginie Legrand Contes, Ludovic Henrio, Paul Naoumenko, Heiko Pfeffer, Louay Bassbouss, David Linner: Mixing Workflows and Components to Support Evolving Services. IJARAS 1(4): 60-84 (2010)
	2009
31		Ludovic Henrio, Florian Kammüller, Muhammad Uzair Khan: A Framework for Reasoning on Component Composition. FMCO 2009: 1-20
30		Françoise Baude, Ludovic Henrio, Paul Naoumenko: Structural Reconfiguration: An Autonomic Strategy for GCM Components. ICAS 2009: 123-128
29		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)
28		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)
27		Ludovic Henrio, Florian Kammüller: Functional Active Objects: Typing and Formalisation. Electr. Notes Theor. Comput. Sci. 255: 83-101 (2009)
26		Denis Caromel, Ludovic Henrio, Bernard P. Serpette: Asynchronous sequential processes. Inf. Comput. 207(4): 459-495 (2009)
	2008
25		Ludovic Henrio, Florian Kammüller, Marcela Rivera: An Asynchronous Distributed Component Model and Its Semantics. FMCO 2008: 159-179
24		Denis Caromel, Ludovic Henrio, Mario Leyton: Type Safe Algorithmic Skeletons. PDP 2008: 45-53
	2007
23		Françoise Baude, Ludovic Henrio, Paul Naoumenko: A component platform for experimenting with autonomic composition. Autonomics 2007: 8
22		Françoise Baude, Denis Caromel, Ludovic Henrio, Matthieu Morel: Collective Interfaces for Distributed Components. CCGRID 2007: 599-610
21		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
20		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
19		Maciej Malawski, Tomasz Gubala, Marek Kasztelnik, Tomasz Bartynski, Marian Bubak, Françoise Baude, Ludovic Henrio: High-Level Scripting Approach for Building Component-Based Applications on the Grid. CoreGRID Workshop - Making Grids Work 2007: 309-321
18		Françoise Baude, Denis Caromel, Ludovic Henrio, Paul Naoumenko: A Flexible Model and Implementation of Component Controllers. CoreGRID Workshop - Making Grids Work 2007: 31-43
17		Denis Caromel, Ludovic Henrio, Eric Madelaine: Active Objects and Distributed Components: Theory and Implementation. FMCO 2007: 133-152
16		Ludovic Henrio, Florian Kammüller: A Mechanized Model of the Theory of Objects. FMOODS 2007: 190-205
15		Denis Caromel, Guillaume Chazarain, Ludovic Henrio: Garbage Collecting the Grid: A Complete DGC for Activities. Middleware 2007: 164-183
14		Françoise Baude, Denis Caromel, Christian Delbé, Ludovic Henrio: Promised messages: recovering from inconsistent global states. PPOPP 2007: 154-155
13		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
12		Denis Caromel, Ludovic Henrio: Asynchonous Distributed Components: Concurrency and Determinacy. IFIP TCS 2006: 165-183
11		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
10		Tomás Barros, Ludovic Henrio, Eric Madelaine: Verification of Distributed Hierarchical Components. Electr. Notes Theor. Comput. Sci. 160: 41-55 (2006)
	2005
9		Denis Caromel, Ludovic Henrio: A theory of distributed objects - asynchrony, mobility, groups, components. Springer 2005: I-XXXII, 1-346
8		Françoise Baude, Denis Caromel, Christian Delbé, Ludovic Henrio: A Hybrid Message Logging-CIC Protocol for Constrained Checkpointability. Euro-Par 2005: 644-653
7		Tomás Barros, Ludovic Henrio, Eric Madelaine: Behavioural Models for Hierarchical Components. SPIN 2005: 154-168
6		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		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		Denis Caromel, Ludovic Henrio, Bernard P. Serpette: Context Inference for Static Analysis of Java Card Object Sharing. E-smart 2001: 43-57
2		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	[13]
2	Rabéa Ameur-Boulifa (Rabéa Boulifa)	[29] [37]
3	Isabelle Attali	[1] [2] [13]
4	Tomás Barros	[7] [10] [29]
5	Tomasz Bartynski	[19]
6	Louay Bassbouss	[32]
7	Françoise Baude	[6] [8] [11] [14] [18] [19] [20] [22] [23] [28] [30] [32]
8	Sebastien Bezzine	[11]
9	Mireille Bossy	[11]
10	Marian Bubak	[19] [20]
11	Antonio Cansado	[21] [29] [34] [35]
12	Denis Caromel	[1] [2] [3] [5] [6] [8] [9] [12] [13] [14] [15] [17] [18] [20] [21] [22] [24] [26] [28]
13	Guillaume Chazarain	[15]
14	Virginie Legrand Contes	[32]
15	Carine Courbis	[1] [2]
16	Cédric Dalmasso	[28]
17	Marco Danelutto	[28]
18	Christian Delbé	[6] [8] [14]
19	Viet Dung Doan	[11]
20	Virginie Galtier	[11]
21	Vladimir Getov	[28]
22	Tomasz Gubala	[19]
23	Fabrice Huet	[40]
24	Zsolt Istv'n	[40]
25	Florian Kammüller	[16] [25] [27] [31] [36] [41]
26	Marek Kasztelnik	[19]
27	Muhammad Uzair Khan	[31] [33] [38]
28	Mario Leyton	[24] [39]
29	David Linner	[32]
30	Bianca Lutz	[36] [41]
31	Eric Madelaine	[7] [10] [17] [21] [29] [34] [35] [37]
32	Maciej Malawski	[19] [20]
33	Matthieu Morel	[20] [22]
34	Paul Naoumenko	[18] [23] [30] [32]
35	Henrik Nilsson	[1] [2]
36	Christian Pérez	[28]
37	Heiko Pfeffer	[32]
38	José M. Piquer	[39]
39	Nadia Ranaldo	[38]
40	Marcela Rivera	[21] [25]
41	Emil Salageanu	[21]
42	Gheorghe Sebestyen (Gheorghe Sebestyen-Pal)	[40]
43	Bernard P. Serpette	[3] [4] [5] [26]
44	Henry Sudhof	[36]
45	Pablo Valenzuela	[34]
46	Stéphane Vialle	[11]
47	Eugenio Zimeo	[38]

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page