ACM

SHERPA: green

Groups

  1. Henzinger Group (13)
  2. Alumni (5)
  3. Chatterjee Group (4)
  4. IST Fellow (3)
  5. Graduate School (1)
  6. PhD Students (1)

Results (17)

  • Temporal proof methodologies for real-time systems
    Conference paper
  • Lazy abstraction
    Conference paper
  • Abstractions from proofs
    Conference paper
  • Counterexample-guided focus
    Conference paper
  • From boolean to quantitative notions of correctness
    Conference paper
  • Battery transition systems
    Conference paper
  • Quantitative abstraction refinement
    Conference paper