Skip to Main content
Number of documents

85


Journal articles11 documents

  • Ludovic Henrio, Christoph Kessler, Lu Li. Leveraging access mode declarations in a model for memory consistency in heterogeneous systems. Journal of Logical and Algebraic Methods in Programming, Elsevier, 2020, 110, pp.1-17. ⟨10.1016/j.jlamp.2019.100498⟩. ⟨hal-02331964⟩
  • Wolfgang Ahrendt, Ludovic Henrio, Wytse Oortwijn. Who is to Blame? Runtime Verification of Distributed Objects with Active Monitors. Electronic Proceedings in Theoretical Computer Science, EPTCS, 2019, 302, pp.32-46. ⟨10.4204/EPTCS.302.3⟩. ⟨hal-02303148⟩
  • Ludovic Henrio. Pourquoi créer des nouveaux langages de programmation ?. Interstices, INRIA, 2019. ⟨hal-02008111⟩
  • Ludovic Henrio, Justine Rochas. Multiactive objects and their applications. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2017, ⟨10.09183⟩. ⟨hal-01669338⟩
  • Frank de Boer, Vlad Serbanescu, Reiner Hähnle, Ludovic Henrio, Justine Rochas, et al.. A Survey of Active Object Languages. ACM Computing Surveys, Association for Computing Machinery, 2017, 50 (5), pp.1 - 39. ⟨10.1145/3122848⟩. ⟨hal-01627936⟩
  • Frédéric Lemoine, Tatiana Aubonnet, Ludovic Henrio, Soumia Kessal, Eric Madelaine, et al.. Monitoring as-a-service to drive more efficient future system design. EAI Endorsed Transactions on Cloud Systems, European Union Digital Library, 2017, 3 (9), pp.1 - 15. ⟨10.4108/eai.28-6-2017.152754⟩. ⟨hal-01582593⟩
  • Matías Ibañez, Cristian Ruz, Ludovic Henrio, Javier Bustos-Jiménez. Reconfigurable Applications Using GCMScript. IEEE Cloud Computing, IEEE, 2016. ⟨hal-01302467⟩
  • Tatiana Aubonnet, Ludovic Henrio, Soumia Kessal, Oleksandra Kulankhina, Frédéric Lemoine, et al.. Management of service composition based on self-controlled components. Journal of Internet Services and Applications, Springer, 2015, 6 (15), pp.17. ⟨10.1186/s13174-015-0031-7⟩. ⟨hal-01180627⟩
  • Françoise Baude, Ludovic Henrio, Cristian Ruz. Programming distributed and adaptable autonomous components--the GCM/ProActive framework. Software: Practice and Experience, Wiley, 2014. ⟨hal-01001043⟩
  • Tomás Barros, Rabéa Ameur-Boulifa, Antonio Cansado, Ludovic Henrio, Eric Madelaine. Behavioural models for distributed Fractal components. Annals of Telecommunications - annales des télécommunications, Springer, 2009, 64 (1-2), pp.25-43. ⟨10.1007/s12243-008-0069-7⟩. ⟨hal-02904822⟩
  • Françoise Baude, Denis Caromel, Cédric Dalmasso, Marco Danelutto, Vladimir Getov, et al.. GCM: A Grid Extension to Fractal for Autonomous Distributed Components. Annals of Telecommunications - annales des télécommunications, Springer, 2008. ⟨inria-00323919⟩

Conference papers47 documents

  • Julien Emmanuel, Matthieu Moy, Ludovic Henrio, Grégoire Pichon. S4BXI: the MPI-ready Portals 4 Simulator. 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. ⟨hal-03366573⟩
  • Amaury Maillé, Ludovic Henrio, Matthieu Moy. Promise Plus: Flexible Synchronization for Parallel Computations on Arrays. FSEN 2021 - 9th IPM International Conference on Fundamentals of Software Engineering, May 2021, Tehran, Iran. pp.1-7. ⟨hal-03143269⟩
  • Pierre Leca, Wijnand Suijlen, Ludovic Henrio, Françoise Baude. Distributed futures for efficient data transfer between parallel processes. SAC 2020 - 35th ACM/SIGAPP Symposium On Applied Computing, Mar 2020, Brno, Czech Republic. ⟨10.1145/3341105.3374104⟩. ⟨hal-02417953⟩
  • Ludovic Henrio, Einar Broch Johnsen, Violet Ka I. Pun. Active Objects with Deterministic Behaviour. Integrated Formal Methods. IFM 2020, Nov 2020, Lugano, Switzerland. pp.181-198, ⟨10.1007/978-3-030-63461-2_10⟩. ⟨hal-03008405⟩
  • Julien Emmanuel, Matthieu Moy, Ludovic Henrio, Grégoire Pichon. Simulation of the Portals 4 protocol, and case study on the BXI interconnect. HPCS 2020 - International Conference on High Performance Computing & Simulation, Dec 2020, Barcelona, Spain. pp.1-8. ⟨hal-02972297⟩
  • Simon Bliudze, Ludovic Henrio, Eric Madelaine. Verification of concurrent design patterns with data. 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⟩. ⟨hal-02143782⟩
  • Zeinab Ganjei, Ahmed Rezine, Ludovic Henrio, Petru Eles, Zebo Peng. On Reachability in Parameterized Phaser Programs. 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⟩. ⟨hal-02061520⟩
  • Kiko Fernandez-Reyes, Dave Clarke, Ludovic Henrio, Einar Broch Johnsen, Tobias Wrigstad. Godot: All the Benefits of Implicit and Explicit Futures. ECOOP 2019 - 33rd European Conference on Object-Oriented Programming, Jul 2019, London, United Kingdom. pp.1-28. ⟨hal-02302214⟩
  • Gaetan Hains, Ludovic Henrio, Pierre Leca, Wijnand Suijlen. 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⟩. ⟨hal-01821487⟩
  • Ludovic Henrio. 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. ⟨hal-01813178⟩
  • Ludovic Henrio, C Kessler, Lu Li. Ensuring Memory Consistency in Heterogeneous Systems Based on Access Mode Declarations. 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. ⟨hal-01813273⟩
  • Ludovic Henrio, Cosimo Laneve, Vincenzo Mastandrea. Analysis of Synchronisations in Stateful Active Objects. IFM 2017 - 13th International Conference on Integrated Formal Methods, Sep 2017, Torino, France. ⟨10.1007/978-3-540-74792-5_5⟩. ⟨hal-01627866⟩
  • Fabien Hermenier, Ludovic Henrio. Trustable Virtual Machine Scheduling in a Cloud. Proceedings of the 2017 Symposium on Cloud Computing. SoCC '17., Sep 2017, Santa Clara, United States. pp.12, ⟨10.1145/3127479.3128608⟩. ⟨hal-01627906⟩
  • Elena Giachino, Ludovic Henrio, Cosimo Laneve, Vincenzo Mastandrea. Actors may synchronize, safely! *. PPDP 2016 18th International Symposium on Principles and Practice of Declarative Programming , Sep 2016, Edinburgh, United Kingdom. ⟨hal-01345315⟩
  • Ludovic Henrio, Eric Madelaine, Min Zhang. A Theory for the Composition of Concurrent Processes. 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⟩. ⟨hal-01432917⟩
  • Nuno Gaspar, Ludovic Henrio, Eric Madelaine. Painless Support for Static and Runtime Verification of Component-Based Applications. 6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.259-274, ⟨10.1007/978-3-319-24644-4_18⟩. ⟨hal-01168757v2⟩
  • Ludovic Henrio, Oleksandra Kulankhina, Dongqian Liu, Eric Madelaine. Verifying the correct composition of distributed components: Formalisation and Tool. FOCLASA, Sep 2014, Rome, Italy. ⟨hal-01055370⟩
  • Ludovic Henrio, Justine Rochas. Declarative Scheduling for Active Objects. SAC 2014 - 29th Symposium On Applied Computing, ACM Special Interest Group on Applied Computing, Mar 2014, Gyeongju, South Korea. pp.1-6. ⟨hal-00916293⟩
  • Gustavo Pabon, Ludovic Henrio. Self-Configuration and Self-Optimization Autonomic Skeletons using Events. Programming Models and Applications for Multicores and Manycores, Feb 2014, Orlando, United States. ⟨10.1145/2560683.2560699⟩. ⟨hal-00944294⟩
  • Ludovic Henrio, Eric Madelaine. Behavioural Verification of Distributed Components. ICE 2013, Jun 2013, Florence, Italy. ⟨hal-00850025⟩
  • Nuno Gaspar, Ludovic Henrio, Eric Madelaine. Formally Reasoning on a Reconfigurable Component-Based System --- A Case Study for the Industrial World. The 10th International Symposium on Formal Aspects of Component Software, Oct 2013, Nanchang, China. ⟨hal-00916115⟩
  • Nuno Gaspar, Ludovic Henrio, Eric Madelaine. Bringing Coq Into the World of GCM Distributed Applications. International Symposium on High-level Parallel Programming and Applications&, HLPP, Jul 2013, Paris, France. ⟨hal-00880533⟩
  • Ludovic Henrio, Fabrice Huet, Zsolt István. Multi-threaded Active Objects. 15th International Conference on Coordination Models and Languages (COORDINATION), Jun 2013, Florence, Italy. pp.90-104, ⟨10.1007/978-3-642-38493-6_7⟩. ⟨hal-01486037⟩
  • Ludovic Henrio, Fabrice Huet, Justine Rochas. An Optimal Broadcast Algorithm for Content-Addressable Networks. 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⟩. ⟨hal-00916301⟩
  • Francesco Bongiovanni, Ludovic Henrio. Broadcast Algorithms for CAN: Design and Mechanisation. Cinquièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, Apr 2013, Nancy, France. ⟨hal-00916102⟩
  • Francesco Bongiovanni, Ludovic Henrio. A Mechanized Model for CAN Protocols. 16th International Conference on Fundamental Approaches to Software Engineering (FASE'13), Mar 2013, Rome, Italy. ⟨hal-00802006⟩
  • Ludovic Henrio, Fabrice Huet, Zsolt István. Multi-threaded Active Objects. COORDINATION 2013, Jun 2013, Firenze, Italy. ⟨hal-00818482⟩
  • Ludovic Henrio, Fabrice Huet, Zsolt István, Gheorghen Sebestyén. Adapting Active Objects to Multicore Architectures. ISPDC, Jul 2011, Cluj, Romania. ⟨10.1109/ISPDC.2011.16⟩. ⟨hal-00644169⟩
  • Rabéa Ameur-Boulifa, Raluca Halalai, Ludovic Henrio, Eric Madelaine. Verifying Safety of Fault-Tolerant Distributed Components. 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⟩. ⟨hal-02989105⟩
  • Ludovic Henrio, Muhammad Uzair Khan. Asynchronous Components with Futures: Semantics and Proofs in Isabelle/HOL. 7th International Workshop on Formal Engineering approaches to Software Components and Architectures, Mar 2010, Paphos, Cyprus. pp.1-20. ⟨inria-00462325⟩
  • Mario Leyton, Ludovic Henrio, José Piquer. Exceptions for Algorithmic Skeletons. 16th Int. European Conference on Parallel and Distributed Computing (Euro-Par 2010), 2010, Italy. ⟨hal-00486108⟩
  • Rabéa Ameur-Boulifa, Ludovic Henrio, Eric Madelaine. Behavioural models for group communications. Int. Workshop on Components and Service Interoperability (WCSI), Jun 2010, Malaga, Spain. 15 p. ⟨inria-00493692⟩
  • Ludovic Henrio, Eric Madelaine. Experiments with distributed Model-Checking of group-based applications. Sophia-Antipolis Formal Analysis Workshop, Oct 2010, Sophia-Antipolis, France. 3p. ⟨inria-00538499⟩
  • Ludovic Henrio, Muhammad Uzair Khan, Nadia Ranaldo, Eugenio Zimeo. First Class Futures: Specification and implementation of Update Strategies. CoreGRID/ERCIM Workshop on Grids, Clouds and P2P Computing, Aug 2010, Ischia - Naples, Italy. ⟨inria-00544594⟩
  • Ludovic Henrio, Florian Kammüller. Functional Active Objects: Typing and Formalisation. Foundations of Coordination Languages and Software Architectures (FOCLASA'09), 2010, France. pp.83-101. ⟨hal-00485759⟩
  • Ludovic Henrio, Florian Kammüller, Muhammad Uzair Khan. A Framework for Reasoning on Component Composition. FMCO, Nov 2009, Eindhoven, Netherlands. ⟨inria-00490380⟩
  • Antonio Cansado, Ludovic Henrio, Eric Madelaine. Transparent First-class Futures and Distributed Components. 5th workshop on Formal Aspects of Component Systems, Sep 2008, Málaga, Spain. ⟨inria-00311515⟩
  • Antonio Cansado, Ludovic Henrio, Eric Madelaine. Unifying Architectural and Behavioural Specifications of Distributed Components. 5th workshop on Formal Aspects of Component Systems, Sep 2008, Málaga, Spain. ⟨inria-00311516⟩
  • Ludovic Henrio, Florian Kammüller, Marcela Rivera. An Asynchronous Distributed Component Model and Its Semantics. FMCO - 08, 2008, Sophia antiopolis, France. ⟨inria-00435145⟩
  • Françoise Baude, Ludovic Henrio, Paul Naoumenko. A Component Platform for Experimenting with Autonomic Composition. First International Conference on Autonomic Computing and Communication Systems (Autonomics 2007), Oct 2007, Rome, Italy. ⟨inria-00178365⟩
  • Denis Caromel, Guillaume Chazarain, Ludovic Henrio. Garbage Collecting the Grid: A Complete DGC for Activities. Middleware 2007- ACM/IFIP/USENIX 8th International Middleware Conference,, Nov 2007, Newport Beach, United States. ⟨inria-00180150⟩
  • Ludovic Henrio, Florian Kammüller. A Mechanized Model of the Theory of Objects. 9th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), Jun 2007, CYPRUS. ⟨inria-00150272⟩
  • Denis Caromel, Ludovic Henrio. Asynchonous Distributed Components: Concurrency and Determinacy. Theoretical Computer Science 2006 (IFIP TCS'06), 2006, Santiago, Chile. ⟨inria-00122924⟩
  • Sébastien Bezinne, Virginie Galtier, Stéphane Vialle, Françoise Baude, Mireille Bossy, et al.. A Fault Tolerant and Multi-Paradigm Grid Architecture for Time Constrained Problems. Application to Financial Option Pricing. 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⟩. ⟨inria-00121828⟩
  • Isabelle Attali, Denis Caromel, Ludovic Henrio, Felipe Luna. Secured Information Flow for Asynchronous Sequential Processes. 3rd International Workshop on Security Issues in Concurrency (SecCo'05), Aug 2005, San Francisco, USA. ⟨inria-00122937⟩
  • Tomás Barros, Ludovic Henrio, Eric Madelaine. Verification of Distributed Hierarchical Components. International Workshop on Formal Aspects of Component Software (FACS'05), 2005, Macao. ⟨inria-00122926⟩
  • Tomás Barros, Ludovic Henrio, Eric Madelaine. Behavioural Models for Hierarchical Components. SPIN'05, 2005, San Francisco, USA. ⟨inria-00122933⟩

Preprints, Working Papers, ...1 document

  • Rabea Ameur-Boulifa, Ludovic Henrio, Eric Madelaine. Compositional equivalences based on open pNets. 2021. ⟨hal-03103607⟩

Reports24 documents

  • Ludovic Henrio, Cosimo Laneve, Vincenzo Mastandrea. Analysis of synchronisation patterns in stateful active objects. [Research Report] I3S; Inria - Sophia antipolis. 2017. ⟨hal-01542595⟩
  • Ludovic Henrio, Justine Rochas. Multi-active Objects and their Applications (extended version).. [Research Report] I3S. 2017. ⟨hal-01627709⟩
  • Ludovic Henrio, Eric Madelaine, Min Zhang. A Theory for the Composition of Concurrent Processes -Extended version. [Research Report] RR-8898, INRIA Sophia Antipolis - I3S. 2016, pp.23. ⟨hal-01299562⟩
  • Ludovic Henrio, Justine Rochas. From Modelling to Systematic Deployment of Distributed Active Objects – Extended Version. [Research Report] I3S. 2016. ⟨hal-01299817⟩
  • Ludovic Henrio, Oleksandra Kulankhina, Siqi Li, Eric Madelaine. Integrated environment for verifying and running distributed components -Extended version. [Research Report] RR-8841, INRIA Sophia-Antipolis. 2015, pp.24. ⟨hal-01252323⟩
  • Tatiana Aubonnet, Ludovic Henrio, Frédéric Lemoine, Eric Madelaine, Noëmie Simoni. Livrable D1.2.2 - Modèle avancé QoS-aware. [Research Report] Conservatoire national des arts et métiers - CNAM. 2015. ⟨hal-02470650⟩
  • Justine Rochas, Ludovic Henrio. A ProActive Backend for ABS: from Modelling to Deployment. [Research Report] RR-8596, INRIA. 2014. ⟨hal-01065072⟩
  • Ludovic Henrio, Eric Madelaine, Min Zhang. pNets: an Expressive Model for Parameterised Networks of Processes (Extended Version). [Research Report] RR-8579, INRIA. 2014, pp.23. ⟨hal-01055091v2⟩
  • Ludovic Henrio, Fabrice Huet, Justine Rochas. An Optimal Broadcast Algorithm for Content-Addressable Networks -- Extended Version. [Research Report] RR-8375, INRIA. 2013. ⟨hal-00866228v2⟩
  • Rabéa Ameur-Boulifa, Ludovic Henrio, Eric Madelaine, Alexandra Savu. Behavioural Semantics for Asynchronous Components. [Research Report] RR-8167, INRIA. 2012, pp.58. ⟨hal-00761073⟩
  • Ludovic Henrio, Fabrice Huet, Zsolt István. A Language for Multi-threaded Active Objects. [Research Report] RR-8021, INRIA. 2012. ⟨hal-00720012v2⟩
  • Francesco Bongiovanni, Ludovic Henrio. Mechanical Support for Efficient Dissemination on the CAN Overlay Network. [Research Report] RR-7599, INRIA. 2011. ⟨inria-00585057⟩
  • Rabéa Ameur-Boulifa, Raluca Halalai, Ludovic Henrio, Eric Madelaine. Verifying Safety of Fault-Tolerant Distributed Components -- Extended Version. [Research Report] RR-7717, INRIA. 2011, pp.31. ⟨inria-00621264⟩
  • Muhammad Uzair Khan, Ludovic Henrio. First Class Futures: a Study of Update Strategies. [Research Report] RR-7113, INRIA. 2009. ⟨inria-00435573⟩
  • Boutheina Bennour, Ludovic Henrio, Marcela Rivera. A Reconfiguration Framework for Distributed Components. [Research Report] RR-6911, INRIA. 2009. ⟨inria-00379268⟩
  • Ludovic Henrio, Marcela Rivera. An algorithm for safely stopping a component system. [Research Report] RR-6444, INRIA. 2008, pp.18. ⟨inria-00239449v2⟩
  • Tomás Barros, Rabea Boulifa, Antonio Cansado, Ludovic Henrio, Eric Madelaine. Behavioural Models for Distributed Fractal Components. [Research Report] RR-6491, INRIA. 2008, pp.27. ⟨inria-00268965v2⟩
  • Ludovic Henrio, Florian Kammüller, Henry Sudhof. ASPfun: A Functional and Distributed Object Calculus Semantics, Type-system, and Formalization. [Research Report] RR-6353, INRIA. 2007, pp.18. ⟨inria-00186963v2⟩
  • Denis Caromel, Christian Delbé, Ludovic Henrio. Promised Consistency for Rollback Recovery. [Research Report] RR-5902, INRIA. 2006. ⟨inria-00071365⟩
  • Tomás Barros, Ludovic Henrio, Eric Madelaine. Behavioural Models for Hierarchical Components. [Research Report] RR-5591, INRIA. 2006, pp.33. ⟨inria-00070416⟩
  • Ludovic Henrio, Florian Kammüller. A Formalization of the Theory of Objects in Isabelle/HOL. [Research Report] RR-6079, INRIA. 2006, pp.17. ⟨inria-00121816v2⟩
  • Françoise Baude, Denis Caromel, Christian Delbé, Ludovic Henrio. A Fault Tolerance protocol for ASP calculus: Design and Proof. [Research Report] RR-5246, INRIA. 2004, pp.37. ⟨inria-00070752⟩
  • Denis Caromel, Ludovic Henrio. Asynchronous Sequential Processes. [Research Report] RR-4753, INRIA. 2003. ⟨inria-00071834⟩
  • Ludovic Henrio, Bernard Paul Serpette, Szabolcs Szentes. Implementation and Complexity of the Lowest Static Reduction. RR-5034, INRIA. 2003. ⟨inria-00071550⟩

Theses1 document

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

Habilitation à diriger des recherches1 document

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