A Theory of Distributed
Objects:WEB
pageSpringer
page
Denis Caromel, Ludovic Henrio -
Book - Springer-Verlag
-
BibTex
Asynchronous
and Deterministic Objects:
Denis Caromel, Ludovic Henrio, Bernard Serpette - POPL'04 (ACM Press)
-
paper (PS.gz)
(PDF) - BibTex
Multi-threaded Active Objects.
paper (HAL)
Ludovic Henrio, Fabrice Huet, and Zsolt István - In COORDINATION
2013, Springer. 2013. BibTex
Multiactive objects and their applications Ludovic Henrio and Justine Rochas Logical Methods in Computer Science, November 2017,
Extended
version (RR), Arxiv,
LMCS - Bibtex
Godot: All the Benefits
of Implicit and Explicit Futures Kiko
Fernandez-Reyes,
Einar Broch Johnsen,
Dave Clarke, Ludovic Henrio,
Tobias Wrigstad. ECOOP 2019.paper
(hal) -BibTex - Distinguished
artefact
N Chappe, L Henrio, A Maillé, M Moy, H Renaud
The Art, Science, and Engineering of Programming, 2022, Vol. 6, Issue
1, Article 3.
BibTex
Components and application
composition
GCM: A Grid Extension to
Fractal for Autonomous Distributed Components
Françoise Baude, Denis Caromel, Cédric Dalmasso, Marco Danelutto,
Vladimir Getov, Ludovic Henrio and Christian Pérez Annals of Telecommunications -
Special Issue on Software Components - The Fractal Initiative, Springer,
2008 http
- Bibtex
Programming distributed and adaptable autonomous
components—the GCM/ProActive frameworkpaper
(HAL)
Françoise Baude, Ludovic Henrio, and Cristian Ruz - Software: Practice
and Experience - 2014 - Bibtex
A mechanized model for CAN protocolspaper(HAL)
Francesco Bongiovanni and Ludovic Henrio
16th Int. Conference on Fundamental Approaches to Software Engineering
(FASE’13), LNCS. Springer, 2013. BibTex
Fault Tolerance:
Promised Messages: Recovering from
Inconsistent Global States (poster) F. Baude, D. Caromel, C. Delbé and L. Henrio - PPoPP'07-
ACM - BibTex
Type
safe algorithmic skeletons.
Denis Caromel, Ludovic Henrio, and Mario Leyton. In Proceedings of the
16th Euromicro International Conference on Parallel, Distributed and
network-based Processing, Toulouse, France, February 2008. BibTex
Bruno Ferres, Oussama Oulkaid, Ludovic Henrio, Mehdi Khosravian, Matthieu Moy, et al.
DATE: Design, Automation and Test in Europe Conference, Apr 2023, Belgium.
BibTex
J Emmanuel, L Henrio, M Moy, G Pichon
MASCOTS 2021 - 29th IEEE International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems.
BibTex
Godot: All the Benefits of Implicit and Explicit Futures Kiko
Fernandez-Reyes, Einar Broch Johnsen,
Dave Clarke,
Ludovic Henrio, Tobias Wrigstad. ECOOP 2019.paper
(hal) -BibTex - Distinguished
artefact
Verification of concurrent design patterns with data . Simon Bliudze, Ludovic Henrio, Eric Madelaine. Coordination
2019.
paper
(hal)-BibTex
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
(4PAD), held as part of The 16th International Conference on High
Performance Computing & Simulation (HPCS 2018). paper
(hal)-BibTex
Active Objects for Coordinating BSP Computations (Short
Paper). Gaétan Hains, Ludovic Henrio, Pierre Leca, and
Wijnand Suijlen. COORDINATION
2018, held as part of Discotec
2018.
Lecture Notes in Computer Science, vol 10510. Springer. BibTex
- hal
Multiactive objects and their applications
Ludovic Henrio and Justine Rochas Logical Methods in Computer Science, November 2017, Extended
version
(RR), Arxiv, LMCS
- Bibtex
2016
Integrated environment for verifying and running distributed
components. Ludovic Henrio, Oleksandra Kulankhina, Siqi Li, Eric
Madelaine.
19th Int. Conference on Fundamental Approaches to Software Engineering (FASE’16),
LNCS.
Springer, 2016. Extended
version
(RR) - BibTex
From Modelling to Systematic Deployment of Distributed Active
Objects. Ludovic Henrio, Justine Rochas. COORDINATION
2016, Springer. Extended
version (RR) - BibTex
A Theory for the Composition of Concurrent Processes. Ludovic Henrio, Eric Madelaine, Min Zhang. FORTE
2016, Springer. Extended version
(RR) - BibTex
Reconfigurable Applications Using GCMScript Matías Ibañez, Cristian Ruz, Ludovic Henrio, Javier Bustos-Jiménez.
IEEE Cloud computing. Special issue: Autonomic clouds. 2016. Preprint
on hal - BibTex
pNets: an Expressive Model for
Parameterised Networks of Processes.paper
(hal) 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. BibTex
Painless support for static and runtime
verification of component-based applications.paper
(hal)
Nuno Gaspar, Ludovic Henrio, Eric Madelaine.Fundamentals of
Software Engineering (FSEN'2015), Apr 2015, Teheran, Iran.BibTex
Management
of
service composition based on self-controlled components. paper (hal) Tatiana Aubonnet, Ludovic
Henrio, Soumia Kessal,
Oleksandra Kulankhina, Frédéric
Lemoine, Eric Madelaine,
Cristian Ruz, Noëmie
Simoni. Journal of
Internet Services and Applications, Springer, 2015, 6 (15), pp.17.
BibTex
2014
Declarative Scheduling for Active
Objects paper(HAL)
Ludovic Henrio and Justine Rochas SAC 2014 - 29th Symposium On Applied Computing (2014), ACM. BibTex
Self-Configuration and
Self-Optimization Autonomic Skeletons using Events paper(HAL)
Ludovic Henrio and Gustavo Pabón
2014 International Workshop on Programming Models and Applications for
Multicores and Manycores - Bibtex
Programming distributed and adaptable autonomous
components—the GCM/ProActive frameworkpaper
(HAL)
Françoise Baude, Ludovic Henrio, and Cristian Ruz - Software: Practice
and Experience - 2014 - Bibtex
Verifying the correct composition of distributed components:
Formalisation and Tool.
paper (HAL)
Ludovic Henrio, Oleksandra Kulankhina, Dongqian Liu, and Eric
Madelaine. FOCLASA 2014
Rome, September 2014. - Bibtex
A mechanized model for CAN protocols
paper(HAL)
Francesco Bongiovanni and Ludovic Henrio
16th Int. Conference on Fundamental Approaches to Software Engineering
(FASE’13), LNCS. Springer, 2013. BibTex
Broadcast Algorithms for CAN: Design
and Mechanisation Francesco Bongiovanni and Ludovic Henrio
Actes des Cinquièmes journées nationales duGroupement De Recherche CNRS
du Génie de la Programmation et du Logiciel
Multi-threaded Active Objects.
paper (HAL)
Ludovic Henrio, Fabrice Huet, and Zsolt István - In COORDINATION
2013, Springer. 2013. BibTex
Behavioural Verification of
Distributed Components. paper
(HAL)
Ludovic Henrio and Eric Madelaine - In ICE'2013.
BibTex
Formally Reasoning on a Reconfigurable Component-Based System
- A Case Study for the Industrial World. Nuno Gaspar, Ludovic
Henrio, Eric Madelaine - In FACS'2013. BibTex.paper (HAL)
An Optimal Broadcast
Algorithm for Content-Addressable Networks.paper
(extended version)
Ludovic Henrio, Fabrice Huet, and Justine Rochas - In OPODIS'2013.
BibTex.
2012
A Language for Multi-threaded Active
Objects - BibTex - paper
(RR)
Ludovic Henrio, Fabrice Huet, Zsolt Istvàn -
Research Report, INRIA
Sophia Antipolis - July 2012
Behavioural Semantics for
Asynchronous Components - BibTex
- paper
(RR)
Rabéa Ameur-Boulifa, Ludovic Henrio, Eric Madelaine, Alexandra
Savu - Research
Report, INRIA Sophia Antipolis - Dec 2012
Verifying Safety of Fault-Tolerant
Distributed Components - extended
version of the paper(pdf)
- BibTex
Rabéa Ameur-Boulifa, Raluca Halalai, Ludovic Henrio, and Eric Madelaine
- FACS 2011 -
LNCS - Springer
A Typed Functional Active Object
Calculus paper (Elsevier)
BibTex
Ludovic Henrio, florian Kammüller, and Bianca Lutz - Science
of Computer ProgrammingElsevier.
Mechanical Support for Efficient
Dissemination on the CAN Overlay Network - paper
(RR) BibTex
Francesco Bongiovanni, and Ludovic Henrio - accepted at CFSE
2011 - published as a research report
Adapting Active Objects to Multicore
Architectures - paper(HAL)- BibTex
Ludovic Henrio, Fabrice Huet, Zsolt István, and Gheorghen Sebestyén
International Symposium on Parallel and Distributed Computing (ISPDC
2011) - IEEE
2010
First Class Futures: Specification
and Implementation of Update Strategiespaper
(hal)
-
BibTex
Ludovic Henrio, Muhammad Uzair Khan, Nadia Ranaldo, and Eugenio Zimeo
- CoreGRID@Europar 2010.
Asynchronous Components with
Futures: Semantics and Proofs in Isabelle/HOL
Ludovic Henrio and Muhammad Uzair Khan - FESCA
2010 - ENTCS - BibTex - paper
(hal)
Behavioural Models for Group
Communications
Rabéa Ameur Boulifa, Ludovic Henrio, and Eric Madelaine, WCSI-10: International
Workshop on Component and Service Interoperability, 2010. paper
(hal). - BibTex
A Framework for Reasoning on
Component Composition
Ludovic Henrio, Florian Kammüller, and Muhammad Uzair Khan - FMCO
2009, Springer. paper
(hal). -BibTex
Exceptions for Algorithmic Skeletons
Mario Leyton, Ludovic Henrio, José M. Piquer
16th Int. European Conference on Parallel and Distributed Computing (Euro-Par
2010), paper.
BibTex
Mixing Workflows and Components to
Support Evolving Services
F. Baude, V. Legrand, L. Henrio, P. Naoumenko, H. Pfeffer, L. Bassbouss,
and D. Linner
International Journal of Adaptive, Resilient and Autonomic Systems (IJARAS),
2010, IGI
publishing. BibTex
2009
Structural
reconfiguration : an autonomic strategy for GCM components.
Françoise Baude and Ludovic Henrio and Paul Naoumenko - ICAS
2009 - BibTex
An Asynchronous Distributed Component
Model and Its Semantics.
Ludovic Henrio, Florian Kammüller, Marcela Rivera. Proceedings of FMCO
2008, Springer. BibTex
Functional Active Objects: Typing and
Formalisation
Ludovic Henrio and Florian Kammüller. Proceedings of the 8th
International Workshop on the Foundations of Coordination Languages and
Software Architectures, FOCLASA'09
- Elsevier. BibTex
A Reconfiguration Framework for
Distributed Components Marcela Rivera, Ludovic Henrio and Boutheina Bannour. SINTER Workshop Software
Integration and Evolution @ Runtime, ACM, 2009 BibTex
GCM: A Grid Extension to
Fractal for Autonomous Distributed Components
Françoise Baude, Denis Caromel, Cédric Dalmasso, Marco Danelutto,
Vladimir Getov, Ludovic Henrio and Christian Pérez Annals of Telecommunications -
Special Issue on Software Components - The Fractal Initiative, Springer,
2009 http
- Bibtex
Behavioural Models for
Distributed Fractal Components
Antonio Cansado, Ludovic Henrio, and Eric Madelaine Annals of Telecommunications -
Special Issue on Software Components - The Fractal Initiative, Springer,
2009 http
- Bibtex
Asynchronous sequential processes.
Denis Caromel, Ludovic Henrio, Bernard Serpette -
Information and Computation - Elsevier - 2009 - BibTex
Type safe
algorithmic skeletons.
Denis Caromel, Ludovic Henrio, and Mario Leyton. In Proceedings of the
16th Euromicro International Conference on Parallel, Distributed and
network-based Processing, Toulouse, France, February 2008. BibTex
A component platform for
experimenting with autonomic composition
L. Henrio, D. Caromel, F. Baude
Proceedings of the Programming Model Institute Technical meeting 2008 -
http
- Bibtex
Transparent First-class Futures and
Distributed Components
Antonio Cansado, Ludovic Henrio, and Eric Madelaine
5th workshop on Formal Aspects of Component Systems (FACS
2008) ENTCS -
Elsevier - http
- Bibtex
Unifying Architectural and
Behavioural Specifications of Distributed Components
Antonio Cansado, Ludovic Henrio, and Eric Madelaine
5th workshop on Formal Aspects of Component Systems (FACS
2008) ENTCS -
Elsevier- http
- Bibtex
Active Objects and Distributed
Components: Theory and Implementation Denis Caromel and Ludovic Henrio and Eric Madelaine
Proceedings of FMCO 2007, Springer-Verlag
Berlin HeidelbergSpringer-Verlag
Berlin HeidelbergSpringer-Verlag
Berlin HeidelbergSpringer-Verlag
Berlin Heidelberg, 2008. BibTex
Stopping safely hierarchical
distributed components: application to GCM
Ludovic Henrio, Marcela Rivera CBHPC '08: Proceedings of the
2008 compFrame/HPC-GECO workshop on Component based high performance ACM
- BibTex - PDF(ACM)
2007
Garbage Collecting the Grid
: a complete dgc for activities Denis Caromel, Guillaume Chazarain, and Ludovic Henrio.
ACM/IFIP/USENIX International Middleware Conference, Middleware
2007. BibTex
A Component Platform for
Experimenting with Autonomic Composition
Françoise Baude, Ludovic Henrio, and Paul Naoumenko.
First International Conference on Autonomic Computing and Communication
Systems (Autonomics 2007). Invited
Paper. ACM Digital Library- BibTex
- PDF
A Flexible Model and Implementation
of Component Controllers Francoise Baude, Denis Caromel, Ludovic Henrio and Paul
Naoumenko - CoreGRID Workshop on Grid
Programming Model, Grid and P2P Systems Architecture, Grid Systems,
Tools and Environments - BibTex
A
Mechanized Model of the Theory of Objects Ludovic
Henrio,
Florian Kammuller - FMOODS 2007 Springer
- PDF
- BibTex
Promised Messages: Recovering from
Inconsistent Global States (poster) F. Baude, D. Caromel, C. Delbé
and L. Henrio - PPoPP'07-
ACM
- BibTex
Collective Interfaces for Distributed
Components Francoise Baude, Denis Caromel, Ludovic Henrio and Matthieu Morel
- CCGrid 2007 - BibTex
Aspfun: A functional and distributed
object calculus semantics, type-system, and formalization.
Ludovic Henrio, Florian Kammüller, and Henry Sudhof. Research Report
6353, INRIA, 11/2007. - PDF
- BibTex
Interoperability of grid component
models: GCM and CCA case study
Maciej Malawski, Marian Bubak, Francoise Baude, Denis Caromel, Ludovic
Henrio, and Matthieu Morel.
Towards Next Generation Grids: Proceedings
of
the CoreGRID Symposium, August 2007. Springer. - HTML
- BibTex
A Specification Language for
Distributed Components implemented in GCM/ProActive
A. Cansado, D. Caromel, L. Henrio, E. Madelaine, M. Rivera, E. Salageanu
Book chapter in "The Common Component Modeling Example: Comparing
Software Component Models", Dagsthul seminar series, 2007. - BibTex
High-level scripting approach for
building component-based applications on the grid.
Maciej Malawski, Tomasz Gubala, Marek Kasztelnik, Tomasz Bartynski,
Marian Bubak, Francoise Baude, and Ludovic Henrio. CoreGRID Workshop on Grid Programming
Model Grid and P2P Systems Architecture Grid Systems, Tools and
Environments, Heraklion, Crete, June 2007. Springer. - BibTex
Asynchonous Distributed Components:
Concurrency and Determinacy.
Denis Caromel and Ludovic Henrio.
In Proceedings of the IFIP
International Conference on Theoretical Computer Science 2006 (IFIP
TCS'06), Santiago, Chile, August 2006. Springer Science. 19th
IFIP World Computer Congress - BibTex
- PDF
Un protocole de tolérance aux pannes pour objets actifs non
préemptifs
Francoise Baude, Denis Caromel, Christian Delbé and Ludovic Henrio
Technique et Science Informatiques - 2006 - BibTex
Promised Consistency for Rollback Recovery Denis Caromel, Christian Delbé,
Ludovic Henrio Research
Report, INRIA Sophia
Antipolis, No RR-5902
- BibTex
Specification and Verification of
Reconfiguration Protocols in Grid Component Systems
Alessandro Basso, Alexander Bolotov, Artie Basukoski, Vladimir Getov,
Ludovic Henrio, Mariusz Urbanski
CoreGRID Technical Report, TR-0042 - BibTex
-- short version accepted at IS
2006 (3rd IEEE Conference On Intelligent Systems) - BibTex
Towards Real Case Component
Model-Checking
A. Cansado, L. Henrio and E. Madelaine
5th Fractal Workshop, 2006 - BibTex
Proposal for a lightweight generic
grid platform architecture. Jeyarajan Thiyagalingam, Nikos
Parlavantzas, Stavros Isaiadis, Ludovic Henrio, Denis Caromel, and
Vladimir Getov. In
Proceedings of CompFrame 2006,
Component and Framework
Technology in High-Performance and Scientific Computing,
Paris, France, June 2006.
IEEE - BibTex.
Lightweight grid platform: Design
methodology. Rosa M. Badia, Olav Beckmann,
Sofia Panagiotidi, Denis Caromel, Ludovic Henrio, Marian Bubak, Maciek
Malawski, Vladimir Getov, Stavros Isaiadis, Jeyarajan Thiyagalingam,
and Vladimir Lazarov. Technical report, Institute
on Grid Systems, Tools and Environments, Jan 2006. CoreGRID
Technical Report, TR-0020.
A
Fault Tolerant and Multi-Paradigm Grid Architecture for Time
Constrained Problems. Application to Financial Option Pricing S. Bezinne, V.
Galtier, S. Vialle, F. Baude, M. Bossy, V. Dung, and L. Henrio In Proceedings
of the 2nd
IEEE International Conference on e-Science and Grid Computing, 2006
- BibTex
Fractalising Fractal Controller for a
Componentisation of the
Non-Functional Aspects Francoise Baude, Denis Caromel, Ludovic Henrio, Matthieu Morel
and Paul Naoumenko
5th Fractal Workshop in conjunction with ECOOP'20 -- poster, July 2006.
2005
A Hybrid Message Logging-CIC Protocol
for Constrained Checkpointability
Francoise Baude, Denis Caromel, Christian Delbe, Ludovic Henrio proceedings of Euro-Par 2005,
Springer-Verlag
- BibTex - paper
[PS] - [PDF]
A Theory of Distributed Objects:WEB pageSpringer
page
Denis Caromel, Ludovic Henrio -
Book - Springer-Verlag
-
BibTex
Verification of Distributed
Hierarchical Components
Tomás Barros, Ludovic Henrio, Eric Madelaine- FACS
2005 ENTCS - Elsevier
- BibTexpaper
(PDF)
Behavioural Models for Hierarchical
Components
Tomás Barros, Ludovic Henrio, Eric Madelaine- SPIN
2005 Springer Verlag - BibTex
-
Full Version - paper
(PDF)
Long verion published as Technical Report RR-5591, INRIA
Secured Information Flow for
Asynchronous Sequential Processes Isabelle Attali, Denis Caromel,
Ludovic Henrio, and Felipe Luna Del Aguila -BibTex
-SecCo
2005 (ENTCS - Elsevier)
Grid Components Techniques:
Composing, Gathering, and Scattering Laurent Baduel, Françoise Baude,
Denis Caromel, Ludovic
Henrio, Fabrice Huet, Stéphane Lanteri, Matthieu Morel Coupled Problems 2005,
Computational Methods for Coupled Problems in Science and Engineering,
an ECCOMAS Thematic Conference - BibTex
2004
Asynchronous and Deterministic
Objects:
Denis Caromel, Ludovic Henrio, Bernard Serpette - POPL'04 (ACM Press)
-
paper (PS.gz)
(PDF) - BibTex
A Fault Tolerance protocol for ASP
calculus : Design and Proof:
Françoise Baude, Denis Caromel, Christian Delbé, Ludovic Henrio Research Report, INRIA Sophia
Antipolis, No RR-5246 - 06/2004 - BibTex
-
RR
[PS][PDF]
Algorithme et complexité de la
réduction statique minimale
paper Ludovic Henrio, Bernard Paul Serpette, Szabolcs Szentes Actes des Journées Francophones des Langages Applicatifs
2004 (JFLA'04
- Sainte-Marie-de-Ré - Janvier 2004) - BibTex
2003
Asynchronous
Sequential Processes: Research
report
Denis Caromel, Ludovic Henrio, Bernard Serpette -
03/2003 - BibTex
Implementation and Complexity
of the Lowest Static Reduction Research
report
(ps.gz)
Ludovic Henrio, Bernard Paul Serpette, Szabolcs Szentes Research Report, INRIA Sophia
Antipolis, No 5034 - Decembre 2003 - BibTex
A Parametrized Polyvariant Bytecode Verifier
paper (PS) Ludovic Henrio, Bernard Serpette - JFLA'03BibTex
before ...
Context Inference for Static Analysis of Java Card Sharing : paper
Denis Caromel, Ludovic Henrio, Bernard Serpette - e-Smart01BibTex
An Integrated Development Environment for Java Card:paper
(PS)
Isabelle Attali, Denis Caromel, Carine Courbis, Ludovic Henrio, and
Henrik Nilsson Journal Computer Networks 2001BibTex
Smart Tools for Java Card:paper
(PS)
Isabelle Attali, Denis Caromel, Carine Courbis, Ludovic Henrio, and
Henrik Nilsson Smart Card Research and Advanced
Applications 2000BibTex