×

Henzinger, Thomas A.

Author ID: henzinger.thomas-a Recent zbMATH articles by "Henzinger, Thomas A."
Published as: Henzinger, Thomas A.; Henzinger, T. A.; Henzinger, Thomas; Henzinger, T.
Homepage: http://pub.ist.ac.at/~tah/
External Links: MGP · ORCID · Wikidata · dblp · GND · IdRef
all top 5

Co-Authors

11 single-authored
73 Chatterjee, Krishnendu
31 Majumdar, Rupak
21 Doyen, Laurent
20 de Alfaro, Luca
18 Otop, Jan
17 Alur, Rajeev
15 Kupferman, Orna
14 Raskin, Jean-François
13 Avni, Guy
11 Radhakrishna, Arjun
9 Černý, Pavol
9 Jhala, Ranjit
8 Mang, Freddy Y. C.
8 Petrov, Tatjana
7 Giacobbe, Mirco
7 Gupta, Ashutosh
7 Jobstmann, Barbara
7 Kopke, Peter W.
7 Prabhu, Vinayak S.
7 Qadeer, Shaz
6 Boker, Udi
6 Jurdziński, Marcin
6 Kirsch, Christoph M.
6 Piterman, Nir
6 Rajamani, Sriram K.
6 Sezgin, Ali
5 Bogomolov, Sergiy
5 Daca, Przemysław
5 Guerraoui, Rachid
5 Kong, Hui
5 Kovács, Laura Ildikó
5 Samanta, Roopsha
5 Schilling, Christian
5 Singh, Vasu
4 Bartocci, Ezio
4 Bloem, Roderick
4 Clarke, Edmund Melson jun.
4 Ferrère, Thomas
4 Guet, Călin C.
4 Hottelier, Thibaud
4 Ibsen-Jensen, Rasmus
4 Stoelinga, Mariëlle
4 Vardi, Moshe Ya’akov
4 Veith, Helmut
4 Wolf, Verena
4 Wong-Toi, Howard
4 Zufferey, Damien
3 Beyer, Dirk
3 Chakrabarti, Arindam
3 Faella, Marco
3 Ho, Pei-Hsin
3 Horn, Florian
3 Horowitz, Benjamin
3 Jiang, Yunping
3 Kragl, Bernhard
3 Křetínský, Jan
3 Mateescu, Maria
3 Rybalchenko, Andrey
3 Sanvido, Marco A. A.
3 Soto, Miriam García
3 Sutre, Grégoire
3 Tarrach, Thorsten
2 Aghajohari, Milad
2 Berwanger, Dietmar
2 Chmelík, Martin
2 Chonev, Ventsislav
2 Courcoubetis, Costas A.
2 De Wulf, Martin
2 Dragoi, Cezara
2 Feder, Tomás
2 Fisher, Jasmin
2 Frehse, Goran
2 Gimbert, Hugo
2 Igler, Claudia
2 Könighofer, Bettina
2 Ma, Di
2 Manna, Zohar
2 Nickovic, Dejan
2 Nicollin, Xavier
2 Paixão, Tiago
2 Palsberg, Jens
2 Payer, Hannes
2 Pnueli, Amir
2 Puri, Anuj
2 Ryzhyk, Leonid
2 Saraç, N. Ege
2 Schobbens, Pierre-Yves
2 Sifakis, Joseph
2 Singh, Rohit R.
2 Sokolova, Ana
2 Vafeiadis, Viktor
2 Varaiya, Pravin Pratap
2 Velner, Yaron
2 Wies, Thomas
2 Yovine, Sergio
2 Zhao, Tian
2 Žikelić, {D}or{d}e
1 Antoš, David
1 Bak, Stanley
1 Blanc, Régis
...and 73 more Co-Authors

Publications by Year

Citations contained in zbMATH Open

244 Publications have been cited 4,295 times in 2,322 Documents Cited by Year
Alternating-time temporal logic. Zbl 1326.68181
Alur, Rajeev; Henzinger, Thomas A.; Kupferman, Orna
333
2002
The algorithmic analysis of hybrid systems. Zbl 0874.68206
Alur, R.; Courcoubetis, C.; Halbwachs, N.; Henzinger, T. A.; Ho, P.-H.
212
1995
The theory of hybrid automata. Zbl 0959.68073
Henzinger, Thomas A.
169
2000
Symbolic model checking for real-time systems. Zbl 0806.68080
Henzinger, Thomas A.; Nicollin, Xavier; Sifakis, Joseph; Yovine, Sergio
132
1994
What’s decidable about hybrid automata? Zbl 0920.68091
Henzinger, Thomas A.; Kopke, Peter W.; Puri, Anuj; Varaiya, Pravin
131
1998
The benefits of relaxing punctuality. Zbl 0882.68021
Alur, Rajeev; Feder, Tomás; Henzinger, Thomas A.
119
1996
A really temporal logic. Zbl 0807.68065
Alur, Rajeev; Henzinger, Thomas A.
109
1994
HyTech: A model checker for hybrid systems. Zbl 1060.68603
Henzinger, Thomas A.; Ho, Pei-Hsin; Wong-Toi, Howard
98
1997
Lazy abstraction. Zbl 1323.68374
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Grégoire
80
2002
Real-time logics: Complexity and expressiveness. Zbl 0791.68103
Alur, Rajeev; Henzinger, Thomas A.
78
1993
Parametric real-time reasoning. Zbl 1310.68139
Alur, Rajeev; Henzinger, Thomas A.; Vardi, Moshe Y.
74
1993
Abstractions from proofs. Zbl 1325.68147
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; McMillan, Kenneth L.
67
2004
Strategy logic. Zbl 1205.68197
Chatterjee, Krishnendu; Henzinger, Thomas A.; Piterman, Nir
66
2010
What’s decidable about hybrid automata? Zbl 0978.68534
Henzinger, Thomas A.; Kopke, Peter W.; Puri, Anuj; Varaiya, Pravin
63
1995
Computing simulations on finite and infinite graphs. Zbl 0938.68538
Henzinger, Monika R.; Henzinger, Thomas A.; Kopke, Peter W.
60
1995
Alternating refinement relations. Zbl 1070.68524
Alur, Rajeev; Henzinger, Thomas A.; Kupferman, Orna; Vardi, Moshe Y.
56
1998
Better quality in synthesis through quantitative objectives. Zbl 1242.68151
Bloem, Roderick; Chatterjee, Krishnendu; Henzinger, Thomas A.; Jobstmann, Barbara
56
2009
Handbook of model checking. Zbl 1390.68001
56
2018
Quantitative languages. Zbl 1351.68155
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
55
2010
Event-clock automata: a determinizable class of timed automata. Zbl 0912.68132
Alur, Rajeev; Fix, Limor; Henzinger, Thomas A.
50
1999
Quantitative stochastic parity games. Zbl 1318.91027
Chatterjee, Krishnendu; Jurdziński, Marcin; Henzinger, Thomas A.
50
2004
Discrete-time control for rectangular hybrid automata. Zbl 0930.68086
Henzinger, Thomas A.; Kopke, Peter W.
47
1999
Antichains: a new algorithm for checking universality of finite automata. Zbl 1188.68171
De Wulf, M.; Doyen, L.; Henzinger, T. A.; Raskin, J.-F.
43
2006
Quantitative languages. Zbl 1156.68449
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
42
2008
Discounting the future in systems theory. Zbl 1039.68087
de Alfaro, Luca; Henzinger, Thomas A.; Majumdar, Rupak
40
2003
Interface theories for component-based design. Zbl 1050.68518
de Alfaro, Luca; Henzinger, Thomas A.
40
2001
A survey of stochastic \(\omega \)-regular games. Zbl 1237.91036
Chatterjee, Krishnendu; Henzinger, Thomas A.
39
2012
Concurrent reachability games. Zbl 1154.91306
de Alfaro, Luca; Henzinger, Thomas A.; Kupferman, Orna
38
2007
Algorithmic analysis of nonlinear hybrid systems. Zbl 0918.93019
Henzinger, Thomas A.; Ho, Pei-Hsin; Wong-Toi, Howard
37
1998
Generalized mean-payoff and energy games. Zbl 1245.68090
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.; Raskin, Jean-François
37
2010
Games with secure equilibria. Zbl 1108.91007
Chatterjee, Krishnendu; Henzinger, Thomas A.; Jurdziński, Marcin
37
2006
Solving games without determinization. Zbl 1225.68118
Henzinger, Thomas A.; Piterman, Nir
36
2006
Synthesizing robust systems. Zbl 1302.93079
Bloem, Roderick; Chatterjee, Krishnendu; Greimel, Karin; Henzinger, Thomas A.; Hofferek, Georg; Jobstmann, Barbara; Könighofer, Bettina; Könighofer, Robert
34
2014
Algorithms for omega-regular games with imperfect information. Zbl 1125.91028
Raskin, Jean-Francois; Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
33
2007
The complexity of multi-mean-payoff and multi-energy games. Zbl 1309.68082
Velner, Yaron; Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.; Rabinovich, Alexander; Raskin, Jean-François
31
2015
Fair simulation. Zbl 1009.68071
Henzinger, Thomas A.; Kupferman, Orna; Rajamani, Sriram K.
30
2002
Strategy logic. Zbl 1151.03327
Chatterjee, Krishnendu; Henzinger, Thomas A.; Piterman, Nir
30
2007
Simple stochastic parity games. Zbl 1116.68493
Chatterjee, Krishnendu; Jurdziński, Marcin; Henzinger, Thomas A.
30
2003
What good are digital clocks? Zbl 1425.68255
Henzinger, Thomas A.; Manna, Zohar; Pnueli, Amir
29
1992
Finitary winning in \({\omega}\)-regular games. Zbl 1351.68156
Chatterjee, Krishnendu; Henzinger, Thomas A.; Horn, Florian
28
2009
Expressiveness and closure properties for quantitative languages. Zbl 1200.68135
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
25
2010
Alternating weighted automata. Zbl 1252.68167
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
25
2009
Model checking discounted temporal properties. Zbl 1079.68062
de Alfaro, Luca; Faella, Marco; Henzinger, Thomas A.; Majumdar, Rupak; Stoelinga, Mariëlle
23
2005
Compositional methods for probabilistic systems. Zbl 1006.68083
de Alfaro, Luca; Henzinger, Thomas A.; Jhala, Ranjit
23
2001
Markov decision processes with multiple objectives. Zbl 1136.90498
Chatterjee, Krishnendu; Majumdar, Rupak; Henzinger, Thomas A.
23
2006
Temporal specifications with accumulative values. Zbl 1354.68169
Boker, Udi; Chatterjee, Krishnendu; Henzinger, Thomas A.; Kupferman, Orna
23
2014
The algorithmic analysis of hybrid systems. Zbl 0823.68067
Alur, R.; Courcoubetis, C.; Henzinger, T.; Ho, P.; Nicollin, X.; Olivero, A.; Sifakis, J.; Yovine, S.
22
1994
Hybrid automata with finite bisimulations. Zbl 1412.68130
Henzinger, Thomas A.
22
1995
Invariant synthesis for combined theories. Zbl 1132.68333
Beyer, Dirk; Henzinger, Thomas A.; Majumdar, Rupak; Rybalchenko, Andrey
19
2007
Proving non-termination. Zbl 1295.68158
Gupta, Ashutosh; Henzinger, Thomas A.; Majumdar, Rupak; Rybalchenko, Andrey; Xu, Ru-Gang
19
2008
Simulation distances. Zbl 1234.68253
Černý, Pavol; Henzinger, Thomas A.; Radhakrishna, Arjun
19
2012
Lumpability abstractions of rule-based systems. Zbl 1267.68153
Feret, Jerome; Henzinger, Thomas; Koeppl, Heinz; Petrov, Tatjana
19
2012
Algorithms for omega-regular games with imperfect information. Zbl 1225.91012
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.; Raskin, Jean-François
19
2006
Robust undecidability of timed and hybrid systems. Zbl 0944.93018
Henzinger, Thomas A.; Raskin, Jean-François
18
2000
Timed interfaces. Zbl 1027.68785
de Alfaro, Luca; Henzinger, Thomas A.; Stoelinga, Mariëlle
18
2002
Model-checking \(\omega \)-regular properties of interval Markov chains. Zbl 1138.68441
Chatterjee, Krishnendu; Sen, Koushik; Henzinger, Thomas A.
18
2008
The element of surprise in timed games. Zbl 1262.68141
de Alfaro, Luca; Faella, Marco; Henzinger, Thomas A.; Majumdar, Rupak; Stoelinga, Mariëlle
18
2003
It’s about time: Real-time logics reviewed. Zbl 0928.03019
Henzinger, Thomas A.
18
1998
A classification of symbolic transition systems. Zbl 1367.68193
Henzinger, Thomas A.; Majumdar, Rupak; Raskin, Jean-François
18
2005
Beyond HyTech: Hybrid systems analysis using interval numerical methods. Zbl 0938.93552
Henzinger, Thomas A.; Horowitz, Benjamin; Majumdar, Rupak; Wong-Toi, Howard
17
2000
Sliding window abstraction for infinite Markov chains. Zbl 1242.60079
Henzinger, Thomas A.; Mateescu, Maria; Wolf, Verena
17
2009
Assume-guarantee synthesis. Zbl 1186.68284
Chatterjee, Krishnendu; Henzinger, Thomas A.
17
2007
The complexity of stochastic Rabin and Streett games. Zbl 1085.68060
Chatterjee, Krishnendu; de Alfaro, Luca; Henzinger, Thomas A.
17
2005
Temporal proof methodologies for timed transition systems. Zbl 0820.68085
Henzinger, Thomas A.; Manna, Zohar; Pnueli, Amir
16
1994
Rectangular hybrid games. Zbl 0937.91005
Henzinger, Thomas A.; Horowitz, Benjamin; Majumdar, Rupak
16
1999
Generalized parity games. Zbl 1195.68053
Chatterjee, Krishnendu; Henzinger, Thomas A.; Piterman, Nir
16
2007
Symbolic algorithms for infinite-state games. Zbl 1006.68095
de Alfaro, Luca; Henzinger, Thomas A.; Majumdar, Rupak
16
2001
Partial-order reduction in symbolic state-space exploration. Zbl 1001.68080
Alur, R.; Brayton, R. K.; Henzinger, T. A.; Qadeer, S.; Rajamani, S. K.
15
2001
Software verification with BLAST. Zbl 1023.68532
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Grégoire
15
2003
Environment assumptions for synthesis. Zbl 1160.68437
Chatterjee, Krishnendu; Henzinger, Thomas A.; Jobstmann, Barbara
15
2008
Value iteration. Zbl 1143.68042
Chatterjee, Krishnendu; Henzinger, Thomas A.
15
2008
Computer aided verification. 8th international conference, CAV ’96, New Brunswick, NJ, USA, July 31 – August 3, 1996. Proceedings. Zbl 1102.68301
15
1996
Randomness for free. Zbl 1287.91027
Chatterjee, Krishnendu; Doyen, Laurent; Gimbert, Hugo; Henzinger, Thomas A.
15
2010
Quantifying similarities between timed systems. Zbl 1175.68281
Henzinger, Thomas A.; Majumdar, Rupak; Prabhu, Vinayak S.
15
2005
Back to the future: Towards a theory of timed regular languages. Zbl 0977.68548
Alur, Rajeev; Henzinger, Thomas A.
14
1992
Equivalence of labeled Markov chains. Zbl 1155.68035
Doyen, Laurent; Henzinger, Thomas A.; Raskin, Jean-François
14
2008
Qualitative analysis of partially-observable Markov decision processes. Zbl 1287.68104
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
14
2010
Quantitative relaxation of concurrent data structures. Zbl 1301.68176
Henzinger, Thomas A.; Kirsch, Christoph M.; Payer, Hannes; Sezgin, Ali; Sokolova, Ana
14
2013
Probabilistic weighted automata. Zbl 1254.68133
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
13
2009
Stochastic limit-average games are in EXPTIME. Zbl 1154.91004
Chatterjee, Krishnendu; Majumdar, Rupak; Henzinger, Thomas A.
13
2008
Thread-modular abstraction refinement. Zbl 1278.68175
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Qadeer, Shaz
13
2003
Automatic rectangular refinement of affine hybrid systems. Zbl 1175.68243
Doyen, Laurent; Henzinger, Thomas A.; Raskin, Jean-François
13
2005
Modularity for timed and hybrid systems. Zbl 1512.68146
Alur, Rajeev; Henzinger, Thomas A.
13
1997
The complexity of quantitative concurrent parity games. Zbl 1192.68430
Chatterjee, Krishnendu; de Alfaro, Luca; Henzinger, Thomas A.
12
2006
A comparison of control problems for timed and hybrid systems. Zbl 1044.93518
Cassez, Franck; Henzinger, Thomas A.; Raskin, Jean-François
12
2002
Configurable software verification: Concretizing the convergence of model checking and program analysis. Zbl 1135.68466
Beyer, Dirk; Henzinger, Thomas A.; Théoduloz, Grégory
12
2007
A logic-based framework for verifying consensus algorithms. Zbl 1428.68371
Drăgoi, Cezara; Henzinger, Thomas A.; Veith, Helmut; Widder, Josef; Zufferey, Damien
12
2014
Temporal-safety proofs for systems code. Zbl 1010.68507
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Necula, George C.; Sutre, Grégoire; Weimer, Westley
11
2002
Giotto: A time-triggered language for embedded programming. Zbl 1050.68525
Henzinger, Thomas A.; Horowitz, Benjamin; Meyer Kirsch, Christoph
11
2001
Forward analysis of depth-bounded processes. Zbl 1284.68419
Wies, Thomas; Zufferey, Damien; Henzinger, Thomas A.
11
2010
Sooner is safer than later. Zbl 0753.68041
Henzinger, Thomas A.
11
1992
The benefits of relaxing punctuality. Zbl 1314.68195
Alur, Rajeev; Feder, Tomás; Henzinger, Thomas A.
11
1991
The Blast query language for software verification. Zbl 1104.68408
Beyer, Dirk; Chlipala, Adam J.; Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak
10
2004
Synchronous and bidirectional component interfaces. Zbl 1010.68518
Chakrabarti, Arindam; de Alfaro, Luca; Henzinger, Thomas A.; Mang, Freddy Y. C.
10
2002
PSync: a partially synchronous language for fault-tolerant distributed algorithms. Zbl 1347.68036
Drăgoi, Cezara; Henzinger, Thomas A.; Zufferey, Damien
10
2016
Finitary winning in \(\omega\)-regular games. Zbl 1180.68171
Chatterjee, Krishnendu; Henzinger, Thomas A.
10
2006
Strategy improvement for concurrent reachability and turn-based stochastic safety games. Zbl 1269.91022
Chatterjee, Krishnendu; de Alfaro, Luca; Henzinger, Thomas A.
10
2013
Minimum-time reachability in timed games. Zbl 1171.68526
Brihaye, Thomas; Henzinger, Thomas A.; Prabhu, Vinayak S.; Raskin, Jean-François
9
2007
Permissiveness in transactional memories. Zbl 1161.68387
Guerraoui, Rachid; Henzinger, Thomas A.; Singh, Vasu
9
2008
Completeness and nondeterminism in model checking transactional memories. Zbl 1160.68441
Guerraoui, Rachid; Henzinger, Thomas A.; Singh, Vasu
9
2008
History-deterministic timed automata are not determinizable. Zbl 07714977
Bose, Sougata; Henzinger, Thomas A.; Lehtinen, Karoliina; Schewe, Sven; Totzke, Patrick
3
2022
Flavors of sequential information flow. Zbl 1498.68151
Bartocci, Ezio; Ferrère, Thomas; Henzinger, Thomas A.; Nickovic, Dejan; Oliveira da Costa, Ana
1
2022
Determinacy in discrete-bidding infinite-duration games. Zbl 1509.91007
Aghajohari, Milad; Avni, Guy; Henzinger, Thomas A.
3
2021
Bidding mechanisms in graph games. Zbl 1480.91053
Avni, Guy; Henzinger, Thomas A.; Žikelić, Đorđe
1
2021
How many bits does it take to quantize your neural network? Zbl 1483.68192
Giacobbe, Mirco; Henzinger, Thomas A.; Lechner, Mathias
4
2020
Refinement for structured concurrent programs. Zbl 1478.68044
Kragl, Bernhard; Qadeer, Shaz; Henzinger, Thomas A.
2
2020
Monitoring event frequencies. Zbl 07650833
Ferrère, Thomas; Henzinger, Thomas A.; Kragl, Bernhard
2
2020
Infinite-duration bidding games. Zbl 1448.91060
Avni, Guy; Henzinger, Thomas A.; Chonev, Ventsislav
5
2019
Bidding mechanisms in graph games. Zbl 07561655
Avni, Guy; Henzinger, Thomas A.; Žikelić, Đorde
3
2019
Continuous-time models for system design and analysis. Zbl 1485.93204
Alur, Rajeev; Giacobbe, Mirco; Henzinger, Thomas A.; Larsen, Kim G.; Mikučionis, Marius
2
2019
Bidding games on Markov decision processes. Zbl 1455.91054
Avni, Guy; Henzinger, Thomas A.; Ibsen-Jensen, Rasmus; Novotný, Petr
2
2019
Long-run average behavior of vector addition systems with states. Zbl 07649935
Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan
2
2019
Run-time optimization for learned controllers through quantitative games. Zbl 07805558
Avni, Guy; Bloem, Roderick; Chatterjee, Krishnendu; Henzinger, Thomas A.; Könighofer, Bettina; Pranger, Stefan
2
2019
Quantitative automata under probabilistic semantics. Zbl 1442.68086
Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan
1
2019
Transient memory in gene regulation. Zbl 1422.92044
Guet, Calin; Henzinger, Thomas A.; Igler, Claudia; Petrov, Tatjana; Sezgin, Ali
1
2019
Determinacy in discrete-bidding infinite-duration games. Zbl 07649928
Aghajohari, Milad; Avni, Guy; Henzinger, Thomas A.
1
2019
Membership-based synthesis of linear hybrid automata. Zbl 07805538
García Soto, Miriam; Henzinger, Thomas A.; Schilling, Christian; Zeleznik, Luka
1
2019
Handbook of model checking. Zbl 1390.68001
56
2018
Synchronizing the asynchronous. Zbl 1520.68029
Kragl, Bernhard; Qadeer, Shaz; Henzinger, Thomas A.
8
2018
Infinite-duration poorman-bidding games. Zbl 1443.91070
Avni, Guy; Henzinger, Thomas A.; Ibsen-Jensen, Rasmus
6
2018
A theory of register monitors. Zbl 1497.68261
Ferrère, Thomas; Henzinger, Thomas A.; Saraç, N. Ege
4
2018
Monitoring temporal logic with clock variables. Zbl 1514.68129
Elgyütt, Adrián; Ferrère, Thomas; Henzinger, Thomas A.
2
2018
Reachable set over-approximation for nonlinear systems using piecewise barrier tubes. Zbl 1511.68159
Kong, Hui; Bartocci, Ezio; Henzinger, Thomas A.
2
2018
Introduction to model checking. Zbl 1392.68242
Clarke, Edmund M.; Henzinger, Thomas A.; Veith, Helmut
1
2018
Space-time interpolants. Zbl 1511.68155
Frehse, Goran; Giacobbe, Mirco; Henzinger, Thomas A.
1
2018
Counterexample-guided refinement of template polyhedra. Zbl 1452.68099
Bogomolov, Sergiy; Frehse, Goran; Giacobbe, Mirco; Henzinger, Thomas A.
7
2017
The cost of exactness in quantitative reachability. Zbl 1431.68073
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
4
2017
Safety verification of nonlinear hybrid systems based on invariant clusters. Zbl 1369.93185
Kong, Hui; Bogomolov, Sergiy; Schilling, Christian; Jiang, Yu; Henzinger, Thomas A.
4
2017
Faster statistical model checking for unbounded temporal properties. Zbl 1367.68188
Daca, Przemysław; Henzinger, Thomas A.; Křetínský, Jan; Petrov, Tatjana
4
2017
Infinite-duration bidding games. Zbl 1448.91061
Avni, Guy; Henzinger, Thomas A.; Chonev, Ventsislav
4
2017
Model measuring for discrete and hybrid systems. Zbl 1401.68198
Henzinger, Thomas A.; Otop, Jan
3
2017
Nested weighted automata. Zbl 1407.68248
Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan
3
2017
Quantitative fair simulation games. Zbl 1370.68165
Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan; Velner, Yaron
3
2017
Model checking the evolution of gene regulatory networks. Zbl 1380.68273
Giacobbe, Mirco; Guet, Călin C.; Gupta, Ashutosh; Henzinger, Thomas A.; Paixão, Tiago; Petrov, Tatjana
2
2017
Bidirectional nested weighted automata. Zbl 1442.68087
Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan
2
2017
Computing scores of forwarding schemes in switched networks with probabilistic faults. Zbl 1452.68021
Avni, Guy; Goel, Shubham; Henzinger, Thomas A.; Rodriguez-Navas, Guillermo
1
2017
Conic abstractions for hybrid systems. Zbl 1497.93109
Bogomolov, Sergiy; Giacobbe, Mirco; Henzinger, Thomas A.; Kong, Hui
1
2017
Edit distance for pushdown automata. Zbl 1440.68152
Chatterjee, Krishnendu; Henzinger, Thomas A.; Ibsen-Jensen, Rasmus; Otop, Jan
1
2017
Preface of the special issue in memoriam Helmut Veith. Zbl 1384.00074
1
2017
From non-preemptive to preemptive scheduling using synchronization synthesis. Zbl 1360.68346
Černý, Pavol; Clarke, Edmund M.; Henzinger, Thomas A.; Radhakrishna, Arjun; Ryzhyk, Leonid; Samanta, Roopsha; Tarrach, Thorsten
1
2017
PSync: a partially synchronous language for fault-tolerant distributed algorithms. Zbl 1347.68036
Drăgoi, Cezara; Henzinger, Thomas A.; Zufferey, Damien
10
2016
Dynamic resource allocation games. Zbl 1403.91059
Avni, Guy; Henzinger, Thomas A.; Kupferman, Orna
9
2016
Linear distances between Markov chains. Zbl 1392.68293
Daca, Przemysław; Henzinger, Thomas A.; Krětínský, Jan; Petrov, Tatjana
9
2016
Quantitative automata under probabilistic semantics. Zbl 1401.68155
Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan
7
2016
Quantitative monitor automata. Zbl 1394.68207
Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan
5
2016
Array folds logic. Zbl 1411.68061
Daca, Przemysław; Henzinger, Thomas A.; Kupriyanov, Andrey
4
2016
Faster statistical model checking for unbounded temporal properties. Zbl 1420.68123
Daca, Przemysław; Henzinger, Thomas A.; Křetínský, Jan; Petrov, Tatjana
4
2016
Nested weighted limit-average automata of bounded width. Zbl 1398.68305
Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan
4
2016
Scalable static hybridization methods for analysis of nonlinear systems. Zbl 1364.68243
Bak, Stanley; Bogomolov, Sergiy; Henzinger, Thomas A.; Johnson, Taylor T.; Prakash, Pradyot
4
2016
Abstraction-driven concolic testing. Zbl 1475.68079
Daca, Przemysław; Gupta, Ashutosh; Henzinger, Thomas A.
3
2016
Local linearizability for concurrent container-type data structures. Zbl 1392.68152
Haas, Andreas; Henzinger, Thomas A.; Holzer, Andreas; Kirsch, Christoph M.; Lippautz, Michael; Payer, Hannes; Sezgin, Ali; Sokolova, Ana; Veith, Helmut
3
2016
Lipschitz robustness of timed I/O systems. Zbl 1475.68154
Henzinger, Thomas A.; Otop, Jan; Samanta, Roopsha
1
2016
The complexity of multi-mean-payoff and multi-energy games. Zbl 1309.68082
Velner, Yaron; Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.; Rabinovich, Alexander; Raskin, Jean-François
31
2015
Edit distance for pushdown automata. Zbl 1440.68151
Chatterjee, Krishnendu; Henzinger, Thomas A.; Ibsen-Jensen, Rasmus; Otop, Jan
7
2015
Nested weighted automata. Zbl 1401.68154
Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan
7
2015
The target discounted-sum problem. Zbl 1401.68149
Boker, Udi; Henzinger, Thomas A.; Otop, Jan
6
2015
Model checking gene regulatory networks. Zbl 1420.92041
Giacobbe, Mirco; Guet, Călin C.; Gupta, Ashutosh; Henzinger, Thomas A.; Paixão, Tiago; Petrov, Tatjana
4
2015
Measuring and synthesizing systems in probabilistic environments. Zbl 1321.68344
Chatterjee, Krishnendu; Henzinger, Thomas A.; Jobstmann, Barbara; Singh, Rohit
4
2015
From non-preemptive to preemptive scheduling using synchronization synthesis. Zbl 1381.68040
Černý, Pavol; Clarke, Edmund M.; Henzinger, Thomas A.; Radhakrishna, Arjun; Ryzhyk, Leonid; Samanta, Roopsha; Tarrach, Thorsten
4
2015
Succinct representation of concurrent trace sets. Zbl 1345.68108
Gupta, Ashutosh; Henzinger, Thomas A.; Radhakrishna, Arjun; Samanta, Roopsha; Tarrach, Thorsten
2
2015
Aspect-oriented linearizability proofs. Zbl 1391.68023
Chakraborty, Soham; Henzinger, Thomas A.; Sezgin, Ali; Vafeiadis, Viktor
2
2015
Segment abstraction for worst-case execution time analysis. Zbl 1335.68049
Černý, Pavol; Henzinger, Thomas A.; Kovács, Laura; Radhakrishna, Arjun; Zwirchmayr, Jakob
1
2015
Randomness for free. Zbl 1333.91008
Chatterjee, Krishnendu; Doyen, Laurent; Gimbert, Hugo; Henzinger, Thomas A.
1
2015
Synthesizing robust systems. Zbl 1302.93079
Bloem, Roderick; Chatterjee, Krishnendu; Greimel, Karin; Henzinger, Thomas A.; Hofferek, Georg; Jobstmann, Barbara; Könighofer, Bettina; Könighofer, Robert
34
2014
Temporal specifications with accumulative values. Zbl 1354.68169
Boker, Udi; Chatterjee, Krishnendu; Henzinger, Thomas A.; Kupferman, Orna
23
2014
A logic-based framework for verifying consensus algorithms. Zbl 1428.68371
Drăgoi, Cezara; Henzinger, Thomas A.; Veith, Helmut; Widder, Josef; Zufferey, Damien
12
2014
Exact and approximate determinization of discounted-sum automata. Zbl 1325.68126
Boker, Udi; Henzinger, Thomas A.
9
2014
Battery transition systems. Zbl 1284.68382
Boker, Udi; Henzinger, Thomas A.; Radhakrishna, Arjun
2
2014
Lipschitz robustness of finite-state transducers. Zbl 1360.68559
Henzinger, Thomas A.; Otop, Jan; Samanta, Roopsha
2
2014
Model measuring for hybrid systems. Zbl 1362.68173
Henzinger, Thomas A.; Otop, Jan
2
2014
Quantitative relaxation of concurrent data structures. Zbl 1301.68176
Henzinger, Thomas A.; Kirsch, Christoph M.; Payer, Hannes; Sezgin, Ali; Sokolova, Ana
14
2013
Strategy improvement for concurrent reachability and turn-based stochastic safety games. Zbl 1269.91022
Chatterjee, Krishnendu; de Alfaro, Luca; Henzinger, Thomas A.
10
2013
From model checking to model measuring. Zbl 1390.68428
Henzinger, Thomas A.; Otop, Jan
9
2013
Aspect-oriented linearizability proofs. Zbl 1390.68213
Henzinger, Thomas A.; Sezgin, Ali; Vafeiadis, Viktor
8
2013
A survey of partial-observation stochastic parity games. Zbl 1291.91022
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
6
2013
Quantitative abstraction refinement. Zbl 1301.68244
Cerny, Pavol; Henzinger, Thomas A.; Radhakrishna, Arjun
4
2013
Computational methods in systems biology. 11th international conference, CMSB 2013, Klosterneuburg, Austria, September 22–24, 2013. Proceedings. Zbl 1321.92032
2
2013
A survey of stochastic \(\omega \)-regular games. Zbl 1237.91036
Chatterjee, Krishnendu; Henzinger, Thomas A.
39
2012
Simulation distances. Zbl 1234.68253
Černý, Pavol; Henzinger, Thomas A.; Radhakrishna, Arjun
19
2012
Lumpability abstractions of rule-based systems. Zbl 1267.68153
Feret, Jerome; Henzinger, Thomas; Koeppl, Heinz; Petrov, Tatjana
19
2012
Ideal abstractions for well-structured transition systems. Zbl 1326.68205
Zufferey, Damien; Wies, Thomas; Henzinger, Thomas A.
7
2012
Approximate determinization of quantitative automata. Zbl 1354.68147
Boker, Udi; Henzinger, Thomas A.
6
2012
Interface simulation distances. Zbl 1459.68097
Černý, Pavol; Chmelík, Martin; Henzinger, Thomas A.; Radhakrishna, Arjun
2
2012
Qualitative concurrent parity games. Zbl 1351.68179
Chatterjee, Krishnendu; De Alfaro, Luca; Henzinger, Thomas A.
8
2011
Timed parity games: complexity and robustness. Zbl 1237.68112
Chatterjee, Krishnendu; Henzinger, Thomas A.; Prabhu, Vinayak S.
7
2011
The complexity of request-response games. Zbl 1330.68105
Chatterjee, Krishnendu; Henzinger, Thomas A.; Horn, Florian
5
2011
Dynamic reactive modules. Zbl 1343.68167
Fisher, Jasmin; Henzinger, Thomas A.; Nickovic, Dejan; Piterman, Nir; Singh, Anmol V.; Vardi, Moshe Y.
5
2011
QUASY: quantitative synthesis tool. Zbl 1316.68071
Chatterjee, Krishnendu; Henzinger, Thomas A.; Jobstmann, Barbara; Singh, Rohit
3
2011
Approximation of event probabilities in noisy cellular processes. Zbl 1211.92016
Didier, Frédéric; Henzinger, Thomas A.; Mateescu, Maria; Wolf, Verena
2
2011
Formalisms for specifying Markovian population models. Zbl 1216.68190
Henzinger, Thomas; Jobstmann, Barbara; Wolf, Verena
2
2011
Verification of STM on relaxed memory models. Zbl 1247.68165
Guerraoui, Rachid; Henzinger, Thomas A.; Singh, Vasu
1
2011
Determinizing discounted-sum automata. Zbl 1247.68128
Boker, Udi; Henzinger, Thomas A.
1
2011
Strategy logic. Zbl 1205.68197
Chatterjee, Krishnendu; Henzinger, Thomas A.; Piterman, Nir
66
2010
Quantitative languages. Zbl 1351.68155
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
55
2010
Generalized mean-payoff and energy games. Zbl 1245.68090
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.; Raskin, Jean-François
37
2010
Expressiveness and closure properties for quantitative languages. Zbl 1200.68135
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
25
2010
Randomness for free. Zbl 1287.91027
Chatterjee, Krishnendu; Doyen, Laurent; Gimbert, Hugo; Henzinger, Thomas A.
15
2010
Qualitative analysis of partially-observable Markov decision processes. Zbl 1287.68104
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
14
2010
Forward analysis of depth-bounded processes. Zbl 1284.68419
Wies, Thomas; Zufferey, Damien; Henzinger, Thomas A.
11
2010
Model checking transactional memories. Zbl 1267.68143
Guerraoui, Rachid; Henzinger, Thomas A.; Singh, Vasu
9
2010
...and 144 more Documents
all top 5

Cited by 3,124 Authors

73 Henzinger, Thomas A.
65 Chatterjee, Krishnendu
49 Larsen, Kim Guldstrand
46 Kupferman, Orna
42 Raskin, Jean-François
40 Bouyer, Patricia
30 Legay, Axel
29 Markey, Nicolas
27 Droste, Manfred
26 Murano, Aniello
25 Brihaye, Thomas
25 Lime, Didier
25 Wooldridge, Michael J.
24 Kwiatkowska, Marta Z.
23 Baier, Christel
23 Schewe, Sven
21 Bozzelli, Laura
21 Doyen, Laurent
19 André, Étienne
19 Randour, Mickael
19 Vardi, Moshe Ya’akov
19 Zimmermann, Martin
18 Avni, Guy
18 Fahrenberg, Uli
18 Katoen, Joost-Pieter
17 Alur, Rajeev
17 Bruyère, Véronique
17 Gutierrez, Julian
17 Mogavero, Fabio
17 Norman, Gethin
16 Roux, Olivier H.
15 Cimatti, Alessandro
15 Perelli, Giuseppe
15 Pinchinat, Sophie
15 Worrell, James B.
15 Zhan, Naijun
14 Montanari, Angelo
13 Ågotnes, Thomas
13 Benerecetti, Massimo
13 Bérard, Béatrice
13 Bertrand, Nathalie
13 Piazza, Carla
12 Bouajjani, Ahmed
12 Demri, Stéphane P.
12 Haddad, Serge
12 Jamroga, Wojciech
12 Majumdar, Rupak
12 Maler, Oded
12 Otop, Jan
12 Ouaknine, Joel O.
12 Platzer, André
12 Sproston, Jeremy
12 Trivedi, Ashutosh
12 Zhang, Lijun
11 Abdulla, Parosh Aziz
11 Bortolussi, Luca
11 de Alfaro, Luca
11 Fränzle, Martin
11 Hermanns, Holger
11 Holík, Lukáš
11 Křetínský, Jan
11 Kröning, Daniel
11 Leroux, Stéphane
11 Prabhakar, Pavithra
11 Tonetta, Stefano
10 Abate, Alessandro
10 Asarin, Eugene
10 Clarke, Edmund Melson jun.
10 Jobstmann, Barbara
10 Piterman, Nir
10 Pnueli, Amir
10 Tini, Simone
10 Tripakis, Stavros
10 van der Hoek, Wiebe
10 Viswanathan, Mahesh
10 Wąsowski, Andrzej
9 Alechina, Natasha
9 Bloem, Roderick
9 Boker, Udi
9 Bournez, Olivier
9 Broersen, Jan M.
9 Dang, Zhe
9 Enea, Constantin
9 Geeraerts, Gilles
9 Goranko, Valentin F.
9 Griggio, Alberto
9 Lehtinen, Karoliina
9 Pandya, Paritosh K.
9 Pappas, George J.
9 Petrov, Tatjana
9 Quaas, Karin
9 Rabinovich, Alexander
9 Reynolds, Mark Alexander
9 Sankur, Ocan
9 Vaandrager, Frits W.
8 Bartocci, Ezio
8 Beneš, Nikola
8 Berwanger, Dietmar
8 Dang, Thao
8 David, Alexandre
...and 3,024 more Authors
all top 5

Cited in 138 Serials

216 Theoretical Computer Science
158 Information and Computation
119 Formal Methods in System Design
57 Logical Methods in Computer Science
56 Formal Aspects of Computing
48 Artificial Intelligence
47 Acta Informatica
37 Nonlinear Analysis. Hybrid Systems
35 Journal of Computer and System Sciences
29 Discrete Event Dynamic Systems
27 International Journal of Foundations of Computer Science
27 Journal of Logical and Algebraic Methods in Programming
25 The Journal of Logic and Algebraic Programming
24 ACM Transactions on Computational Logic
22 Journal of Automated Reasoning
21 Information Processing Letters
20 Automatica
15 Real-Time Systems
15 European Journal of Control
13 Synthese
12 Journal of Logic, Language and Information
11 Science of Computer Programming
11 Theory of Computing Systems
10 Studia Logica
10 Journal of Applied Non-Classical Logics
9 International Journal of Approximate Reasoning
9 MSCS. Mathematical Structures in Computer Science
8 International Journal of Control
8 Information Sciences
8 Distributed Computing
8 International Journal of Robust and Nonlinear Control
8 Annals of Mathematics and Artificial Intelligence
8 Fundamenta Informaticae
7 Systems & Control Letters
7 Annals of Pure and Applied Logic
7 Journal of Symbolic Computation
7 Cybernetics and Systems Analysis
7 Theory and Practice of Logic Programming
7 Journal of Applied Logic
6 Fuzzy Sets and Systems
6 Journal of Philosophical Logic
6 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods
6 Programming and Computer Software
6 Journal of the ACM
6 The Review of Symbolic Logic
4 The Journal of Artificial Intelligence Research (JAIR)
4 Mathematics in Computer Science
4 Frontiers of Computer Science
4 Computer Science Review
3 Applied Mathematics and Computation
3 Computing
3 The Journal of Symbolic Logic
3 Mathematics of Operations Research
3 International Journal of Algebra and Computation
3 Soft Computing
3 International Journal of Applied Mathematics and Computer Science
3 Sādhanā
3 Algorithms
3 Games
3 Dynamic Games and Applications
3 Modelirovanie i Analiz Informatsionnykh Sistem
2 ACM Computing Surveys
2 International Journal of General Systems
2 International Journal of Systems Science
2 Journal of Optimization Theory and Applications
2 Naval Research Logistics
2 SIAM Journal on Computing
2 Journal of Computer Science and Technology
2 Algorithmica
2 Vestnik St. Petersburg University. Mathematics
2 Economic Theory
2 Computational & Mathematical Organization Theory
2 Mathematical Problems in Engineering
2 Higher-Order and Symbolic Computation
2 Communications in Nonlinear Science and Numerical Simulation
2 International Game Theory Review
2 Journal of Systems Science and Complexity
2 Journal of Applied Mathematics
2 Computer Languages, Systems & Structures
2 Optimization Letters
2 Science China. Information Sciences
2 RAIRO. Theoretical Informatics and Applications
1 Computers & Mathematics with Applications
1 Discrete Applied Mathematics
1 Journal of the Franklin Institute
1 Journal of Mathematical Biology
1 Journal of Statistical Physics
1 ACM Transactions on Database Systems
1 International Journal of Game Theory
1 Journal of Applied Probability
1 Kybernetes
1 Notre Dame Journal of Formal Logic
1 SIAM Journal on Control and Optimization
1 Physica D
1 Journal of Complexity
1 International Journal of Parallel Programming
1 Computers & Operations Research
1 International Journal of Intelligent Systems
1 Mathematical and Computer Modelling
1 Journal of Parallel and Distributed Computing
...and 38 more Serials
all top 5

Cited in 35 Fields

1,984 Computer science (68-XX)
547 Mathematical logic and foundations (03-XX)
347 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
289 Systems theory; control (93-XX)
97 Operations research, mathematical programming (90-XX)
63 Biology and other natural sciences (92-XX)
46 Probability theory and stochastic processes (60-XX)
31 Ordinary differential equations (34-XX)
28 Combinatorics (05-XX)
26 Numerical analysis (65-XX)
22 Information and communication theory, circuits (94-XX)
15 Dynamical systems and ergodic theory (37-XX)
12 Category theory; homological algebra (18-XX)
10 Calculus of variations and optimal control; optimization (49-XX)
7 Order, lattices, ordered algebraic structures (06-XX)
7 General topology (54-XX)
6 General and overarching topics; collections (00-XX)
6 Number theory (11-XX)
5 Linear and multilinear algebra; matrix theory (15-XX)
5 Associative rings and algebras (16-XX)
4 Statistics (62-XX)
4 Mechanics of particles and systems (70-XX)
4 Quantum theory (81-XX)
2 Commutative algebra (13-XX)
2 Measure and integration (28-XX)
2 Partial differential equations (35-XX)
2 Fluid mechanics (76-XX)
2 Relativity and gravitational theory (83-XX)
1 History and biography (01-XX)
1 Algebraic geometry (14-XX)
1 Approximations and expansions (41-XX)
1 Operator theory (47-XX)
1 Convex and discrete geometry (52-XX)
1 Mechanics of deformable solids (74-XX)
1 Statistical mechanics, structure of matter (82-XX)

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.