Proposition of an Action Layer for Electrum. - Julien Brunel; David Chemouil; Alcino Cunha; Thomas Hujsa; Nuno Macedo 001; Jeanne Tawa (ABZ, 2018)

Analyzing the Fundamental Liveness Property of the Chord Protocol. - Julien Brunel; David Chemouil; Jeanne Tawa (FMCAD, 2018)

Extension événementielle d'une méthode formelle légère et application à l'analyse du protocole distribué Chord. (Event extension of a lightweight formal method and application to analyzing Chord distributed protocol). - Jeanne Tawa (2019)