Ludovic Henrio

According to our database1, Ludovic Henrio authored at least 71 papers between 2000 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Preface for the special issue on Interaction and Concurrency Experience 2016.
J. Log. Algebr. Meth. Program., 2018

Ensuring Memory Consistency in Heterogeneous Systems Based on Access Mode Declarations.
Proceedings of the 2018 International Conference on High Performance Computing & Simulation, 2018

Active Objects for Coordinating BSP Computations (Short Paper).
Proceedings of the Coordination Models and Languages, 2018

2017
Multiactive objects and their applications.
Logical Methods in Computer Science, 2017

Behavioural semantics for asynchronous components.
J. Log. Algebr. Meth. Program., 2017

Monitoring as-a-service to drive more efficient future system design.
EAI Endorsed Trans. Cloud Systems, 2017

A Survey of Active Object Languages.
ACM Comput. Surv., 2017

Analysis of Synchronisations in Stateful Active Objects.
Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

Trustable virtual machine scheduling in a cloud.
Proceedings of the 2017 Symposium on Cloud Computing, SoCC 2017, Santa Clara, CA, USA, 2017

2016
Multiactive objects and their applications.
CoRR, 2016

Reconfigurable Applications Using GCMScript.
IEEE Cloud Computing, 2016

Actors may synchronize, safely!
Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, 2016

A Theory for the Composition of Concurrent Processes.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016

Integrated Environment for Verifying and Running Distributed Components.
Proceedings of the Fundamental Approaches to Software Engineering, 2016

From Modelling to Systematic Deployment of Distributed Active Objects.
Proceedings of the Coordination Models and Languages, 2016

2015
Programming distributed and adaptable autonomous components - the GCM/ProActive framework.
Softw., Pract. Exper., 2015

Management of service compositionbased on self-controlled components.
J. Internet Services and Applications, 2015

pNets: An Expressive Model for Parameterised Networks of Processes.
Proceedings of the 23rd Euromicro International Conference on Parallel, 2015

Painless Support for Static and Runtime Verification of Component-Based Applications.
Proceedings of the Fundamentals of Software Engineering - 6th International Conference, 2015

2014
Bringing Coq into the World of GCM Distributed Applications.
International Journal of Parallel Programming, 2014

Verifying the correct composition of distributed components: Formalisation and Tool.
Proceedings of the Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, 2014

Declarative scheduling for active objects.
Proceedings of the Symposium on Applied Computing, 2014

Self-Configuration and Self-Optimization Autonomic Skeletons using Events.
Proceedings of the 2014 PPOPP International Workshop on Programming Models and Applications for Multicores and Manycores, 2014

2013
An Optimal Broadcast Algorithm for Content-Addressable Networks.
Proceedings of the Principles of Distributed Systems - 17th International Conference, 2013

A Mechanized Model for CAN Protocols.
Proceedings of the Fundamental Approaches to Software Engineering, 2013

Formally Reasoning on a Reconfigurable Component-Based System - A Case Study for the Industrial World.
Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013

Multi-threaded Active Objects.
Proceedings of the Coordination Models and Languages, 15th International Conference, 2013

2012
ASPfun : A typed functional active object calculus.
Sci. Comput. Program., 2012

Formal Models for Programming and Composing Correct Distributed Systems. (Modèles Formels pour la Programmation et la Composition de Systèmes Distribués Corrects).
, 2012

2011
Adapting Active Objects to Multicore Architectures.
Proceedings of the 10th International Symposium on Parallel and Distributed Computing, 2011

Verifying Safety of Fault-Tolerant Distributed Components.
Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011

2010
Mixing Workflows and Components to Support Evolving Services.
IJARAS, 2010

Asynchronous Components with Futures: Semantics and Proofs in Isabelle/HOL.
Electr. Notes Theor. Comput. Sci., 2010

Unifying Architectural and Behavioural Specifications of Distributed Components.
Electr. Notes Theor. Comput. Sci., 2010

Transparent First-class Futures and Distributed Components.
Electr. Notes Theor. Comput. Sci., 2010

Behavioural Models for Group Communications
Proceedings of the Proceedings International Workshop on Component and Service Interoperability, 2010

Locally Nameless Sigma Calculus.
Archive of Formal Proofs, 2010

Exceptions for Algorithmic Skeletons.
Proceedings of the Euro-Par 2010 - Parallel Processing, 16th International Euro-Par Conference, Ischia, Italy, August 31, 2010

First Class Futures: Specification and Implementation of Update Strategies.
Proceedings of the Euro-Par 2010 Parallel Processing Workshops, 2010

2009
Asynchronous sequential processes.
Inf. Comput., 2009

Functional Active Objects: Typing and Formalisation.
Electr. Notes Theor. Comput. Sci., 2009

GCM: a grid extension to Fractal for autonomous distributed components.
Annales des Télécommunications, 2009

Behavioural models for distributed Fractal components.
Annales des Télécommunications, 2009

Structural Reconfiguration: An Autonomic Strategy for GCM Components.
Proceedings of the Fifth International Conference on Autonomic and Autonomous Systems, 2009

A Framework for Reasoning on Component Composition.
Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

2008
Type Safe Algorithmic Skeletons.
Proceedings of the 16th Euromicro International Conference on Parallel, 2008

An Asynchronous Distributed Component Model and Its Semantics.
Proceedings of the Formal Methods for Components and Objects, 7th International Symposium, 2008

2007
Secured Information Flow for Asynchronous Sequential Processes.
Electr. Notes Theor. Comput. Sci., 2007

Promised messages: recovering from inconsistent global states.
Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2007

Garbage Collecting the Grid: A Complete DGC for Activities.
Proceedings of the Middleware 2007, 2007

A Mechanized Model of the Theory of Objects.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007

Active Objects and Distributed Components: Theory and Implementation.
Proceedings of the Formal Methods for Components and Objects, 6th International Symposium, 2007

A Specification Language for Distributed Components Implemented in GCM/ProActive.
Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007

High-Level Scripting Approach for Building Component-Based Applications on the Grid.
Proceedings of the Making Grids Work: Proceedings of the CoreGRID Workshop on Programming Models Grid and P2P System Architecture Grid Systems, 2007

Interoperability of Grid component models: GCM and CCA case study.
Proceedings of the Towards Next Generation Grids, 2007

A Flexible Model and Implementation of Component Controllers.
Proceedings of the Making Grids Work: Proceedings of the CoreGRID Workshop on Programming Models Grid and P2P System Architecture Grid Systems, 2007

Collective Interfaces for Distributed Components.
Proceedings of the Seventh IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2007), 2007

A component platform for experimenting with autonomic composition.
Proceedings of the 1st International Conference on Autonomic Computing and Communication Systems, 2007

2006
Verification of Distributed Hierarchical Components.
Electr. Notes Theor. Comput. Sci., 2006

Asynchonous Distributed Components: Concurrency and Determinacy.
Proceedings of the Fourth IFIP International Conference on Theoretical Computer Science (TCS 2006), 2006

A Fault Tolerant and Multi-Paradigm Grid Architecture for Time Constrained Problems. Application to Option Pricing in Finance.
Proceedings of the Second International Conference on e-Science and Grid Technologies (e-Science 2006), 2006

2005
Un protocole de tolérance aux pannes pour objets actifs non préemptifs.
Technique et Science Informatiques, 2005

Behavioural Models for Hierarchical Components.
Proceedings of the Model Checking Software, 2005

A Hybrid Message Logging-CIC Protocol for Constrained Checkpointability.
Proceedings of the Euro-Par 2005, Parallel Processing, 11th International Euro-Par Conference, Lisbon, Portugal, August 30, 2005

A theory of distributed objects - asynchrony, mobility, groups, components.
Springer, ISBN: 978-3-540-20866-2, 2005

2004
Asynchronous and deterministic objects.
Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2004

2003
Calcul d'objet asynchrone : confluence et déterminisme. (Asynchronous Object Calculus: Confluence and Determinacy).
PhD thesis, 2003

A Parametrized Polyvariant Bytecode Verifier.
Proceedings of the Journées francophones des langages applicatifs (JFLA'03), 2003

2001
An integrated development environment for Java Card.
Computer Networks, 2001

Context Inference for Static Analysis of Java Card Object Sharing.
Proceedings of the Smart Card Programming and Security, 2001

2000
Smart Tools for Java Cards.
Proceedings of the Smart Card Research and Advanced Applications, 2000


  Loading...