Accéder directement au contenu

Ludovic Henrio

96
Documents

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-04067909v1
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-04372450v1
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-03886910v1
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-03894031v2
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-03828497v1
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-03440766v1
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-02331964v1

Pourquoi créer des nouveaux langages de programmation ?

Ludovic Henrio
Interstices, 2019
Article dans une revue hal-02008111v1
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-02303148v1
Image document

A Survey of Active Object Languages

Frank de Boer , Vlad Serbanescu , Reiner Hähnle , Ludovic Henrio , Justine Rochas
ACM Computing Surveys, 2017, 50 (5), pp.1 - 39. ⟨10.1145/3122848⟩
Article dans une revue hal-01627936v1
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
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

Multiactive objects and their applications

Ludovic Henrio , Justine Rochas
Logical Methods in Computer Science, 2017
Article dans une revue hal-01669338v1
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-01302467v1
Image document

Management of service composition based on self-controlled components

Tatiana Aubonnet , Ludovic Henrio , Soumia Kessal , Oleksandra Kulankhina , Frédéric Lemoine
Journal of Internet Services and Applications, 2015, 6 (15), pp.17. ⟨10.1186/s13174-015-0031-7⟩
Article dans une revue hal-01180627v1
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-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
Image document

GCM: A Grid Extension to Fractal for Autonomous Distributed Components

Françoise Baude , Denis Caromel , Cédric Dalmasso , Marco Danelutto , Vladimir Getov
Annals of Telecommunications - annales des télécommunications, 2008
Article dans une revue inria-00323919v1
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-04271300v1
Image document

Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory

Bruno Ferres , Oussama Oulkaid , Ludovic Henrio , Mehdi Khosravian , Matthieu Moy
DATE 2023 - Design, Automation and Test in Europe Conference, Apr 2023, Anvers (Antwerpen), Belgium
Communication dans un congrès hal-04007446v1
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-03626843v1
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-03143269v1
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-03366573v1
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-03008405v1
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-02972297v1
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-02417953v1
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-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
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-02302214v1
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-01821487v1
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-01813273v1

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
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-01627906v1
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-01627866v1
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-01432917v1
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-01345315v1
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-01168757v2
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-01139432v1
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-00944294v1
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-00916293v1
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-01055370v1
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-00916115v1
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-00802006v1
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-00880533v1
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-01486037v1
Image document

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

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
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-00538499v1
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-00486108v1
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-00493692v1
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-00462325v1
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-00544594v1
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-00485759v1
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-00490380v1
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-00435145v1
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-00311516v1
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-00311515v1
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-00150272v1
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-00180150v1
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-00178365v1
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-00122924v1
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
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
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-00122937v1
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-00122933v1
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-00122926v1
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 hal-04193421v1
Image document

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

Ludovic Henrio , Justine Rochas
[Research Report] I3S. 2017
Rapport hal-01627709v1
Image document

Analysis of synchronisation patterns in stateful active objects

Ludovic Henrio , Cosimo Laneve , Vincenzo Mastandrea
[Research Report] I3S; Inria - Sophia antipolis. 2017
Rapport hal-01542595v1
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 hal-01299562v1
Image document

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

Ludovic Henrio , Justine Rochas
[Research Report] I3S. 2016
Rapport hal-01299817v1
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 hal-01252323v1
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 hal-02470650v1
Image document

A ProActive Backend for ABS: from Modelling to Deployment

Justine Rochas , Ludovic Henrio
[Research Report] RR-8596, INRIA. 2014
Rapport hal-01065072v1
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 hal-01055091v2
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 hal-00866228v2
Image document

A Language for Multi-threaded Active Objects

Ludovic Henrio , Fabrice Huet , Zsolt István
[Research Report] RR-8021, INRIA. 2012
Rapport hal-00720012v2
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 hal-00761073v1
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 inria-00621264v1
Image document

Mechanical Support for Efficient Dissemination on the CAN Overlay Network

Francesco Bongiovanni , Ludovic Henrio
[Research Report] RR-7599, INRIA. 2011
Rapport inria-00585057v1
Image document

A Reconfiguration Framework for Distributed Components

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

First Class Futures: a Study of Update Strategies

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

An algorithm for safely stopping a component system

Ludovic Henrio , Marcela Rivera
[Research Report] RR-6444, INRIA. 2008, pp.18
Rapport inria-00239449v2
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 inria-00268965v2
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 inria-00186963v2
Image document

Promised Consistency for Rollback Recovery

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

Behavioural Models for Hierarchical Components

Tomás Barros , Ludovic Henrio , Eric Madelaine
[Research Report] RR-5591, INRIA. 2006, pp.33
Rapport inria-00070416v1
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 inria-00121816v2
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 inria-00070752v1
Image document

Implementation and Complexity of the Lowest Static Reduction

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

Asynchronous Sequential Processes

Denis Caromel , Ludovic Henrio
[Research Report] RR-4753, INRIA. 2003
Rapport inria-00071834v1
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-00505940v1
Image document

Formal Models for Programming and Composing Correct Distributed Systems

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