Refine Results
Publications
  1. CAV: Computer Aided Verification (11)
  2. POPL: Principles of Programming Languages (4)
  3. VMCAI: Verification, Model Checking and Abstract Interpretation (4)
  4. IST Dissertation (3)
  5. CONCUR: Concurrency Theory (2)

More Publications

Affiliation
  1. IST Austria (51)
Peer reviewed
  1. yes (30)
  2. no (21)
Invited
  1. no (51)

Results (51)

  • Array folds logic
    Conference paper
  • Abstraction-driven concolic testing
    Conference paper