Refine Results
Publications
  1. CAV: Computer Aided Verification (14)
  2. ACM Transactions on Computational Logic (TOCL) (6)
  3. CONCUR: Concurrency Theory (6)
  4. VMCAI: Verification, Model Checking and Abstract Interpretation (6)
  5. Formal Methods in System Design (5)

More Publications

Affiliation
  1. IST Austria (128)
Peer reviewed
  1. yes (154)
Invited
  1. no (153)
  2. yes (1)

Results (154)

  • Causality-based model checking
    Conference paper
  • Timed network games
    Conference paper
  • An abstraction-refinement methodology for reasoning about network games
    Conference paper