Refine Results
Publications
  1. CAV: Computer Aided Verification (47)
  2. CONCUR: Concurrency Theory (31)
  3. EMSOFT: Embedded Software (16)
  4. ICALP: Automata, Languages and Programming (16)
  5. LICS: Logic in Computer Science (15)

More Publications

Affiliation
  1. IST Austria (152)
Peer reviewed
  1. no (267)
  2. yes (93)
Invited
  1. no (355)
  2. yes (5)

Results (360)

  • Timed Network Games
    Conference paper
  • An abstraction-refinement methodology for reasoning about network games
    Conference paper
  • Parallel reachability analysis for hybrid systems
    Conference paper