Andreas Podelski

Computational Theory and Mathematics · 2001–2014

A researcher in the Science corpus: 7 papers; trusts 12 researchers and is trusted by 13 researchers here, as inferred from the citation graph.

Subfields

Whom Andreas Podelski trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Thomas Ball
  2. Sagar Chaki
  3. Edmund M. Clarke
  4. Sriram K. Rajamani
  5. Thomas A. Henzinger
  6. Bruno Blanchet
  7. Rupak Majumdar
  8. Andrey Rybalchenko
  9. Alex Groce
  10. Ranjit Jhala

Who trusts Andreas Podelski overall

  1. Thomas Ball
  2. Sumit Gulwani
  3. Siddharth Srivastava
  4. Byron Cook
  5. Ranjit Jhala
  6. Kenneth L. McMillan
  7. Neil Immerman
  8. Krishna K. Mehra
  9. Rupak Majumdar
  10. Sriram K. Rajamani

Papers from Andreas Podelski's perspective

Ordered by how strongly the researchers Andreas Podelski trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Lazy abstraction
  2. The SLAM project: debugging system software via static analysis
  3. Counterexample-Guided Abstraction Refinement (International Conference on Computer Aided Verification)
  4. Modular verification of software components in C (25th International Conference on Software Engineering, 2003. Proceedings.)
  5. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
  6. A static analyzer for large safety-critical software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  7. Bebop: A Symbolic Model Checker for Boolean Programs (SPIN)
  8. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  9. Automatic predicate abstraction of C programs (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  10. Automatically validating temporal safety properties of interfaces (SPIN)

Their papers