Oliver Markgraf

According to our database, Oliver Markgraf authored at least 13 papers between 2019 and 2026.

Collaborative distances:

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

2026

Decidable Fragments and Solver Techniques for String and Sequence Constraints.

Oliver Markgraf

PhD thesis, 2026

2025

Extracting Robust Register Automata from Neural Networks over Data Sequences.

Chih-Duo Hong, Hongjian Jiang, Anthony W. Lin, Oliver Markgraf, Julian Parsert, Tony Tan

CoRR, November, 2025

The Power of Regular Constraint Propagation (Technical Report).

Matthew Hague, Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer

CoRR, August, 2025

HornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses(Technical Report).

Hongjian Jiang, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer, Daniel Stan

CoRR, May, 2025

The Power of Regular Constraint Propagation.

Matthew Hague, Artur Jez, Anthony Widjaja Lin, Oliver Markgraf, Philipp Rümmer

Proc. ACM Program. Lang., 2025

OSTRICH2: Solver for Complex String Constraints.

Matthew Hague, Denghang Hu, Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer, Zhilin Wu

Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design, 2025

sfHornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses.

Hongjian Jiang, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer, Daniel Stan

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2023

Decision Procedures for Sequence Theories (Technical Report).

Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer

CoRR, 2023

Decision Procedures for Sequence Theories.

Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2021

Learning Union of Integer Hypercubes with Queries (Technical Report).

Oliver Markgraf, Daniel Stan, Anthony W. Lin

CoRR, 2021

Learning Union of Integer Hypercubes with Queries - (with Applications to Monadic Decomposition).

Oliver Markgraf, Daniel Stan, Anthony W. Lin

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Parameterized Synthesis with Safety Properties.

Oliver Markgraf, Chih-Duo Hong, Anthony W. Lin, Muhammad Najib, Daniel Neider

Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020

2019

Learning-Based Synthesis of Safety Controllers.

Daniel Neider, Oliver Markgraf

Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019