Anca Zamfir

According to our database, Anca Zamfir authored at least 3 papers between 2010 and 2020.

Collaborative distances:

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

2020

Tendermint Blockchain Synchronization: Formal Specification and Model Checking.

Sean Braithwaite, Ethan Buchman, Igor Konnov, Zarko Milosevic, Ilina Stoilkovska, Josef Widder, Anca Zamfir

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol (Short Paper).

Sean Braithwaite, Ethan Buchman, Igor Konnov, Zarko Milosevic, Ilina Stoilkovska, Josef Widder, Anca Zamfir

Proceedings of the 2nd Workshop on Formal Methods for Blockchains, 2020

2010

Graceful Shutdown in MPLS and Generalized MPLS Traffic Engineering Networks.

Zafar Ali, Jean-Philippe Vasseur, Anca Zamfir, Jonathan Newton

RFC, April, 2010