( en | de | ru )

 

Disambiguation of "Henzinger, Thomas A."

Author of the publication

copydeleteadd this publication to your clipboard
Preface of the Special Issue in Memoriam Helmut Veith.

, , and . Formal Methods Syst. Des., 51 (2): 267-269 (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Thomas A Vilgis

Thomas A Fischer

Thomas A Fischer

Thomas A Willging

Thomas A Schartel

 

Other publications of authors with the same name

History-Deterministic Timed Automata Are Not Determinizable., , , , and . RP, volume 13608 of Lecture Notes in Computer Science, page 67-76. Springer, (2022)Runtime Monitoring of Dynamic Fairness Properties., , , and . FAccT, page 604-614. ACM, (2023)Markov Decision Processes with Multiple Objectives., , and . STACS, volume 3884 of Lecture Notes in Computer Science, page 325-336. Springer, (2006)A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems., , , and . TACAS (1), volume 13993 of Lecture Notes in Computer Science, page 3-25. Springer, (2023)Games, Time, and Probability: Graph Models for System Design and Analysis.. SOFSEM (1), volume 4362 of Lecture Notes in Computer Science, page 103-110. Springer, (2007)Temporal Logics for Multi-Agent Systems.. AAMAS, page 1. International Foundation for Autonomous Agents and Multiagent Systems Richland, SC, USA / ACM, (2018)Generating Tests from Counterexamples., , , , and . ICSE, page 326-335. IEEE Computer Society, (2004)Real-time Logics: Complexity and Expressiveness, and . LICS, page 390-401. IEEE Computer Society, (1990)Stack Size Analysis for Interrupt-Driven Programs., , , , , and . SAS, volume 2694 of Lecture Notes in Computer Science, page 109-126. Springer, (2003)Towards Refining Temporal Specifications into Hybrid Systems., , and . Hybrid Systems, volume 736 of Lecture Notes in Computer Science, page 60-76. Springer, (1992)