Ludovic Henrio

104

Documents

Publications

	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⟩ Journal articles hal-04067909v1
	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⟩ Journal articles hal-04372450v1
	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⟩ Journal articles hal-03886910v1
	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⟩ Journal articles hal-03894031v2
	A Survey on Parallelism and Determinism Laure Gonnord , Ludovic Henrio , Lionel Morel , Gabriel Radanne ACM Computing Surveys, 2022, ⟨10.1145/3564529⟩ Journal articles 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⟩ Journal articles 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⟩ Journal articles hal-02331964v1
	Pourquoi créer des nouveaux langages de programmation ? Ludovic Henrio Interstices, 2019 Journal articles 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⟩ Journal articles hal-02303148v1
	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⟩ Journal articles 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⟩ Journal articles hal-01526055v1
	Multiactive objects and their applications Ludovic Henrio , Justine Rochas Logical Methods in Computer Science, 2017 Journal articles hal-01669338v1
	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⟩ Journal articles hal-01582593v1
	Reconfigurable Applications Using GCMScript Matías Ibañez , Cristian Ruz , Ludovic Henrio , Javier Bustos-Jiménez IEEE Cloud Computing, 2016 Journal articles hal-01302467v1
	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⟩ Journal articles hal-01180627v1
	Programming distributed and adaptable autonomous components--the GCM/ProActive framework Françoise Baude , Ludovic Henrio , Cristian Ruz Software: Practice and Experience, 2014 Journal articles 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⟩ Journal articles hal-02904822v1
	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 Journal articles inria-00323919v1

	A Transistor Level Relational Semantics for Electrical Rule Checking by SMT Solving Oussama Oulkaid , Bruno Ferres , Matthieu Moy , Pascal Raymond , Mehdi Khosravian Design, Automation and Test in Europe Conference, Mar 2024, Valencia, Spain. pp.1-6, ⟨10.23919/DATE58400.2024.10546537⟩ Conference papers hal-04527225v1
	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⟩ Conference papers hal-04271300v1
	Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory Bruno Ferres , Oussama Oulkaid , Ludovic Henrio , M. Khosravian G. , Matthieu Moy DATE 2023 - Design, Automation and Test in Europe Conference, Apr 2023, Anvers (Antwerpen), Belgium. pp.1-2, ⟨10.23919/DATE56975.2023.10137147⟩ Conference papers hal-04007446v1
	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 Conference papers hal-03626843v1
	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⟩ Conference papers 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⟩ Conference papers 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⟩ Conference papers 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 Conference papers 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⟩ Conference papers hal-02417953v1
	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⟩ Conference papers hal-02061520v1
	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⟩ Conference papers hal-02143782v1
	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 Conference papers 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 Conference papers 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 Conference papers 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⟩ Conference papers hal-01821487v1
	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⟩ Conference papers hal-01627906v1
	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⟩ Conference papers hal-01627866v1
	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⟩ Conference papers 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 Conference papers hal-01345315v1
	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⟩ Conference papers hal-01303557v1
	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⟩ Conference papers hal-01305474v1
	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⟩ Conference papers 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 Conference papers 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⟩ Conference papers 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 Conference papers 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 Conference papers hal-01055370v1
	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 Conference papers hal-00916115v1
	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⟩ Conference papers hal-01486037v1
	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 Conference papers hal-00880533v1
	Behavioural Verification of Distributed Components Ludovic Henrio , Eric Madelaine ICE 2013, Jun 2013, Florence, Italy Conference papers hal-00850025v1
	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 Conference papers hal-00802006v1
	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 Conference papers hal-00916102v1
	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⟩ Conference papers hal-00916301v1
	Multi-threaded Active Objects Ludovic Henrio , Fabrice Huet , Zsolt István COORDINATION 2013, Jun 2013, Firenze, Italy Conference papers 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⟩ Conference papers 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⟩ Conference papers hal-00644169v1
	Experiments with distributed Model-Checking of group-based applications Ludovic Henrio , Eric Madelaine Sophia-Antipolis Formal Analysis Workshop, Oct 2010, Sophia-Antipolis, France. 3p Conference papers inria-00538499v1
	Exceptions for Algorithmic Skeletons Mario Leyton , Ludovic Henrio , José Piquer 16th Int. European Conference on Parallel and Distributed Computing (Euro-Par 2010), 2010, Italy Conference papers hal-00486108v1
	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 Conference papers inria-00493692v1
	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 Conference papers inria-00462325v1
	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 Conference papers inria-00544594v1
	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 Conference papers hal-00485759v1
	A Framework for Reasoning on Component Composition Ludovic Henrio , Florian Kammüller , Muhammad Uzair Khan FMCO, Nov 2009, Eindhoven, Netherlands Conference papers inria-00490380v1
	An Asynchronous Distributed Component Model and Its Semantics Ludovic Henrio , Florian Kammüller , Marcela Rivera FMCO - 08, 2008, Sophia antiopolis, France Conference papers inria-00435145v1
	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 Conference papers inria-00311515v1
	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 Conference papers inria-00311516v1
	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 Conference papers 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 Conference papers 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 Conference papers inria-00178365v1
	Asynchonous Distributed Components: Concurrency and Determinacy Denis Caromel , Ludovic Henrio Theoretical Computer Science 2006 (IFIP TCS'06), 2006, Santiago, Chile Conference papers 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 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⟩ Conference papers 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 Conference papers 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 Conference papers inria-00122926v1
	Behavioural Models for Hierarchical Components Tomás Barros , Ludovic Henrio , Eric Madelaine SPIN'05, 2005, San Francisco, USA Conference papers inria-00122933v1

	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⟩ Book sections hal-04388798v1

	A concurrency model based on monadic interpreters: executable semantics for a concurrent subset of LLVM IR Nicolas Chappe , Ludovic Henrio , Yannick Zakowski 2024 Preprints, Working Papers, ... hal-04594073v1

	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 Reports hal-04193421v1
	Data-flow Explicit Futures Ludovic Henrio [Research Report] I3S, Université Côte d'Azur. 2018 Reports hal-01758734v1
	Multi-active Objects and their Applications (extended version). Ludovic Henrio , Justine Rochas [Research Report] I3S. 2017 Reports hal-01627709v1
	Analysis of synchronisation patterns in stateful active objects Ludovic Henrio , Cosimo Laneve , Vincenzo Mastandrea [Research Report] I3S; Inria - Sophia antipolis. 2017 Reports hal-01542595v1
	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 Reports hal-01299562v1
	From Modelling to Systematic Deployment of Distributed Active Objects – Extended Version Ludovic Henrio , Justine Rochas [Research Report] I3S. 2016 Reports 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 Reports 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 Reports hal-01252323v1
	A ProActive Backend for ABS: from Modelling to Deployment Justine Rochas , Ludovic Henrio [Research Report] RR-8596, INRIA. 2014 Reports hal-01065072v1
	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 Reports hal-01055091v2
	Modèle logique avancé (plateforme OpenCloudware). Tatiana Aubonnet , Inès Ayadi , Ludovic Henrio , Yousri Kouki , Thomas Ledoux [Research Report] CEDRIC-14-3102, CEDRIC Lab/CNAM. 2014 Reports hal-01126484v1
	Modèle logique avancé - version V1 Tatiana Aubonnet , Eric Madelaine , Ludovic Henrio , Thomas Ledoux , Yousri Kouki [Rapport de recherche] CEDRIC-13-2871, CEDRIC Lab/CNAM. 2013 Reports hal-01126329v1
	An Optimal Broadcast Algorithm for Content-Addressable Networks -- Extended Version Ludovic Henrio , Fabrice Huet , Justine Rochas [Research Report] RR-8375, INRIA. 2013 Reports hal-00866228v2
	Behavioural Semantics for Asynchronous Components Rabéa Ameur-Boulifa , Ludovic Henrio , Eric Madelaine , Alexandra Savu [Research Report] RR-8167, INRIA. 2012, pp.58 Reports hal-00761073v1
	A Language for Multi-threaded Active Objects Ludovic Henrio , Fabrice Huet , Zsolt István [Research Report] RR-8021, INRIA. 2012 Reports 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 Reports inria-00621264v1
	Mechanical Support for Efﬁcient Dissemination on the CAN Overlay Network Francesco Bongiovanni , Ludovic Henrio [Research Report] RR-7599, INRIA. 2011 Reports inria-00585057v1
	First Class Futures: a Study of Update Strategies Muhammad Uzair Khan , Ludovic Henrio [Research Report] RR-7113, INRIA. 2009 Reports inria-00435573v1
	A Reconfiguration Framework for Distributed Components Boutheina Bennour , Ludovic Henrio , Marcela Rivera [Research Report] RR-6911, INRIA. 2009 Reports inria-00379268v1
	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 Reports inria-00268965v2
	An algorithm for safely stopping a component system Ludovic Henrio , Marcela Rivera [Research Report] RR-6444, INRIA. 2008, pp.18 Reports 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 Reports inria-00186963v2
	Promised Consistency for Rollback Recovery Denis Caromel , Christian Delbé , Ludovic Henrio [Research Report] RR-5902, INRIA. 2006 Reports inria-00071365v1
	Behavioural Models for Hierarchical Components Tomás Barros , Ludovic Henrio , Eric Madelaine [Research Report] RR-5591, INRIA. 2006, pp.33 Reports inria-00070416v1
	A Formalization of the Theory of Objects in Isabelle/HOL Ludovic Henrio , Florian Kammüller [Research Report] RR-6079, INRIA. 2006, pp.17 Reports 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 Reports inria-00070752v1
	Implementation and Complexity of the Lowest Static Reduction Ludovic Henrio , Bernard Paul Serpette , Szabolcs Szentes RR-5034, INRIA. 2003 Reports inria-00071550v1
	Asynchronous Sequential Processes Denis Caromel , Ludovic Henrio [Research Report] RR-4753, INRIA. 2003 Reports inria-00071834v1

	Calcul d'objet asynchrone : confluence et déterminisme Ludovic Henrio Modélisation et simulation. Université Nice Sophia Antipolis, 2003. Français. ⟨NNT : ⟩ Theses tel-00505940v1

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

Ludovic Henrio

Publications

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

Provably Fair Cooperative Scheduling

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

Compositional Equivalences Based on Open pNets

A Survey on Parallelism and Determinism

An Optimised Flow for Futures: From Theory to Practice

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

Pourquoi créer des nouveaux langages de programmation ?

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

A Survey of Active Object Languages

Behavioural semantics for asynchronous components

Multiactive objects and their applications

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

Reconfigurable Applications Using GCMScript

Management of service composition based on self-controlled components

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

Behavioural models for distributed Fractal components

GCM: A Grid Extension to Fractal for Autonomous Distributed Components

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

Refinements for Open Automata

Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory

Formalising Futures and Promises in Viper

Promise Plus: Flexible Synchronization for Parallel Computations on Arrays

S4BXI: the MPI-ready Portals 4 Simulator

Active Objects with Deterministic Behaviour

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

Distributed futures for efficient data transfer between parallel processes

On Reachability in Parameterized Phaser Programs

Verification of concurrent design patterns with data

Godot: All the Benefits of Implicit and Explicit Futures

Active objects for coordinating BSP computations (short paper)

Ensuring Memory Consistency in Heterogeneous Systems Based on Access Mode Declarations

Active Objects for Coordinating BSP Computations (Short Paper)

Trustable Virtual Machine Scheduling in a Cloud

Analysis of Synchronisations in Stateful Active Objects

A Theory for the Composition of Concurrent Processes

Actors may synchronize, safely! *

Integrated Environment for Verifying and Running Distributed Components

From Modelling to Systematic Deployment of Distributed Active Objects

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

pNets: an Expressive Model for Parameterised Networks of Processes

Self-Configuration and Self-Optimization Autonomic Skeletons using Events

Declarative Scheduling for Active Objects

Verifying the correct composition of distributed components: Formalisation and Tool

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

Multi-threaded Active Objects

Bringing Coq Into the World of GCM Distributed Applications

Behavioural Verification of Distributed Components

A Mechanized Model for CAN Protocols

Broadcast Algorithms for CAN: Design and Mechanisation

An Optimal Broadcast Algorithm for Content-Addressable Networks

Multi-threaded Active Objects

Verifying Safety of Fault-Tolerant Distributed Components

Adapting Active Objects to Multicore Architectures

Experiments with distributed Model-Checking of group-based applications

Exceptions for Algorithmic Skeletons

Behavioural models for group communications

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

First Class Futures: Speciﬁcation and implementation of Update Strategies

Functional Active Objects: Typing and Formalisation

A Framework for Reasoning on Component Composition

An Asynchronous Distributed Component Model and Its Semantics

Transparent First-class Futures and Distributed Components

Unifying Architectural and Behavioural Specifications of Distributed Components

A Mechanized Model of the Theory of Objects

Garbage Collecting the Grid: A Complete DGC for Activities

A Component Platform for Experimenting with Autonomic Composition

Asynchonous Distributed Components: Concurrency and Determinacy

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

Secured Information Flow for Asynchronous Sequential Processes

Verification of Distributed Hierarchical Components

Behavioural Models for Hierarchical Components

Active Objects based on Algebraic Effects

A concurrency model based on monadic interpreters: executable semantics for a concurrent subset of LLVM IR

Refinements for Open Automata (Extended Version)

Data-flow Explicit Futures

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

Analysis of synchronisation patterns in stateful active objects