Ludovic Henrio
Publications
Publications
|
|
Layers of Confluence for ActorsCPP 2026 - Certified Programs and Proofs, Jan 2026, Rennes, France. ⟨10.1145/3779031.3779104⟩ |
|
|
Monadic Interpreters for Concurrent Memory Models: Executable Semantics of a Concurrent Subset of LLVM IRCPP '25: 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2025, Denver CO USA, France. pp.283-298, ⟨10.1145/3703595.3705890⟩ |
|
|
A Transistor Level Relational Semantics for Electrical Rule Checking by SMT SolvingDesign, Automation and Test in Europe Conference, Mar 2024, Valencia, Spain. pp.1-6, ⟨10.23919/DATE58400.2024.10546537⟩ |
|
|
Distributed Actors in OCamlOCaml Workshop, Sep 2024, Milan, Italy |
|
|
Tail Modulo Async/Await - Extended AbstractFPROPER 2024 - 1st ACM SIGPLAN Workshop on Functional Programming for Productivity and Performance, Sep 2024, Milan, Italy |
|
|
Refinements for Open AutomataSEFM 2023 - Software Engineering and Formal Methods, Nov 2023, Eindhoven, Netherlands. pp.11-29, ⟨10.1007/978-3-031-47115-5_2⟩ |
|
|
Formalising Futures and Promises in ViperJFLA 2022 - 33èmes Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France. pp.165-183 |
|
|
Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo TheoryDATE 2023 - Design, Automation and Test in Europe Conference, Apr 2023, Anvers (Antwerpen), Belgium. pp.1-2, ⟨10.23919/DATE56975.2023.10137147⟩ |
|
|
Promise Plus: Flexible Synchronization for Parallel Computations on ArraysFSEN 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⟩ |
|
|
S4BXI: the MPI-ready Portals 4 SimulatorMASCOTS 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⟩ |
|
|
Active Objects with Deterministic BehaviourIntegrated Formal Methods. IFM 2020, Nov 2020, Lugano, Switzerland. pp.181-198, ⟨10.1007/978-3-030-63461-2_10⟩ |
|
|
Simulation of the Portals 4 protocol, and case study on the BXI interconnectHPCS 2020 - International Conference on High Performance Computing & Simulation, Dec 2020, Barcelona, Spain. pp.1-8 |
|
|
Distributed futures for efficient data transfer between parallel processesSAC 2020 - 35th ACM/SIGAPP Symposium On Applied Computing, Mar 2020, Brno, Czech Republic. ⟨10.1145/3341105.3374104⟩ |
|
|
Verification of concurrent design patterns with dataCOORDINATION 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⟩ |
|
|
On Reachability in Parameterized Phaser ProgramsTACAS 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⟩ |
|
|
Godot: All the Benefits of Implicit and Explicit FuturesECOOP 2019 - 33rd European Conference on Object-Oriented Programming, Jul 2019, London, United Kingdom. pp.1-28 |
Active objects for coordinating BSP computations (short paper)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 |
|
|
|
Ensuring Memory Consistency in Heterogeneous Systems Based on Access Mode Declarations5th 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 |
|
|
Active Objects for Coordinating BSP Computations (Short Paper)20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.220-230, ⟨10.1007/978-3-319-92408-3_10⟩ |
|
|
Analysis of Synchronisations in Stateful Active ObjectsIFM 2017 - 13th International Conference on Integrated Formal Methods, Sep 2017, Torino, France. ⟨10.1007/978-3-540-74792-5_5⟩ |
|
|
Trustable Virtual Machine Scheduling in a CloudProceedings of the 2017 Symposium on Cloud Computing. SoCC '17., Sep 2017, Santa Clara, United States. pp.12, ⟨10.1145/3127479.3128608⟩ |
|
|
A Theory for the Composition of Concurrent Processes36th 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⟩ |
|
|
Actors may synchronize, safely! *PPDP 2016 18th International Symposium on Principles and Practice of Declarative Programming , Sep 2016, Edinburgh, United Kingdom |
|
|
From Modelling to Systematic Deployment of Distributed Active Objects18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.208-226, ⟨10.1007/978-3-319-39519-7_13⟩ |
|
|
Integrated Environment for Verifying and Running Distributed ComponentsFundamental Approaches to Software Engineering, Perdita Stevens; Andrzej Wąsowski, Apr 2016, Eindhoven, Netherlands. pp.66-83, ⟨10.1007/978-3-662-49665-7_5⟩ |
|
|
Painless Support for Static and Runtime Verification of Component-Based Applications6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.259-274, ⟨10.1007/978-3-319-24644-4_18⟩ |
|
|
pNets: an Expressive Model for Parameterised Networks of ProcessesFormal Approaches to Parallel and Distributed Systems (4PAD)-Special Session of Parallel, Distributed and network-based Processing (PDP), 2015, Turku, Finland |
|
|
Self-Configuration and Self-Optimization Autonomic Skeletons using EventsProgramming Models and Applications for Multicores and Manycores, Feb 2014, Orlando, United States. ⟨10.1145/2560683.2560699⟩ |
|
|
Declarative Scheduling for Active ObjectsSAC 2014 - 29th Symposium On Applied Computing, ACM Special Interest Group on Applied Computing, Mar 2014, Gyeongju, South Korea. pp.1-6 |
|
|
Verifying the correct composition of distributed components: Formalisation and ToolFOCLASA, Sep 2014, Rome, Italy |
|
|
Multi-threaded Active Objects15th International Conference on Coordination Models and Languages (COORDINATION), Jun 2013, Florence, Italy. pp.90-104, ⟨10.1007/978-3-642-38493-6_7⟩ |
|
|
Bringing Coq Into the World of GCM Distributed ApplicationsInternational Symposium on High-level Parallel Programming and Applications&, HLPP, Jul 2013, Paris, France |
|
|
Formally Reasoning on a Reconfigurable Component-Based System --- A Case Study for the Industrial WorldThe 10th International Symposium on Formal Aspects of Component Software, Oct 2013, Nanchang, China |
|
|
Behavioural Verification of Distributed ComponentsICE 2013, Jun 2013, Florence, Italy |
Broadcast Algorithms for CAN: Design and MechanisationCinquièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, Apr 2013, Nancy, France |
|
|
|
A Mechanized Model for CAN Protocols16th International Conference on Fundamental Approaches to Software Engineering (FASE'13), Mar 2013, Rome, Italy |
|
|
An Optimal Broadcast Algorithm for Content-Addressable NetworksOPODIS 2013 - International Conference on Principles of DIstributed Systems, Inria, Dec 2013, Nice, France. pp.176-190, ⟨10.1007/978-3-319-03850-6_13⟩ |
|
|
Multi-threaded Active ObjectsCOORDINATION 2013, Jun 2013, Firenze, Italy |
Verifying Safety of Fault-Tolerant Distributed ComponentsFormal Aspects of Component Software - 8th International Symposium, FACS 2011, Sep 2011, Oslo, Norway. pp.278--295, ⟨10.1007/978-3-642-35743-5_17⟩ |
|
|
|
Adapting Active Objects to Multicore ArchitecturesISPDC, Jul 2011, Cluj, Romania. ⟨10.1109/ISPDC.2011.16⟩ |
|
|
Asynchronous Components with Futures: Semantics and Proofs in Isabelle/HOL7th International Workshop on Formal Engineering approaches to Software Components and Architectures, Mar 2010, Paphos, Cyprus. pp.1-20 |
|
|
First Class Futures: Specification and implementation of Update StrategiesCoreGRID/ERCIM Workshop on Grids, Clouds and P2P Computing, Aug 2010, Ischia - Naples, Italy |
|
|
Experiments with distributed Model-Checking of group-based applicationsSophia-Antipolis Formal Analysis Workshop, Oct 2010, Sophia-Antipolis, France. 3p |
|
|
Behavioural models for group communicationsInt. Workshop on Components and Service Interoperability (WCSI), Jun 2010, Malaga, Spain. 15 p |
|
|
Exceptions for Algorithmic Skeletons16th Int. European Conference on Parallel and Distributed Computing (Euro-Par 2010), 2010, Italy |
|
|
A Framework for Reasoning on Component CompositionFMCO, Nov 2009, Eindhoven, Netherlands |
|
|
An Asynchronous Distributed Component Model and Its SemanticsFMCO - 08, 2008, Sophia antiopolis, France |
|
|
Functional Active Objects: Typing and FormalisationFoundations of Coordination Languages and Software Architectures (FOCLASA'09), 2010, France. pp.83-101 |
|
|
Unifying Architectural and Behavioural Specifications of Distributed Components5th workshop on Formal Aspects of Component Systems, Sep 2008, Málaga, Spain |
|
|
Transparent First-class Futures and Distributed Components5th workshop on Formal Aspects of Component Systems, Sep 2008, Málaga, Spain |
|
|
A Mechanized Model of the Theory of Objects9th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), Jun 2007, CYPRUS |
|
|
Garbage Collecting the Grid: A Complete DGC for ActivitiesMiddleware 2007- ACM/IFIP/USENIX 8th International Middleware Conference,, Nov 2007, Newport Beach, United States |
|
|
A Component Platform for Experimenting with Autonomic CompositionFirst International Conference on Autonomic Computing and Communication Systems (Autonomics 2007), Oct 2007, Rome, Italy |
|
|
Asynchonous Distributed Components: Concurrency and DeterminacyTheoretical Computer Science 2006 (IFIP TCS'06), 2006, Santiago, Chile |
|
|
A Fault Tolerant and Multi-Paradigm Grid Architecture for Time Constrained Problems. Application to Financial Option Pricing2nd 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⟩ |
|
|
Secured Information Flow for Asynchronous Sequential Processes3rd International Workshop on Security Issues in Concurrency (SecCo'05), Aug 2005, San Francisco, USA |
|
|
Verification of Distributed Hierarchical ComponentsInternational Workshop on Formal Aspects of Component Software (FACS'05), 2005, Macao |
|
|
Behavioural Models for Hierarchical ComponentsSPIN'05, 2005, San Francisco, USA |
|
|
Active Objects based on Algebraic EffectsActive Object Languages: Current Research Trends, 14360, pp.3-36, 2024, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-51060-1_1⟩ |
|
|
Tail Modulo Async-Await2025 |
|
|
MTrees : Mixing monadic effects and Labelled Transition Systems in RocqENS de Lyon. 2025 |
|
|
Refinements for Open Automata (Extended Version)RR-9517, Inria - Research Centre Grenoble – Rhône-Alpes. 2023 |
|
|
Data-flow Explicit Futures[Research Report] I3S, Université Côte d'Azur. 2018 |
|
|
Analysis of synchronisation patterns in stateful active objects[Research Report] I3S; Inria - Sophia antipolis. 2017 |
|
|
Multi-active Objects and their Applications (extended version).[Research Report] I3S. 2017 |
|
|
A Theory for the Composition of Concurrent Processes -Extended version[Research Report] RR-8898, INRIA Sophia Antipolis - I3S. 2016, pp.23 |
|
|
From Modelling to Systematic Deployment of Distributed Active Objects – Extended Version[Research Report] I3S. 2016 |
|
|
Livrable D1.2.2 - Modèle avancé QoS-aware[Research Report] Conservatoire national des arts et métiers - CNAM. 2015 |
|
|
Integrated environment for verifying and running distributed components -Extended version[Research Report] RR-8841, INRIA Sophia-Antipolis. 2015, pp.24 |
|
|
A ProActive Backend for ABS: from Modelling to Deployment[Research Report] RR-8596, INRIA. 2014 |
Modèle logique avancé (plateforme OpenCloudware).[Research Report] CEDRIC-14-3102, CEDRIC Lab/CNAM. 2014 |
|
|
|
pNets: an Expressive Model for Parameterised Networks of Processes (Extended Version)[Research Report] RR-8579, INRIA. 2014, pp.23 |
|
|
An Optimal Broadcast Algorithm for Content-Addressable Networks -- Extended Version[Research Report] RR-8375, INRIA. 2013 |
Modèle logique avancé - version V1[Rapport de recherche] CEDRIC-13-2871, CEDRIC Lab/CNAM. 2013 |
|
|
|
Behavioural Semantics for Asynchronous Components[Research Report] RR-8167, INRIA. 2012, pp.58 |
|
|
A Language for Multi-threaded Active Objects[Research Report] RR-8021, INRIA. 2012 |
|
|
Verifying Safety of Fault-Tolerant Distributed Components -- Extended Version[Research Report] RR-7717, INRIA. 2011, pp.31 |
|
|
Mechanical Support for Efficient Dissemination on the CAN Overlay Network[Research Report] RR-7599, INRIA. 2011 |
|
|
A Reconfiguration Framework for Distributed Components[Research Report] RR-6911, INRIA. 2009 |
|
|
First Class Futures: a Study of Update Strategies[Research Report] RR-7113, INRIA. 2009 |
|
|
Behavioural Models for Distributed Fractal Components[Research Report] RR-6491, INRIA. 2008, pp.27 |
|
|
An algorithm for safely stopping a component system[Research Report] RR-6444, INRIA. 2008, pp.18 |
|
|
ASPfun: A Functional and Distributed Object Calculus Semantics, Type-system, and Formalization[Research Report] RR-6353, INRIA. 2007, pp.18 |
|
|
Behavioural Models for Hierarchical Components[Research Report] RR-5591, INRIA. 2006, pp.33 |
|
|
Promised Consistency for Rollback Recovery[Research Report] RR-5902, INRIA. 2006 |
|
|
A Formalization of the Theory of Objects in Isabelle/HOL[Research Report] RR-6079, INRIA. 2006, pp.17 |
|
|
A Fault Tolerance protocol for ASP calculus: Design and Proof[Research Report] RR-5246, INRIA. 2004, pp.37 |
|
|
Implementation and Complexity of the Lowest Static ReductionRR-5034, INRIA. 2003 |
|
|
Asynchronous Sequential Processes[Research Report] RR-4753, INRIA. 2003 |
|
|
Calcul d'objet asynchrone : confluence et déterminismeModélisation et simulation. Université Nice Sophia Antipolis, 2003. Français. ⟨NNT : ⟩ |
|
|
Formal Models for Programming and Composing Correct Distributed SystemsProgramming Languages [cs.PL]. Université Nice Sophia Antipolis, 2012 |