Refine Results
Publications
  1. CAV: Computer Aided Verification (23)
  2. CONCUR: Concurrency Theory (12)
  3. ACM Transactions on Computational Logic (TOCL) (9)
  4. VMCAI: Verification, Model Checking and Abstract Interpretation (8)
  5. POPL: Principles of Programming Languages (7)

More Publications

Affiliation
  1. IST Austria (248)
Peer reviewed
  1. yes (153)
  2. no (95)
Invited
  1. no (242)
  2. yes (6)

Results (248)

  • Counterexample guided refinement of template polyhedra
    Conference paper
  • Parallel reachability analysis for hybrid systems
    Conference paper
  • Dynamic resource allocation games
    Conference paper