Publications
Here is a list of scientific publications that I contributed to as the main author or as a co-author. Similar collections can be found at my university page, or my publication lists at Google Scholar and ResearchGate.
Here is a list of scientific publications that I contributed to as the main author or as a co-author. Similar collections can be found at my university page, or my publication lists at Google Scholar and ResearchGate.
Simple Interpolants for Linear Arithmetic
Lemma Localization: A Practical Method for Downsizing SMT-Interpolants
Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces
Enhanced Integration of QBF Solving Techniques
Fully Symbolic Model Checking for Timed Automata
Integration of Orthogonal QBF Solving Techniques
An AIG-Based QBF-solver using SAT for preprocessing
AIGSolve - An AIG-Based QBF Solver
Exploiting Structure in an AIG Based QBF Solver
Using Implications for Optimizing State Set Representations of Linear Hybrid Systems
Computing optimized representations for non-convex polyhedra by detection and removal of redundant linear constraints
Using an SMT Solver and Craig Interpolation to Detect and Remove Redundant Linear Constraints in Representations of Non-Convex Polyhedra
Exact state set representation in the verification of linear hybrid systems with large discrete state space
Advanced Unbounded Model Checking Based on AIGs, BDD Sweeping, And Quantifier Scheduling
Automatic Verification of Hybrid Systems with Large Discrete State Space
Advanced unbounded model checking by using AIGs, BDD sweeping and quantifier scheduling
And-Inverter-Graphen und deren Anwendung in der Verifikation