Jochen Hoenicke
Certmedica (Germany)(DE)
Publications by Year
Research Areas
Formal Methods in Verification, Logic, programming, and type systems, Software Testing and Debugging Techniques, Model-Driven Software Engineering Techniques, Security and Verification in Computing
Most-Cited Works
- → Software Model Checking for People Who Love Automata(2013)170 cited
- → SMTInterpol: An Interpolating SMT Solver(2012)139 cited
- → Refinement of Trace Abstraction(2009)108 cited
- → Nested interpolants(2010)101 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
- → Ultimate Automizer with SMTInterpol(2013)44 cited
- → Reducing liveness to safety in first-order logic(2017)38 cited
- → Automotive behavioral requirements expressed in a specification pattern system: a case study at BOSCH(2012)37 cited