Ludovic Henrio

Publications

Article dans une revue (21)

A Survey on Transistor-Level Electrical Rule Checking of Integrated Circuits Bruno Ferres,Oussama Oulkaid,Matthieu Moy,Gabriel Radanne,Ludovic Henrioet al. ACM Transactions on Design Automation of Electronic Systems, 2025, ⟨10.1145/3748327⟩ Article dans une revue hal-05185119v1
Choice Trees: Representing and Reasoning About Nondeterministic, Recursive, and Impure Programs in Rocq Nicolas Chappe,Paul He,Ludovic Henrio,Eleftherios Ioannidis,Yannick Zakowskiet al. Journal of Functional Programming, 2025 Article dans une revue hal-05154458v2
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages Crystal Chang Din,Reiner Hähnle,Ludovic Henrio,Einar Broch Johnsen,Violet Ka I Punet al. ACM Transactions on Programming Languages and Systems (TOPLAS), 2024, 46 (1), pp.1 - 58. ⟨10.1145/3648439⟩ Article dans une revue hal-04732946v1
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
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
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
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
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
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
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
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
A Survey of Active Object Languages Frank de Boer,Vlad Serbanescu,Reiner Hähnle,Ludovic Henrio,Justine Rochaset al. ACM Computing Surveys, 2017, 50 (5), pp.1 - 39. ⟨10.1145/3122848⟩ Article dans une revue hal-01627936v1
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
Monitoring as-a-service to drive more efficient future system design Frédéric Lemoine,Tatiana Aubonnet,Ludovic Henrio,Soumia Kessal,Eric Madelaineet 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
Multiactive objects and their applications Ludovic Henrio,Justine Rochas Logical Methods in Computer Science, 2017 Article dans une revue hal-01669338v1
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
Management of service composition based on self-controlled components Tatiana Aubonnet,Ludovic Henrio,Soumia Kessal,Oleksandra Kulankhina,Frédéric Lemoineet al. Journal of Internet Services and Applications, 2015, 6 (15), pp.17. ⟨10.1186/s13174-015-0031-7⟩ Article dans une revue hal-01180627v1
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
GCM: A Grid Extension to Fractal for Autonomous Distributed Components Françoise Baude,Denis Caromel,Cédric Dalmasso,Marco Danelutto,Vladimir Getovet al. Annals of Telecommunications - annales des télécommunications, 2008 Article dans une revue inria-00323919v1

Communication dans un congrès (58)

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
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
A Transistor Level Relational Semantics for Electrical Rule Checking by SMT Solving Oussama Oulkaid,Bruno Ferres,Matthieu Moy,Pascal Raymond,Mehdi Khosravianet 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
Distributed Actors in OCaml Wenke Du,Ludovic Henrio,Gabriel Radanne OCaml Workshop, Sep 2024, Milan, Italy Communication dans un congrès hal-04794441v1
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
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
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
Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory Bruno Ferres,Oussama Oulkaid,Ludovic Henrio,M. Khosravian G.,Matthieu Moyet 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
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
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
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
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
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
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
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
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), Frédé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) 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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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 Cinquièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, Apr 2013, Nancy, France Communication dans un congrès hal-00916102v1
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
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
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
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
First Class Futures: Speciﬁcation 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
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
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
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
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
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
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
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
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
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
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
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
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
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
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 Bossyet 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
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
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
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

Chapitre d'ouvrage (1)

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

Pré-publication, Document de travail (1)

Tail Modulo Async-Await Emma Nardino,Ludovic Henrio,Gabriel Radanne,Yannick Zakowski 2025 Pré-publication, Document de travail hal-05006570v2

Rapport (29)

MTrees : Mixing monadic effects and Labelled Transition Systems in Rocq Théa Hervier,Yannick Zakowski,Ludovic Henrio ENS de Lyon. 2025 Rapport hal-05140642v1
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
Data-flow Explicit Futures Ludovic Henrio [Research Report] I3S, Université Côte d'Azur. 2018 Rapport (rapport de recherche) hal-01758734v1
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
Multi-active Objects and their Applications (extended version). Ludovic Henrio,Justine Rochas [Research Report] I3S. 2017 Rapport (rapport de recherche) hal-01627709v1
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
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
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
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
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 Ledouxet al. [Research Report] CEDRIC-14-3102, CEDRIC Lab/CNAM. 2014 Rapport (rapport de recherche) hal-01126484v1
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
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 Koukiet al. [Rapport de recherche] CEDRIC-13-2871, CEDRIC Lab/CNAM. 2013 Rapport (rapport de recherche) hal-01126329v1
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
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
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
Mechanical Support for Efﬁcient Dissemination on the CAN Overlay Network Francesco Bongiovanni,Ludovic Henrio [Research Report] RR-7599, INRIA. 2011 Rapport (rapport de recherche) inria-00585057v1
A Reconfiguration Framework for Distributed Components Boutheina Bennour,Ludovic Henrio,Marcela Rivera [Research Report] RR-6911, INRIA. 2009 Rapport (rapport de recherche) inria-00379268v1
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
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
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
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
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
Promised Consistency for Rollback Recovery Denis Caromel,Christian Delbé,Ludovic Henrio [Research Report] RR-5902, INRIA. 2006 Rapport (rapport de recherche) inria-00071365v1
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
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
Implementation and Complexity of the Lowest Static Reduction Ludovic Henrio,Bernard Paul Serpette,Szabolcs Szentes RR-5034, INRIA. 2003 Rapport inria-00071550v1
Asynchronous Sequential Processes Denis Caromel,Ludovic Henrio [Research Report] RR-4753, INRIA. 2003 Rapport (rapport de recherche) inria-00071834v1

Thèse (1)

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

HDR (1)

Formal Models for Programming and Composing Correct Distributed Systems Ludovic Henrio Programming Languages [cs.PL]. Université Nice Sophia Antipolis, 2012 HDR tel-00720022v1