Smart Tools for Java Cards. - Isabelle Attali; Denis Caromel; Carine Courbis; Ludovic Henrio; Henrik Nilsson (CARDIS, 2000)

Context Inference for Static Analysis of Java Card Object Sharing. - Denis Caromel; Ludovic Henrio; Bernard P. Serpette (E-smart, 2001)

An integrated development environment for Java Card. - Isabelle Attali; Denis Caromel; Carine Courbis; Ludovic Henrio; Henrik Nilsson (Comput. Networks, 2001)

A Parametrized Polyvariant Bytecode Verifier. - Ludovic Henrio; Bernard P. Serpette (JFLA, 2003)

Calcul d'objet asynchrone : confluence et déterminisme. (Asynchronous Object Calculus: Confluence and Determinacy). - Ludovic Henrio (2003)

Asynchronous and deterministic objects. - Denis Caromel; Ludovic Henrio; Bernard P. Serpette (POPL, 2004)

A theory of distributed objects - asynchrony, mobility, groups, components. - Denis Caromel; Ludovic Henrio (Springer, 2005)

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

Behavioural Models for Hierarchical Components. - Tomás Barros; Ludovic Henrio; Eric Madelaine (SPIN, 2005)

Secured Information Flow for Asynchronous Sequential Processes. - Isabelle Attali; Denis Caromel; Ludovic Henrio; Felipe Luna Del Aguila (SecCO@CONCUR, 2005)

Verification of Distributed Hierarchical Components. - Tomás Barros; Ludovic Henrio; Eric Madelaine (FACS, 2005)

Un protocole de tolérance aux pannes pour objets actifs non préemptifs. - Françoise Baude; Denis Caromel; Christian Delbé; Ludovic Henrio (Tech. Sci. Informatiques, 2005)

A Fault Tolerant and Multi-Paradigm Grid Architecture for Time Constrained Problems. Application to Option Pricing in Finance. - Sebastien Bezzine; Virginie Galtier; Stéphane Vialle; Françoise Baude; Mireille Bossy; Viet Dung Doan; Ludovic Henrio (e-Science, 2006)

Asynchonous Distributed Components: Concurrency and Determinacy. - Denis Caromel; Ludovic Henrio (IFIP TCS, 2006)

A component platform for experimenting with autonomic composition. - Françoise Baude; Ludovic Henrio; Paul Naoumenko (Autonomics, 2007)

Collective Interfaces for Distributed Components. - Françoise Baude; Denis Caromel; Ludovic Henrio; Matthieu Morel (CCGRID, 2007)

A Flexible Model and Implementation of Component Controllers. - Françoise Baude; Denis Caromel; Ludovic Henrio; Paul Naoumenko (CoreGRID Workshop - Making Grids Work, 2007)

Interoperability of Grid component models: GCM and CCA case study. - Maciej Malawski; Marian Bubak; Françoise Baude; Denis Caromel; Ludovic Henrio; Matthieu Morel (CoreGRID, 2007)

High-Level Scripting Approach for Building Component-Based Applications on the Grid. - Maciej Malawski; Tomasz Gubala; Marek Kasztelnik; Tomasz Bartynski; Marian Bubak; Françoise Baude; Ludovic Henrio (CoreGRID Workshop - Making Grids Work, 2007)

A Specification Language for Distributed Components Implemented in GCM/ProActive. - Antonio Cansado; Denis Caromel; Ludovic Henrio; Eric Madelaine; Marcela Rivera; Emil Salageanu (CoCoME, 2007)

Active Objects and Distributed Components: Theory and Implementation. - Denis Caromel; Ludovic Henrio; Eric Madelaine (FMCO, 2007)

A Mechanized Model of the Theory of Objects. - Ludovic Henrio; Florian Kammüller (FMOODS, 2007)

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

Promised messages: recovering from inconsistent global states. - Françoise Baude; Denis Caromel; Christian Delbé; Ludovic Henrio (PPoPP, 2007)

An Asynchronous Distributed Component Model and Its Semantics. - Ludovic Henrio; Florian Kammüller; Marcela Rivera (FMCO, 2008)

Type Safe Algorithmic Skeletons. - Denis Caromel; Ludovic Henrio; Mario Leyton (PDP, 2008)

Transparent First-class Futures and Distributed Components. - Antonio Cansado; Ludovic Henrio; Eric Madelaine (FACS, 2008)

Unifying Architectural and Behavioural Specifications of Distributed Components. - Antonio Cansado; Ludovic Henrio; Eric Madelaine; Pablo Valenzuela (FACS, 2008)

A Framework for Reasoning on Component Composition. - Ludovic Henrio; Florian Kammüller; Muhammad Uzair Khan (FMCO, 2009)

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

Behavioural models for distributed Fractal components. - Tomás Barros; Rabéa Ameur-Boulifa; Antonio Cansado; Ludovic Henrio; Eric Madelaine (Ann. des Télécommunications, 2009)

GCM: a grid extension to Fractal for autonomous distributed components. - Françoise Baude; Denis Caromel; Cédric Dalmasso; Marco Danelutto; Vladimir Getov; Ludovic Henrio; Christian Pérez (Ann. des Télécommunications, 2009)

Functional Active Objects: Typing and Formalisation. - Ludovic Henrio; Florian Kammüller (FOCLASA, 2009)

Asynchronous sequential processes. - Denis Caromel; Ludovic Henrio; Bernard P. Serpette (Inf. Comput., 2009)

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

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

Locally Nameless Sigma Calculus. - Ludovic Henrio; Florian Kammüller; Bianca Lutz; Henry Sudhof (Arch. Formal Proofs, 2010)

Behavioural Models for Group Communications - Rabéa Ameur-Boulifa; Ludovic Henrio; Eric Madelaine (WCSI, 2010)

Asynchronous Components with Futures: Semantics and Proofs in Isabelle/HOL. - Ludovic Henrio; Muhammad Uzair Khan (FESCA@ETAPS, 2010)

Mixing Workflows and Components to Support Evolving Services. - Françoise Baude; Virginie Legrand Contes; Ludovic Henrio; Paul Naoumenko; Heiko Pfeffer; Louay Bassbouss; David Linner (Int. J. Adapt. Resilient Auton. Syst., 2010)

Verifying Safety of Fault-Tolerant Distributed Components. - Rabéa Ameur-Boulifa; Raluca Halalai; Ludovic Henrio; Eric Madelaine (FACS, 2011)

Adapting Active Objects to Multicore Architectures. - Ludovic Henrio; Fabrice Huet; Zsolt István; Gheorghe Sebestyen (ISPDC, 2011)

Formal Models for Programming and Composing Correct Distributed Systems. (Modèles Formels pour la Programmation et la Composition de Systèmes Distribués Corrects). - Ludovic Henrio (2012)

ASPfun : A typed functional active object calculus. - Ludovic Henrio; Florian Kammüller; Bianca Lutz (Sci. Comput. Program., 2012)

Multi-threaded Active Objects. - Ludovic Henrio; Fabrice Huet; Zsolt István (COORDINATION, 2013)

Formally Reasoning on a Reconfigurable Component-Based System - A Case Study for the Industrial World. - Nuno Gaspar; Ludovic Henrio; Eric Madelaine (FACS, 2013)

A Mechanized Model for CAN Protocols. - Francesco Bongiovanni; Ludovic Henrio (FASE, 2013)

An Optimal Broadcast Algorithm for Content-Addressable Networks. - Ludovic Henrio; Fabrice Huet; Justine Rochas (OPODIS, 2013)

Self-Configuration and Self-Optimization Autonomic Skeletons using Events. - Gustavo Pabón; Ludovic Henrio (PMAM, 2014)

Declarative scheduling for active objects. - Ludovic Henrio; Justine Rochas (SAC, 2014)

Verifying the correct composition of distributed components: Formalisation and Tool. - Ludovic Henrio; Oleksandra Kulankhina; Dongqian Liu; Eric Madelaine (FOCLASA, 2014)

Bringing Coq into the World of GCM Distributed Applications. - Nuno Gaspar; Ludovic Henrio; Eric Madelaine (Int. J. Parallel Program., 2014)

Painless Support for Static and Runtime Verification of Component-Based Applications. - Nuno Gaspar; Ludovic Henrio; Eric Madelaine (FSEN, 2015)

pNets: An Expressive Model for Parameterised Networks of Processes. - Ludovic Henrio; Eric Madelaine; Min Madelaine (PDP, 2015)

Management of service compositionbased on self-controlled components. - Tatiana Aubonnet; Ludovic Henrio; Soumia Kessal; Oleksandra Kulankhina; Frédéric Lemoine 001; Eric Madelaine; Cristian Ruz; Noëmie Simoni (J. Internet Serv. Appl., 2015)

Programming distributed and adaptable autonomous components - the GCM/ProActive framework. - Françoise Baude; Ludovic Henrio; Cristian Ruz (Softw. Pract. Exp., 2015)

From Modelling to Systematic Deployment of Distributed Active Objects. - Ludovic Henrio; Justine Rochas (COORDINATION, 2016)

Integrated Environment for Verifying and Running Distributed Components. - Ludovic Henrio; Oleksandra Kulankhina; Siqi Li; Eric Madelaine (FASE, 2016)

A Theory for the Composition of Concurrent Processes. - Ludovic Henrio; Eric Madelaine; Min Zhang 002 (FORTE, 2016)

Actors may synchronize, safely! - Elena Giachino; Ludovic Henrio; Cosimo Laneve; Vincenzo Mastandrea (PPDP, 2016)

Reconfigurable Applications Using GCMScript. - Matias Ibanez; Cristian Ruz; Ludovic Henrio; Javier Bustos-Jiménez (IEEE Cloud Comput., 2016)

Trustable virtual machine scheduling in a cloud. - Fabien Hermenier; Ludovic Henrio (SoCC, 2017)

Analysis of Synchronisations in Stateful Active Objects. - Ludovic Henrio; Cosimo Laneve; Vincenzo Mastandrea (IFM, 2017)

A Survey of Active Object Languages. - Frank S. de Boer; Vlad Serbanescu 001; Reiner Hähnle; Ludovic Henrio; Justine Rochas; Crystal Chang Din; Einar Broch Johnsen; Marjan Sirjani; Ehsan Khamespanah; Kiko Fernandez-Reyes; Albert Mingkun Yang (ACM Comput. Surv., 2017)

Monitoring as-a-service to drive more efficient future system design. - Frédéric Lemoine 001; Tatiana Aubonnet; Ludovic Henrio; Soumia Kessal; Eric Madelaine; Noemie Simoni (EAI Endorsed Trans. Cloud Syst., 2017)

Behavioural semantics for asynchronous components. - Rabéa Ameur-Boulifa; Ludovic Henrio; Oleksandra Kulankhina; Eric Madelaine; A. Savu (J. Log. Algebraic Methods Program., 2017)

Multiactive objects and their applications. - Ludovic Henrio; Justine Rochas (Log. Methods Comput. Sci., 2017)

Active Objects for Coordinating BSP Computations (Short Paper). - Gaétan Hains; Ludovic Henrio; Pierre Leca; Wijnand Suijlen (COORDINATION, 2018)

Ensuring Memory Consistency in Heterogeneous Systems Based on Access Mode Declarations. - Ludovic Henrio; Christoph W. Kessler; Lu Li 001 (HPCS, 2018)

Who is to Blame? Runtime Verification of Distributed Objects with Active Monitors. - Wolfgang Ahrendt; Ludovic Henrio; Wytse Oortwijn (VORTEX@ECOOP/ISSTA, 2018)

Preface for the special issue on Interaction and Concurrency Experience 2016. - Massimo Bartoletti; Ludovic Henrio; Sophia Knight; Hugo Torres Vieira (J. Log. Algebraic Methods Program., 2018)

Verification of Concurrent Design Patterns with Data. - Simon Bliudze; Ludovic Henrio; Eric Madelaine (COORDINATION, 2019)

Godot: All the Benefits of Implicit and Explicit Futures. - Kiko Fernandez-Reyes; Dave Clarke 001; Ludovic Henrio; Einar Broch Johnsen; Tobias Wrigstad (ECOOP, 2019)

On Reachability in Parameterized Phaser Programs. - Zeinab Ganjei; Ahmed Rezine; Ludovic Henrio; Petru Eles; Zebo Peng (TACAS (1), 2019)

Godot: All the Benefits of Implicit and Explicit Futures (Artifact). - Kiko Fernandez-Reyes; Dave Clarke 001; Ludovic Henrio; Einar Broch Johnsen; Tobias Wrigstad (Dagstuhl Artifacts Ser., 2019)

Preface for the special issue on Interaction and Concurrency Experience 2017. - Massimo Bartoletti; Laura Bocchi; Ludovic Henrio; Sophia Knight (J. Log. Algebraic Methods Program., 2019)

Active Objects with Deterministic Behaviour. - Ludovic Henrio; Einar Broch Johnsen; Violet Ka I Pun (IFM, 2020)

Distributed futures for efficient data transfer between parallel processes. - Pierre Leca; Wijnand Suijlen; Ludovic Henrio; Françoise Baude (SAC, 2020)

Leveraging access mode declarations in a model for memory consistency in heterogeneous systems. - Ludovic Henrio; Christoph W. Kessler; Lu Li 001 (J. Log. Algebraic Methods Program., 2020)

Promise Plus: Flexible Synchronization for Parallel Computations on Arrays. - Amaury Maillé; Ludovic Henrio; Matthieu Moy (FSEN, 2021)

S4BXI: the MPI-ready Portals 4 Simulator. - Julien Emmanuel; Matthieu Moy; Ludovic Henrio; Grégoire Pichon (MASCOTS, 2021)

LAGC Semantics of Concurrent Programming Languages. - Crystal Chang Din; Reiner Hähnle; Ludovic Henrio; Einar Broch Johnsen; Violet Ka I Pun; Silvia Lizeth Tapia Tarifa (CoRR, 2022)

An Optimised Flow for Futures: From Theory to Practice. - Nicolas Chappe; Ludovic Henrio; Amaury Maillé; Matthieu Moy; Hadrien Renaud (Art Sci. Eng. Program., 2022)

Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory. - Bruno Ferres; Oussama Oulkaid; Ludovic Henrio; Mehdi Khosravian Ghadikolaei; Matthieu Moy; Gabriel Radanne; Pascal Raymond (DATE, 2023)

Refinements for Open Automata. - Rabéa Ameur-Boulifa; Quentin Corradi; Ludovic Henrio; Eric Madelaine (SEFM, 2023)

A Survey on Parallelism and Determinism. - Laure Gonnord; Ludovic Henrio; Lionel Morel; Gabriel Radanne (ACM Comput. Surv., 2023)

Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq. - Nicolas Chappe; Paul He; Ludovic Henrio; Yannick Zakowski; Steve Zdancewic (Proc. ACM Program. Lang., 2023)

Compositional equivalences based on open pNets. - Rabéa Ameur-Boulifa; Ludovic Henrio; Eric Madelaine (J. Log. Algebraic Methods Program., 2023)

Active Objects Based on Algebraic Effects. - Martin Andrieux; Ludovic Henrio; Gabriel Radanne (Active Object Languages: Current Research Trends, 2024)

A Transistor Level Relational Semantics for Electrical Rule Checking by SMT Solving. - Oussama Oulkaid; Bruno Ferres; Matthieu Moy; Pascal Raymond; Mehdi Khosravian; Ludovic Henrio; Gabriel Radanne (DATE, 2024)

Provably Fair Cooperative Scheduling. - Reiner Hähnle; Ludovic Henrio (Art Sci. Eng. Program., 2024)

Component-based Distributed Software Reconfiguration:A Verification-oriented Survey. - Hélène Coullon; Ludovic Henrio; Frédéric Loulergue; Simon Robillard (ACM Comput. Surv., 2024)

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages. - Crystal Chang Din; Reiner Hähnle; Ludovic Henrio; Einar Broch Johnsen; Violet Ka I Pun; Silvia Lizeth Tapia Tarifa (ACM Trans. Program. Lang. Syst., 2024)

Monadic Interpreters for Concurrent Memory Models: Executable Semantics of a Concurrent Subset of LLVM IR. - Nicolas Chappe; Ludovic Henrio; Yannick Zakowski (CPP, 2025)