Jeanne Tawa

According to our database, Jeanne Tawa authored at least 3 papers between 2018 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

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

PhD thesis, 2019

2018

Analyzing the Fundamental Liveness Property of the Chord Protocol.

Julien Brunel, David Chemouil, Jeanne Tawa

Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

Proposition of an Action Layer for Electrum.

Julien Brunel, David Chemouil, Alcino Cunha, Thomas Hujsa, Nuno Macedo, Jeanne Tawa

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018