Ludovic Henrio
Orcid: 0000-0001-7137-3523
According to our database1,
Ludovic Henrio
authored at least 93 papers
between 2000 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
ACM Trans. Program. Lang. Syst., March, 2024
ACM Comput. Surv., January, 2024
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024
Proceedings of the Active Object Languages: Current Research Trends, 2024
2023
J. Log. Algebraic Methods Program., February, 2023
Proc. ACM Program. Lang., January, 2023
Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023
2022
2021
Proceedings of the 29th International Symposium on Modeling, 2021
Proceedings of the Fundamentals of Software Engineering - 9th International Conference, 2021
2020
Leveraging access mode declarations in a model for memory consistency in heterogeneous systems.
J. Log. Algebraic Methods Program., 2020
Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020
Proceedings of the Integrated Formal Methods - 16th International Conference, 2020
2019
J. Log. Algebraic Methods Program., 2019
Dagstuhl Artifacts Ser., 2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019
Proceedings of the Coordination Models and Languages, 2019
2018
J. Log. Algebraic Methods Program., 2018
Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution, 2018
Ensuring Memory Consistency in Heterogeneous Systems Based on Access Mode Declarations.
Proceedings of the 2018 International Conference on High Performance Computing & Simulation, 2018
Proceedings of the Coordination Models and Languages, 2018
2017
J. Log. Algebraic Methods Program., 2017
EAI Endorsed Trans. Cloud Syst., 2017
Proceedings of the Integrated Formal Methods - 13th International Conference, 2017
Proceedings of the 2017 Symposium on Cloud Computing, SoCC 2017, Santa Clara, CA, USA, 2017
2016
Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, 2016
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016
Proceedings of the Fundamental Approaches to Software Engineering, 2016
Proceedings of the Coordination Models and Languages, 2016
2015
Programming distributed and adaptable autonomous components - the GCM/ProActive framework.
Softw. Pract. Exp., 2015
J. Internet Serv. Appl., 2015
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
Int. J. Parallel Program., 2014
Proceedings of the Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, 2014
Proceedings of the Symposium on Applied Computing, 2014
Proceedings of the 2014 PPOPP International Workshop on Programming Models and Applications for Multicores and Manycores, 2014
2013
Proceedings of the Principles of Distributed Systems - 17th International Conference, 2013
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
Proceedings of the Coordination Models and Languages, 15th International Conference, 2013
2012
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
Proceedings of the 10th International Symposium on Parallel and Distributed Computing, 2011
Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011
2010
Int. J. Adapt. Resilient Auton. Syst., 2010
Proceedings of the 7th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2010
Proceedings of the Proceedings International Workshop on Component and Service Interoperability, 2010
Proceedings of the Euro-Par 2010 - Parallel Processing, 16th International Euro-Par Conference, Ischia, Italy, August 31, 2010
Proceedings of the Euro-Par 2010 Parallel Processing Workshops, 2010
2009
Proceedings of the 8th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2009
Ann. des Télécommunications, 2009
Ann. des Télécommunications, 2009
Proceedings of the Fifth International Conference on Autonomic and Autonomous Systems, 2009
Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009
2008
Proceedings of the 5th International Workshop on Formal Aspects of Component Software, 2008
Proceedings of the 5th International Workshop on Formal Aspects of Component Software, 2008
Proceedings of the 16th Euromicro International Conference on Parallel, 2008
Proceedings of the Formal Methods for Components and Objects, 7th International Symposium, 2008
2007
Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2007
Proceedings of the Middleware 2007, 2007
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007
Proceedings of the Formal Methods for Components and Objects, 6th International Symposium, 2007
Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007
Proceedings of the Making Grids Work: Proceedings of the CoreGRID Workshop on Programming Models Grid and P2P System Architecture Grid Systems, 2007
Proceedings of the Towards Next Generation Grids, 2007
Proceedings of the Making Grids Work: Proceedings of the CoreGRID Workshop on Programming Models Grid and P2P System Architecture Grid Systems, 2007
Proceedings of the Seventh IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2007), 2007
Proceedings of the 1st International Conference on Autonomic Computing and Communication Systems, 2007
2006
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
Tech. Sci. Informatiques, 2005
Proceedings of the International Workshop on Formal Aspects of Component Software, 2005
Proceedings of the International Workshop on Security and Concurrency, SecCo@CONCUR 2005, 2005
Proceedings of the Model Checking Software, 2005
Proceedings of the Euro-Par 2005, Parallel Processing, 11th International Euro-Par Conference, Lisbon, Portugal, August 30, 2005
Springer, ISBN: 978-3-540-20866-2, 2005
2004
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
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