Ognjen Maric
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2014–2020
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | CAV | Authenticated Data Structures as Functors in Isabelle/HOL. | Andreas Lochbihler, Ognjen Maric |
| 2018 | OPODIS | 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 |
| 2017 | CAV | Cutoff Bounds for Consensus Algorithms. | Ognjen Maric, Christoph Sprenger, David A. Basin |
| 2015 | DSN | Consensus Refined. | Ognjen Maric, Christoph Sprenger, David A. Basin |
| 2014 | FM | Verification of a Transactional Memory Manager under Hardware Failures and Restarts. | Ognjen Maric, Christoph Sprenger |