Ludovic Henrio

108 papers A* 1A 4B 12C 10Misc 2Journal 38Unranked 34

Year	Rank	Type	Title / Venue / Authors
2026	B	`conf`	Layers of Confluence for Actors. CPP Ludovic Henrio, Einar Broch Johnsen, Åsmund Aqissiaq Arild Kløvstad, Violet Ka I Pun, Yannick Zakowski
2025	J	`jnl`	A Survey on Transistor-Level Electrical Rule Checking of Integrated Circuits. ACM Trans. Design Autom. Electr. Syst. Bruno Ferres, Oussama Oulkaid, Matthieu Moy, Gabriel Radanne, Ludovic Henrio, Pascal Raymond, Mehdi Khosravian
2025	J	`jnl`	Choice trees: Representing and reasoning about nondeterministic, recursive, and impure programs in Rocq. J. Funct. Program. Nicolas Chappe, Paul He, Ludovic Henrio, Eleftherios Ioannidis, Yannick Zakowski, Steve Zdancewic
2025	B	`conf`	Monadic Interpreters for Concurrent Memory Models: Executable Semantics of a Concurrent Subset of LLVM IR. CPP Nicolas Chappe, Ludovic Henrio, Yannick Zakowski
2024	A	`conf`	A Transistor Level Relational Semantics for Electrical Rule Checking by SMT Solving. DATE Oussama Oulkaid, Bruno Ferres, Matthieu Moy, Pascal Raymond, Mehdi Khosravian, Ludovic Henrio, Gabriel Radanne
2024	—	`ch.`	Active Objects Based on Algebraic Effects. Active Object Languages: Current Research Trends Martin Andrieux, Ludovic Henrio, Gabriel Radanne
2024	J	`jnl`	Component-based Distributed Software Reconfiguration:A Verification-oriented Survey. ACM Comput. Surv. Hélène Coullon, Ludovic Henrio, Frédéric Loulergue, Simon Robillard
2024	J	`jnl`	Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages. ACM Trans. Program. Lang. Syst. Crystal Chang Din, Reiner Hähnle, Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa
2024	J	`jnl`	Provably Fair Cooperative Scheduling. Art Sci. Eng. Program. Reiner Hähnle, Ludovic Henrio
2023	J	`jnl`	A Survey on Parallelism and Determinism. ACM Comput. Surv. Laure Gonnord, Ludovic Henrio, Lionel Morel, Gabriel Radanne
2023	J	`jnl`	Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq. Proc. ACM Program. Lang. Nicolas Chappe, Paul He, Ludovic Henrio, Yannick Zakowski, Steve Zdancewic
2023	J	`jnl`	Compositional equivalences based on open pNets. J. Log. Algebraic Methods Program. Rabéa Ameur-Boulifa, Ludovic Henrio, Eric Madelaine
2023	A	`conf`	Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory. DATE Bruno Ferres, Oussama Oulkaid, Ludovic Henrio, Mehdi Khosravian Ghadikolaei, Matthieu Moy, Gabriel Radanne, Pascal Raymond
2023	J	`jnl`	Provably Fair Cooperative Scheduling. CoRR Reiner Hähnle, Ludovic Henrio
2023	B	`conf`	Refinements for Open Automata. SEFM Rabéa Ameur-Boulifa, Quentin Corradi, Ludovic Henrio, Eric Madelaine
2022	J	`jnl`	A Survey on Parallelism and Determinism. CoRR Laure Gonnord, Ludovic Henrio, Lionel Morel, Gabriel Radanne
2022	J	`jnl`	An Optimised Flow for Futures: From Theory to Practice. Art Sci. Eng. Program. Nicolas Chappe, Ludovic Henrio, Amaury Maillé, Matthieu Moy, Hadrien Renaud
2022	J	`jnl`	Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq. CoRR Nicolas Chappe, Paul He, Ludovic Henrio, Yannick Zakowski, Steve Zdancewic
2022	J	`jnl`	LAGC Semantics of Concurrent Programming Languages. CoRR Crystal Chang Din, Reiner Hähnle, Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa
2021	J	`jnl`	An Optimised Flow for Futures: From Theory to Practice. CoRR Nicolas Chappe, Ludovic Henrio, Amaury Maillé, Matthieu Moy, Hadrien Renaud
2021	—	`conf`	Promise Plus: Flexible Synchronization for Parallel Computations on Arrays. FSEN Amaury Maillé, Ludovic Henrio, Matthieu Moy
2021	B	`conf`	S4BXI: the MPI-ready Portals 4 Simulator. MASCOTS Julien Emmanuel, Matthieu Moy, Ludovic Henrio, Grégoire Pichon
2020	B	`conf`	Active Objects with Deterministic Behaviour. IFM Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun
2020	J	`jnl`	Compositional equivalences based on Open pNets. CoRR Rabéa Ameur-Boulifa, Ludovic Henrio, Eric Madelaine
2020	Misc	`conf`	Distributed futures for efficient data transfer between parallel processes. SAC Pierre Leca, Wijnand Suijlen, Ludovic Henrio, Françoise Baude
2020	J	`jnl`	Leveraging access mode declarations in a model for memory consistency in heterogeneous systems. J. Log. Algebraic Methods Program. Ludovic Henrio, Christoph W. Kessler, Lu Li
2019	J	`jnl`	Godot: All the Benefits of Implicit and Explicit Futures (Artifact). Dagstuhl Artifacts Ser. Kiko Fernandez-Reyes, Dave Clarke, Ludovic Henrio, Einar Broch Johnsen, Tobias Wrigstad
2019	A	`conf`	Godot: All the Benefits of Implicit and Explicit Futures. ECOOP Kiko Fernandez-Reyes, Dave Clarke, Ludovic Henrio, Einar Broch Johnsen, Tobias Wrigstad
2019	J	`jnl`	Leveraging access mode declarations in a model for memory consistency in heterogeneous systems. CoRR Ludovic Henrio, Christoph W. Kessler, Lu Li
2019	—	`conf`	On Reachability in Parameterized Phaser Programs. TACAS (1) Zeinab Ganjei, Ahmed Rezine, Ludovic Henrio, Petru Eles, Zebo Peng
2019	J	`jnl`	Preface for the special issue on Interaction and Concurrency Experience 2017. J. Log. Algebraic Methods Program. Massimo Bartoletti, Laura Bocchi, Ludovic Henrio, Sophia Knight
2019	—	`ed.`	Proceedings 12th Interaction and Concurrency Experience, ICE 2019, Copenhagen, Denmark, 20-21 June 2019. ICE Massimo Bartoletti, Ludovic Henrio, Anastasia Mavridou, Alceste Scalas
2019	C	`conf`	Verification of Concurrent Design Patterns with Data. COORDINATION Simon Bliudze, Ludovic Henrio, Eric Madelaine
2018	C	`conf`	Active Objects for Coordinating BSP Computations (Short Paper). COORDINATION Gaétan Hains, Ludovic Henrio, Pierre Leca, Wijnand Suijlen
2018	—	`conf`	Ensuring Memory Consistency in Heterogeneous Systems Based on Access Mode Declarations. HPCS Ludovic Henrio, Christoph W. Kessler, Lu Li
2018	J	`jnl`	On Reachability in Parameterized Phaser Programs. CoRR Zeinab Ganjei, Ahmed Rezine, Ludovic Henrio, Petru Eles, Zebo Peng
2018	J	`jnl`	Preface for the special issue on Interaction and Concurrency Experience 2016. J. Log. Algebraic Methods Program. Massimo Bartoletti, Ludovic Henrio, Sophia Knight, Hugo Torres Vieira
2018	—	`conf`	Who is to Blame? Runtime Verification of Distributed Objects with Active Monitors. VORTEX@ECOOP/ISSTA Wolfgang Ahrendt, Ludovic Henrio, Wytse Oortwijn
2017	J	`jnl`	A Survey of Active Object Languages. ACM Comput. Surv. Frank S. de Boer, Vlad Serbanescu, Reiner Hähnle, Ludovic Henrio, Justine Rochas, Crystal Chang Din, Einar Broch Johnsen, Marjan Sirjani, Ehsan Khamespanah, Kiko Fernandez-Reyes, Albert Mingkun Yang
2017	B	`conf`	Analysis of Synchronisations in Stateful Active Objects. IFM Ludovic Henrio, Cosimo Laneve, Vincenzo Mastandrea
2017	J	`jnl`	Behavioural semantics for asynchronous components. J. Log. Algebraic Methods Program. Rabéa Ameur-Boulifa, Ludovic Henrio, Oleksandra Kulankhina, Eric Madelaine, A. Savu
2017	J	`jnl`	Monitoring as-a-service to drive more efficient future system design. EAI Endorsed Trans. Cloud Syst. Frédéric Lemoine, Tatiana Aubonnet, Ludovic Henrio, Soumia Kessal, Eric Madelaine, Noemie Simoni
2017	J	`jnl`	Multiactive objects and their applications. Log. Methods Comput. Sci. Ludovic Henrio, Justine Rochas
2017	—	`ed.`	Proceedings 10th Interaction and Concurrency Experience, ICE@DisCoTec 2017, Neuchâtel, Switzerland, 21-22nd June 2017. ICE@DisCoTec Massimo Bartoletti, Laura Bocchi, Ludovic Henrio, Sophia Knight
2017	—	`conf`	Trustable virtual machine scheduling in a cloud. SoCC Fabien Hermenier, Ludovic Henrio
2016	C	`conf`	A Theory for the Composition of Concurrent Processes. FORTE Ludovic Henrio, Eric Madelaine, Min Zhang
2016	C	`conf`	Actors may synchronize, safely! PPDP Elena Giachino, Ludovic Henrio, Cosimo Laneve, Vincenzo Mastandrea
2016	C	`conf`	From Modelling to Systematic Deployment of Distributed Active Objects. COORDINATION Ludovic Henrio, Justine Rochas
2016	B	`conf`	Integrated Environment for Verifying and Running Distributed Components. FASE Ludovic Henrio, Oleksandra Kulankhina, Siqi Li, Eric Madelaine
2016	J	`jnl`	Multiactive objects and their applications. CoRR Ludovic Henrio, Justine Rochas
2016	—	`ed.`	Proceedings 9th Interaction and Concurrency Experience, ICE 2016, Heraklion, Greece, 8-9 June 2016. ICE Massimo Bartoletti, Ludovic Henrio, Sophia Knight, Hugo Torres Vieira
2016	J	`jnl`	Reconfigurable Applications Using GCMScript. IEEE Cloud Comput. Matias Ibanez, Cristian Ruz, Ludovic Henrio, Javier Bustos-Jiménez
2015	J	`jnl`	Management of service compositionbased on self-controlled components. J. Internet Serv. Appl. Tatiana Aubonnet, Ludovic Henrio, Soumia Kessal, Oleksandra Kulankhina, Frédéric Lemoine, Eric Madelaine, Cristian Ruz, Noëmie Simoni
2015	—	`conf`	Painless Support for Static and Runtime Verification of Component-Based Applications. FSEN Nuno Gaspar, Ludovic Henrio, Eric Madelaine
2015	J	`jnl`	Programming distributed and adaptable autonomous components - the GCM/ProActive framework. Softw. Pract. Exp. Françoise Baude, Ludovic Henrio, Cristian Ruz
2015	C	`conf`	pNets: An Expressive Model for Parameterised Networks of Processes. PDP Ludovic Henrio, Eric Madelaine, Min Madelaine
2014	J	`jnl`	Bringing Coq into the World of GCM Distributed Applications. Int. J. Parallel Program. Nuno Gaspar, Ludovic Henrio, Eric Madelaine
2014	Misc	`conf`	Declarative scheduling for active objects. SAC Ludovic Henrio, Justine Rochas
2014	—	`conf`	Self-Configuration and Self-Optimization Autonomic Skeletons using Events. PMAM Gustavo Pabón, Ludovic Henrio
2014	—	`conf`	Verifying the correct composition of distributed components: Formalisation and Tool. FOCLASA Ludovic Henrio, Oleksandra Kulankhina, Dongqian Liu, Eric Madelaine
2013	B	`conf`	A Mechanized Model for CAN Protocols. FASE Francesco Bongiovanni, Ludovic Henrio
2013	B	`conf`	An Optimal Broadcast Algorithm for Content-Addressable Networks. OPODIS Ludovic Henrio, Fabrice Huet, Justine Rochas
2013	—	`conf`	Formally Reasoning on a Reconfigurable Component-Based System - A Case Study for the Industrial World. FACS Nuno Gaspar, Ludovic Henrio, Eric Madelaine
2013	C	`conf`	Multi-threaded Active Objects. COORDINATION Ludovic Henrio, Fabrice Huet, Zsolt István
2012	J	`jnl`	ASP Sci. Comput. Program. Ludovic Henrio, Florian Kammüller, Bianca Lutz
2012	—	`book`	Formal Models for Programming and Composing Correct Distributed Systems. (Modèles Formels pour la Programmation et la Composition de Systèmes Distribués Corrects). Ludovic Henrio
2011	C	`conf`	Adapting Active Objects to Multicore Architectures. ISPDC Ludovic Henrio, Fabrice Huet, Zsolt István, Gheorghe Sebestyen
2011	—	`conf`	Verifying Safety of Fault-Tolerant Distributed Components. FACS Rabéa Ameur-Boulifa, Raluca Halalai, Ludovic Henrio, Eric Madelaine
2010	—	`conf`	Asynchronous Components with Futures: Semantics and Proofs in Isabelle/HOL. FESCA@ETAPS Ludovic Henrio, Muhammad Uzair Khan
2010	—	`conf`	Behavioural Models for Group Communications WCSI Rabéa Ameur-Boulifa, Ludovic Henrio, Eric Madelaine
2010	—	`conf`	Exceptions for Algorithmic Skeletons. Euro-Par (2) Mario Leyton, Ludovic Henrio, José M. Piquer
2010	—	`conf`	First Class Futures: Specification and Implementation of Update Strategies. Euro-Par Workshops Ludovic Henrio, Muhammad Uzair Khan, Nadia Ranaldo, Eugenio Zimeo
2010	J	`jnl`	Locally Nameless Sigma Calculus. Arch. Formal Proofs Ludovic Henrio, Florian Kammüller, Bianca Lutz, Henry Sudhof
2010	J	`jnl`	Mixing Workflows and Components to Support Evolving Services. Int. J. Adapt. Resilient Auton. Syst. Françoise Baude, Virginie Legrand Contes, Ludovic Henrio, Paul Naoumenko, Heiko Pfeffer, Louay Bassbouss, David Linner
2009	—	`conf`	A Framework for Reasoning on Component Composition. FMCO Ludovic Henrio, Florian Kammüller, Muhammad Uzair Khan
2009	J	`jnl`	Asynchronous sequential processes. Inf. Comput. Denis Caromel, Ludovic Henrio, Bernard P. Serpette
2009	J	`jnl`	Behavioural models for distributed Fractal components. Ann. des Télécommunications Tomás Barros, Rabéa Ameur-Boulifa, Antonio Cansado, Ludovic Henrio, Eric Madelaine
2009	—	`conf`	Functional Active Objects: Typing and Formalisation. FOCLASA Ludovic Henrio, Florian Kammüller
2009	J	`jnl`	GCM: a grid extension to Fractal for autonomous distributed components. Ann. des Télécommunications Françoise Baude, Denis Caromel, Cédric Dalmasso, Marco Danelutto, Vladimir Getov, Ludovic Henrio, Christian Pérez
2009	—	`conf`	Structural Reconfiguration: An Autonomic Strategy for GCM Components. ICAS Françoise Baude, Ludovic Henrio, Paul Naoumenko
2008	—	`conf`	An Asynchronous Distributed Component Model and Its Semantics. FMCO Ludovic Henrio, Florian Kammüller, Marcela Rivera
2008	—	`conf`	Transparent First-class Futures and Distributed Components. FACS Antonio Cansado, Ludovic Henrio, Eric Madelaine
2008	C	`conf`	Type Safe Algorithmic Skeletons. PDP Denis Caromel, Ludovic Henrio, Mario Leyton
2008	—	`conf`	Unifying Architectural and Behavioural Specifications of Distributed Components. FACS Antonio Cansado, Ludovic Henrio, Eric Madelaine, Pablo Valenzuela
2007	—	`conf`	A Flexible Model and Implementation of Component Controllers. CoreGRID Workshop - Making Grids Work Françoise Baude, Denis Caromel, Ludovic Henrio, Paul Naoumenko
2007	—	`conf`	A Mechanized Model of the Theory of Objects. FMOODS Ludovic Henrio, Florian Kammüller
2007	—	`conf`	A Specification Language for Distributed Components Implemented in GCM/ProActive. CoCoME Antonio Cansado, Denis Caromel, Ludovic Henrio, Eric Madelaine, Marcela Rivera, Emil Salageanu
2007	—	`conf`	A component platform for experimenting with autonomic composition. Autonomics Françoise Baude, Ludovic Henrio, Paul Naoumenko
2007	—	`conf`	Active Objects and Distributed Components: Theory and Implementation. FMCO Denis Caromel, Ludovic Henrio, Eric Madelaine
2007	B	`conf`	Collective Interfaces for Distributed Components. CCGRID Françoise Baude, Denis Caromel, Ludovic Henrio, Matthieu Morel
2007	A	`conf`	Garbage Collecting the Grid: A Complete DGC for Activities. Middleware Denis Caromel, Guillaume Chazarain, Ludovic Henrio
2007	—	`conf`	High-Level Scripting Approach for Building Component-Based Applications on the Grid. CoreGRID Workshop - Making Grids Work Maciej Malawski, Tomasz Gubala, Marek Kasztelnik, Tomasz Bartynski, Marian Bubak, Françoise Baude, Ludovic Henrio
2007	—	`conf`	Interoperability of Grid component models: GCM and CCA case study. CoreGRID Maciej Malawski, Marian Bubak, Françoise Baude, Denis Caromel, Ludovic Henrio, Matthieu Morel
2007	B	`conf`	Promised messages: recovering from inconsistent global states. PPoPP Françoise Baude, Denis Caromel, Christian Delbé, Ludovic Henrio
2006	B	`conf`	A Fault Tolerant and Multi-Paradigm Grid Architecture for Time Constrained Problems. Application to Option Pricing in Finance. e-Science Sebastien Bezzine, Virginie Galtier, Stéphane Vialle, Françoise Baude, Mireille Bossy, Viet Dung Doan, Ludovic Henrio
2006	—	`conf`	Asynchonous Distributed Components: Concurrency and Determinacy. IFIP TCS Denis Caromel, Ludovic Henrio
2005	—	`conf`	A Hybrid Message Logging-CIC Protocol for Constrained Checkpointability. Euro-Par Françoise Baude, Denis Caromel, Christian Delbé, Ludovic Henrio
2005	—	`book`	A theory of distributed objects - asynchrony, mobility, groups, components. Denis Caromel, Ludovic Henrio
2005	—	`conf`	Behavioural Models for Hierarchical Components. SPIN Tomás Barros, Ludovic Henrio, Eric Madelaine
2005	—	`conf`	Secured Information Flow for Asynchronous Sequential Processes. SecCO@CONCUR Isabelle Attali, Denis Caromel, Ludovic Henrio, Felipe Luna Del Aguila
2005	J	`jnl`	Un protocole de tolérance aux pannes pour objets actifs non préemptifs. Tech. Sci. Informatiques Françoise Baude, Denis Caromel, Christian Delbé, Ludovic Henrio
2005	—	`conf`	Verification of Distributed Hierarchical Components. FACS Tomás Barros, Ludovic Henrio, Eric Madelaine
2004	A*	`conf`	Asynchronous and deterministic objects. POPL Denis Caromel, Ludovic Henrio, Bernard P. Serpette
2003	—	`conf`	A Parametrized Polyvariant Bytecode Verifier. JFLA Ludovic Henrio, Bernard P. Serpette
2003	—	`—`	Calcul d'objet asynchrone : confluence et déterminisme. (Asynchronous Object Calculus: Confluence and Determinacy). Ludovic Henrio
2001	J	`jnl`	An integrated development environment for Java Card. Comput. Networks Isabelle Attali, Denis Caromel, Carine Courbis, Ludovic Henrio, Henrik Nilsson
2001	—	`conf`	Context Inference for Static Analysis of Java Card Object Sharing. E-smart Denis Caromel, Ludovic Henrio, Bernard P. Serpette
2000	C	`conf`	Smart Tools for Java Cards. CARDIS Isabelle Attali, Denis Caromel, Carine Courbis, Ludovic Henrio, Henrik Nilsson