Refine Results
Publications
  1. CAV: Computer Aided Verification (16)
  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 (128)
Peer reviewed
  1. yes (78)
  2. no (55)
Invited
  1. no (131)
  2. yes (2)

Results (133)

  • Layered Concurrent Programs
    Conference paper
  • An abstraction-refinement methodology for reasoning about network games
    Conference paper