10 citations · 35 across the 13 of their papers we have counts for
13 papers
A Survey on Parallelism and Determinism
Laure Gonnord, Ludovic Henrio, Lionel Morel +1
Parallelism is often required for performance. In these situations an excess of non-determinism is harmful as it means the program can have several different behaviours or even dif…
LAGC Semantics of Concurrent Programming Languages
Crystal Chang Din, Reiner Hähnle, Ludovic Henrio +3
Formal, mathematically rigorous programming language semantics are the essential prerequisite for the design of logics and calculi that permit automated reasoning about concurrent…
An Optimised Flow for Futures: From Theory to Practice
Nicolas Chappe, Ludovic Henrio, Amaury Maillé +2
A future is an entity representing the result of an ongoing computation. A synchronisation with a "get" operation blocks the caller until the computation is over, to return the cor…
Proceedings 13th Interaction and Concurrency Experience
Julien Lange, Anastasia Mavridou, Larisa Safina +1
This volume contains the proceedings of ICE'20, the 13th Interaction and Concurrency Experience, which was held online on the 19th of June 2020, as a satellite event of DisCoTec'20…
Compositional equivalences based on Open pNets
Rabéa Ameur-Boulifa, Ludovic Henrio, Eric Madelaine
Establishing equivalences between programs or systems is crucial both for verifying correctness of programs, by establishing that two implementations are equivalent, and for justif…
Leveraging access mode declarations in a model for memory consistency in heterogeneous systems
Ludovic Henrio, Christoph Kessler, Lu Li
On a system that exposes disjoint memory spaces to the software, a program has to address memory consistency issues and perform data transfers so that it always accesses valid data…
Who is to Blame? Runtime Verification of Distributed Objects with Active Monitors
Wolfgang Ahrendt, Ludovic Henrio, Wytse Oortwijn
Since distributed software systems are ubiquitous, their correct functioning is crucially important. Static verification is possible in principle, but requires high expertise and e…
On Reachability in Parameterized Phaser Programs
Zeinab Ganjei, Ahmed Rezine, Ludovic Henrio +2
We address the problem of statically checking safety properties (such as assertions or deadlocks) for parameterized phaser programs. Phasers embody a non-trivial and modern synchro…
Proceedings 10th Interaction and Concurrency Experience
Massimo Bartoletti, Laura Bocchi, Ludovic Henrio +1
This volume contains the proceedings of ICE 2017, the 10th Interaction and Concurrency Experience, which was held in Neuchâtel, Switzerland on the 21st and 22nd of June 2017 as a s…
Multiactive objects and their applications
Ludovic Henrio, Justine Rochas
In order to tackle the development of concurrent and distributed systems, the active object programming model provides a high-level abstraction to program concurrent behaviours. Th…
Proceedings 9th Interaction and Concurrency Experience
Massimo Bartoletti, Ludovic Henrio, Sophia Knight +1
This volume contains the proceedings of ICE 2016, the 9th Interaction and Concurrency Experience, which was held in Heraklion, Greece on the 8th and 9th of June 2016 as a satellite…
Verifying the correct composition of distributed components: Formalisation and Tool
Ludovic Henrio, Oleksandra Kulankhina, Dongqian Liu +1
This article provides formal definitions characterizing well-formed composition of components in order to guarantee their safe deployment and execution. Our work focuses on the str…
Behavioural Models for Group Communications
Rabéa Ameur-Boulifa, Ludovic Henrio, Eric Madelaine
Group communication is becoming a more and more popular infrastructure for efficient distributed applications. It consists in representing locally a group of remote objects as a si…