Search Within

Thomas A. Henzinger

Screen_shot_2012-10-02_at_09.10.58
Email: thomas.henzinger_REMOVE_THIS_@ist.ac.at
Interests:
Refine Results
Publications
  1. CAV: Computer Aided Verification (35)
  2. CONCUR: Concurrency Theory (30)
  3. EMSOFT: Embedded Software (16)
  4. LICS: Logic in Computer Science (15)
  5. TACAS: Tools and Algorithms for the Construction and Analysis of Systems (14)

More Publications

Affiliation
  1. IST Austria (158)
Peer reviewed
  1. no (323)
  2. yes (92)
Invited
  1. no (408)
  2. yes (7)

Results (415)

  • Monitoring temporal logic with clock variables
    Conference paper
  • Space-time interpolants
    Conference paper
  • A theory of register monitors
    Conference paper