Zarko Milosevic

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

Igor Konnov, Josef Widder, Sean Braithwaite, 2020, FMBC@CAV.

Software tools for image-based modeling of fluid-solid interaction in coronary arteries fusing IVUS and angiography modalities

Danijela Nikolić, Arso M. Vukicevic, Nenad Filipovic, 2012 .

On the Core Mechanisms of Consensus Algorithms for Benign and Byzantine Faults

André Schiper, Olivier Rütti, Zarko Milosevic, 2012 .

Computer Modeling of Atherosclerosis

Nenad Filipovic, Velibor Isailovic, Tijana Djukic, 2013 .

Tendermint Blockchain Synchronization: Formal Specification and Model Checking

Igor Konnov, Josef Widder, Sean Braithwaite, 2020, ISoLA.

The latest gossip on BFT consensus pdf

Ethan Buchman, Zarko Milosevic, Jae Kwon, 2018, ArXiv.