Selected publications

• Boolean Satisfiability Solvers and Their Applications in Model Checking, with Y. Vizel and S. Malik, Proc. IEEE (2015)
• Counterexample to Induction-Guided Abstraction-Refinement, with J. Birgmeier and A. Bradley, CAV (2014)
• Interpolant Strength, with V. D'Silva, D. Kröning, and M. Purandare, VMCAI (2010)
• A Survey of Automated Techniques for Formal Software Verification, with V. D'Silva and D. Kröning, IEEE TCAD (2008)

Press (German)

• Eight years of Rigorous Systems Engineering in Austria
• Dual career couples
• Uncovering Heisenbugs
• Logic, the most important science in the world