Refine Results
Publications
  1. CAV: Computer Aided Verification (47)
  2. CONCUR: Concurrency Theory (30)
  3. EMSOFT: Embedded Software (17)
  4. HSCC: Hybrid Systems - Computation and Control (15)
  5. ICALP: Automata, Languages and Programming (15)

More Publications

Affiliation
  1. IST Austria (206)
Peer reviewed
  1. no (352)
  2. yes (137)
Invited
  1. no (482)
  2. yes (7)

Results (489)

  • Numerical Software Verification
    Edited conference proceeding
  • Parallel reachability analysis for hybrid systems
    Conference paper