
Ludovic Henrio
108
Documents
Publications
Publications
|
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⟩
Communication dans un congrès
hal-04594073
v2
|
|
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⟩
Communication dans un congrès
hal-04527225
v1
|
|
Distributed Actors in OCamlOCaml Workshop, Sep 2024, Milan, Italy
Communication dans un congrès
hal-04794441
v1
|
|
Tail Modulo Async/Await - Extended AbstractFPROPER 2024 - 1st ACM SIGPLAN Workshop on Functional Programming for Productivity and Performance, Sep 2024, Milan, Italy
Communication dans un congrès
hal-04794434
v1
|
|
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⟩
Communication dans un congrès
hal-04271300
v1
|
|
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
Communication dans un congrès
hal-03626843
v1
|
|
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⟩
Communication dans un congrès
hal-04007446
v1
|
|
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⟩
Communication dans un congrès
hal-03143269
v1
|
|
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⟩
Communication dans un congrès
hal-03366573
v1
|
|
Active Objects with Deterministic BehaviourIntegrated Formal Methods. IFM 2020, Nov 2020, Lugano, Switzerland. pp.181-198, ⟨10.1007/978-3-030-63461-2_10⟩
Communication dans un congrès
hal-03008405
v1
|
|
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
Communication dans un congrès
hal-02972297
v1
|
|
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⟩
Communication dans un congrès
hal-02417953
v1
|
|
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⟩
Communication dans un congrès
hal-02143782
v1
|
|
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⟩
Communication dans un congrès
hal-02061520
v1
|
|
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
Communication dans un congrès
hal-02302214
v1
|
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
Communication dans un congrès
hal-01813178
v1
|
|
|
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
Communication dans un congrès
hal-01813273
v1
|
|
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⟩
Communication dans un congrès
hal-01821487
v1
|
|
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⟩
Communication dans un congrès
hal-01627906
v1
|
|
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⟩
Communication dans un congrès
hal-01627866
v1
|
|
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⟩
Communication dans un congrès
hal-01432917
v1
|
|
Actors may synchronize, safely! *PPDP 2016 18th International Symposium on Principles and Practice of Declarative Programming , Sep 2016, Edinburgh, United Kingdom
Communication dans un congrès
hal-01345315
v1
|
|
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⟩
Communication dans un congrès
hal-01305474
v1
|
|
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⟩
Communication dans un congrès
hal-01303557
v1
|
|
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⟩
Communication dans un congrès
hal-01168757
v2
|
|
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
Communication dans un congrès
hal-01139432
v1
|
|
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
Communication dans un congrès
hal-00916293
v1
|
|
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⟩
Communication dans un congrès
hal-00944294
v1
|
|
Verifying the correct composition of distributed components: Formalisation and ToolFOCLASA, Sep 2014, Rome, Italy
Communication dans un congrès
hal-01055370
v1
|
|
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
Communication dans un congrès
hal-00916115
v1
|
|
Bringing Coq Into the World of GCM Distributed ApplicationsInternational Symposium on High-level Parallel Programming and Applications&, HLPP, Jul 2013, Paris, France
Communication dans un congrès
hal-00880533
v1
|
|
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⟩
Communication dans un congrès
hal-01486037
v1
|
|
Behavioural Verification of Distributed ComponentsICE 2013, Jun 2013, Florence, Italy
Communication dans un congrès
hal-00850025
v1
|
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
Communication dans un congrès
hal-00916102
v1
|
|
|
A Mechanized Model for CAN Protocols16th International Conference on Fundamental Approaches to Software Engineering (FASE'13), Mar 2013, Rome, Italy
Communication dans un congrès
hal-00802006
v1
|
|
Multi-threaded Active ObjectsCOORDINATION 2013, Jun 2013, Firenze, Italy
Communication dans un congrès
hal-00818482
v1
|
|
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⟩
Communication dans un congrès
hal-00916301
v1
|
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⟩
Communication dans un congrès
hal-02989105
v1
|
|
|
Adapting Active Objects to Multicore ArchitecturesISPDC, Jul 2011, Cluj, Romania. ⟨10.1109/ISPDC.2011.16⟩
Communication dans un congrès
hal-00644169
v1
|
|
Behavioural models for group communicationsInt. Workshop on Components and Service Interoperability (WCSI), Jun 2010, Malaga, Spain. 15 p
Communication dans un congrès
inria-00493692
v1
|
|
Exceptions for Algorithmic Skeletons16th Int. European Conference on Parallel and Distributed Computing (Euro-Par 2010), 2010, Italy
Communication dans un congrès
hal-00486108
v1
|
|
Experiments with distributed Model-Checking of group-based applicationsSophia-Antipolis Formal Analysis Workshop, Oct 2010, Sophia-Antipolis, France. 3p
Communication dans un congrès
inria-00538499
v1
|
|
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
Communication dans un congrès
inria-00462325
v1
|
|
First Class Futures: Specification and implementation of Update StrategiesCoreGRID/ERCIM Workshop on Grids, Clouds and P2P Computing, Aug 2010, Ischia - Naples, Italy
Communication dans un congrès
inria-00544594
v1
|
|
A Framework for Reasoning on Component CompositionFMCO, Nov 2009, Eindhoven, Netherlands
Communication dans un congrès
inria-00490380
v1
|
|
An Asynchronous Distributed Component Model and Its SemanticsFMCO - 08, 2008, Sophia antiopolis, France
Communication dans un congrès
inria-00435145
v1
|
|
Functional Active Objects: Typing and FormalisationFoundations of Coordination Languages and Software Architectures (FOCLASA'09), 2010, France. pp.83-101
Communication dans un congrès
hal-00485759
v1
|
|
Unifying Architectural and Behavioural Specifications of Distributed Components5th workshop on Formal Aspects of Component Systems, Sep 2008, Málaga, Spain
Communication dans un congrès
inria-00311516
v1
|
|
Transparent First-class Futures and Distributed Components5th workshop on Formal Aspects of Component Systems, Sep 2008, Málaga, Spain
Communication dans un congrès
inria-00311515
v1
|
|
A Mechanized Model of the Theory of Objects9th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), Jun 2007, CYPRUS
Communication dans un congrès
inria-00150272
v1
|
|
Garbage Collecting the Grid: A Complete DGC for ActivitiesMiddleware 2007- ACM/IFIP/USENIX 8th International Middleware Conference,, Nov 2007, Newport Beach, United States
Communication dans un congrès
inria-00180150
v1
|
|
A Component Platform for Experimenting with Autonomic CompositionFirst International Conference on Autonomic Computing and Communication Systems (Autonomics 2007), Oct 2007, Rome, Italy
Communication dans un congrès
inria-00178365
v1
|
|
Asynchonous Distributed Components: Concurrency and DeterminacyTheoretical Computer Science 2006 (IFIP TCS'06), 2006, Santiago, Chile
Communication dans un congrès
inria-00122924
v1
|
|
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⟩
Communication dans un congrès
inria-00121828
v1
|
|
Secured Information Flow for Asynchronous Sequential Processes3rd International Workshop on Security Issues in Concurrency (SecCo'05), Aug 2005, San Francisco, USA
Communication dans un congrès
inria-00122937
v1
|
|
Verification of Distributed Hierarchical ComponentsInternational Workshop on Formal Aspects of Component Software (FACS'05), 2005, Macao
Communication dans un congrès
inria-00122926
v1
|
|
Behavioural Models for Hierarchical ComponentsSPIN'05, 2005, San Francisco, USA
Communication dans un congrès
inria-00122933
v1
|
|
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⟩
Chapitre d'ouvrage
hal-04388798
v1
|
|
Tail Modulo Async-Await2025
Pré-publication, Document de travail
hal-05006570
v1
|
|
Refinements for Open Automata (Extended Version)RR-9517, Inria - Research Centre Grenoble – Rhône-Alpes. 2023
Rapport
(rapport de recherche)
hal-04193421
v1
|
|
Data-flow Explicit Futures[Research Report] I3S, Université Côte d'Azur. 2018
Rapport
(rapport de recherche)
hal-01758734
v1
|
|
Multi-active Objects and their Applications (extended version).[Research Report] I3S. 2017
Rapport
(rapport de recherche)
hal-01627709
v1
|
|
Analysis of synchronisation patterns in stateful active objects[Research Report] I3S; Inria - Sophia antipolis. 2017
Rapport
(rapport de recherche)
hal-01542595
v1
|
|
A Theory for the Composition of Concurrent Processes -Extended version[Research Report] RR-8898, INRIA Sophia Antipolis - I3S. 2016, pp.23
Rapport
(rapport de recherche)
hal-01299562
v1
|
|
From Modelling to Systematic Deployment of Distributed Active Objects – Extended Version[Research Report] I3S. 2016
Rapport
(rapport de recherche)
hal-01299817
v1
|
|
Integrated environment for verifying and running distributed components -Extended version[Research Report] RR-8841, INRIA Sophia-Antipolis. 2015, pp.24
Rapport
(rapport de recherche)
hal-01252323
v1
|
|
Livrable D1.2.2 - Modèle avancé QoS-aware[Research Report] Conservatoire national des arts et métiers - CNAM. 2015
Rapport
(rapport de recherche)
hal-02470650
v1
|
|
A ProActive Backend for ABS: from Modelling to Deployment[Research Report] RR-8596, INRIA. 2014
Rapport
(rapport de recherche)
hal-01065072
v1
|
Modèle logique avancé (plateforme OpenCloudware).[Research Report] CEDRIC-14-3102, CEDRIC Lab/CNAM. 2014
Rapport
(rapport de recherche)
hal-01126484
v1
|
|
|
pNets: an Expressive Model for Parameterised Networks of Processes (Extended Version)[Research Report] RR-8579, INRIA. 2014, pp.23
Rapport
(rapport de recherche)
hal-01055091
v2
|
Modèle logique avancé - version V1[Rapport de recherche] CEDRIC-13-2871, CEDRIC Lab/CNAM. 2013
Rapport
(rapport de recherche)
hal-01126329
v1
|
|
|
An Optimal Broadcast Algorithm for Content-Addressable Networks -- Extended Version[Research Report] RR-8375, INRIA. 2013
Rapport
(rapport de recherche)
hal-00866228
v2
|
|
Behavioural Semantics for Asynchronous Components[Research Report] RR-8167, INRIA. 2012, pp.58
Rapport
(rapport de recherche)
hal-00761073
v1
|
|
A Language for Multi-threaded Active Objects[Research Report] RR-8021, INRIA. 2012
Rapport
(rapport de recherche)
hal-00720012
v2
|
|
Verifying Safety of Fault-Tolerant Distributed Components -- Extended Version[Research Report] RR-7717, INRIA. 2011, pp.31
Rapport
(rapport de recherche)
inria-00621264
v1
|
|
Mechanical Support for Efficient Dissemination on the CAN Overlay Network[Research Report] RR-7599, INRIA. 2011
Rapport
(rapport de recherche)
inria-00585057
v1
|
|
A Reconfiguration Framework for Distributed Components[Research Report] RR-6911, INRIA. 2009
Rapport
(rapport de recherche)
inria-00379268
v1
|
|
First Class Futures: a Study of Update Strategies[Research Report] RR-7113, INRIA. 2009
Rapport
(rapport de recherche)
inria-00435573
v1
|
|
Behavioural Models for Distributed Fractal Components[Research Report] RR-6491, INRIA. 2008, pp.27
Rapport
(rapport de recherche)
inria-00268965
v2
|
|
An algorithm for safely stopping a component system[Research Report] RR-6444, INRIA. 2008, pp.18
Rapport
(rapport de recherche)
inria-00239449
v2
|
|
ASPfun: A Functional and Distributed Object Calculus Semantics, Type-system, and Formalization[Research Report] RR-6353, INRIA. 2007, pp.18
Rapport
(rapport de recherche)
inria-00186963
v2
|
|
Promised Consistency for Rollback Recovery[Research Report] RR-5902, INRIA. 2006
Rapport
(rapport de recherche)
inria-00071365
v1
|
|
Behavioural Models for Hierarchical Components[Research Report] RR-5591, INRIA. 2006, pp.33
Rapport
(rapport de recherche)
inria-00070416
v1
|
|
A Formalization of the Theory of Objects in Isabelle/HOL[Research Report] RR-6079, INRIA. 2006, pp.17
Rapport
(rapport de recherche)
inria-00121816
v2
|
|
A Fault Tolerance protocol for ASP calculus: Design and Proof[Research Report] RR-5246, INRIA. 2004, pp.37
Rapport
(rapport de recherche)
inria-00070752
v1
|
|
Implementation and Complexity of the Lowest Static ReductionRR-5034, INRIA. 2003
Rapport
inria-00071550
v1
|
|
Asynchronous Sequential Processes[Research Report] RR-4753, INRIA. 2003
Rapport
(rapport de recherche)
inria-00071834
v1
|
|
Calcul d'objet asynchrone : confluence et déterminismeModélisation et simulation. Université Nice Sophia Antipolis, 2003. Français. ⟨NNT : ⟩
Thèse
tel-00505940
v1
|
|
Formal Models for Programming and Composing Correct Distributed SystemsProgramming Languages [cs.PL]. Université Nice Sophia Antipolis, 2012
HDR
tel-00720022
v1
|
Chargement...
Chargement...