Georg Weissenbacher

Computational Theory and Mathematics · 2008

A researcher in the Science corpus: 1 paper; trusts 13 researchers and is trusted by 0 researchers here, as inferred from the citation graph.

Subfields

Whom Georg Weissenbacher trusts overall

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

  1. Edmund M. Clarke
  2. Thomas Ball
  3. Thomas A. Henzinger
  4. Hubert Garavel
  5. Bruno Dutertre
  6. Greg Nelson

Papers from Georg Weissenbacher's perspective

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

  1. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  2. Lazy abstraction
  3. Modular verification of software components in C (25th International Conference on Software Engineering, 2003. Proceedings.)
  4. Simplify: a theorem prover for program checking (JACM)
  5. Counterexample-Guided Abstraction Refinement (International Conference on Computer Aided Verification)
  6. Boolean and Cartesian abstraction for model checking C programs (International Journal on Software Tools for Technology Transfer (STTT))
  7. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
  8. A Tool for Checking ANSI-C Programs (International Conference on Tools and Algorithms for Construction and Analysis of Systems)
  9. Abstractions from proofs (ACM-SIGACT Symposium on Principles of Programming Languages)
  10. Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic (25 Years of Model Checking)

Their papers