Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Thomas A. Henzinger
conf.researchr.org general profile
ESOP 2015 profile
PLDI 2020 profile
PLDI 2022 profile
POPL 2016 profile
POPL 2022 profile
Not registered as user yet
Name:
Thomas A. Henzinger
Affiliation:
IST Austria, Austria
Contributions
PLDI 2022
Author of (PLDI 2020) Inductive Sequentialization of Asynchronous Programs within the SIGPLAN Track-track
VMCAI 2022
Author of Sequential Information Flow within the VMCAI 2022-track
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
Share
x
Fri 20 May 13:49