Ognjen Maric

Publication Activity (10 Years)

Years Active: 2007-2020
Publications (10 Years): 5

Top Topics

Key Exchange Protocol

Transactional Memory

Top Venues

Arch. Formal Proofs

Publications

Andreas Lochbihler, Ognjen Maric
Authenticated Data Structures As Functors. Arch. Formal Proofs 2020 (2020)
Andreas Lochbihler, Ognjen Maric
Authenticated Data Structures as Functors in Isabelle/HOL. FMBC@CAV (2020)
David Kozhaya, Ognjen Maric, Yvonne-Anne Pignolet
You Only Live Multiple Times: A Blackbox Solution for Reusing Crash-Stop Algorithms In Realistic Crash-Recovery Settings. OPODIS (2018)
David Kozhaya, Ognjen Maric, Yvonne-Anne Pignolet
You Only Live Multiple Times: A Blackbox Solution for Reusing Crash-Stop Algorithms In Realistic Crash-Recovery Settings. CoRR (2018)
Ognjen Maric, Christoph Sprenger, David A. Basin
Cutoff Bounds for Consensus Algorithms. CAV (2) (2017)
Ognjen Maric, Christoph Sprenger, David A. Basin
Consensus Refined. DSN (2015)
Ognjen Maric, Christoph Sprenger
Consensus Refined. Arch. Formal Proofs 2015 (2015)
Ognjen Maric, Christoph Sprenger
Verification of a Transactional Memory Manager under Hardware Failures and Restarts. FM (2014)
Zoran Duric, Ognjen Maric, Dragan Gasevic
Internet Payment System: A New Payment System for Internet Transactions. J. Univers. Comput. Sci. 13 (4) (2007)