Refine Results
Publications
  1. CAV: Computer Aided Verification (6)
  2. IST Dissertation (3)
  3. ACM SIGPLAN Notices (2)
  4. Artificial Intelligence (2)
  5. HSCC: Hybrid Systems - Computation and Control (2)

More Publications

Affiliation
  1. IST Austria (57)
Peer reviewed
  1. yes (50)
  2. no (7)
Invited
  1. no (57)

Results (57)

  • JTDec: A tool for tree decompositions in soot
    Conference paper