Not registered as user yet

Name: Thomas A. Henzinger

Affiliation: IST Austria

POPL 2016 Activities

• Author of Lipschitz Robustness of Timed I/O Systems within the VMCAI-track in VMCAI
• Author of PSync: a partially synchronous language for fault-tolerant distributed algorithms within the Research Papers-track in POPL 2016
• Author of Abstraction-driven Concolic Testing within the VMCAI-track in VMCAI
• Show activities from other conferences