Tomáš Vojnar

International Conference on Computer Aided Verification · 2004

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

Whom Tomáš Vojnar trusts overall

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

  1. Thomas Ball
  2. Thomas A. Henzinger

Papers from Tomáš Vojnar's perspective

Ordered by how strongly the researchers Tomáš Vojnar trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Counterexample-Guided Abstraction Refinement (International Conference on Computer Aided Verification)
  2. Lazy abstraction
  3. Software Verification with BLAST (SPIN)
  4. The SLAM Toolkit (International Conference on Computer Aided Verification)
  5. Automatically validating temporal safety properties of interfaces (SPIN)
  6. Simplify: a theorem prover for program checking (JACM)
  7. Modular verification of software components in C (25th International Conference on Software Engineering, 2003. Proceedings.)
  8. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  9. Abstractions from proofs (ACM-SIGACT Symposium on Principles of Programming Languages)
  10. The SLAM project: debugging system software via static analysis

Their papers