Refine Results
People
  1. Krishnendu Chatterjee (41)
  2. Thomas Henzinger (21)
  3. Carl-Philipp Heisenberg (20)
  4. Martin Chmelik (20)
  5. Andreas Pavlogiannis (13)

More People

Publications
  1. CAV: Computer Aided Verification (8)
  2. Nature Cell Biology (5)
  3. Developmental Cell (3)
  4. Genetics (3)
  5. IST Dissertation (3)

More Publications

Affiliation
  1. IST Austria (157)
Peer reviewed
  1. yes (160)
Invited
  1. no (160)

Results (160)

  • Faster statistical model checking for unbounded temporal properties
    Conference paper
  • Abstraction-driven concolic testing
    Conference paper
  • The complexity of general-valued CSPs
    Conference paper
  • Effectiveness of structural restrictions for hybrid CSPs
    Conference paper