Matthias Heizmann
University of Stuttgart(DE)
Publications by Year
Research Areas
Formal Methods in Verification, Logic, programming, and type systems, Software Testing and Debugging Techniques, Software Reliability and Analysis Research, Software Engineering Research
Most-Cited Works
- → Software Model Checking for People Who Love Automata(2013)170 cited
- → Refinement of Trace Abstraction(2009)108 cited
- → Nested interpolants(2010)101 cited
- → Witness validation and stepwise testification across software verifiers(2015)90 cited
- → Correctness witnesses: exchanging verification results between verifiers(2016)86 cited
- → Termination Analysis by Learning Terminating Programs(2014)66 cited
- → Ultimate Automizer and the Search for Perfect Interpolants(2018)63 cited
- → Linear Ranking for Linear Lasso Programs(2013)49 cited
- → Fairness Modulo Theory: A New Approach to LTL Software Model Checking(2015)49 cited
- → Ultimate Automizer with SMTInterpol(2013)44 cited