Refine Results
Publications
  1. CAV: Computer Aided Verification (49)
  2. ICALP: Automata, Languages and Programming (16)
  3. TACAS: Tools and Algorithms for the Construction and Analysis of Systems (16)
  4. HSCC: Hybrid Systems - Computation and Control (15)
  5. VMCAI: Verification, Model Checking and Abstract Interpretation (11)

More Publications

Affiliation
  1. IST Austria (111)
Peer reviewed
  1. no (174)
  2. yes (70)
Invited
  1. no (242)
  2. yes (2)

Results (244)

  • Conic abstractions for hybrid systems
    Conference paper
  • Counterexample guided refinement of template polyhedra
    Conference paper