Ludovic Henrio

108
Documents

Publications

Publications

Image document

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

Hélène Coullon , Ludovic Henrio , Frédéric Loulergue , Simon Robillard
ACM Computing Surveys, 2024, 56 (1), pp.1-37. ⟨10.1145/3595376⟩
Article dans une revue hal-04067909 v1
Image document

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-04732946 v1
Image document

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-04372450 v1
Image document

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-03886910 v1
Image document

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-03894031 v2
Image document

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-03828497 v1
Image document

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-03440766 v1
Image document

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-02331964 v1

Pourquoi créer des nouveaux langages de programmation ?

Ludovic Henrio
Interstices, 2019
Article dans une revue hal-02008111 v1
Image document

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-02303148 v1
Image document

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-01627936 v1
Image document

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-01526055 v1
Image document

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-01582593 v1

Multiactive objects and their applications

Ludovic Henrio , Justine Rochas
Logical Methods in Computer Science, 2017
Article dans une revue hal-01669338 v1
Image document

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-01302467 v1
Image document

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-01180627 v1
Image document

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-01001043 v1

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-02904822 v1
Image document

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-00323919 v1
Image document

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-04594073 v2
Image document

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-04527225 v1
Image document

Distributed Actors in OCaml

Wenke Du , Ludovic Henrio , Gabriel Radanne
OCaml Workshop, Sep 2024, Milan, Italy
Communication dans un congrès hal-04794441 v1
Image document

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-04794434 v1
Image document

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-04271300 v1
Image document

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-03626843 v1
Image document

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-04007446 v1
Image document

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-03143269 v1
Image document

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-03366573 v1
Image document

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-03008405 v1
Image document

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-02972297 v1
Image document

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-02417953 v1
Image document

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-02143782 v1

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-02061520 v1
Image document

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-02302214 v1

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-01813178 v1
Image document

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-01813273 v1
Image document

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-01821487 v1
Image document

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-01627906 v1
Image document

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-01627866 v1
Image document

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-01432917 v1
Image document

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-01345315 v1
Image document

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-01305474 v1
Image document

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-01303557 v1
Image document

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-01168757 v2
Image document

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-01139432 v1
Image document

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-00916293 v1
Image document

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-00944294 v1
Image document

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-01055370 v1
Image document

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-00916115 v1
Image document

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-00880533 v1
Image document

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-01486037 v1
Image document

Behavioural Verification of Distributed Components

Ludovic Henrio , Eric Madelaine
ICE 2013, Jun 2013, Florence, Italy
Communication dans un congrès hal-00850025 v1

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-00916102 v1
Image document

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-00802006 v1
Image document

Multi-threaded Active Objects

Ludovic Henrio , Fabrice Huet , Zsolt István
COORDINATION 2013, Jun 2013, Firenze, Italy
Communication dans un congrès hal-00818482 v1
Image document

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-00916301 v1

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-02989105 v1
Image document

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-00644169 v1
Image document

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-00493692 v1
Image document

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-00486108 v1
Image document

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-00538499 v1
Image document

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-00462325 v1
Image document

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-00544594 v1
Image document

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-00490380 v1
Image document

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-00435145 v1
Image document

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-00485759 v1
Image document

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-00311516 v1
Image document

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-00311515 v1
Image document

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-00150272 v1
Image document

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-00180150 v1
Image document

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-00178365 v1
Image document

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-00122924 v1
Image document

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-00121828 v1
Image document

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-00122937 v1
Image document

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-00122926 v1
Image document

Behavioural Models for Hierarchical Components

Tomás Barros , Ludovic Henrio , Eric Madelaine
SPIN'05, 2005, San Francisco, USA
Communication dans un congrès inria-00122933 v1
Image document

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-04388798 v1
Image document

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-04193421 v1
Image document

Data-flow Explicit Futures

Ludovic Henrio
[Research Report] I3S, Université Côte d'Azur. 2018
Rapport (rapport de recherche) hal-01758734 v1
Image document

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

Ludovic Henrio , Justine Rochas
[Research Report] I3S. 2017
Rapport (rapport de recherche) hal-01627709 v1
Image document

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-01542595 v1
Image document

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-01299562 v1
Image document

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

Ludovic Henrio , Justine Rochas
[Research Report] I3S. 2016
Rapport (rapport de recherche) hal-01299817 v1
Image document

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-01252323 v1
Image document

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-02470650 v1
Image document

A ProActive Backend for ABS: from Modelling to Deployment

Justine Rochas , Ludovic Henrio
[Research Report] RR-8596, INRIA. 2014
Rapport (rapport de recherche) hal-01065072 v1

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-01126484 v1
Image document

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-01055091 v2

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-01126329 v1
Image document

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-00866228 v2
Image document

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-00761073 v1
Image document

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-00720012 v2
Image document

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-00621264 v1
Image document

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-00585057 v1
Image document

A Reconfiguration Framework for Distributed Components

Boutheina Bennour , Ludovic Henrio , Marcela Rivera
[Research Report] RR-6911, INRIA. 2009
Rapport (rapport de recherche) inria-00379268 v1
Image document

First Class Futures: a Study of Update Strategies

Muhammad Uzair Khan , Ludovic Henrio
[Research Report] RR-7113, INRIA. 2009
Rapport (rapport de recherche) inria-00435573 v1
Image document

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-00268965 v2
Image document

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-00239449 v2
Image document

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-00186963 v2
Image document

Promised Consistency for Rollback Recovery

Denis Caromel , Christian Delbé , Ludovic Henrio
[Research Report] RR-5902, INRIA. 2006
Rapport (rapport de recherche) inria-00071365 v1
Image document

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-00070416 v1
Image document

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-00121816 v2
Image document

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-00070752 v1
Image document

Implementation and Complexity of the Lowest Static Reduction

Ludovic Henrio , Bernard Paul Serpette , Szabolcs Szentes
RR-5034, INRIA. 2003
Rapport inria-00071550 v1
Image document

Asynchronous Sequential Processes

Denis Caromel , Ludovic Henrio
[Research Report] RR-4753, INRIA. 2003
Rapport (rapport de recherche) inria-00071834 v1
Image document

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-00505940 v1
Image document

Formal Models for Programming and Composing Correct Distributed Systems

Ludovic Henrio
Programming Languages [cs.PL]. Université Nice Sophia Antipolis, 2012
HDR tel-00720022 v1