Refine Results
Publications
  1. CAV: Computer Aided Verification (15)
  2. ACM Transactions on Computational Logic (TOCL) (6)
  3. CONCUR: Concurrency Theory (6)
  4. VMCAI: Verification, Model Checking and Abstract Interpretation (6)
  5. Information and Computation (5)

More Publications

Affiliation
  1. IST Austria (126)
Peer reviewed
  1. yes (77)
  2. no (49)
Invited
  1. no (126)

Results (126)

  • An abstraction-refinement methodology for reasoning about network games
    Conference paper
  • Conic abstractions for hybrid systems
    Conference paper