Thomas A. Henzinger -

Not registered as user yet

Name:Thomas A. Henzinger

Affiliation:IST Austria, Austria

Contributions

PLDI 2020	Author of Inductive Sequentialization of Asynchronous Programs within the PLDI Research Papers-track
VMCAI	Author of Lipschitz Robustness of Timed I/O Systems within the VMCAI-track Author of Abstraction-driven Concolic Testing within the VMCAI-track
POPL 2016	Author of PSync: a partially synchronous language for fault-tolerant distributed algorithms within the Research Papers-track
ESOP 2015	Author of Segment Abstraction for Worst-Case Execution Time Analysis within the ESOP-track