• Sign in
  • Sign up
conf.researchr.org / Thomas A. Henzinger
  • 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
xFri 20 May 13:49
using conf.researchr.org (v1.55.6)
Support page
Sign Up