Ognjen Maric

According to our database, Ognjen Maric authored at least 10 papers between 2007 and 2024.

Collaborative distances:

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

2024

A New Broadcast Primitive for BFT Protocols.

Manu Drijvers, Tim Gretler, Yotam Harchol, Tobias Klenze, Ognjen Maric, Stefan Neamtu, Yvonne-Anne Pignolet, Rostislav Rumenov, Daniel Sharifi, Victor Shoup

CoRR, 2024

2020

Authenticated Data Structures As Functors.

Andreas Lochbihler, Ognjen Maric

Arch. Formal Proofs, 2020

Authenticated Data Structures as Functors in Isabelle/HOL.

Andreas Lochbihler, Ognjen Maric

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

2018

You Only Live Multiple Times: A Blackbox Solution for Reusing Crash-Stop Algorithms In Realistic Crash-Recovery Settings.

David Kozhaya, Ognjen Maric, Yvonne-Anne Pignolet

Proceedings of the 22nd International Conference on Principles of Distributed Systems, 2018

2017

Formal Verification of Fault-Tolerant Systems.

Ognjen Maric

PhD thesis, 2017

Cutoff Bounds for Consensus Algorithms.

Ognjen Maric, Christoph Sprenger, David A. Basin

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2015

Consensus Refined.

Ognjen Maric, Christoph Sprenger

Arch. Formal Proofs, 2015

Consensus Refined.

Ognjen Maric, Christoph Sprenger, David A. Basin

Proceedings of the 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2015

2014

Verification of a Transactional Memory Manager under Hardware Failures and Restarts.

Ognjen Maric, Christoph Sprenger

Proceedings of the FM 2014: Formal Methods, 2014

2007

Internet Payment System: A New Payment System for Internet Transactions.

Zoran Duric, Ognjen Maric, Dragan Gasevic

J. Univers. Comput. Sci., 2007