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
Name:
Thomas A. Henzinger
Affiliation:
IST Austria, Austria
Contributions
2022
PLDI
Author of (PLDI 2020) Inductive Sequentialization of Asynchronous Programs within the SIGPLAN Track-track
VMCAI
Author of Sequential Information Flow within the VMCAI 2022-track
2020
PLDI
Author of Inductive Sequentialization of Asynchronous Programs within the PLDI Research Papers-track
2016
POPL
Author of PSync: a partially synchronous language for fault-tolerant distributed algorithms within the 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
2015
ESOP
Author of Segment Abstraction for Worst-Case Execution Time Analysis within the ESOP-track
Share
x
Sat 21 Dec 19:14