Andreas Podelski
University of Freiburg(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, Model-Driven Software Engineering Techniques
Most-Cited Works
- → ACSAR: Software Model Checking with Transfinite Refinement(2007)617 cited
- → Termination proofs for systems code(2006)319 cited
- → Transition invariants(2004)251 cited
- → Software Model Checking for People Who Love Automata(2013)170 cited
- → ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement(2006)156 cited
- → Towards a meaning of life(1993)141 cited
- → Terminator: Beyond Safety(2006)129 cited