default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDZarko Milosevic 0001
Person information
- affiliation: Informal Systems, Lausanne, Switzerland
- affiliation (2017 - 2019): Singidunum University, Belgrade, Serbia
- affiliation (PhD 2013): EPFL, Lausanne, Switzerland
Other persons with the same name
- Zarko Milosevic 0002
![[0000-0003-1467-245X]](https://dblp.org/img/orcid-mark.12x12.png "0000-0003-1467-245X")
— University of Kragujevac, Serbia
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
[c16]Ethan Buchman, Rachid Guerraoui, Jovan Komatovic, Zarko Milosevic, Dragos-Adrian Seredinschi, Josef Widder:
Revisiting Tendermint: Design Tradeoffs, Accountability, and Practical Use. DSN (Supplements) 2022: 11-14- [c15]Pierre Civit, Seth Gilbert, Vincent Gramoli, Rachid Guerraoui, Jovan Komatovic, Zarko Milosevic, Adi Seredinschi:
Crime and Punishment in Distributed Byzantine Decision Tasks. ICDCS 2022: 34-44 - [c14]Enrique Fynn, Ethan Buchman, Zarko Milosevic, Robert Soulé, Fernando Pedone:
Robust and Fast Blockchain State Synchronization. OPODIS 2022: 8:1-8:22 - [i3]Pierre Civit, Seth Gilbert, Vincent Gramoli, Rachid Guerraoui, Jovan Komatovic, Zarko Milosevic, Adi Seredinschi:
Crime and Punishment in Distributed Byzantine Decision Tasks. IACR Cryptol. ePrint Arch. 2022: 121 (2022) - 2021
- [c13]Daniel Cason, Nenad Milosevic, Zarko Milosevic, Fernando Pedone:
Gossip consensus. Middleware 2021: 198-209 - [c12]Daniel Cason, Enrique Fynn, Nenad Milosevic, Zarko Milosevic, Ethan Buchman, Fernando Pedone:
The design, architecture and performance of the Tendermint Blockchain Network. SRDS 2021: 23-33 - 2020
- [c11]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: 10:1-10:8 - [c10]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: 471-488 - [i2]Sean Braithwaite, Ethan Buchman, Ismail Khoffi, Igor Konnov, Zarko Milosevic, Romain Ruetschi, Josef Widder:
A Tendermint Light Client. CoRR abs/2010.07031 (2020)
2010 – 2019
- 2018
- [i1]Ethan Buchman, Jae Kwon, Zarko Milosevic:
The latest gossip on BFT consensus. CoRR abs/1807.04938 (2018) - 2014
- [j2]Zarko Milosevic, Martin Hutle, André Schiper:
Tolerating permanent and transient value faults. Distributed Comput. 27(1): 55-77 (2014) - 2013
- [b1]Zarko Milosevic:
Abstractions for Solving Consensus and Related Problems with Byzantine Faults. EPFL, Switzerland, 2013 - [c9]Martin Biely, Pamela Delgado, Zarko Milosevic, André Schiper:
Distal: A framework for implementing fault-tolerant distributed algorithms. DSN 2013: 1-8 - [c8]Zarko Milosevic, Martin Biely, André Schiper:
Bounded Delay in Byzantine-Tolerant State Machine Replication. SRDS 2013: 61-70 - 2012
- [c7]Zarko Milosevic, Martin Hutle, André Schiper:
Brief announcement: tolerating permanent and transient value faults. PODC 2012: 333-334 - [c6]Martin Biely, Zarko Milosevic, Nuno Santos, André Schiper:
S-Paxos: Offloading the Leader for High Throughput State Machine Replication. SRDS 2012: 111-120 - 2011
- [j1]André Schiper, Zarko Milosevic, Omid Shahmirzadi:
Student mini-kernel project based on an FPGA board. ACM SIGOPS Oper. Syst. Rev. 45(2): 54-58 (2011) - [c5]Zarko Milosevic, Martin Hutle, André Schiper:
On the Reduction of Atomic Broadcast to Consensus with Byzantine Faults. SRDS 2011: 235-244 - [c4]Hagit Attiya, Fatemeh Borran, Martin Hutle, Zarko Milosevic, André Schiper:
Structured Derivation of Semi-Synchronous Algorithms. DISC 2011: 374-388 - 2010
- [c3]Olivier Rütti, Zarko Milosevic, André Schiper:
Generic construction of consensus algorithms for benign and Byzantine faults. DSN 2010: 343-352 - [c2]Dan Alistarh, Seth Gilbert, Rachid Guerraoui, Zarko Milosevic, Calvin C. Newport:
Securing every bit: authenticated broadcast in radio networks. SPAA 2010: 50-59
2000 – 2009
- 2009
- [c1]Zarko Milosevic, Martin Hutle, André Schiper:
Unifying Byzantine Consensus Algorithms with Weak Interactive Consistency. OPODIS 2009: 300-314
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
