Oliver Markgraf
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
3
Active years
2019–2025
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CAV | sfHornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses. | Hongjian Jiang, Anthony W. Lin, Oliver Markgraf, Philipp Rmmer, Daniel Stan |
| 2025 | FMCAD | OSTRICH2: Solver for Complex String Constraints. | Matthew Hague, Denghang Hu, Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rmmer, Zhilin Wu |
| 2023 | CAV | Decision Procedures for Sequence Theories. | Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rmmer |
| 2021 | CAV | Learning Union of Integer Hypercubes with Queries - (with Applications to Monadic Decomposition). | Oliver Markgraf, Daniel Stan, Anthony W. Lin |
| 2020 | APLAS | Parameterized Synthesis with Safety Properties. | Oliver Markgraf, Chih-Duo Hong, Anthony W. Lin, Muhammad Najib, Daniel Neider |
| 2019 | FMCAD | Learning-Based Synthesis of Safety Controllers. | Daniel Neider, Oliver Markgraf |