Jeanne Tawa

Publication Activity (10 Years)

Years Active: 2018-2018
Publications (10 Years): 2

Top Topics

Learning Algorithm

Protocol Specification

Coloured Petri Nets

Formal Analysis

Top Venues

University of Toulouse, France (PHD)

Education History

University of Toulouse, France

PHD

Publications

Julien Brunel, David Chemouil, Alcino Cunha, Thomas Hujsa, Nuno Macedo, Jeanne Tawa
Proposition of an Action Layer for Electrum. ABZ (2018)
Julien Brunel, David Chemouil, Jeanne Tawa
Analyzing the Fundamental Liveness Property of the Chord Protocol. FMCAD (2018)