← Back to directory
Andreas Podelski
Researcher Next ID · RN-000667
Professor · Computer Science
Freiburg im Breisgau, Germany
Not currently recruitingFunding unknown
- Works count
- 289
- Citation count
- 6,854
- H-index
- 42
- i10-index
- 134
About
291 publications and 6,858 citations recorded on OpenAlex.
Research interests
Computer Science
Formal Methods in Verification
Logic, programming, and type systems
Software Testing and Debugging Techniques
Model-Driven Software Engineering Techniques
Software Reliability and Analysis Research
Publications
Software Model Checking for People Who Love Automata
Lecture notes in computer science · 2013 · 10.1007/978-3-642-39799-8_2
ACSAR: Software Model Checking with Transfinite Refinement
Lecture notes in computer science · 2007 · 10.1007/978-3-540-73370-6_19
Termination proofs for systems code
ACM SIGPLAN Notices · 2006 · 10.1145/1133255.1134029
Termination proofs for systems code
Journal · 2006 · 10.1145/1133981.1134029
Transition invariants
Journal · 2004 · 10.1109/lics.2004.50
Current projects
No projects listed.