10 citations · 35 across the 13 of their papers we have counts for
3 papers · 1 filter
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…
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…