Login / Signup
Anca Zamfir
Publication Activity (10 Years)
Years Active: 2010-2020
Publications (10 Years): 2
Top Topics
Deterministic Finite Automaton
Formal Specification
Automated Verification
Temporal Properties
Top Venues
FMBC@CAV
ISoLA (1)
</>
Publications
</>
Sean Braithwaite
,
Ethan Buchman
,
Igor Konnov
,
Zarko Milosevic
,
Ilina Stoilkovska
,
Josef Widder
,
Anca Zamfir
Tendermint Blockchain Synchronization: Formal Specification and Model Checking.
ISoLA (1)
(2020)
Sean Braithwaite
,
Ethan Buchman
,
Igor Konnov
,
Zarko Milosevic
,
Ilina Stoilkovska
,
Josef Widder
,
Anca Zamfir
Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol (Short Paper).
FMBC@CAV
(2020)
Zafar Ali
,
Jean-Philippe Vasseur
,
Anca Zamfir
,
Jonathan Newton
Graceful Shutdown in MPLS and Generalized MPLS Traffic Engineering Networks.
RFC
5817 (2010)