Oliver Markgraf

15 papers B 3Journal 9Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Extracting Robust Register Automata from Neural Networks over Data Sequences.
CoRR
Chih-Duo Hong, Hongjian Jiang, Anthony W. Lin, Oliver Markgraf, Julian Parsert, Tony Tan
2025 J jnl
HornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses(Technical Report).
CoRR
Hongjian Jiang, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer, Daniel Stan
2025 B conf
OSTRICH2: Solver for Complex String Constraints.
FMCAD
Matthew Hague, Denghang Hu, Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer, Zhilin Wu
2025 J jnl
OSTRICH2: Solver for Complex String Constraints.
CoRR
Matthew Hague, Denghang Hu, Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer, Zhilin Wu
2025 J jnl
The Power of Regular Constraint Propagation (Technical Report).
CoRR
Matthew Hague, Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer
2025 J jnl
The Power of Regular Constraint Propagation.
Proc. ACM Program. Lang.
Matthew Hague, Artur Jez, Anthony Widjaja Lin, Oliver Markgraf, Philipp Rümmer
2025 — conf
sfHornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses.
CAV (1)
Hongjian Jiang, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer, Daniel Stan
2023 J jnl
Decision Procedures for Sequence Theories (Technical Report).
CoRR
Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer
2023 — conf
Decision Procedures for Sequence Theories.
CAV (2)
Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer
2021 J jnl
Learning Union of Integer Hypercubes with Queries (Technical Report).
CoRR
Oliver Markgraf, Daniel Stan, Anthony W. Lin
2021 — conf
Learning Union of Integer Hypercubes with Queries - (with Applications to Monadic Decomposition).
CAV (2)
Oliver Markgraf, Daniel Stan, Anthony W. Lin
2020 B conf
Parameterized Synthesis with Safety Properties.
APLAS
Oliver Markgraf, Chih-Duo Hong, Anthony W. Lin, Muhammad Najib, Daniel Neider
2020 J jnl
Parameterized Synthesis with Safety Properties.
CoRR
Oliver Markgraf, Chih-Duo Hong, Anthony W. Lin, Muhammad Najib, Daniel Neider
2019 B conf
Learning-Based Synthesis of Safety Controllers.
FMCAD
Daniel Neider, Oliver Markgraf
2019 J jnl
Learning-Based Synthesis of Safety Controllers.
CoRR
Daniel Neider, Oliver Markgraf