Ludovic Henrio
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
34
Venues
22
Active years
2000–2026
Best venue rank
A*
Where they publish
- CCoordination4 papers
- BEuroPar3 papers
- BCPP2 papers
- ADATE2 papers
- BIFM2 papers
- MulticonferenceSAC2 papers
- BFASE2 papers
- CPDP2 papers
- BPPoPP2 papers
- BSEFM1 paper
- BMASCOTS1 paper
- AECOOP1 paper
- ATACAS1 paper
- BCLOUD1 paper
- CFORTE1 paper
- CPPDP1 paper
- BOPODIS1 paper
- CISPDC1 paper
- BCCGRID1 paper
- AMiddleware1 paper
- A*POPL1 paper
- CCARDIS1 paper
Papers
34 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CPP | Layers of Confluence for Actors. | Ludovic Henrio, Einar Broch Johnsen, smund Aqissiaq Arild Klvstad, Violet Ka I Pun, Yannick Zakowski |
| 2025 | CPP | Monadic Interpreters for Concurrent Memory Models: Executable Semantics of a Concurrent Subset of LLVM IR. | Nicolas Chappe, Ludovic Henrio, Yannick Zakowski |
| 2024 | DATE | 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 |
| 2023 | DATE | 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 |
| 2023 | SEFM | Refinements for Open Automata. | Raba Ameur-Boulifa, Quentin Corradi, Ludovic Henrio, Eric Madelaine |
| 2021 | MASCOTS | S4BXI: the MPI-ready Portals 4 Simulator. | Julien Emmanuel, Matthieu Moy, Ludovic Henrio, Grgoire Pichon |
| 2020 | IFM | Active Objects with Deterministic Behaviour. | Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun |
| 2020 | SAC | Distributed futures for efficient data transfer between parallel processes. | Pierre Leca, Wijnand Suijlen, Ludovic Henrio, Franoise Baude |
| 2019 | Coordination | Verification of Concurrent Design Patterns with Data. | Simon Bliudze, Ludovic Henrio, Eric Madelaine |
| 2019 | ECOOP | Godot: All the Benefits of Implicit and Explicit Futures. | Kiko Fernandez-Reyes, Dave Clarke, Ludovic Henrio, Einar Broch Johnsen, Tobias Wrigstad |
| 2019 | TACAS | On Reachability in Parameterized Phaser Programs. | Zeinab Ganjei, Ahmed Rezine, Ludovic Henrio, Petru Eles, Zebo Peng |
| 2018 | Coordination | Active Objects for Coordinating BSP Computations (Short Paper). | Gatan Hains, Ludovic Henrio, Pierre Leca, Wijnand Suijlen |
| 2017 | CLOUD | Trustable virtual machine scheduling in a cloud. | Fabien Hermenier, Ludovic Henrio |
| 2017 | IFM | Analysis of Synchronisations in Stateful Active Objects. | Ludovic Henrio, Cosimo Laneve, Vincenzo Mastandrea |
| 2016 | Coordination | From Modelling to Systematic Deployment of Distributed Active Objects. | Ludovic Henrio, Justine Rochas |
| 2016 | FASE | Integrated Environment for Verifying and Running Distributed Components. | Ludovic Henrio, Oleksandra Kulankhina, Siqi Li, Eric Madelaine |
| 2016 | FORTE | A Theory for the Composition of Concurrent Processes. | Ludovic Henrio, Eric Madelaine, Min Zhang |
| 2016 | PPDP | Actors may synchronize, safely! | Elena Giachino, Ludovic Henrio, Cosimo Laneve, Vincenzo Mastandrea |
| 2015 | PDP | pNets: An Expressive Model for Parameterised Networks of Processes. | Ludovic Henrio, Eric Madelaine, Min Madelaine |
| 2014 | PPoPP | Self-Configuration and Self-Optimization Autonomic Skeletons using Events. | Gustavo Pabn, Ludovic Henrio |
| 2014 | SAC | Declarative scheduling for active objects. | Ludovic Henrio, Justine Rochas |
| 2013 | Coordination | Multi-threaded Active Objects. | Ludovic Henrio, Fabrice Huet, Zsolt Istvn |
| 2013 | FASE | A Mechanized Model for CAN Protocols. | Francesco Bongiovanni, Ludovic Henrio |
| 2013 | OPODIS | An Optimal Broadcast Algorithm for Content-Addressable Networks. | Ludovic Henrio, Fabrice Huet, Justine Rochas |
| 2011 | ISPDC | Adapting Active Objects to Multicore Architectures. | Ludovic Henrio, Fabrice Huet, Zsolt Istvn, Gheorghe Sebestyen |
| 2010 | EuroPar | First Class Futures: Specification and Implementation of Update Strategies. | Ludovic Henrio, Muhammad Uzair Khan, Nadia Ranaldo, Eugenio Zimeo |
| 2010 | EuroPar | Exceptions for Algorithmic Skeletons. | Mario Leyton, Ludovic Henrio, Jos M. Piquer |
| 2008 | PDP | Type Safe Algorithmic Skeletons. | Denis Caromel, Ludovic Henrio, Mario Leyton |
| 2007 | CCGRID | Collective Interfaces for Distributed Components. | Franoise Baude, Denis Caromel, Ludovic Henrio, Matthieu Morel |
| 2007 | Middleware | Garbage Collecting the Grid: A Complete DGC for Activities. | Denis Caromel, Guillaume Chazarain, Ludovic Henrio |
| 2007 | PPoPP | Promised messages: recovering from inconsistent global states. | Franoise Baude, Denis Caromel, Christian Delb, Ludovic Henrio |
| 2005 | EuroPar | A Hybrid Message Logging-CIC Protocol for Constrained Checkpointability. | Franoise Baude, Denis Caromel, Christian Delb, Ludovic Henrio |
| 2004 | POPL | Asynchronous and deterministic objects. | Denis Caromel, Ludovic Henrio, Bernard P. Serpette |
| 2000 | CARDIS | Smart Tools for Java Cards. | Isabelle Attali, Denis Caromel, Carine Courbis, Ludovic Henrio, Henrik Nilsson |