Nombre de documents

66


Article dans une revue7 documents

  • 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, 2017, 3 (9), pp.1 - 15. 〈http://eudl.eu/〉. 〈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, 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. 〈http://www.jisajournal.com/content/6/1/15〉. 〈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〉
  • 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〉
  • Denis Caromel, Guillaume Chazarain, Ludovic Henrio. Garbage Collecting the Grid: A Complete DGC for Activities. Middleware 2007, LNCS 4834, Springer, 2007. 〈inria-00180150〉

Communication dans un congrès34 documents

  • 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, 2017, 〈10.1145/3127479.3128608〉. 〈hal-01627906〉
  • Ludovic Henrio, Eric Madelaine, Min Zhang. A Theory for the Composition of Concurrent Processes. Elvira Albert; Ivan Lanese. 36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. Lecture Notes in Computer Science, LNCS-9688, pp.175-194, 2016, Formal Techniques for Distributed Objects, Components, and Systems. 〈10.1007/978-3-319-39570-8_12〉. 〈hal-01432917〉
  • 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〉
  • Nuno Gaspar, Ludovic Henrio, Eric Madelaine. Painless Support for Static and Runtime Verification of Component-Based Applications. Mehdi Dastani; Marjan Sirjani. 6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. Springer, Lecture Notes in Computer Science, LNCS-9392, pp.259-274, 2015, Fundamentals of Software Engineering. 〈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. 2014. 〈hal-01055370〉
  • Ludovic Henrio, Justine Rochas. Declarative Scheduling for Active Objects. Shin, Sung Y. SAC 2014 - 29th Symposium On Applied Computing, Mar 2014, Gyeongju, South Korea. ACM, pp.1-6, 2014. 〈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. ACM, 2014, Proceedings of Programming Models and Applications on Multicores and Manycores. 〈10.1145/2560683.2560699〉. 〈hal-00944294〉
  • 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. 2013. 〈hal-00916115〉
  • Ludovic Henrio, Fabrice Huet, Justine Rochas. An Optimal Broadcast Algorithm for Content-Addressable Networks. Baldoni, Roberto and an Steen, Maarten. OPODIS 2013 - International Conference on Principles of DIstributed Systems, Dec 2013, Nice, France. Springer, pp.176-190, 2013, 〈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. 2013. 〈hal-00916102〉
  • Ludovic Henrio, Fabrice Huet, Zsolt István. Multi-threaded Active Objects. Rocco Nicola; Christine Julien. 15th International Conference on Coordination Models and Languages (COORDINATION), Jun 2013, Florence, Italy. Springer, Lecture Notes in Computer Science, LNCS-7890, pp.90-104, 2013, Coordination Models and Languages. 〈10.1007/978-3-642-38493-6_7〉. 〈hal-01486037〉
  • 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. 2013. 〈hal-00880533〉
  • Ludovic Henrio, Fabrice Huet, Zsolt István. Multi-threaded Active Objects. Julien, Christine and De Nicola, Rocco. COORDINATION 2013, Jun 2013, Firenze, Italy. Springer, 2013. 〈hal-00818482〉
  • Ludovic Henrio, Eric Madelaine. Behavioural Verification of Distributed Components. ICE 2013, Jun 2013, Florence, Italy. 2013. 〈hal-00850025〉
  • 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. Springer, 2013. 〈hal-00802006〉
  • Ludovic Henrio, Fabrice Huet, Zsolt István, Gheorghen Sebestyén. Adapting Active Objects to Multicore Architectures. ISPDC, Jul 2011, Cluj, Romania. IEEE Computer Society, 2011, 〈10.1109/ISPDC.2011.16〉. 〈hal-00644169〉
  • Mario Leyton, Ludovic Henrio, José Piquer. Exceptions for Algorithmic Skeletons. 16th Int. European Conference on Parallel and Distributed Computing (Euro-Par 2010), 2010, Italy. 2010. 〈hal-00486108〉
  • Ludovic Henrio, Eric Madelaine. Experiments with distributed Model-Checking of group-based applications. Sophia-Antipolis Formal Analysis Workshop, Oct 2010, Sophia-Antipolis, France. 3p., 2010. 〈inria-00538499〉
  • Ludovic Henrio, Florian Kammüller. Functional Active Objects: Typing and Formalisation. Foundations of Coordination Languages and Software Architectures (FOCLASA'09), 2010, France. ENTCS, x-pays = DE, x-proceedings=yes, x-international-audience=yes, pp.83-101, 2009. 〈hal-00485759〉
  • 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, 2010. 〈inria-00462325〉
  • 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., 2010. 〈inria-00493692〉
  • Ludovic Henrio, Muhammad Uzair Khan, Nadia Ranaldo, Eugenio Zimeo. First Class Futures: Specification and implementation of Update Strategies. M. Danelutto and F. Desprez and P. Fragopoulou and A. Stewart. CoreGRID/ERCIM Workshop on Grids, Clouds and P2P Computing, Aug 2010, Ischia - Naples, Italy. 2010, Euro-Par 2010 - Parallel Processing Workshops VHPC, HeteroPar, HPPC, HiBB, CoreGrid, UCHPC, HPCF, XtreemOS, PROPER, and CCPI. 〈inria-00544594〉
  • Ludovic Henrio, Florian Kammüller, Muhammad Uzair Khan. A Framework for Reasoning on Component Composition. FMCO, Nov 2009, Eindhoven, Netherlands. 2010. 〈inria-00490380〉
  • Ludovic Henrio, Florian Kammüller, Marcela Rivera. An Asynchronous Distributed Component Model and Its Semantics. FMCO - 08, 2008, Sophia antiopolis, France. 2009. 〈inria-00435145〉
  • 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. 2008. 〈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. 2008. 〈inria-00311516〉
  • 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. 2007. 〈inria-00178365〉
  • 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, Springer, 2007. 〈inria-00150272〉
  • Denis Caromel, Ludovic Henrio. Asynchonous Distributed Components: Concurrency and Determinacy. Theoretical Computer Science 2006 (IFIP TCS'06), 2006, Santiago, Chile, Springer Science, 2006. 〈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, Dec 2006, Amsterdam, Netherlands. IEEE, pp.49, 2006, 〈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, Elsevier, 2005. 〈inria-00122937〉
  • Tomás Barros, Ludovic Henrio, Eric Madelaine. Behavioural Models for Hierarchical Components. SPIN'05, 2005, San Francisco, USA, Spinger Verlag, 2005. 〈inria-00122933〉
  • Tomás Barros, Ludovic Henrio, Eric Madelaine. Verification of Distributed Hierarchical Components. International Workshop on Formal Aspects of Component Software (FACS'05), 2005, Macao, Electronic Notes in Theoretical Computer Science (ENTCS), 2005. 〈inria-00122926〉

Rapport23 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, Justine Rochas. From Modelling to Systematic Deployment of Distributed Active Objects – Extended Version. [Research Report] I3S. 2016. 〈hal-01299817〉
  • 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, 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〉
  • 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〉
  • Justine Rochas, Ludovic Henrio. A ProActive Backend for ABS: from Modelling to Deployment. [Research Report] RR-8596, INRIA. 2014. 〈hal-01065072〉
  • 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〉
  • 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〉
  • Francesco Bongiovanni, Ludovic Henrio. Mechanical Support for Efficient Dissemination on the CAN Overlay Network. [Research Report] RR-7599, INRIA. 2011. 〈inria-00585057〉
  • 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〉
  • 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, Marcela Rivera. An algorithm for safely stopping a component system. [Research Report] RR-6444, INRIA. 2008, pp.18. 〈inria-00239449v2〉
  • 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〉
  • 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〉
  • Tomás Barros, Ludovic Henrio, Eric Madelaine. Behavioural Models for Hierarchical Components. [Research Report] RR-5591, INRIA. 2006, pp.33. 〈inria-00070416〉
  • Denis Caromel, Christian Delbé, Ludovic Henrio. Promised Consistency for Rollback Recovery. [Research Report] RR-5902, INRIA. 2006. 〈inria-00071365〉
  • 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〉
  • Ludovic Henrio, Bernard Paul Serpette, Szabolcs Szentes. Implementation and Complexity of the Lowest Static Reduction. RR-5034, INRIA. 2003. 〈inria-00071550〉
  • Denis Caromel, Ludovic Henrio. Asynchronous Sequential Processes. [Research Report] RR-4753, INRIA. 2003. 〈inria-00071834〉

Thèse1 document

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

HDR1 document

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