Refine Results
Publications
  1. CAV: Computer Aided Verification (49)
  2. CONCUR: Concurrency Theory (32)
  3. EMSOFT: Embedded Software (17)
  4. TACAS: Tools and Algorithms for the Construction and Analysis of Systems (17)
  5. ICALP: Automata, Languages and Programming (16)

More Publications

Affiliation
  1. IST Austria (232)
Peer reviewed
  1. no (355)
  2. yes (162)
Invited
  1. no (510)
  2. yes (7)

Results (517)

  • HyTech: The next generation
    Conference paper
  • Automatic Analysis of Hybrid Systems
    Dissertation thesis
  • The algorithmic analysis of hybrid systems
    Conference paper
  • A determinizable class of timed automata
    Conference paper