Jeanne Tawa

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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).
PhD thesis, 2019

2018
Analyzing the Fundamental Liveness Property of the Chord Protocol.
Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

Proposition of an Action Layer for Electrum.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018


  Loading...