VMCAI
Sun 17 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
POPL 2016 (series) / VMCAI (series) / Thomas A. Henzinger

Not registered as user yet

Name: Thomas A. Henzinger

Affiliation: IST Austria

Contributions

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

POPL 2016-profile
View general profile