Ludovic Henrio

Ludovic Henrio, Fabrice Huet, Zsolt István: Multi-threaded Active Objects. COORDINATION 2013: 90-104

Francesco Bongiovanni, Ludovic Henrio: A Mechanized Model for CAN Protocols. FASE 2013: 266-281

Ludovic Henrio, Florian Kammüller, Bianca Lutz: ASP_fun : A typed functional active object calculus. Sci. Comput. Program. 77(7-8): 823-847 (2012)

Rabéa Ameur-Boulifa, Raluca Halalai, Ludovic Henrio, Eric Madelaine: Verifying Safety of Fault-Tolerant Distributed Components. FACS 2011: 278-295

Ludovic Henrio, Fabrice Huet, Zsolt István, Gheorghe Sebestyen: Adapting Active Objects to Multicore Architectures. ISPDC 2011: 41-48

Ludovic Henrio, Florian Kammüller, Bianca Lutz, Henry Sudhof: Locally Nameless Sigma Calculus. Archive of Formal Proofs 2010 (2010)

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)

Antonio Cansado, Ludovic Henrio, Eric Madelaine: Transparent First-class Futures and Distributed Components. Electr. Notes Theor. Comput. Sci. 260: 155-171 (2010)

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)

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)

Mario Leyton, Ludovic Henrio, José M. Piquer: Exceptions for Algorithmic Skeletons. Euro-Par (2) 2010: 14-25

Ludovic Henrio, Muhammad Uzair Khan, Nadia Ranaldo, Eugenio Zimeo: First Class Futures: Specification and Implementation of Update Strategies. Euro-Par Workshops 2010: 295-303

Rabéa Ameur-Boulifa, Ludovic Henrio, Eric Madelaine: Behavioural Models for Group Communications. WCSI 2010: 42-56

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)

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)

Ludovic Henrio, Florian Kammüller: Functional Active Objects: Typing and Formalisation. Electr. Notes Theor. Comput. Sci. 255: 83-101 (2009)

Denis Caromel, Ludovic Henrio, Bernard P. Serpette: Asynchronous sequential processes. Inf. Comput. 207(4): 459-495 (2009)

Ludovic Henrio, Florian Kammüller, Muhammad Uzair Khan: A Framework for Reasoning on Component Composition. FMCO 2009: 1-20

Françoise Baude, Ludovic Henrio, Paul Naoumenko: Structural Reconfiguration: An Autonomic Strategy for GCM Components. ICAS 2009: 123-128

Ludovic Henrio, Florian Kammüller, Marcela Rivera: An Asynchronous Distributed Component Model and Its Semantics. FMCO 2008: 159-179

Denis Caromel, Ludovic Henrio, Mario Leyton: Type Safe Algorithmic Skeletons. PDP 2008: 45-53

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)

Françoise Baude, Ludovic Henrio, Paul Naoumenko: A component platform for experimenting with autonomic composition. Autonomics 2007: 8

Françoise Baude, Denis Caromel, Ludovic Henrio, Matthieu Morel: Collective Interfaces for Distributed Components. CCGRID 2007: 599-610

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

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

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

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

Denis Caromel, Ludovic Henrio, Eric Madelaine: Active Objects and Distributed Components: Theory and Implementation. FMCO 2007: 133-152

Ludovic Henrio, Florian Kammüller: A Mechanized Model of the Theory of Objects. FMOODS 2007: 190-205

Denis Caromel, Guillaume Chazarain, Ludovic Henrio: Garbage Collecting the Grid: A Complete DGC for Activities. Middleware 2007: 164-183

Françoise Baude, Denis Caromel, Christian Delbé, Ludovic Henrio: Promised messages: recovering from inconsistent global states. PPOPP 2007: 154-155

Tomás Barros, Ludovic Henrio, Eric Madelaine: Verification of Distributed Hierarchical Components. Electr. Notes Theor. Comput. Sci. 160: 41-55 (2006)

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

Denis Caromel, Ludovic Henrio: Asynchonous Distributed Components: Concurrency and Determinacy. IFIP TCS 2006: 165-183

Denis Caromel, Ludovic Henrio: A theory of distributed objects - asynchrony, mobility, groups, components. Springer 2005, isbn 978-3-540-20866-2, pp. I-XXXII, 1-346

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)

Françoise Baude, Denis Caromel, Christian Delbé, Ludovic Henrio: A Hybrid Message Logging-CIC Protocol for Constrained Checkpointability. Euro-Par 2005: 644-653

Tomás Barros, Ludovic Henrio, Eric Madelaine: Behavioural Models for Hierarchical Components. SPIN 2005: 154-168

Denis Caromel, Ludovic Henrio, Bernard P. Serpette: Asynchronous and deterministic objects. POPL 2004: 123-134

Ludovic Henrio, Bernard P. Serpette: A Parametrized Polyvariant Bytecode Verifier. JFLA 2003: 95-110

Isabelle Attali, Denis Caromel, Carine Courbis, Ludovic Henrio, Henrik Nilsson: An integrated development environment for Java Card. Computer Networks 36(4): 391-405 (2001)

Denis Caromel, Ludovic Henrio, Bernard P. Serpette: Context Inference for Static Analysis of Java Card Object Sharing. E-smart 2001: 43-57

Isabelle Attali, Denis Caromel, Carine Courbis, Ludovic Henrio, Henrik Nilsson: Smart Tools for Java Cards. CARDIS 2000: 155-176