Ludovic Henrio

ORCID

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 44

Top Venues

CoRR

J. Log. Algebraic Methods Program.

ACM Comput. Surv.

COORDINATION

University of Nice Sophia Antipolis, France (PHD)

Education History

University of Nice Sophia Antipolis, France

PHD

Publications

Hélène Coullon, Ludovic Henrio, Frédéric Loulergue, Simon Robillard
Component-based Distributed Software Reconfiguration:A Verification-oriented Survey. ACM Comput. Surv. 56 (1) (2024)
Reiner Hähnle, Ludovic Henrio
Provably Fair Cooperative Scheduling. Art Sci. Eng. Program. 8 (2) (2024)
Oussama Oulkaid, Bruno Ferres, Matthieu Moy, Pascal Raymond, Mehdi Khosravian, Ludovic Henrio, Gabriel Radanne
A Transistor Level Relational Semantics for Electrical Rule Checking by SMT Solving. DATE (2024)
Crystal Chang Din, Reiner Hähnle, Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages. ACM Trans. Program. Lang. Syst. 46 (1) (2024)
Nicolas Chappe, Paul He, Ludovic Henrio, Yannick Zakowski, Steve Zdancewic
Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq. Proc. ACM Program. Lang. 7 (POPL) (2023)
Laure Gonnord, Ludovic Henrio, Lionel Morel, Gabriel Radanne
A Survey on Parallelism and Determinism. ACM Comput. Surv. 55 (10) (2023)
Rabéa Ameur-Boulifa, Quentin Corradi, Ludovic Henrio, Eric Madelaine
Refinements for Open Automata. SEFM (2023)
Reiner Hähnle, Ludovic Henrio
Provably Fair Cooperative Scheduling. CoRR (2023)
Bruno Ferres, O. Oulkaid, Ludovic Henrio, Mehdi Khosravian Ghadikolaei, Matthieu Moy, Gabriel Radanne, Pascal Raymond
Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory. DATE (2023)
Rabéa Ameur-Boulifa, Ludovic Henrio, Eric Madelaine
Compositional equivalences based on open pNets. J. Log. Algebraic Methods Program. 131 (2023)
Nicolas Chappe, Paul He, Ludovic Henrio, Yannick Zakowski, Steve Zdancewic
Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq. CoRR (2022)
Crystal Chang Din, Reiner Hähnle, Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa
LAGC Semantics of Concurrent Programming Languages. CoRR (2022)
Nicolas Chappe, Ludovic Henrio, Amaury Maillé, Matthieu Moy, Hadrien Renaud
An Optimised Flow for Futures: From Theory to Practice. Art Sci. Eng. Program. 6 (1) (2022)
Laure Gonnord, Ludovic Henrio, Lionel Morel, Gabriel Radanne
A Survey on Parallelism and Determinism. CoRR (2022)
Amaury Maillé, Ludovic Henrio, Matthieu Moy
Promise Plus: Flexible Synchronization for Parallel Computations on Arrays. FSEN (2021)
Nicolas Chappe, Ludovic Henrio, Amaury Maillé, Matthieu Moy, Hadrien Renaud
An Optimised Flow for Futures: From Theory to Practice. CoRR (2021)
Julien Emmanuel, Matthieu Moy, Ludovic Henrio, Grégoire Pichon
S4BXI: the MPI-ready Portals 4 Simulator. MASCOTS (2021)
Rabéa Ameur-Boulifa, Ludovic Henrio, Eric Madelaine
Compositional equivalences based on Open pNets. CoRR (2020)
Pierre Leca, Wijnand Suijlen, Ludovic Henrio, Françoise Baude
Distributed futures for efficient data transfer between parallel processes. SAC (2020)
Ludovic Henrio, Christoph W. Kessler, Lu Li
Leveraging access mode declarations in a model for memory consistency in heterogeneous systems. J. Log. Algebraic Methods Program. 110 (2020)
Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun
Active Objects with Deterministic Behaviour. IFM (2020)
Massimo Bartoletti, Laura Bocchi, Ludovic Henrio, Sophia Knight
Preface for the special issue on Interaction and Concurrency Experience 2017. J. Log. Algebraic Methods Program. 109 (2019)
Simon Bliudze, Ludovic Henrio, Eric Madelaine
Verification of Concurrent Design Patterns with Data. COORDINATION (2019)
Kiko Fernandez-Reyes, Dave Clarke, Ludovic Henrio, Einar Broch Johnsen, Tobias Wrigstad
Godot: All the Benefits of Implicit and Explicit Futures (Artifact). Dagstuhl Artifacts Ser. 5 (2) (2019)
Ludovic Henrio, Christoph W. Kessler, Lu Li
Leveraging access mode declarations in a model for memory consistency in heterogeneous systems. CoRR (2019)
Kiko Fernandez-Reyes, Dave Clarke, Ludovic Henrio, Einar Broch Johnsen, Tobias Wrigstad
Godot: All the Benefits of Implicit and Explicit Futures. ECOOP (2019)
Zeinab Ganjei, Ahmed Rezine, Ludovic Henrio, Petru Eles, Zebo Peng
On Reachability in Parameterized Phaser Programs. TACAS (1) (2019)
Zeinab Ganjei, Ahmed Rezine, Ludovic Henrio, Petru Eles, Zebo Peng
On Reachability in Parameterized Phaser Programs. CoRR (2018)
Massimo Bartoletti, Ludovic Henrio, Sophia Knight, Hugo Torres Vieira
Preface for the special issue on Interaction and Concurrency Experience 2016. J. Log. Algebraic Methods Program. 98 (2018)
Ludovic Henrio, Christoph W. Kessler, Lu Li
Ensuring Memory Consistency in Heterogeneous Systems Based on Access Mode Declarations. HPCS (2018)
Wolfgang Ahrendt, Ludovic Henrio, Wytse Oortwijn
Who is to Blame? Runtime Verification of Distributed Objects with Active Monitors. VORTEX@ECOOP/ISSTA (2018)
Gaétan Hains, Ludovic Henrio, Pierre Leca, Wijnand Suijlen
Active Objects for Coordinating BSP Computations (Short Paper). COORDINATION (2018)
Rabéa Ameur-Boulifa, Ludovic Henrio, Oleksandra Kulankhina, Eric Madelaine, A. Savu
Behavioural semantics for asynchronous components. J. Log. Algebraic Methods Program. 89 (2017)
Fabien Hermenier, Ludovic Henrio
Trustable virtual machine scheduling in a cloud. SoCC (2017)
Frédéric Lemoine, Tatiana Aubonnet, Ludovic Henrio, Soumia Kessal, Eric Madelaine, Noemie Simoni
Monitoring as-a-service to drive more efficient future system design. EAI Endorsed Trans. Cloud Syst. 3 (9) (2017)
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
A Survey of Active Object Languages. ACM Comput. Surv. 50 (5) (2017)
Ludovic Henrio, Cosimo Laneve, Vincenzo Mastandrea
Analysis of Synchronisations in Stateful Active Objects. IFM (2017)
Ludovic Henrio, Justine Rochas
Multiactive objects and their applications. Log. Methods Comput. Sci. 13 (4) (2017)
Ludovic Henrio, Oleksandra Kulankhina, Siqi Li, Eric Madelaine
Integrated Environment for Verifying and Running Distributed Components. FASE (2016)
Ludovic Henrio, Eric Madelaine, Min Zhang
A Theory for the Composition of Concurrent Processes. FORTE (2016)
Ludovic Henrio, Justine Rochas
Multiactive objects and their applications. CoRR (2016)
Matias Ibanez, Cristian Ruz, Ludovic Henrio, Javier Bustos-Jiménez
Reconfigurable Applications Using GCMScript. IEEE Cloud Comput. 3 (3) (2016)
Elena Giachino, Ludovic Henrio, Cosimo Laneve, Vincenzo Mastandrea
Actors may synchronize, safely! PPDP (2016)
Ludovic Henrio, Justine Rochas
From Modelling to Systematic Deployment of Distributed Active Objects. COORDINATION (2016)
Tatiana Aubonnet, Ludovic Henrio, Soumia Kessal, Oleksandra Kulankhina, Frédéric Lemoine, Eric Madelaine, Cristian Ruz, Noëmie Simoni
Management of service compositionbased on self-controlled components. J. Internet Serv. Appl. 6 (1) (2015)
Ludovic Henrio, Eric Madelaine, Min Madelaine
pNets: An Expressive Model for Parameterised Networks of Processes. PDP (2015)
Nuno Gaspar, Ludovic Henrio, Eric Madelaine
Painless Support for Static and Runtime Verification of Component-Based Applications. FSEN (2015)
Françoise Baude, Ludovic Henrio, Cristian Ruz
Programming distributed and adaptable autonomous components - the GCM/ProActive framework. Softw. Pract. Exp. 45 (9) (2015)
Gustavo Pabón, Ludovic Henrio
Self-Configuration and Self-Optimization Autonomic Skeletons using Events. PMAM (2014)
Ludovic Henrio, Justine Rochas
Declarative scheduling for active objects. SAC (2014)
Ludovic Henrio, Oleksandra Kulankhina, Dongqian Liu, Eric Madelaine
Verifying the correct composition of distributed components: Formalisation and Tool. FOCLASA (2014)
Nuno Gaspar, Ludovic Henrio, Eric Madelaine
Bringing Coq into the World of GCM Distributed Applications. Int. J. Parallel Program. 42 (4) (2014)
Ludovic Henrio, Fabrice Huet, Justine Rochas
An Optimal Broadcast Algorithm for Content-Addressable Networks. OPODIS (2013)
Nuno Gaspar, Ludovic Henrio, Eric Madelaine
Formally Reasoning on a Reconfigurable Component-Based System - A Case Study for the Industrial World. FACS (2013)
Francesco Bongiovanni, Ludovic Henrio
A Mechanized Model for CAN Protocols. FASE (2013)
Ludovic Henrio, Fabrice Huet, Zsolt István
Multi-threaded Active Objects. COORDINATION (2013)
Ludovic Henrio, Florian Kammüller, Bianca Lutz
: A typed functional active object calculus. Sci. Comput. Program. 77 (7-8) (2012)
Rabéa Ameur-Boulifa, Raluca Halalai, Ludovic Henrio, Eric Madelaine
Verifying Safety of Fault-Tolerant Distributed Components. FACS (2011)
Ludovic Henrio, Fabrice Huet, Zsolt István, Gheorghe Sebestyen
Adapting Active Objects to Multicore Architectures. ISPDC (2011)
Antonio Cansado, Ludovic Henrio, Eric Madelaine
Transparent First-class Futures and Distributed Components. Electron. Notes Theor. Comput. Sci. 260 (2010)
Ludovic Henrio, Florian Kammüller, Bianca Lutz, Henry Sudhof
Locally Nameless Sigma Calculus. Arch. Formal Proofs 2010 (2010)
Ludovic Henrio, Muhammad Uzair Khan
Asynchronous Components with Futures: Semantics and Proofs in Isabelle/HOL. Electron. Notes Theor. Comput. Sci. 264 (1) (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. Int. J. Adapt. Resilient Auton. Syst. 1 (4) (2010)
Mario Leyton, Ludovic Henrio, José M. Piquer
Exceptions for Algorithmic Skeletons. Euro-Par (2) (2010)
Ludovic Henrio, Muhammad Uzair Khan, Nadia Ranaldo, Eugenio Zimeo
First Class Futures: Specification and Implementation of Update Strategies. Euro-Par Workshops (2010)
Rabéa Ameur-Boulifa, Ludovic Henrio, Eric Madelaine
Behavioural Models for Group Communications WCSI (2010)
Antonio Cansado, Ludovic Henrio, Eric Madelaine, Pablo Valenzuela
Unifying Architectural and Behavioural Specifications of Distributed Components. Electron. Notes Theor. Comput. Sci. 260 (2010)
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. Ann. des Télécommunications 64 (1-2) (2009)
Tomás Barros, Rabéa Ameur-Boulifa, Antonio Cansado, Ludovic Henrio, Eric Madelaine
Behavioural models for distributed Fractal components. Ann. des Télécommunications 64 (1-2) (2009)
Ludovic Henrio, Florian Kammüller
Functional Active Objects: Typing and Formalisation. Electron. Notes Theor. Comput. Sci. 255 (2009)
Françoise Baude, Ludovic Henrio, Paul Naoumenko
Structural Reconfiguration: An Autonomic Strategy for GCM Components. ICAS (2009)
Ludovic Henrio, Florian Kammüller, Muhammad Uzair Khan
A Framework for Reasoning on Component Composition. FMCO (2009)
Denis Caromel, Ludovic Henrio, Bernard P. Serpette
Asynchronous sequential processes. Inf. Comput. 207 (4) (2009)
Denis Caromel, Ludovic Henrio, Mario Leyton
Type Safe Algorithmic Skeletons. PDP (2008)
Ludovic Henrio, Florian Kammüller, Marcela Rivera
An Asynchronous Distributed Component Model and Its Semantics. FMCO (2008)
Denis Caromel, Ludovic Henrio, Eric Madelaine
Active Objects and Distributed Components: Theory and Implementation. FMCO (2007)
Françoise Baude, Denis Caromel, Christian Delbé, Ludovic Henrio
Promised messages: recovering from inconsistent global states. PPOPP (2007)
Françoise Baude, Denis Caromel, Ludovic Henrio, Matthieu Morel
Collective Interfaces for Distributed Components. CCGRID (2007)
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)
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)
Antonio Cansado, Denis Caromel, Ludovic Henrio, Eric Madelaine, Marcela Rivera, Emil Salageanu
A Specification Language for Distributed Components Implemented in GCM/ProActive. CoCoME (2007)
Françoise Baude, Ludovic Henrio, Paul Naoumenko
A component platform for experimenting with autonomic composition. Autonomics (2007)
Isabelle Attali, Denis Caromel, Ludovic Henrio, Felipe Luna Del Aguila
Secured Information Flow for Asynchronous Sequential Processes. Electron. Notes Theor. Comput. Sci. 180 (1) (2007)
Denis Caromel, Guillaume Chazarain, Ludovic Henrio
Garbage Collecting the Grid: A Complete DGC for Activities. Middleware (2007)
Françoise Baude, Denis Caromel, Ludovic Henrio, Paul Naoumenko
A Flexible Model and Implementation of Component Controllers. CoreGRID Workshop - Making Grids Work (2007)
Ludovic Henrio, Florian Kammüller
A Mechanized Model of the Theory of Objects. FMOODS (2007)
Tomás Barros, Ludovic Henrio, Eric Madelaine
Verification of Distributed Hierarchical Components. Electron. Notes Theor. Comput. Sci. 160 (2006)
Denis Caromel, Ludovic Henrio
Asynchonous Distributed Components: Concurrency and Determinacy. IFIP TCS (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)
Françoise Baude, Denis Caromel, Christian Delbé, Ludovic Henrio
Un protocole de tolérance aux pannes pour objets actifs non préemptifs. Tech. Sci. Informatiques 24 (10) (2005)
Tomás Barros, Ludovic Henrio, Eric Madelaine
Behavioural Models for Hierarchical Components. SPIN (2005)
Françoise Baude, Denis Caromel, Christian Delbé, Ludovic Henrio
A Hybrid Message Logging-CIC Protocol for Constrained Checkpointability. Euro-Par (2005)
Denis Caromel, Ludovic Henrio, Bernard P. Serpette
Asynchronous and deterministic objects. POPL (2004)
Ludovic Henrio, Bernard P. Serpette
A Parametrized Polyvariant Bytecode Verifier. JFLA (2003)
Denis Caromel, Ludovic Henrio, Bernard P. Serpette
Context Inference for Static Analysis of Java Card Object Sharing. E-smart (2001)
Isabelle Attali, Denis Caromel, Carine Courbis, Ludovic Henrio, Henrik Nilsson
An integrated development environment for Java Card. Comput. Networks 36 (4) (2001)
Isabelle Attali, Denis Caromel, Carine Courbis, Ludovic Henrio, Henrik Nilsson
Smart Tools for Java Cards. CARDIS (2000)

Ludovic Henrio.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ludovic Henrio