Refine Results
Publications
  1. CAV: Computer Aided Verification (12)
  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 (22)
Invited
  1. no (52)

Results (52)

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