Refine Results
Publications
  1. CAV: Computer Aided Verification (15)
  2. ACM Transactions on Computational Logic (TOCL) (6)
  3. CONCUR: Concurrency Theory (6)
  4. TACAS: Tools and Algorithms for the Construction and Analysis of Systems (6)
  5. VMCAI: Verification, Model Checking and Abstract Interpretation (6)

More Publications

Affiliation
  1. IST Austria (123)
Peer reviewed
  1. yes (74)
  2. no (54)
Invited
  1. no (127)
  2. yes (1)

Results (128)

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