Follow
Thomas Henzinger
Thomas Henzinger
IST Austria
Verified email at ist.ac.at - Homepage
Title
Cited by
Cited by
Year
13. The Theory of Hybrid Automata
TA Henzinger
NATO ASI Series, 265, 0
2011 CAV award announcement
MY Vardi, TA Henzinger, R Alur, M Kwiatkowska
Formal Methods in System Design 41, 1-2, 2012
2012
24: Model Checking & Reachability Analysis
GFA Platzer, IEM Clarke, TA Henzinger, H Veith
27th International Conference on Concurrency Theory (CONCUR 2016)
F Dahlqvist, V Danos, I Garnier, O Kammar, F Rossi, M Shapiro, ...
Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2016
2016
28th EACSL Annual Conference on Computer Science Logic (CSL 2020)
V Cortier, A Dawar, A Jeż, D Kesner, E Bonelli, A Viso, I Tzameret, ...
Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2020
2020
28th International Conference on Concurrency Theory (CONCUR 2017)
AF Donaldson, J Ketema, T Sorensen, J Wickerson, R Brenguier, A Pauly, ...
Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2017
12017
29th International Conference on Concurrency Theory (CONCUR 2018)
MY Vardi, Y Deng, R van Glabbeek, A Polyakov, MH Tsai, BY Wang, ...
Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2018
2018
3.10 Games Everywhere
TA Henzinger, R Ibsen-Jensen
Non-Zero-Sum-Games and Control 8 (2), 11, 1979
1979
30th International Conference on Concurrency Theory (CONCUR 2019)
WJ Fokkink, RJ van Glabbeek
30th International Conference on Concurrency Theory (CONCUR 2019), 2019
2019
A classification of symbolic transition systems
TA Henzinger, R Majumdar, JF Raskin
ACM Transactions on Computational Logic 6 (1), 1-32, 2005
152*2005
A comparison of control problems for timed and hybrid systems
F Cassez, TA Henzinger, JF Raskin
Workshop on Hybrid Systems: Computation and Control, 134-148, 2002
1032002
A determinizable class of timed automata
R Alur, L Fix, TA Henzinger
Conference on Computer Aided Verification, 1-13, 1994
2401994
A determinizable class of timed automata(Interim Report)
R ALUR, L FIX, T HENZINGER
1993
A Giotto-based helicopter control system
CM Kirsch, MAA Sanvido, TA Henzinger, W Pree
Conference on Embedded Software, 46-60, 2002
482002
A Giotto-based Helicopter Control System
MAA Sanvido, CM Kirsch, TA Henzinger, W Pree
A hierarchical coordination language for interacting real-time tasks
A Ghosal, TA Henzinger, D Iercan, CM Kirsch, A Sangiovanni-Vincentelli
ACM Conference on Embedded Software, 132-141, 2006
942006
A learner-verifier framework for neural-network controllers and certificates of stochastic systems
K Chatterjee, TA Henzinger, M Lechner, Đ Žikelić
Conference on Tools and Algorithms for the Construction and Analysis of …, 2023
52023
A logic-based framework for verifying consensus algorithms
C Drăgoi, TA Henzinger, H Veith, J Widder, D Zufferey
Conference on Verification, Model Checking, and Abstract Interpretation, 161-181, 2014
732014
A marketplace for cloud resources
TA Henzinger, AV Singh, V Singh, T Wies, D Zufferey
ACM Conference on Embedded Software, 1-8, 2010
292010
A note on abstract-interpretation strategies for hybrid automata
TA Henzinger, PH Ho
Hybrid Systems II, 252-264, 1994
1051994
The system can't perform the operation now. Try again later.
Articles 1–20