Ognjen Maric

According to our database, Ognjen Maric authored at least 9 papers between 2007 and 2020.

Collaborative distances:

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

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