Ludovic Henrio

According to our database, Ludovic Henrio authored at least 92 papers between 2000 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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., March, 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., January, 2024

Active Objects Based on Algebraic Effects.

Martin Andrieux, Ludovic Henrio, Gabriel Radanne

Proceedings of the Active Object Languages: Current Research Trends, 2024

2023

Compositional equivalences based on open pNets.

Rabéa Ameur-Boulifa, Ludovic Henrio, Eric Madelaine

J. Log. Algebraic Methods Program., February, 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., January, 2023

Provably Fair Cooperative Scheduling.

Reiner Hähnle, Ludovic Henrio

Art Sci. Eng. Program., 2023

A Survey on Parallelism and Determinism.

Laure Gonnord, Ludovic Henrio, Lionel Morel, Gabriel Radanne

ACM Comput. Surv., 2023

Refinements for Open Automata.

Rabéa Ameur-Boulifa, Quentin Corradi, Ludovic Henrio, Eric Madelaine

Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023

Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory.

Bruno Ferres, O. Oulkaid, Ludovic Henrio, Mehdi Khosravian Ghadikolaei, Matthieu Moy, Gabriel Radanne, Pascal Raymond

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

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

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

2021

S4BXI: the MPI-ready Portals 4 Simulator.

Julien Emmanuel, Matthieu Moy, Ludovic Henrio, Grégoire Pichon

Proceedings of the 29th International Symposium on Modeling, 2021

Promise Plus: Flexible Synchronization for Parallel Computations on Arrays.

Amaury Maillé, Ludovic Henrio, Matthieu Moy

Proceedings of the Fundamentals of Software Engineering - 9th International Conference, 2021

2020

Leveraging access mode declarations in a model for memory consistency in heterogeneous systems.

Ludovic Henrio, Christoph W. Kessler, Lu Li

J. Log. Algebraic Methods Program., 2020

Distributed futures for efficient data transfer between parallel processes.

Pierre Leca, Wijnand Suijlen, Ludovic Henrio, Françoise Baude

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

Active Objects with Deterministic Behaviour.

Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun

Proceedings of the Integrated Formal Methods - 16th International Conference, 2020

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

Godot: All the Benefits of Implicit and Explicit Futures (Artifact).

Kiko Fernandez-Reyes, Dave Clarke, Ludovic Henrio, Einar Broch Johnsen, Tobias Wrigstad

Dagstuhl Artifacts Ser., 2019

On Reachability in Parameterized Phaser Programs.

Zeinab Ganjei, Ahmed Rezine, Ludovic Henrio, Petru Eles, Zebo Peng

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Godot: All the Benefits of Implicit and Explicit Futures.

Kiko Fernandez-Reyes, Dave Clarke, Ludovic Henrio, Einar Broch Johnsen, Tobias Wrigstad

Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

Verification of Concurrent Design Patterns with Data.

Simon Bliudze, Ludovic Henrio, Eric Madelaine

Proceedings of the Coordination Models and Languages, 2019

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

Who is to Blame? Runtime Verification of Distributed Objects with Active Monitors.

Wolfgang Ahrendt, Ludovic Henrio, Wytse Oortwijn

Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution, 2018

Ensuring Memory Consistency in Heterogeneous Systems Based on Access Mode Declarations.

Ludovic Henrio, Christoph W. Kessler, Lu Li

Proceedings of the 2018 International Conference on High Performance Computing & Simulation, 2018

Active Objects for Coordinating BSP Computations (Short Paper).

Gaétan Hains, Ludovic Henrio, Pierre Leca, Wijnand Suijlen

Proceedings of the Coordination Models and Languages, 2018

2017

Multiactive objects and their applications.

Ludovic Henrio, Justine Rochas

Log. Methods Comput. Sci., 2017

Behavioural semantics for asynchronous components.

Rabéa Ameur-Boulifa, Ludovic Henrio, Oleksandra Kulankhina, Eric Madelaine, A. Savu

J. Log. Algebraic Methods Program., 2017

Monitoring as-a-service to drive more efficient future system design.

Frédéric Lemoine, Tatiana Aubonnet, Ludovic Henrio, Soumia Kessal, Eric Madelaine, Noemie Simoni

EAI Endorsed Trans. Cloud Syst., 2017

A Survey of Active Object Languages.

Frank S. de Boer, Vlad Serbanescu, 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

Analysis of Synchronisations in Stateful Active Objects.

Ludovic Henrio, Cosimo Laneve, Vincenzo Mastandrea

Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

Trustable virtual machine scheduling in a cloud.

Fabien Hermenier, Ludovic Henrio

Proceedings of the 2017 Symposium on Cloud Computing, SoCC 2017, Santa Clara, CA, USA, 2017

2016

Reconfigurable Applications Using GCMScript.

Matias Ibanez, Cristian Ruz, Ludovic Henrio, Javier Bustos-Jiménez

IEEE Cloud Comput., 2016

Actors may synchronize, safely!

Elena Giachino, Ludovic Henrio, Cosimo Laneve, Vincenzo Mastandrea

Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, 2016

A Theory for the Composition of Concurrent Processes.

Ludovic Henrio, Eric Madelaine, Min Zhang

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016

Integrated Environment for Verifying and Running Distributed Components.

Ludovic Henrio, Oleksandra Kulankhina, Siqi Li, Eric Madelaine

Proceedings of the Fundamental Approaches to Software Engineering, 2016

From Modelling to Systematic Deployment of Distributed Active Objects.

Ludovic Henrio, Justine Rochas

Proceedings of the Coordination Models and Languages, 2016

2015

Programming distributed and adaptable autonomous components - the GCM/ProActive framework.

Françoise Baude, Ludovic Henrio, Cristian Ruz

Softw. Pract. Exp., 2015

Management of service compositionbased on self-controlled components.

Tatiana Aubonnet, Ludovic Henrio, Soumia Kessal, Oleksandra Kulankhina, Frédéric Lemoine, Eric Madelaine, Cristian Ruz, Noëmie Simoni

J. Internet Serv. Appl., 2015

pNets: An Expressive Model for Parameterised Networks of Processes.

Ludovic Henrio, Eric Madelaine, Min Madelaine

Proceedings of the 23rd Euromicro International Conference on Parallel, 2015

Painless Support for Static and Runtime Verification of Component-Based Applications.

Nuno Gaspar, Ludovic Henrio, Eric Madelaine

Proceedings of the Fundamentals of Software Engineering - 6th International Conference, 2015

2014

Bringing Coq into the World of GCM Distributed Applications.

Nuno Gaspar, Ludovic Henrio, Eric Madelaine

Int. J. Parallel Program., 2014

Verifying the correct composition of distributed components: Formalisation and Tool.

Ludovic Henrio, Oleksandra Kulankhina, Dongqian Liu, Eric Madelaine

Proceedings of the Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, 2014

Declarative scheduling for active objects.

Ludovic Henrio, Justine Rochas

Proceedings of the Symposium on Applied Computing, 2014

Self-Configuration and Self-Optimization Autonomic Skeletons using Events.

Gustavo Pabón, Ludovic Henrio

Proceedings of the 2014 PPOPP International Workshop on Programming Models and Applications for Multicores and Manycores, 2014

2013

An Optimal Broadcast Algorithm for Content-Addressable Networks.

Ludovic Henrio, Fabrice Huet, Justine Rochas

Proceedings of the Principles of Distributed Systems - 17th International Conference, 2013

A Mechanized Model for CAN Protocols.

Francesco Bongiovanni, Ludovic Henrio

Proceedings of the Fundamental Approaches to Software Engineering, 2013

Formally Reasoning on a Reconfigurable Component-Based System - A Case Study for the Industrial World.

Nuno Gaspar, Ludovic Henrio, Eric Madelaine

Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013

Multi-threaded Active Objects.

Ludovic Henrio, Fabrice Huet, Zsolt István

Proceedings of the Coordination Models and Languages, 15th International Conference, 2013

2012

ASP_fun : A typed functional active object calculus.

Ludovic Henrio, Florian Kammüller, Bianca Lutz

Sci. Comput. Program., 2012

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

2011

Adapting Active Objects to Multicore Architectures.

Ludovic Henrio, Fabrice Huet, Zsolt István, Gheorghe Sebestyen

Proceedings of the 10th International Symposium on Parallel and Distributed Computing, 2011

Verifying Safety of Fault-Tolerant Distributed Components.

Rabéa Ameur-Boulifa, Raluca Halalai, Ludovic Henrio, Eric Madelaine

Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011

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

Asynchronous Components with Futures: Semantics and Proofs in Isabelle/HOL.

Ludovic Henrio, Muhammad Uzair Khan

Proceedings of the 7th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2010

Behavioural Models for Group Communications

Rabéa Ameur-Boulifa, Ludovic Henrio, Eric Madelaine

Proceedings of the Proceedings International Workshop on Component and Service Interoperability, 2010

Locally Nameless Sigma Calculus.

Ludovic Henrio, Florian Kammüller, Bianca Lutz, Henry Sudhof

Arch. Formal Proofs, 2010

Exceptions for Algorithmic Skeletons.

Mario Leyton, Ludovic Henrio, José M. Piquer

Proceedings of the Euro-Par 2010 - Parallel Processing, 16th International Euro-Par Conference, Ischia, Italy, August 31, 2010

First Class Futures: Specification and Implementation of Update Strategies.

Ludovic Henrio, Muhammad Uzair Khan, Nadia Ranaldo, Eugenio Zimeo

Proceedings of the Euro-Par 2010 Parallel Processing Workshops, 2010

2009

Asynchronous sequential processes.

Denis Caromel, Ludovic Henrio, Bernard P. Serpette

Inf. Comput., 2009

Functional Active Objects: Typing and Formalisation.

Ludovic Henrio, Florian Kammüller

Proceedings of the 8th International Workshop on the Foundations of Coordination Languages and Software Architectures, 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

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

Structural Reconfiguration: An Autonomic Strategy for GCM Components.

Françoise Baude, Ludovic Henrio, Paul Naoumenko

Proceedings of the Fifth International Conference on Autonomic and Autonomous Systems, 2009

A Framework for Reasoning on Component Composition.

Ludovic Henrio, Florian Kammüller, Muhammad Uzair Khan

Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

2008

Unifying Architectural and Behavioural Specifications of Distributed Components.

Antonio Cansado, Ludovic Henrio, Eric Madelaine, Pablo Valenzuela

Proceedings of the 5th International Workshop on Formal Aspects of Component Software, 2008

Transparent First-class Futures and Distributed Components.

Antonio Cansado, Ludovic Henrio, Eric Madelaine

Proceedings of the 5th International Workshop on Formal Aspects of Component Software, 2008

Type Safe Algorithmic Skeletons.

Denis Caromel, Ludovic Henrio, Mario Leyton

Proceedings of the 16th Euromicro International Conference on Parallel, 2008

An Asynchronous Distributed Component Model and Its Semantics.

Ludovic Henrio, Florian Kammüller, Marcela Rivera

Proceedings of the Formal Methods for Components and Objects, 7th International Symposium, 2008

2007

Promised messages: recovering from inconsistent global states.

Françoise Baude, Denis Caromel, Christian Delbé, Ludovic Henrio

Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2007

Garbage Collecting the Grid: A Complete DGC for Activities.

Denis Caromel, Guillaume Chazarain, Ludovic Henrio

Proceedings of the Middleware 2007, 2007

A Mechanized Model of the Theory of Objects.

Ludovic Henrio, Florian Kammüller

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007

Active Objects and Distributed Components: Theory and Implementation.

Denis Caromel, Ludovic Henrio, Eric Madelaine

Proceedings of the Formal Methods for Components and Objects, 6th International Symposium, 2007

A Specification Language for Distributed Components Implemented in GCM/ProActive.

Antonio Cansado, Denis Caromel, Ludovic Henrio, Eric Madelaine, Marcela Rivera, Emil Salageanu

Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 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

Proceedings of the Making Grids Work: Proceedings of the CoreGRID Workshop on Programming Models Grid and P2P System Architecture Grid Systems, 2007

Interoperability of Grid component models: GCM and CCA case study.

Maciej Malawski, Marian Bubak, Françoise Baude, Denis Caromel, Ludovic Henrio, Matthieu Morel

Proceedings of the Towards Next Generation Grids, 2007

A Flexible Model and Implementation of Component Controllers.

Françoise Baude, Denis Caromel, Ludovic Henrio, Paul Naoumenko

Proceedings of the Making Grids Work: Proceedings of the CoreGRID Workshop on Programming Models Grid and P2P System Architecture Grid Systems, 2007

Collective Interfaces for Distributed Components.

Françoise Baude, Denis Caromel, Ludovic Henrio, Matthieu Morel

Proceedings of the Seventh IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2007), 2007

A component platform for experimenting with autonomic composition.

Françoise Baude, Ludovic Henrio, Paul Naoumenko

Proceedings of the 1st International Conference on Autonomic Computing and Communication Systems, 2007

2006

Asynchonous Distributed Components: Concurrency and Determinacy.

Denis Caromel, Ludovic Henrio

Proceedings of the Fourth IFIP International Conference on Theoretical Computer Science (TCS 2006), 2006

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

Proceedings of the Second International Conference on e-Science and Grid Technologies (e-Science 2006), 2006

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

Verification of Distributed Hierarchical Components.

Tomás Barros, Ludovic Henrio, Eric Madelaine

Proceedings of the International Workshop on Formal Aspects of Component Software, 2005

Secured Information Flow for Asynchronous Sequential Processes.

Isabelle Attali, Denis Caromel, Ludovic Henrio, Felipe Luna Del Aguila

Proceedings of the International Workshop on Security and Concurrency, SecCo@CONCUR 2005, 2005

Behavioural Models for Hierarchical Components.

Tomás Barros, Ludovic Henrio, Eric Madelaine

Proceedings of the Model Checking Software, 2005

A Hybrid Message Logging-CIC Protocol for Constrained Checkpointability.

Françoise Baude, Denis Caromel, Christian Delbé, Ludovic Henrio

Proceedings of the Euro-Par 2005, Parallel Processing, 11th International Euro-Par Conference, Lisbon, Portugal, August 30, 2005

A theory of distributed objects - asynchrony, mobility, groups, components.

Denis Caromel, Ludovic Henrio

Springer, ISBN: 978-3-540-20866-2, 2005

2004

Asynchronous and deterministic objects.

Denis Caromel, Ludovic Henrio, Bernard P. Serpette

Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2004

2003

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

Ludovic Henrio

PhD thesis, 2003

A Parametrized Polyvariant Bytecode Verifier.

Ludovic Henrio, Bernard P. Serpette

Proceedings of the Journées francophones des langages applicatifs (JFLA'03), 2003

2001

An integrated development environment for Java Card.

Isabelle Attali, Denis Caromel, Carine Courbis, Ludovic Henrio, Henrik Nilsson

Comput. Networks, 2001

Context Inference for Static Analysis of Java Card Object Sharing.

Denis Caromel, Ludovic Henrio, Bernard P. Serpette

Proceedings of the Smart Card Programming and Security, 2001

2000

Smart Tools for Java Cards.

Isabelle Attali, Denis Caromel, Carine Courbis, Ludovic Henrio, Henrik Nilsson

Proceedings of the Smart Card Research and Advanced Applications, 2000