Ludovic Henrio

• A list of selected publications
• A complete list of publications

Selected Publications (by subject)

Distributed Objects and Components

Distributed Objects: Theory and Languages

• A Theory of  Distributed Objects: WEB page Springer page
  Denis Caromel, Ludovic Henrio -
  Book - Springer-Verlag  -  BibTex
  
  
• Asynchronous sequential processes:
  Denis Caromel, Ludovic Henrio, Bernard Serpette -
  Information and Computation - Elsevier - 2009 - BibTex
   
• Asynchronous and Deterministic Objects: 
  Denis Caromel, Ludovic Henrio, Bernard Serpette -
  POPL'04 (ACM Press) - paper (PS.gz)  (PDF)  -  BibTex


• A Typed Functional Active Object Calculus
  Ludovic Henrio, florian Kammüller, and Bianca Lutz -  Science of Computer Programming Elsevier.
  
  
• Multi-threaded Active Objects. paper (HAL)
  Ludovic Henrio, Fabrice Huet, and Zsolt István - In COORDINATION 2013, Springer. 2013. BibTex
  
  

       Distributed Components

• A Framework for Reasoning on Component Composition
  Ludovic Henrio, Florian Kammüller, and Muhammad Uzair Khan - FMCO 2009, Springer. BibTex
  
  
• GCM: A Grid Extension to Fractal  for Autonomous Distributed Components
  Françoise Baude, Denis Caromel, Cédric Dalmasso, Marco Danelutto, Vladimir Getov, Ludovic Henrio and Christian Pérez
  Annals of Telecommunications - Special Issue on Software Components - The Fractal Initiative, Springer, 2008
  http - Bibtex 

Behavioural Specification

• Transparent First-class Futures and Distributed Components
  Antonio Cansado, Ludovic Henrio, and Eric Madelaine
  5th workshop on Formal Aspects of Component Systems (FACS 2008) ENTCS - Elsevier- http - Bibtex
  
  
• Behavioural Models for Distributed Fractal Components
  Antonio Cansado, Ludovic Henrio, and Eric Madelaine
  Annals of Telecommunications - Special Issue on Software Components - The Fractal Initiative, Springer, 2008
  http - Bibtex
  
  

• Verifying Safety of Fault-Tolerant Distributed Components -  extended version of the paper (pdf)  - BibTex
  Rabéa Ameur-Boulifa, Raluca Halalai, Ludovic Henrio, and Eric Madelaine - FACS 2011 - LNCS - Springer
  
  

Algorithmic Skeletons

• Exceptions for Algorithmic Skeletons
  Mario Leyton, Ludovic Henrio, José M. Piquer
  16th Int. European Conference on Parallel and Distributed Computing (Euro-Par 2010), paper. BibTex
   
  
• Type safe algorithmic skeletons.
  Denis Caromel, Ludovic Henrio, and Mario Leyton. In Proceedings of the 16th Euromicro International Conference on Parallel, Distributed and network-based Processing, Toulouse, France, February 2008. BibTex

Distributed Systems

• A mechanized model for CAN protocols paper(HAL)
  Francesco Bongiovanni and Ludovic Henrio
  16th Int. Conference on Fundamental Approaches to Software Engineering (FASE’13), LNCS. Springer, 2013.  BibTex
   
  

Fault Tolerance:

• A Hybrid Message Logging-CIC Protocol for Constrained Checkpointability
  Francoise Baude, Denis Caromel, Christian Delbe, Ludovic Henrio
  proceedings of Euro-Par 2005,  Springer-Verlag - BibTex   -  paper [PS]  -  [PDF]
  
  
• Promised Messages: Recovering from Inconsistent Global States (poster)
  F. Baude, D. Caromel, C. Delbé and L. Henrio - PPoPP'07- ACM - BibTex
  

Static Analysis

• A Parametrized Polyvariant Bytecode Verifier paper (PS)
  Ludovic Henrio, Bernard Serpette - JFLA'03 BibTex
  

Complete list of publications (by year)

2013

• A mechanized model for CAN protocols paper(HAL)
  Francesco Bongiovanni and Ludovic Henrio
  16th Int. Conference on Fundamental Approaches to Software Engineering (FASE’13), LNCS. Springer, 2013. BibTex
  
  
• Broadcast Algorithms for CAN: Design and Mechanisation
  Francesco Bongiovanni and Ludovic Henrio
  Actes des Cinquièmes journées nationales duGroupement De Recherche CNRS du Génie de la Programmation et du Logiciel
  

• Multi-threaded Active Objects. paper (HAL)
  Ludovic Henrio, Fabrice Huet, and Zsolt István - In COORDINATION 2013, Springer. 2013. BibTex
  
  
• Behavioural Verification of Distributed Components. paper (HAL)
  Ludovic Henrio and Eric Madelaine - In ICE'2013. BibTex
  
  
• Bringing Coq Into the World of GCM Distributed Applications.
  Nuno Gaspar, Ludovic Henrio, Eric Madelaine - In HLPP'2013. BibTex.
  
  
• An Optimal Broadcast Algorithm for Content-Addressable Networks. paper (extended version)
  Ludovic Henrio, Fabrice Huet, and Justine Rochas - In OPODIS'2013. BibTex.
  
  

2012

• A Language for Multi-threaded Active Objects - BibTex - paper (RR)
  Ludovic Henrio, Fabrice Huet, Zsolt Istvàn - Research Report, INRIA Sophia Antipolis - July 2012
  
  
• Behavioural Semantics for Asynchronous Components - BibTex - paper (RR)
  Rabéa Ameur-Boulifa, Ludovic Henrio, Eric Madelaine, Alexandra Savu  - Research Report, INRIA Sophia Antipolis - Dec 2012
  
  
• Formal Models for Programming and Composing Correct Distributed Systems - Habilitation thesis (HDR) Thesis
  July 2012 - BibTex

2011

• Verifying Safety of Fault-Tolerant Distributed Components -  extended version of the paper (pdf)  - BibTex
  Rabéa Ameur-Boulifa, Raluca Halalai, Ludovic Henrio, and Eric Madelaine - FACS 2011 - LNCS - Springer
   
• A Typed Functional Active Object Calculus paper (Elsevier) BibTex
  Ludovic Henrio, florian Kammüller, and Bianca Lutz -  Science of Computer Programming Elsevier.
  
  
• Mechanical Support for Efficient Dissemination on the CAN Overlay Network - paper (RR) BibTex
  Francesco Bongiovanni, and Ludovic Henrio - accepted at CFSE 2011 - published as a research report
  
  
• Adapting Active Objects to Multicore Architectures - paper(HAL) - BibTex
  Ludovic Henrio, Fabrice Huet, Zsolt István, and Gheorghen Sebestyén
  International Symposium on Parallel and Distributed Computing (ISPDC 2011) - IEEE
  

2010

• First Class Futures: Specification and Implementation of Update Strategies paper (hal)  - BibTex
  Ludovic Henrio, Muhammad Uzair Khan, Nadia Ranaldo, and Eugenio Zimeo -  CoreGRID@Europar 2010.
  
  
• Asynchronous Components  with Futures:  Semantics and Proofs in Isabelle/HOL
  Ludovic Henrio and Muhammad Uzair Khan - FESCA 2010 - ENTCS - BibTex - paper (hal)
  
  
• Behavioural Models for Group Communications
  Rabéa Ameur Boulifa, Ludovic Henrio, and Eric Madelaine,
  WCSI-10: International Workshop on Component and Service Interoperability, 2010. paper (hal). - BibTex
  
  
• A Framework for Reasoning on Component Composition
  Ludovic Henrio, Florian Kammüller, and Muhammad Uzair Khan - FMCO 2009, Springer. paper (hal). -BibTex
  
  
• Exceptions for Algorithmic Skeletons
  Mario Leyton, Ludovic Henrio, José M. Piquer
  16th Int. European Conference on Parallel and Distributed Computing (Euro-Par 2010), paper. BibTex
  
  
• Mixing Workflows and Components to Support Evolving Services   
  F. Baude, V. Legrand, L. Henrio, P. Naoumenko, H. Pfeffer, L. Bassbouss, and D. Linner
  International Journal of Adaptive, Resilient and Autonomic Systems (IJARAS), 2010, IGI publishing. BibTex

2009

• Structural reconfiguration : an autonomic strategy for GCM components.
  Françoise Baude and Ludovic Henrio and Paul Naoumenko - ICAS 2009 - BibTex
  
  
• An Asynchronous Distributed Component Model and Its Semantics.
  Ludovic Henrio, Florian Kammüller, Marcela Rivera. Proceedings of FMCO 2008, Springer. BibTex
  
  
• Functional Active Objects: Typing and Formalisation 
  Ludovic Henrio and Florian Kammüller. Proceedings of the 8th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA'09 - Elsevier. BibTex
• A Reconfiguration Framework for Distributed Components
  Marcela Rivera, Ludovic Henrio and Boutheina Bannour.
  SINTER Workshop Software Integration and Evolution @ Runtime, ACM, 2009 BibTex
  
  
• GCM: A Grid Extension to Fractal  for Autonomous Distributed Components
  Françoise Baude, Denis Caromel, Cédric Dalmasso, Marco Danelutto, Vladimir Getov, Ludovic Henrio and Christian Pérez
  Annals of Telecommunications - Special Issue on Software Components - The Fractal Initiative, Springer, 2009
  http - Bibtex  
     
  
• Behavioural Models for Distributed Fractal Components
  Antonio Cansado, Ludovic Henrio, and Eric Madelaine
  Annals of Telecommunications - Special Issue on Software Components - The Fractal Initiative, Springer, 2009
  http - Bibtex
  
  
• First Class Futures: a Study of Update Strategies
  Ludovic Henrio, Muhammad Uzair Khan,
  Research report, 2009, RR-7113 - BibTex

2008

• Asynchronous sequential processes. Denis Caromel, Ludovic Henrio, Bernard Serpette -
  Information and Computation - Elsevier - 2009 - BibTex
   
• Type safe algorithmic skeletons.
  Denis Caromel, Ludovic Henrio, and Mario Leyton. In Proceedings of the 16th Euromicro International Conference on Parallel, Distributed and network-based Processing, Toulouse, France, February 2008. BibTex
   
• An algorithm for safely stopping a component system
  L. Henrio and M. Rivera
  February 2008, INRIA, Research Report number 6444 - Bibtex
   
• A component platform for experimenting with autonomic composition
  L. Henrio, D. Caromel, F. Baude
  Proceedings of the Programming Model Institute Technical meeting 2008 - http - Bibtex
   
  
• Transparent First-class Futures and Distributed Components
  Antonio Cansado, Ludovic Henrio, and Eric Madelaine
  5th workshop on Formal Aspects of Component Systems (FACS 2008) ENTCS - Elsevier - http - Bibtex
   
  
• Unifying Architectural and Behavioural Specifications of Distributed Components
  Antonio Cansado, Ludovic Henrio, and Eric Madelaine
  5th workshop on Formal Aspects of Component Systems (FACS 2008) ENTCS - Elsevier- http - Bibtex
   
• Active Objects and Distributed Components: Theory and Implementation
  Denis Caromel and Ludovic Henrio and Eric Madelaine
  Proceedings of FMCO 2007, Springer-Verlag Berlin HeidelbergSpringer-Verlag Berlin HeidelbergSpringer-Verlag Berlin HeidelbergSpringer-Verlag Berlin Heidelberg, 2008. BibTex
  
  
• Stopping safely hierarchical distributed components: application to GCM
  Ludovic Henrio, Marcela Rivera
  CBHPC '08: Proceedings of the 2008 compFrame/HPC-GECO workshop on Component based high performance ACM - BibTex - PDF(ACM)

2007

• Garbage Collecting the Grid : a complete dgc for activities
  Denis Caromel, Guillaume Chazarain, and Ludovic Henrio. 
  ACM/IFIP/USENIX International Middleware Conference, Middleware 2007. BibTex
  
  
• A Component Platform for Experimenting with Autonomic Composition
  Françoise Baude, Ludovic Henrio, and Paul Naoumenko.
  First International Conference on Autonomic Computing and Communication Systems (Autonomics 2007). Invited Paper. ACM Digital Library - BibTex - PDF
  
• A Flexible Model and Implementation of Component Controllers
  Francoise Baude, Denis Caromel, Ludovic Henrio and Paul Naoumenko - CoreGRID Workshop on Grid Programming Model, Grid and P2P Systems Architecture, Grid Systems, Tools and Environments - BibTex
  
  
• A Mechanized  Model of the Theory of Objects
  Ludovic Henrio, Florian Kammuller - FMOODS 2007 Springer - PDF - BibTex
  
  
• Promised Messages: Recovering from Inconsistent Global States (poster)
  F. Baude, D. Caromel, C. Delbé and L. Henrio - PPoPP'07- ACM - BibTex 
  
  
• Collective Interfaces for Distributed Components
  Francoise Baude, Denis Caromel, Ludovic Henrio and Matthieu Morel - CCGrid 2007 - BibTex
  
  
• Aspfun: A functional and distributed object calculus semantics, type-system, and formalization. 
  Ludovic Henrio, Florian Kammüller, and Henry Sudhof. Research Report 6353, INRIA, 11/2007. - PDF - BibTex
  
• Interoperability of grid component models: GCM and CCA case study
  Maciej Malawski, Marian Bubak, Francoise Baude, Denis Caromel, Ludovic Henrio, and Matthieu Morel.
  Towards Next Generation Grids: Proceedings of the CoreGRID Symposium, August 2007. Springer. - HTML - BibTex
   
• A Specification Language for Distributed Components implemented in GCM/ProActive
  A. Cansado, D. Caromel, L. Henrio, E. Madelaine, M. Rivera, E. Salageanu
  Book chapter in "The Common Component Modeling Example: Comparing Software Component Models", Dagsthul seminar series, 2007. - BibTex
   
  
• High-level scripting approach for building component-based applications on the grid.
  Maciej Malawski, Tomasz Gubala, Marek Kasztelnik, Tomasz Bartynski, Marian Bubak, Francoise Baude, and Ludovic Henrio. 
  CoreGRID Workshop on Grid Programming Model Grid and P2P Systems Architecture Grid Systems, Tools and Environments, Heraklion, Crete, June 2007. Springer. - BibTex

2006

• A Formalization of the Theory of Objects in Isabelle/HOL.
  Ludovic Henrio, Florian Kammuller,
  Research report, 2006, RR-6079 - BibTex
  
  
• Asynchonous Distributed Components: Concurrency and Determinacy.
  Denis Caromel and Ludovic Henrio.
  In Proceedings of the IFIP International Conference on Theoretical Computer Science 2006 (IFIP TCS'06), Santiago, Chile, August 2006. Springer Science. 19th IFIP World Computer Congress - BibTex -  PDF
  
  
• Un protocole de tolérance aux pannes pour objets actifs non préemptifs
  Francoise Baude, Denis Caromel, Christian Delbé and Ludovic Henrio
  Technique et Science Informatiques - 2006  - BibTex
  
  
• Promised Consistency for Rollback Recovery
  Denis Caromel, Christian Delbé, Ludovic Henrio
  Research Report, INRIA Sophia Antipolis, No RR-5902 - BibTex
  
  
• Specification and Verification of Reconfiguration Protocols in Grid Component Systems
  Alessandro Basso, Alexander Bolotov, Artie Basukoski, Vladimir Getov, Ludovic Henrio, Mariusz Urbanski 
  CoreGRID Technical Report, TR-0042 - BibTex  -- short version accepted at IS 2006 (3rd IEEE Conference On Intelligent Systems) - BibTex
  
  
• Towards Real Case Component Model-Checking
  A. Cansado, L. Henrio and E. Madelaine
  5th Fractal Workshop, 2006 - BibTex 
  
  
• Proposal for a lightweight generic grid platform architecture.
  Jeyarajan Thiyagalingam, Nikos Parlavantzas, Stavros Isaiadis, Ludovic Henrio, Denis Caromel, and Vladimir Getov.
  In Proceedings of CompFrame 2006, Component and Framework Technology in High-Performance and Scientific Computing, Paris, France, June 2006. IEEE -  BibTex.
  
  
• Lightweight grid platform: Design methodology.
  Rosa M. Badia, Olav Beckmann, Sofia Panagiotidi, Denis Caromel, Ludovic Henrio, Marian Bubak, Maciek Malawski, Vladimir Getov, Stavros Isaiadis, Jeyarajan Thiyagalingam, and Vladimir Lazarov.
  Technical report, Institute on Grid Systems, Tools and Environments,  Jan 2006. CoreGRID Technical Report, TR-0020.
  
  
• A Fault Tolerant and Multi-Paradigm Grid Architecture for Time Constrained Problems. Application to Financial Option Pricing
  S. Bezinne, V. Galtier, S. Vialle, F. Baude, M. Bossy, V. Dung, and L. Henrio
  In Proceedings of  the 2nd IEEE International Conference on e-Science and Grid Computing, 2006 - BibTex
  
  
• Fractalising Fractal Controller for a Componentisation of the Non-Functional Aspects
  Francoise Baude, Denis Caromel, Ludovic Henrio, Matthieu Morel and Paul Naoumenko
  5th Fractal Workshop in conjunction with ECOOP'20 -- poster, July 2006.

2005

• A Hybrid Message Logging-CIC Protocol for Constrained Checkpointability
  Francoise Baude, Denis Caromel, Christian Delbe, Ludovic Henrio
  proceedings of Euro-Par 2005,  Springer-Verlag - BibTex   -  paper [PS]  -  [PDF]
  
  
• A Theory of Distributed Objects: WEB page Springer page
  Denis Caromel, Ludovic Henrio -
  Book - Springer-Verlag  -  BibTex
  
  
• Verification of Distributed Hierarchical Components
  Tomás Barros, Ludovic Henrio, Eric Madelaine- FACS 2005 ENTCS - Elsevier - BibTex paper (PDF)
  
  
• Behavioural Models for Hierarchical Components
  Tomás Barros, Ludovic Henrio, Eric Madelaine- SPIN 2005 Springer Verlag - BibTex -   Full Version   -   paper (PDF)
  Long verion published as Technical Report RR-5591, INRIA
  
  
• Secured Information Flow for Asynchronous Sequential Processes
  Isabelle Attali, Denis Caromel, Ludovic Henrio, and Felipe Luna Del Aguila -BibTex - SecCo 2005 (ENTCS - Elsevier)
  
  
  
• Grid Components Techniques: Composing, Gathering, and Scattering
  Laurent Baduel, Françoise Baude, Denis Caromel, Ludovic Henrio, Fabrice Huet, Stéphane Lanteri, Matthieu Morel
  Coupled Problems 2005, Computational Methods for Coupled Problems in Science and Engineering, an ECCOMAS Thematic Conference  -  BibTex

2004

• Asynchronous and Deterministic Objects:
  Denis Caromel, Ludovic Henrio, Bernard Serpette -
  POPL'04 (ACM Press) - paper (PS.gz)  (PDF)  -  BibTex
  
  
• A Fault Tolerance protocol for ASP calculus : Design and Proof:
  Françoise Baude, Denis Caromel, Christian Delbé, Ludovic Henrio
  Research Report, INRIA Sophia Antipolis, No RR-5246 - 06/2004  -  BibTex  - RR [PS] [PDF]


• Algorithme et complexité de la réduction statique minimale paper
   Ludovic Henrio, Bernard Paul Serpette, Szabolcs Szentes  
  Actes des Journées Francophones des Langages Applicatifs 2004 (JFLA'04 - Sainte-Marie-de-Ré - Janvier 2004) -  BibTex
  
  

2003

• Asynchronous Sequential Processes: Research report
  Denis Caromel, Ludovic Henrio, Bernard Serpette - 03/2003  -  BibTex

• My thesis : Asynchronous Object Calculus: Confluence and Determinacy

•  Implementation and Complexity of the Lowest Static Reduction Research report (ps.gz)
  Ludovic Henrio, Bernard Paul Serpette, Szabolcs Szentes
  Research Report, INRIA Sophia Antipolis, No 5034  -  Decembre 2003 -  BibTex
  
  

• A Parametrized Polyvariant Bytecode Verifier paper (PS) Ludovic Henrio, Bernard Serpette - JFLA'03 BibTex

before ...

• Context Inference for Static Analysis of Java Card Sharing : paper
  Denis Caromel, Ludovic Henrio, Bernard Serpette - e-Smart01 BibTex
  


• An Integrated Development Environment for Java Card: paper (PS)
  Isabelle Attali, Denis Caromel, Carine Courbis, Ludovic Henrio, and Henrik Nilsson
  Journal Computer Networks 2001  BibTex
  


• Smart Tools for Java Card: paper (PS)
  Isabelle Attali, Denis Caromel, Carine Courbis, Ludovic Henrio, and Henrik Nilsson
  Smart Card Research and Advanced Applications 2000  BibTex


• Stage de DEA : Analyses de partage pour applications JavaCard (09/2000)
  
• stage 1999: "Test Interactif d'Applications JavaCard"