Ludovic Henrio

112
Documents

Publications

Publications

Deposit thumbnail

A Survey on Transistor-Level Electrical Rule Checking of Integrated Circuits

Bruno Ferres , Oussama Oulkaid , Matthieu Moy , Gabriel Radanne , Ludovic Henrio et al.

ACM Transactions on Design Automation of Electronic Systems, 2025, ⟨10.1145/3748327⟩

Article dans une revue hal-05185119v1
Deposit thumbnail

Choice Trees: Representing and Reasoning About Nondeterministic, Recursive, and Impure Programs in Rocq

Nicolas Chappe , Paul He , Ludovic Henrio , Eleftherios Ioannidis , Yannick Zakowski et al.

Journal of Functional Programming, 2025

Article dans une revue hal-05154458v2
Deposit thumbnail

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages

Crystal Chang Din , Reiner Hähnle , Ludovic Henrio , Einar Broch Johnsen , Violet Ka I Pun et al.

ACM Transactions on Programming Languages and Systems (TOPLAS), 2024, 46 (1), pp.1 - 58. ⟨10.1145/3648439⟩

Article dans une revue hal-04732946v1
Deposit thumbnail

Provably Fair Cooperative Scheduling

Reiner Hähnle , Ludovic Henrio

The Art, Science, and Engineering of Programming, 2023, 8 (2), ⟨10.22152/programming-journal.org/2024/8/6⟩

Article dans une revue hal-04372450v1
Deposit thumbnail

Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq

Nicolas Chappe , Paul He , Ludovic Henrio , Yannick Zakowski , Steve Zdancewic

Proceedings of the ACM on Programming Languages, 2023, pp.1-31. ⟨10.1145/3571254⟩

Article dans une revue hal-03886910v1
Deposit thumbnail

Component-Based Distributed Software Reconfiguration: a Verification-Oriented Survey

Hélène Coullon , Ludovic Henrio , Frédéric Loulergue , Simon Robillard

ACM Computing Surveys, 2023, 56 (1), pp.1-37. ⟨10.1145/3595376⟩

Article dans une revue hal-04067909v1
Deposit thumbnail

Compositional Equivalences Based on Open pNets

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

Journal of Logical and Algebraic Methods in Programming, 2022, 131, pp.100842. ⟨10.1016/j.jlamp.2022.100842⟩

Article dans une revue hal-03894031v2
Deposit thumbnail

A Survey on Parallelism and Determinism

Laure Gonnord , Ludovic Henrio , Lionel Morel , Gabriel Radanne

ACM Computing Surveys, 2022, ⟨10.1145/3564529⟩

Article dans une revue hal-03828497v1
Deposit thumbnail

An Optimised Flow for Futures: From Theory to Practice

Nicolas Chappe , Ludovic Henrio , Amaury Maillé , Matthieu Moy , Hadrien Renaud

The Art, Science, and Engineering of Programming, 2021, 6 (1), pp.1-41. ⟨10.22152/programming-journal.org/2022/6/3⟩

Article dans une revue hal-03440766v1
Deposit thumbnail

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

Ludovic Henrio , Christoph Kessler , Lu Li

Journal of Logical and Algebraic Methods in Programming, 2020, 110, pp.1-17. ⟨10.1016/j.jlamp.2019.100498⟩

Article dans une revue hal-02331964v1

Pourquoi créer des nouveaux langages de programmation ?

Ludovic Henrio

Interstices, 2019

Article dans une revue hal-02008111v1
Deposit thumbnail

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

Wolfgang Ahrendt , Ludovic Henrio , Wytse Oortwijn

Electronic Proceedings in Theoretical Computer Science, 2019, 302, pp.32-46. ⟨10.4204/EPTCS.302.3⟩

Article dans une revue hal-02303148v1
Deposit thumbnail

A Survey of Active Object Languages

Frank de Boer , Vlad Serbanescu , Reiner Hähnle , Ludovic Henrio , Justine Rochas et al.

ACM Computing Surveys, 2017, 50 (5), pp.1 - 39. ⟨10.1145/3122848⟩

Article dans une revue hal-01627936v1
Deposit thumbnail

Behavioural semantics for asynchronous components

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

Journal of Logical and Algebraic Methods in Programming, 2017, 89, pp.1 - 40. ⟨10.1016/j.jlamp.2017.02.003⟩

Article dans une revue hal-01526055v1

Multiactive objects and their applications

Ludovic Henrio , Justine Rochas

Logical Methods in Computer Science, 2017

Article dans une revue hal-01669338v1
Deposit thumbnail

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

Frédéric Lemoine , Tatiana Aubonnet , Ludovic Henrio , Soumia Kessal , Eric Madelaine et al.

EAI Endorsed Transactions on Cloud Systems, 2017, 3 (9), pp.1 - 15. ⟨10.4108/eai.28-6-2017.152754⟩

Article dans une revue hal-01582593v1
Deposit thumbnail

Reconfigurable Applications Using GCMScript

Matías Ibañez , Cristian Ruz , Ludovic Henrio , Javier Bustos-Jiménez

IEEE Cloud Computing, 2016

Article dans une revue hal-01302467v1
Deposit thumbnail

Management of service composition based on self-controlled components

Tatiana Aubonnet , Ludovic Henrio , Soumia Kessal , Oleksandra Kulankhina , Frédéric Lemoine et al.

Journal of Internet Services and Applications, 2015, 6 (15), pp.17. ⟨10.1186/s13174-015-0031-7⟩

Article dans une revue hal-01180627v1
Deposit thumbnail

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

Françoise Baude , Ludovic Henrio , Cristian Ruz

Software: Practice and Experience, 2014

Article dans une revue hal-01001043v1

Behavioural models for distributed Fractal components

Tomás Barros , Rabéa Ameur-Boulifa , Antonio Cansado , Ludovic Henrio , Eric Madelaine

Annals of Telecommunications - annales des télécommunications, 2009, 64 (1-2), pp.25-43. ⟨10.1007/s12243-008-0069-7⟩

Article dans une revue hal-02904822v1
Deposit thumbnail

GCM: A Grid Extension to Fractal for Autonomous Distributed Components

Françoise Baude , Denis Caromel , Cédric Dalmasso , Marco Danelutto , Vladimir Getov et al.

Annals of Telecommunications - annales des télécommunications, 2008

Article dans une revue inria-00323919v1
Deposit thumbnail

Layers of Confluence for Actors

Ludovic Henrio , Einar Broch Johnsen , Åsmund Aqissiaq Arild Kløvstad , Violet Ka I Pun , Yannick Zakowski

CPP 2026 - Certified Programs and Proofs, Jan 2026, Rennes, France. ⟨10.1145/3779031.3779104⟩

Communication dans un congrès hal-05424264v1
Deposit thumbnail

Monadic Interpreters for Concurrent Memory Models: Executable Semantics of a Concurrent Subset of LLVM IR

Nicolas Chappe , Ludovic Henrio , Yannick Zakowski

CPP '25: 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2025, Denver CO USA, France. pp.283-298, ⟨10.1145/3703595.3705890⟩

Communication dans un congrès hal-04594073v2
Deposit thumbnail

A Transistor Level Relational Semantics for Electrical Rule Checking by SMT Solving

Oussama Oulkaid , Bruno Ferres , Matthieu Moy , Pascal Raymond , Mehdi Khosravian et al.

Design, Automation and Test in Europe Conference, Mar 2024, Valencia, Spain. pp.1-6, ⟨10.23919/DATE58400.2024.10546537⟩

Communication dans un congrès hal-04527225v1
Deposit thumbnail

Distributed Actors in OCaml

Wenke Du , Ludovic Henrio , Gabriel Radanne

OCaml Workshop, Sep 2024, Milan, Italy

Communication dans un congrès hal-04794441v1
Deposit thumbnail

Tail Modulo Async/Await - Extended Abstract

Vivien Gachet , Ludovic Henrio , Gabriel Radanne

FPROPER 2024 - 1st ACM SIGPLAN Workshop on Functional Programming for Productivity and Performance, Sep 2024, Milan, Italy

Communication dans un congrès hal-04794434v1
Deposit thumbnail

Refinements for Open Automata

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

SEFM 2023 - Software Engineering and Formal Methods, Nov 2023, Eindhoven, Netherlands. pp.11-29, ⟨10.1007/978-3-031-47115-5_2⟩

Communication dans un congrès hal-04271300v1
Deposit thumbnail

Formalising Futures and Promises in Viper

Cinzia Giusto , Loïc Germerie Guizouarn , Ludovic Henrio , Etienne Lozes

JFLA 2022 - 33èmes Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France. pp.165-183

Communication dans un congrès hal-03626843v1
Deposit thumbnail

Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory

Bruno Ferres , Oussama Oulkaid , Ludovic Henrio , M. Khosravian G. , Matthieu Moy et al.

DATE 2023 - Design, Automation and Test in Europe Conference, Apr 2023, Anvers (Antwerpen), Belgium. pp.1-2, ⟨10.23919/DATE56975.2023.10137147⟩

Communication dans un congrès hal-04007446v1
Deposit thumbnail

Promise Plus: Flexible Synchronization for Parallel Computations on Arrays

Amaury Maillé , Ludovic Henrio , Matthieu Moy

FSEN 2021 - 9th IPM International Conference on Fundamentals of Software Engineering, May 2021, Tehran, Iran. pp.1-7, ⟨10.1007/978-3-030-89247-0_13⟩

Communication dans un congrès hal-03143269v1
Deposit thumbnail

S4BXI: the MPI-ready Portals 4 Simulator

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

MASCOTS 2021 - 29th IEEE International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, Nov 2021, Houston, United States. pp.1-8, ⟨10.1109/MASCOTS53633.2021.9614285⟩

Communication dans un congrès hal-03366573v1
Deposit thumbnail

Active Objects with Deterministic Behaviour

Ludovic Henrio , Einar Broch Johnsen , Violet Ka I. Pun

Integrated Formal Methods. IFM 2020, Nov 2020, Lugano, Switzerland. pp.181-198, ⟨10.1007/978-3-030-63461-2_10⟩

Communication dans un congrès hal-03008405v1
Deposit thumbnail

Simulation of the Portals 4 protocol, and case study on the BXI interconnect

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

HPCS 2020 - International Conference on High Performance Computing & Simulation, Dec 2020, Barcelona, Spain. pp.1-8

Communication dans un congrès hal-02972297v1
Deposit thumbnail

Distributed futures for efficient data transfer between parallel processes

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

SAC 2020 - 35th ACM/SIGAPP Symposium On Applied Computing, Mar 2020, Brno, Czech Republic. ⟨10.1145/3341105.3374104⟩

Communication dans un congrès hal-02417953v1
Deposit thumbnail

Verification of concurrent design patterns with data

Simon Bliudze , Ludovic Henrio , Eric Madelaine

COORDINATION 2019 - 21st International Conference on Coordination Models and Languages, Jun 2019, Kongens Lyngby, Denmark. pp.161-181, ⟨10.1007/978-3-030-22397-7_10⟩

Communication dans un congrès hal-02143782v1

On Reachability in Parameterized Phaser Programs

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

TACAS 2019 - 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2019, Prague, Czech Republic. pp.299-315, ⟨10.1007/978-3-030-17462-0_17⟩

Communication dans un congrès hal-02061520v1
Deposit thumbnail

Godot: All the Benefits of Implicit and Explicit Futures

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

ECOOP 2019 - 33rd European Conference on Object-Oriented Programming, Jul 2019, London, United Kingdom. pp.1-28

Communication dans un congrès hal-02302214v1

Active objects for coordinating BSP computations (short paper)

Ludovic Henrio

20th IFIP WG 6.1 International Conference, COORDINATION 2018, held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Jun 2018, madrid, Spain

Communication dans un congrès hal-01813178v1
Deposit thumbnail

Ensuring Memory Consistency in Heterogeneous Systems Based on Access Mode Declarations

Ludovic Henrio , C Kessler , Lu Li

5th International Symposium on Formal Approaches to Parallel and Distributed Systems, as part of The 16th International Conference on High Performance Computing & Simulation (HPCS 2018), Frédéric Loulergue; Jean-Michel Couvreur, Jul 2018, Orléans, France

Communication dans un congrès hal-01813273v1
Deposit thumbnail

Active Objects for Coordinating BSP Computations (Short Paper)

Gaetan Hains , Ludovic Henrio , Pierre Leca , Wijnand Suijlen

20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.220-230, ⟨10.1007/978-3-319-92408-3_10⟩

Communication dans un congrès hal-01821487v1
Deposit thumbnail

Analysis of Synchronisations in Stateful Active Objects

Ludovic Henrio , Cosimo Laneve , Vincenzo Mastandrea

IFM 2017 - 13th International Conference on Integrated Formal Methods, Sep 2017, Torino, France. ⟨10.1007/978-3-540-74792-5_5⟩

Communication dans un congrès hal-01627866v1
Deposit thumbnail

Trustable Virtual Machine Scheduling in a Cloud

Fabien Hermenier , Ludovic Henrio

Proceedings of the 2017 Symposium on Cloud Computing. SoCC '17., Sep 2017, Santa Clara, United States. pp.12, ⟨10.1145/3127479.3128608⟩

Communication dans un congrès hal-01627906v1
Deposit thumbnail

A Theory for the Composition of Concurrent Processes

Ludovic Henrio , Eric Madelaine , Min Zhang

36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.175-194, ⟨10.1007/978-3-319-39570-8_12⟩

Communication dans un congrès hal-01432917v1
Deposit thumbnail

Actors may synchronize, safely! *

Elena Giachino , Ludovic Henrio , Cosimo Laneve , Vincenzo Mastandrea

PPDP 2016 18th International Symposium on Principles and Practice of Declarative Programming , Sep 2016, Edinburgh, United Kingdom

Communication dans un congrès hal-01345315v1
Deposit thumbnail

From Modelling to Systematic Deployment of Distributed Active Objects

Ludovic Henrio , Justine Rochas

18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.208-226, ⟨10.1007/978-3-319-39519-7_13⟩

Communication dans un congrès hal-01305474v1
Deposit thumbnail

Integrated Environment for Verifying and Running Distributed Components

Ludovic Henrio , Oleksandra Kulankhina , Siqi Li , Eric Madelaine

Fundamental Approaches to Software Engineering, Perdita Stevens; Andrzej Wąsowski, Apr 2016, Eindhoven, Netherlands. pp.66-83, ⟨10.1007/978-3-662-49665-7_5⟩

Communication dans un congrès hal-01303557v1
Deposit thumbnail

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

Nuno Gaspar , Ludovic Henrio , Eric Madelaine

6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.259-274, ⟨10.1007/978-3-319-24644-4_18⟩

Communication dans un congrès hal-01168757v2
Deposit thumbnail

pNets: an Expressive Model for Parameterised Networks of Processes

Ludovic Henrio , Eric Madelaine , Min Zhang

Formal Approaches to Parallel and Distributed Systems (4PAD)-Special Session of Parallel, Distributed and network-based Processing (PDP), 2015, Turku, Finland

Communication dans un congrès hal-01139432v1
Deposit thumbnail

Self-Configuration and Self-Optimization Autonomic Skeletons using Events

Gustavo Pabon , Ludovic Henrio

Programming Models and Applications for Multicores and Manycores, Feb 2014, Orlando, United States. ⟨10.1145/2560683.2560699⟩

Communication dans un congrès hal-00944294v1
Deposit thumbnail

Declarative Scheduling for Active Objects

Ludovic Henrio , Justine Rochas

SAC 2014 - 29th Symposium On Applied Computing, ACM Special Interest Group on Applied Computing, Mar 2014, Gyeongju, South Korea. pp.1-6

Communication dans un congrès hal-00916293v1
Deposit thumbnail

Verifying the correct composition of distributed components: Formalisation and Tool

Ludovic Henrio , Oleksandra Kulankhina , Dongqian Liu , Eric Madelaine

FOCLASA, Sep 2014, Rome, Italy

Communication dans un congrès hal-01055370v1
Deposit thumbnail

Multi-threaded Active Objects

Ludovic Henrio , Fabrice Huet , Zsolt István

15th International Conference on Coordination Models and Languages (COORDINATION), Jun 2013, Florence, Italy. pp.90-104, ⟨10.1007/978-3-642-38493-6_7⟩

Communication dans un congrès hal-01486037v1
Deposit thumbnail

Bringing Coq Into the World of GCM Distributed Applications

Nuno Gaspar , Ludovic Henrio , Eric Madelaine

International Symposium on High-level Parallel Programming and Applications&, HLPP, Jul 2013, Paris, France

Communication dans un congrès hal-00880533v1
Deposit thumbnail

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

Nuno Gaspar , Ludovic Henrio , Eric Madelaine

The 10th International Symposium on Formal Aspects of Component Software, Oct 2013, Nanchang, China

Communication dans un congrès hal-00916115v1
Deposit thumbnail

Behavioural Verification of Distributed Components

Ludovic Henrio , Eric Madelaine

ICE 2013, Jun 2013, Florence, Italy

Communication dans un congrès hal-00850025v1

Broadcast Algorithms for CAN: Design and Mechanisation

Francesco Bongiovanni , Ludovic Henrio

Cinquièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, Apr 2013, Nancy, France

Communication dans un congrès hal-00916102v1
Deposit thumbnail

A Mechanized Model for CAN Protocols

Francesco Bongiovanni , Ludovic Henrio

16th International Conference on Fundamental Approaches to Software Engineering (FASE'13), Mar 2013, Rome, Italy

Communication dans un congrès hal-00802006v1
Deposit thumbnail

An Optimal Broadcast Algorithm for Content-Addressable Networks

Ludovic Henrio , Fabrice Huet , Justine Rochas

OPODIS 2013 - International Conference on Principles of DIstributed Systems, Inria, Dec 2013, Nice, France. pp.176-190, ⟨10.1007/978-3-319-03850-6_13⟩

Communication dans un congrès hal-00916301v1
Deposit thumbnail

Multi-threaded Active Objects

Ludovic Henrio , Fabrice Huet , Zsolt István

COORDINATION 2013, Jun 2013, Firenze, Italy

Communication dans un congrès hal-00818482v1

Verifying Safety of Fault-Tolerant Distributed Components

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

Formal Aspects of Component Software - 8th International Symposium, FACS 2011, Sep 2011, Oslo, Norway. pp.278--295, ⟨10.1007/978-3-642-35743-5_17⟩

Communication dans un congrès hal-02989105v1
Deposit thumbnail

Adapting Active Objects to Multicore Architectures

Ludovic Henrio , Fabrice Huet , Zsolt István , Gheorghen Sebestyén

ISPDC, Jul 2011, Cluj, Romania. ⟨10.1109/ISPDC.2011.16⟩

Communication dans un congrès hal-00644169v1
Deposit thumbnail

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

Ludovic Henrio , Muhammad Uzair Khan

7th International Workshop on Formal Engineering approaches to Software Components and Architectures, Mar 2010, Paphos, Cyprus. pp.1-20

Communication dans un congrès inria-00462325v1
Deposit thumbnail

First Class Futures: Specification and implementation of Update Strategies

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

CoreGRID/ERCIM Workshop on Grids, Clouds and P2P Computing, Aug 2010, Ischia - Naples, Italy

Communication dans un congrès inria-00544594v1
Deposit thumbnail

Experiments with distributed Model-Checking of group-based applications

Ludovic Henrio , Eric Madelaine

Sophia-Antipolis Formal Analysis Workshop, Oct 2010, Sophia-Antipolis, France. 3p

Communication dans un congrès inria-00538499v1
Deposit thumbnail

Behavioural models for group communications

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

Int. Workshop on Components and Service Interoperability (WCSI), Jun 2010, Malaga, Spain. 15 p

Communication dans un congrès inria-00493692v1
Deposit thumbnail

Exceptions for Algorithmic Skeletons

Mario Leyton , Ludovic Henrio , José Piquer

16th Int. European Conference on Parallel and Distributed Computing (Euro-Par 2010), 2010, Italy

Communication dans un congrès hal-00486108v1
Deposit thumbnail

A Framework for Reasoning on Component Composition

Ludovic Henrio , Florian Kammüller , Muhammad Uzair Khan

FMCO, Nov 2009, Eindhoven, Netherlands

Communication dans un congrès inria-00490380v1
Deposit thumbnail

An Asynchronous Distributed Component Model and Its Semantics

Ludovic Henrio , Florian Kammüller , Marcela Rivera

FMCO - 08, 2008, Sophia antiopolis, France

Communication dans un congrès inria-00435145v1
Deposit thumbnail

Functional Active Objects: Typing and Formalisation

Ludovic Henrio , Florian Kammüller

Foundations of Coordination Languages and Software Architectures (FOCLASA'09), 2010, France. pp.83-101

Communication dans un congrès hal-00485759v1
Deposit thumbnail

Unifying Architectural and Behavioural Specifications of Distributed Components

Antonio Cansado , Ludovic Henrio , Eric Madelaine

5th workshop on Formal Aspects of Component Systems, Sep 2008, Málaga, Spain

Communication dans un congrès inria-00311516v1
Deposit thumbnail

Transparent First-class Futures and Distributed Components

Antonio Cansado , Ludovic Henrio , Eric Madelaine

5th workshop on Formal Aspects of Component Systems, Sep 2008, Málaga, Spain

Communication dans un congrès inria-00311515v1
Deposit thumbnail

A Mechanized Model of the Theory of Objects

Ludovic Henrio , Florian Kammüller

9th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), Jun 2007, CYPRUS

Communication dans un congrès inria-00150272v1
Deposit thumbnail

Garbage Collecting the Grid: A Complete DGC for Activities

Denis Caromel , Guillaume Chazarain , Ludovic Henrio

Middleware 2007- ACM/IFIP/USENIX 8th International Middleware Conference,, Nov 2007, Newport Beach, United States

Communication dans un congrès inria-00180150v1
Deposit thumbnail

A Component Platform for Experimenting with Autonomic Composition

Françoise Baude , Ludovic Henrio , Paul Naoumenko

First International Conference on Autonomic Computing and Communication Systems (Autonomics 2007), Oct 2007, Rome, Italy

Communication dans un congrès inria-00178365v1
Deposit thumbnail

Asynchonous Distributed Components: Concurrency and Determinacy

Denis Caromel , Ludovic Henrio

Theoretical Computer Science 2006 (IFIP TCS'06), 2006, Santiago, Chile

Communication dans un congrès inria-00122924v1
Deposit thumbnail

A Fault Tolerant and Multi-Paradigm Grid Architecture for Time Constrained Problems. Application to Financial Option Pricing

Sébastien Bezinne , Virginie Galtier , Stéphane Vialle , Françoise Baude , Mireille Bossy et al.

2nd IEEE International Conference on e-Science and Grid Computing - e-science'06, S. Kawata, Dec 2006, Amsterdam, Netherlands. pp.49, ⟨10.1109/E-SCIENCE.2006.261133⟩

Communication dans un congrès inria-00121828v1
Deposit thumbnail

Secured Information Flow for Asynchronous Sequential Processes

Isabelle Attali , Denis Caromel , Ludovic Henrio , Felipe Luna

3rd International Workshop on Security Issues in Concurrency (SecCo'05), Aug 2005, San Francisco, USA

Communication dans un congrès inria-00122937v1
Deposit thumbnail

Verification of Distributed Hierarchical Components

Tomás Barros , Ludovic Henrio , Eric Madelaine

International Workshop on Formal Aspects of Component Software (FACS'05), 2005, Macao

Communication dans un congrès inria-00122926v1
Deposit thumbnail

Behavioural Models for Hierarchical Components

Tomás Barros , Ludovic Henrio , Eric Madelaine

SPIN'05, 2005, San Francisco, USA

Communication dans un congrès inria-00122933v1
Deposit thumbnail

Active Objects based on Algebraic Effects

Martin Andrieux , Ludovic Henrio , Gabriel Radanne

Active Object Languages: Current Research Trends, 14360, pp.3-36, 2024, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-51060-1_1⟩

Chapitre d'ouvrage hal-04388798v1
Deposit thumbnail

MTrees : Mixing monadic effects and Labelled Transition Systems in Rocq

Théa Hervier , Yannick Zakowski , Ludovic Henrio

ENS de Lyon. 2025

Rapport hal-05140642v1
Deposit thumbnail

Refinements for Open Automata (Extended Version)

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

RR-9517, Inria - Research Centre Grenoble – Rhône-Alpes. 2023

Rapport (rapport de recherche) hal-04193421v1
Deposit thumbnail

Data-flow Explicit Futures

Ludovic Henrio

[Research Report] I3S, Université Côte d'Azur. 2018

Rapport (rapport de recherche) hal-01758734v1
Deposit thumbnail

Analysis of synchronisation patterns in stateful active objects

Ludovic Henrio , Cosimo Laneve , Vincenzo Mastandrea

[Research Report] I3S; Inria - Sophia antipolis. 2017

Rapport (rapport de recherche) hal-01542595v1
Deposit thumbnail

Multi-active Objects and their Applications (extended version).

Ludovic Henrio , Justine Rochas

[Research Report] I3S. 2017

Rapport (rapport de recherche) hal-01627709v1
Deposit thumbnail

A Theory for the Composition of Concurrent Processes -Extended version

Ludovic Henrio , Eric Madelaine , Min Zhang

[Research Report] RR-8898, INRIA Sophia Antipolis - I3S. 2016, pp.23

Rapport (rapport de recherche) hal-01299562v1
Deposit thumbnail

From Modelling to Systematic Deployment of Distributed Active Objects – Extended Version

Ludovic Henrio , Justine Rochas

[Research Report] I3S. 2016

Rapport (rapport de recherche) hal-01299817v1
Deposit thumbnail

Livrable D1.2.2 - Modèle avancé QoS-aware

Tatiana Aubonnet , Ludovic Henrio , Frédéric Lemoine , Eric Madelaine , Noëmie Simoni

[Research Report] Conservatoire national des arts et métiers - CNAM. 2015

Rapport (rapport de recherche) hal-02470650v1
Deposit thumbnail

Integrated environment for verifying and running distributed components -Extended version

Ludovic Henrio , Oleksandra Kulankhina , Siqi Li , Eric Madelaine

[Research Report] RR-8841, INRIA Sophia-Antipolis. 2015, pp.24

Rapport (rapport de recherche) hal-01252323v1
Deposit thumbnail

A ProActive Backend for ABS: from Modelling to Deployment

Justine Rochas , Ludovic Henrio

[Research Report] RR-8596, INRIA. 2014

Rapport (rapport de recherche) hal-01065072v1

Modèle logique avancé (plateforme OpenCloudware).

Tatiana Aubonnet , Inès Ayadi , Ludovic Henrio , Yousri Kouki , Thomas Ledoux et al.

[Research Report] CEDRIC-14-3102, CEDRIC Lab/CNAM. 2014

Rapport (rapport de recherche) hal-01126484v1
Deposit thumbnail

pNets: an Expressive Model for Parameterised Networks of Processes (Extended Version)

Ludovic Henrio , Eric Madelaine , Min Zhang

[Research Report] RR-8579, INRIA. 2014, pp.23

Rapport (rapport de recherche) hal-01055091v2
Deposit thumbnail

An Optimal Broadcast Algorithm for Content-Addressable Networks -- Extended Version

Ludovic Henrio , Fabrice Huet , Justine Rochas

[Research Report] RR-8375, INRIA. 2013

Rapport (rapport de recherche) hal-00866228v2

Modèle logique avancé - version V1

Tatiana Aubonnet , Eric Madelaine , Ludovic Henrio , Thomas Ledoux , Yousri Kouki et al.

[Rapport de recherche] CEDRIC-13-2871, CEDRIC Lab/CNAM. 2013

Rapport (rapport de recherche) hal-01126329v1
Deposit thumbnail

Behavioural Semantics for Asynchronous Components

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

[Research Report] RR-8167, INRIA. 2012, pp.58

Rapport (rapport de recherche) hal-00761073v1
Deposit thumbnail

A Language for Multi-threaded Active Objects

Ludovic Henrio , Fabrice Huet , Zsolt István

[Research Report] RR-8021, INRIA. 2012

Rapport (rapport de recherche) hal-00720012v2
Deposit thumbnail

Verifying Safety of Fault-Tolerant Distributed Components -- Extended Version

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

[Research Report] RR-7717, INRIA. 2011, pp.31

Rapport (rapport de recherche) inria-00621264v1
Deposit thumbnail

Mechanical Support for Efficient Dissemination on the CAN Overlay Network

Francesco Bongiovanni , Ludovic Henrio

[Research Report] RR-7599, INRIA. 2011

Rapport (rapport de recherche) inria-00585057v1
Deposit thumbnail

A Reconfiguration Framework for Distributed Components

Boutheina Bennour , Ludovic Henrio , Marcela Rivera

[Research Report] RR-6911, INRIA. 2009

Rapport (rapport de recherche) inria-00379268v1
Deposit thumbnail

First Class Futures: a Study of Update Strategies

Muhammad Uzair Khan , Ludovic Henrio

[Research Report] RR-7113, INRIA. 2009

Rapport (rapport de recherche) inria-00435573v1
Deposit thumbnail

Behavioural Models for Distributed Fractal Components

Tomás Barros , Rabea Boulifa , Antonio Cansado , Ludovic Henrio , Eric Madelaine

[Research Report] RR-6491, INRIA. 2008, pp.27

Rapport (rapport de recherche) inria-00268965v2
Deposit thumbnail

An algorithm for safely stopping a component system

Ludovic Henrio , Marcela Rivera

[Research Report] RR-6444, INRIA. 2008, pp.18

Rapport (rapport de recherche) inria-00239449v2
Deposit thumbnail

ASPfun: A Functional and Distributed Object Calculus Semantics, Type-system, and Formalization

Ludovic Henrio , Florian Kammüller , Henry Sudhof

[Research Report] RR-6353, INRIA. 2007, pp.18

Rapport (rapport de recherche) inria-00186963v2
Deposit thumbnail

Behavioural Models for Hierarchical Components

Tomás Barros , Ludovic Henrio , Eric Madelaine

[Research Report] RR-5591, INRIA. 2006, pp.33

Rapport (rapport de recherche) inria-00070416v1
Deposit thumbnail

Promised Consistency for Rollback Recovery

Denis Caromel , Christian Delbé , Ludovic Henrio

[Research Report] RR-5902, INRIA. 2006

Rapport (rapport de recherche) inria-00071365v1
Deposit thumbnail

A Formalization of the Theory of Objects in Isabelle/HOL

Ludovic Henrio , Florian Kammüller

[Research Report] RR-6079, INRIA. 2006, pp.17

Rapport (rapport de recherche) inria-00121816v2
Deposit thumbnail

A Fault Tolerance protocol for ASP calculus: Design and Proof

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

[Research Report] RR-5246, INRIA. 2004, pp.37

Rapport (rapport de recherche) inria-00070752v1
Deposit thumbnail

Implementation and Complexity of the Lowest Static Reduction

Ludovic Henrio , Bernard Paul Serpette , Szabolcs Szentes

RR-5034, INRIA. 2003

Rapport inria-00071550v1
Deposit thumbnail

Asynchronous Sequential Processes

Denis Caromel , Ludovic Henrio

[Research Report] RR-4753, INRIA. 2003

Rapport (rapport de recherche) inria-00071834v1
Deposit thumbnail

Calcul d'objet asynchrone : confluence et déterminisme

Ludovic Henrio

Modélisation et simulation. Université Nice Sophia Antipolis, 2003. Français. ⟨NNT : ⟩

Thèse tel-00505940v1
Deposit thumbnail

Formal Models for Programming and Composing Correct Distributed Systems

Ludovic Henrio

Programming Languages [cs.PL]. Université Nice Sophia Antipolis, 2012

HDR tel-00720022v1