×

Henzinger, Thomas A.

Compute Distance To:
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: ORCID · Wikidata · dblp · GND · IdRef
all top 5

Co-Authors

11 single-authored
71 Chatterjee, Krishnendu
31 Majumdar, Rupak
21 Doyen, Laurent
20 de Alfaro, Luca
17 Otop, Jan
16 Alur, Rajeev
14 Raskin, Jean-François
13 Kupferman, Orna
11 Avni, Guy
11 Radhakrishna, Arjun
9 Černý, Pavol
9 Jhala, Ranjit
8 Mang, Freddy Y. C.
8 Petrov, Tatjana
7 Gupta, Ashutosh
7 Jobstmann, Barbara
7 Prabhu, Vinayak S.
7 Qadeer, Shaz
6 Boker, Udi
6 Giacobbe, Mirco
6 Jurdziński, Marcin
6 Kirsch, Christoph M.
6 Kopke, Peter W.
6 Piterman, Nir
6 Sezgin, Ali
5 Bogomolov, Sergiy
5 Daca, Przemysław
5 Guerraoui, Rachid
5 Kovács, Laura Ildikó
5 Rajamani, Sriram K.
5 Samanta, Roopsha
5 Singh, Vasu
4 Clarke, Edmund Melson jun.
4 Guet, Călin C.
4 Hottelier, Thibaud
4 Ibsen-Jensen, Rasmus
4 Kong, Hui
4 Stoelinga, Mariëlle
4 Veith, Helmut
4 Wolf, Verena
4 Wong-Toi, Howard
4 Zufferey, Damien
3 Bartocci, Ezio
3 Beyer, Dirk
3 Bloem, Roderick
3 Chakrabarti, Arindam
3 Faella, Marco
3 Ferrère, Thomas
3 Ho, Pei-Hsin
3 Horn, Florian
3 Horowitz, Benjamin
3 Křetínský, Jan
3 Mateescu, Maria
3 Rybalchenko, Andrey
3 Sanvido, Marco A. A.
3 Sutre, Grégoire
3 Tarrach, Thorsten
3 Vardi, Moshe Ya’akov
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 Gimbert, Hugo
2 Igler, Claudia
2 Kragl, Bernhard
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 Schilling, Christian
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 Aghajohari, Milad
1 Antoš, David
1 Bak, Stanley
1 Blanc, Régis
1 Brayton, Robert K.
1 Brihaye, Thomas
1 Cassez, Franck
1 Chakraborty, Soham
1 Chlipala, Adam J.
...and 64 more Co-Authors

Publications by Year

Citations contained in zbMATH Open

221 Publications have been cited 3,457 times in 1,881 Documents Cited by Year
Alternating-time temporal logic. Zbl 1326.68181
Alur, Rajeev; Henzinger, Thomas A.; Kupferman, Orna
289
2002
The algorithmic analysis of hybrid systems. Zbl 0874.68206
Alur, R.; Courcoubetis, C.; Halbwachs, N.; Henzinger, T. A.; Ho, P.-H.
161
1995
The theory of hybrid automata. Zbl 0959.68073
Henzinger, Thomas A.
138
2000
Symbolic model checking for real-time systems. Zbl 0806.68080
Henzinger, Thomas A.; Nicollin, Xavier; Sifakis, Joseph; Yovine, Sergio
123
1994
What’s decidable about hybrid automata? Zbl 0920.68091
Henzinger, Thomas A.; Kopke, Peter W.; Puri, Anuj; Varaiya, Pravin
111
1998
A really temporal logic. Zbl 0807.68065
Alur, Rajeev; Henzinger, Thomas A.
97
1994
The benefits of relaxing punctuality. Zbl 0882.68021
Alur, Rajeev; Feder, Tomás; Henzinger, Thomas A.
97
1996
HyTech: A model checker for hybrid systems. Zbl 1060.68603
Henzinger, Thomas A.; Ho, Pei-Hsin; Wong-Toi, Howard
89
1997
Real-time logics: Complexity and expressiveness. Zbl 0791.68103
Alur, Rajeev; Henzinger, Thomas A.
69
1993
Lazy abstraction. Zbl 1323.68374
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Grégoire
65
2002
Parametric real-time reasoning. Zbl 1310.68139
Alur, Rajeev; Henzinger, Thomas A.; Vardi, Moshe Y.
61
1993
Abstractions from proofs. Zbl 1325.68147
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; McMillan, Kenneth L.
56
2004
What’s decidable about hybrid automata? Zbl 0978.68534
Henzinger, Thomas A.; Kopke, Peter W.; Puri, Anuj; Varaiya, Pravin
55
1995
Strategy logic. Zbl 1205.68197
Chatterjee, Krishnendu; Henzinger, Thomas A.; Piterman, Nir
54
2010
Better quality in synthesis through quantitative objectives. Zbl 1242.68151
Bloem, Roderick; Chatterjee, Krishnendu; Henzinger, Thomas A.; Jobstmann, Barbara
52
2009
Alternating refinement relations. Zbl 1070.68524
Alur, Rajeev; Henzinger, Thomas A.; Kupferman, Orna; Vardi, Moshe Y.
51
1998
Discrete-time control for rectangular hybrid automata. Zbl 0930.68086
Henzinger, Thomas A.; Kopke, Peter W.
47
1999
Quantitative languages. Zbl 1351.68155
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
44
2010
Event-clock automata: a determinizable class of timed automata. Zbl 0912.68132
Alur, Rajeev; Fix, Limor; Henzinger, Thomas A.
43
1999
Computing simulations on finite and infinite graphs. Zbl 0938.68538
Henzinger, Monika R.; Henzinger, Thomas A.; Kopke, Peter W.
43
1995
Antichains: a new algorithm for checking universality of finite automata. Zbl 1188.68171
De Wulf, M.; Doyen, L.; Henzinger, T. A.; Raskin, J.-F.
36
2006
Interface theories for component-based design. Zbl 1050.68518
de Alfaro, Luca; Henzinger, Thomas A.
35
2001
Quantitative languages. Zbl 1156.68449
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
34
2008
Concurrent reachability games. Zbl 1154.91306
de Alfaro, Luca; Henzinger, Thomas A.; Kupferman, Orna
33
2007
Games with secure equilibria. Zbl 1108.91007
Chatterjee, Krishnendu; Henzinger, Thomas A.; Jurdziński, Marcin
33
2006
Quantitative stochastic parity games. Zbl 1318.91027
Chatterjee, Krishnendu; Jurdziński, Marcin; Henzinger, Thomas A.
33
2004
Generalized mean-payoff and energy games. Zbl 1245.68090
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.; Raskin, Jean-François
32
2010
Algorithmic analysis of nonlinear hybrid systems. Zbl 0918.93019
Henzinger, Thomas A.; Ho, Pei-Hsin; Wong-Toi, Howard
31
1998
Discounting the future in systems theory. Zbl 1039.68087
de Alfaro, Luca; Henzinger, Thomas A.; Majumdar, Rupak
30
2003
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
29
2014
Handbook of model checking. Zbl 1390.68001
28
2018
A survey of stochastic \(\omega \)-regular games. Zbl 1237.91036
Chatterjee, Krishnendu; Henzinger, Thomas A.
28
2012
Algorithms for omega-regular games with imperfect information. Zbl 1125.91028
Raskin, Jean-Francois; Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
26
2007
Fair simulation. Zbl 1009.68071
Henzinger, Thomas A.; Kupferman, Orna; Rajamani, Sriram K.
25
2002
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
25
2015
Simple stochastic parity games. Zbl 1116.68493
Chatterjee, Krishnendu; Jurdziński, Marcin; Henzinger, Thomas A.
25
2003
Finitary winning in \({\omega}\)-regular games. Zbl 1351.68156
Chatterjee, Krishnendu; Henzinger, Thomas A.; Horn, Florian
25
2009
Compositional methods for probabilistic systems. Zbl 1006.68083
de Alfaro, Luca; Henzinger, Thomas A.; Jhala, Ranjit
23
2001
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.
23
1994
Strategy logic. Zbl 1151.03327
Chatterjee, Krishnendu; Henzinger, Thomas A.; Piterman, Nir
23
2007
Expressiveness and closure properties for quantitative languages. Zbl 1200.68135
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
22
2010
Model checking discounted temporal properties. Zbl 1079.68062
de Alfaro, Luca; Faella, Marco; Henzinger, Thomas A.; Majumdar, Rupak; Stoelinga, Mariëlle
21
2005
Alternating weighted automata. Zbl 1252.68167
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
19
2009
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
Algorithms for omega-regular games with imperfect information. Zbl 1225.91012
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.; Raskin, Jean-François
18
2006
Invariant synthesis for combined theories. Zbl 1132.68333
Beyer, Dirk; Henzinger, Thomas A.; Majumdar, Rupak; Rybalchenko, Andrey
17
2007
Markov decision processes with multiple objectives. Zbl 1136.90498
Chatterjee, Krishnendu; Majumdar, Rupak; Henzinger, Thomas A.
17
2006
Model-checking \(\omega \)-regular properties of interval Markov chains. Zbl 1138.68441
Chatterjee, Krishnendu; Sen, Koushik; Henzinger, Thomas A.
16
2008
Solving games without determinization. Zbl 1225.68118
Henzinger, Thomas A.; Piterman, Nir
16
2006
Simulation distances. Zbl 1234.68253
Černý, Pavol; Henzinger, Thomas A.; Radhakrishna, Arjun
16
2012
Lumpability abstractions of rule-based systems. Zbl 1267.68153
Feret, Jerome; Henzinger, Thomas; Koeppl, Heinz; Petrov, Tatjana
16
2012
Beyond HyTech: Hybrid systems analysis using interval numerical methods. Zbl 0938.93552
Henzinger, Thomas A.; Horowitz, Benjamin; Majumdar, Rupak; Wong-Toi, Howard
15
2000
Timed interfaces. Zbl 1027.68785
de Alfaro, Luca; Henzinger, Thomas A.; Stoelinga, Mariëlle
15
2002
The complexity of stochastic Rabin and Streett games. Zbl 1085.68060
Chatterjee, Krishnendu; de Alfaro, Luca; Henzinger, Thomas A.
15
2005
Temporal proof methodologies for timed transition systems. Zbl 0820.68085
Henzinger, Thomas A.; Manna, Zohar; Pnueli, Amir
15
1994
Proving non-termination. Zbl 1295.68158
Gupta, Ashutosh; Henzinger, Thomas A.; Majumdar, Rupak; Rybalchenko, Andrey; Xu, Ru-Gang
15
2008
Symbolic algorithms for infinite-state games. Zbl 1006.68095
de Alfaro, Luca; Henzinger, Thomas A.; Majumdar, Rupak
14
2001
Assume-guarantee synthesis. Zbl 1186.68284
Chatterjee, Krishnendu; Henzinger, Thomas A.
14
2007
Robust undecidability of timed and hybrid systems. Zbl 0944.93018
Henzinger, Thomas A.; Raskin, Jean-François
14
2000
It’s about time: Real-time logics reviewed. Zbl 0928.03019
Henzinger, Thomas A.
14
1998
Sliding window abstraction for infinite Markov chains. Zbl 1242.60079
Henzinger, Thomas A.; Mateescu, Maria; Wolf, Verena
14
2009
Quantifying similarities between timed systems. Zbl 1175.68281
Henzinger, Thomas A.; Majumdar, Rupak; Prabhu, Vinayak S.
14
2005
Temporal specifications with accumulative values. Zbl 1354.68169
Boker, Udi; Chatterjee, Krishnendu; Henzinger, Thomas A.; Kupferman, Orna
14
2014
Generalized parity games. Zbl 1195.68053
Chatterjee, Krishnendu; Henzinger, Thomas A.; Piterman, Nir
13
2007
Partial-order reduction in symbolic state-space exploration. Zbl 1001.68080
Alur, R.; Brayton, R. K.; Henzinger, T. A.; Qadeer, S.; Rajamani, S. K.
13
2001
Back to the future: Towards a theory of timed regular languages. Zbl 0977.68548
Alur, Rajeev; Henzinger, Thomas A.
13
1992
Rectangular hybrid games. Zbl 0937.91005
Henzinger, Thomas A.; Horowitz, Benjamin; Majumdar, Rupak
13
1999
Software verification with BLAST. Zbl 1023.68532
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Grégoire
13
2003
Environment assumptions for synthesis. Zbl 1160.68437
Chatterjee, Krishnendu; Henzinger, Thomas A.; Jobstmann, Barbara
13
2008
Thread-modular abstraction refinement. Zbl 1278.68175
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Qadeer, Shaz
13
2003
Hybrid automata with finite bisimulations. Zbl 1412.68130
Henzinger, Thomas A.
13
1995
Randomness for free. Zbl 1287.91027
Chatterjee, Krishnendu; Doyen, Laurent; Gimbert, Hugo; Henzinger, Thomas A.
12
2010
Qualitative analysis of partially-observable Markov decision processes. Zbl 1287.68104
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
12
2010
Configurable software verification: Concretizing the convergence of model checking and program analysis. Zbl 1135.68466
Beyer, Dirk; Henzinger, Thomas A.; Théoduloz, Grégory
11
2007
A comparison of control problems for timed and hybrid systems. Zbl 1044.93518
Cassez, Franck; Henzinger, Thomas A.; Raskin, Jean-François
11
2002
Value iteration. Zbl 1143.68042
Chatterjee, Krishnendu; Henzinger, Thomas A.
11
2008
Stochastic limit-average games are in EXPTIME. Zbl 1154.91004
Chatterjee, Krishnendu; Majumdar, Rupak; Henzinger, Thomas A.
11
2008
Equivalence of labeled Markov chains. Zbl 1155.68035
Doyen, Laurent; Henzinger, Thomas A.; Raskin, Jean-François
11
2008
A classification of symbolic transition systems. Zbl 1367.68193
Henzinger, Thomas A.; Majumdar, Rupak; Raskin, Jean-François
11
2005
The Blast query language for software verification. Zbl 1104.68408
Beyer, Dirk; Chlipala, Adam J.; Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak
10
2004
Sooner is safer than later. Zbl 0753.68041
Henzinger, Thomas A.
10
1992
Temporal-safety proofs for systems code. Zbl 1010.68507
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Necula, George C.; Sutre, Grégoire; Weimer, Westley
10
2002
The complexity of quantitative concurrent parity games. Zbl 1192.68430
Chatterjee, Krishnendu; de Alfaro, Luca; Henzinger, Thomas A.
10
2006
A logic-based framework for verifying consensus algorithms. Zbl 1428.68371
Drăgoi, Cezara; Henzinger, Thomas A.; Veith, Helmut; Widder, Josef; Zufferey, Damien
10
2014
Synchronous and bidirectional component interfaces. Zbl 1010.68518
Chakrabarti, Arindam; de Alfaro, Luca; Henzinger, Thomas A.; Mang, Freddy Y. C.
9
2002
Axioms for real-time logics. Zbl 0928.03022
Raskin, J.-F.; Schobbens, P.-Y.; Henzinger, T. A.
9
1998
Probabilistic weighted automata. Zbl 1254.68133
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
9
2009
Games with secure equilibria. Zbl 1143.68447
Chatterjee, Krishnendu; Henzinger, Thomas A.; Jurdziński, Marcin
9
2005
Automatic rectangular refinement of affine hybrid systems. Zbl 1175.68243
Doyen, Laurent; Henzinger, Thomas A.; Raskin, Jean-François
9
2005
The benefits of relaxing punctuality. Zbl 1314.68195
Alur, Rajeev; Feder, Tomás; Henzinger, Thomas A.
9
1991
Permissiveness in transactional memories. Zbl 1161.68387
Guerraoui, Rachid; Henzinger, Thomas A.; Singh, Vasu
9
2008
Finitary winning in \(\omega\)-regular games. Zbl 1180.68171
Chatterjee, Krishnendu; Henzinger, Thomas A.
9
2006
Quantitative relaxation of concurrent data structures. Zbl 1301.68176
Henzinger, Thomas A.; Kirsch, Christoph M.; Payer, Hannes; Sezgin, Ali; Sokolova, Ana
9
2013
PSync: a partially synchronous language for fault-tolerant distributed algorithms. Zbl 1347.68036
Drăgoi, Cezara; Henzinger, Thomas A.; Zufferey, Damien
8
2016
Forward analysis of depth-bounded processes. Zbl 1284.68419
Wies, Thomas; Zufferey, Damien; Henzinger, Thomas A.
8
2010
Strategy improvement for concurrent reachability and turn-based stochastic safety games. Zbl 1269.91022
Chatterjee, Krishnendu; de Alfaro, Luca; Henzinger, Thomas A.
8
2013
Aspect-oriented linearizability proofs. Zbl 1390.68213
Henzinger, Thomas A.; Sezgin, Ali; Vafeiadis, Viktor
8
2013
Completeness and nondeterminism in model checking transactional memories. Zbl 1160.68441
Guerraoui, Rachid; Henzinger, Thomas A.; Singh, Vasu
8
2008
Dynamic resource allocation games. Zbl 1403.91059
Avni, Guy; Henzinger, Thomas A.; Kupferman, Orna
8
2016
Interface compatibility checking for software modules. Zbl 1010.68505
Chakrabarti, Arindam; de Alfaro, Luca; Henzinger, Thomas A.; Jurdzinski, Marcin; Mang, Freddy Y. C.
7
2002
Determinacy in discrete-bidding infinite-duration games. Zbl 07327943
Aghajohari, Milad; Avni, Guy; Henzinger, Thomas A.
2
2021
Bidding mechanisms in graph games. Zbl 1480.91053
Avni, Guy; Henzinger, Thomas A.; Žikelić, Đorđe
1
2021
Refinement for structured concurrent programs. Zbl 1478.68044
Kragl, Bernhard; Qadeer, Shaz; Henzinger, Thomas A.
1
2020
How many bits does it take to quantize your neural network? Zbl 1483.68192
Giacobbe, Mirco; Henzinger, Thomas A.; Lechner, Mathias
1
2020
Infinite-duration bidding games. Zbl 1448.91060
Avni, Guy; Henzinger, Thomas A.; Chonev, Ventsislav
4
2019
Bidding games on Markov decision processes. Zbl 1455.91054
Avni, Guy; Henzinger, Thomas A.; Ibsen-Jensen, Rasmus; Novotný, Petr
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
Handbook of model checking. Zbl 1390.68001
28
2018
Infinite-duration poorman-bidding games. Zbl 1443.91070
Avni, Guy; Henzinger, Thomas A.; Ibsen-Jensen, Rasmus
5
2018
Synchronizing the asynchronous. Zbl 07378565
Kragl, Bernhard; Qadeer, Shaz; Henzinger, Thomas A.
5
2018
A theory of register monitors. Zbl 1497.68261
Ferrère, Thomas; Henzinger, Thomas A.; Saraç, N. Ege
1
2018
Introduction to model checking. Zbl 1392.68242
Clarke, Edmund M.; Henzinger, Thomas A.; Veith, Helmut
1
2018
The cost of exactness in quantitative reachability. Zbl 1431.68073
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
4
2017
Counterexample-guided refinement of template polyhedra. Zbl 1452.68099
Bogomolov, Sergiy; Frehse, Goran; Giacobbe, Mirco; Henzinger, Thomas A.
2
2017
Nested weighted automata. Zbl 1407.68248
Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan
2
2017
Quantitative fair simulation games. Zbl 1370.68165
Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan; Velner, Yaron
2
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.
2
2017
Faster statistical model checking for unbounded temporal properties. Zbl 1367.68188
Daca, Przemysław; Henzinger, Thomas A.; Křetínský, Jan; Petrov, Tatjana
2
2017
Edit distance for pushdown automata. Zbl 1440.68152
Chatterjee, Krishnendu; Henzinger, Thomas A.; Ibsen-Jensen, Rasmus; Otop, Jan
2
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
Model measuring for discrete and hybrid systems. Zbl 1401.68198
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
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
Preface of the special issue in memoriam Helmut Veith. Zbl 1384.00074
1
2017
Infinite-duration bidding games. Zbl 1448.91061
Avni, Guy; Henzinger, Thomas A.; Chonev, Ventsislav
1
2017
PSync: a partially synchronous language for fault-tolerant distributed algorithms. Zbl 1347.68036
Drăgoi, Cezara; Henzinger, Thomas A.; Zufferey, Damien
8
2016
Dynamic resource allocation games. Zbl 1403.91059
Avni, Guy; Henzinger, Thomas A.; Kupferman, Orna
8
2016
Linear distances between Markov chains. Zbl 1392.68293
Daca, Przemysław; Henzinger, Thomas A.; Krětínský, Jan; Petrov, Tatjana
6
2016
Quantitative automata under probabilistic semantics. Zbl 1401.68155
Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan
6
2016
Quantitative monitor automata. Zbl 1394.68207
Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan
4
2016
Nested weighted limit-average automata of bounded width. Zbl 1398.68305
Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan
3
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
2
2016
Faster statistical model checking for unbounded temporal properties. Zbl 1420.68123
Daca, Przemysław; Henzinger, Thomas A.; Křetínský, Jan; Petrov, Tatjana
2
2016
Array folds logic. Zbl 1411.68061
Daca, Przemysław; Henzinger, Thomas A.; Kupriyanov, Andrey
2
2016
Lipschitz robustness of timed I/O systems. Zbl 1475.68154
Henzinger, Thomas A.; Otop, Jan; Samanta, Roopsha
1
2016
Abstraction-driven concolic testing. Zbl 1475.68079
Daca, Przemysław; Gupta, Ashutosh; Henzinger, Thomas A.
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
25
2015
Nested weighted automata. Zbl 1401.68154
Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan
6
2015
The target discounted-sum problem. Zbl 1401.68149
Boker, Udi; Henzinger, Thomas A.; Otop, Jan
5
2015
Measuring and synthesizing systems in probabilistic environments. Zbl 1321.68344
Chatterjee, Krishnendu; Henzinger, Thomas A.; Jobstmann, Barbara; Singh, Rohit
4
2015
Edit distance for pushdown automata. Zbl 1440.68151
Chatterjee, Krishnendu; Henzinger, Thomas A.; Ibsen-Jensen, Rasmus; Otop, Jan
3
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
2
2015
Aspect-oriented linearizability proofs. Zbl 1391.68023
Chakraborty, Soham; Henzinger, Thomas A.; Sezgin, Ali; Vafeiadis, Viktor
1
2015
Succinct representation of concurrent trace sets. Zbl 1345.68108
Gupta, Ashutosh; Henzinger, Thomas A.; Radhakrishna, Arjun; Samanta, Roopsha; Tarrach, Thorsten
1
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
1
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
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
29
2014
Temporal specifications with accumulative values. Zbl 1354.68169
Boker, Udi; Chatterjee, Krishnendu; Henzinger, Thomas A.; Kupferman, Orna
14
2014
A logic-based framework for verifying consensus algorithms. Zbl 1428.68371
Drăgoi, Cezara; Henzinger, Thomas A.; Veith, Helmut; Widder, Josef; Zufferey, Damien
10
2014
Exact and approximate determinization of discounted-sum automata. Zbl 1325.68126
Boker, Udi; Henzinger, Thomas A.
6
2014
Lipschitz robustness of finite-state transducers. Zbl 1360.68559
Henzinger, Thomas A.; Otop, Jan; Samanta, Roopsha
1
2014
Model measuring for hybrid systems. Zbl 1362.68173
Henzinger, Thomas A.; Otop, Jan
1
2014
Battery transition systems. Zbl 1284.68382
Boker, Udi; Henzinger, Thomas A.; Radhakrishna, Arjun
1
2014
Quantitative relaxation of concurrent data structures. Zbl 1301.68176
Henzinger, Thomas A.; Kirsch, Christoph M.; Payer, Hannes; Sezgin, Ali; Sokolova, Ana
9
2013
Strategy improvement for concurrent reachability and turn-based stochastic safety games. Zbl 1269.91022
Chatterjee, Krishnendu; de Alfaro, Luca; Henzinger, Thomas A.
8
2013
Aspect-oriented linearizability proofs. Zbl 1390.68213
Henzinger, Thomas A.; Sezgin, Ali; Vafeiadis, Viktor
8
2013
From model checking to model measuring. Zbl 1390.68428
Henzinger, Thomas A.; Otop, Jan
7
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
3
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.
28
2012
Simulation distances. Zbl 1234.68253
Černý, Pavol; Henzinger, Thomas A.; Radhakrishna, Arjun
16
2012
Lumpability abstractions of rule-based systems. Zbl 1267.68153
Feret, Jerome; Henzinger, Thomas; Koeppl, Heinz; Petrov, Tatjana
16
2012
Ideal abstractions for well-structured transition systems. Zbl 1326.68205
Zufferey, Damien; Wies, Thomas; Henzinger, Thomas A.
6
2012
Approximate determinization of quantitative automata. Zbl 1354.68147
Boker, Udi; Henzinger, Thomas A.
4
2012
Timed parity games: complexity and robustness. Zbl 1237.68112
Chatterjee, Krishnendu; Henzinger, Thomas A.; Prabhu, Vinayak S.
7
2011
Qualitative concurrent parity games. Zbl 1351.68179
Chatterjee, Krishnendu; De Alfaro, Luca; Henzinger, Thomas A.
6
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
Approximation of event probabilities in noisy cellular processes. Zbl 1211.92016
Didier, Frédéric; Henzinger, Thomas A.; Mateescu, Maria; Wolf, Verena
2
2011
QUASY: quantitative synthesis tool. Zbl 1316.68071
Chatterjee, Krishnendu; Henzinger, Thomas A.; Jobstmann, Barbara; Singh, Rohit
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
54
2010
Quantitative languages. Zbl 1351.68155
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
44
2010
Generalized mean-payoff and energy games. Zbl 1245.68090
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.; Raskin, Jean-François
32
2010
Expressiveness and closure properties for quantitative languages. Zbl 1200.68135
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
22
2010
Randomness for free. Zbl 1287.91027
Chatterjee, Krishnendu; Doyen, Laurent; Gimbert, Hugo; Henzinger, Thomas A.
12
2010
Qualitative analysis of partially-observable Markov decision processes. Zbl 1287.68104
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
12
2010
Forward analysis of depth-bounded processes. Zbl 1284.68419
Wies, Thomas; Zufferey, Damien; Henzinger, Thomas A.
8
2010
Simulation distances. Zbl 1287.68127
Černý, Pavol; Henzinger, Thomas A.; Radhakrishna, Arjun
6
2010
Mean-payoff automaton expressions. Zbl 1287.68093
Chatterjee, Krishnendu; Doyen, Laurent; Edelsbrunner, Herbert; Henzinger, Thomas A.; Rannou, Philippe
6
2010
Model checking transactional memories. Zbl 1267.68143
Guerraoui, Rachid; Henzinger, Thomas A.; Singh, Vasu
6
2010
ABC: algebraic bound computation for loops. Zbl 1253.68093
Blanc, Régis; Henzinger, Thomas A.; Hottelier, Thibaud; Kovács, Laura
4
2010
Strategy construction for parity games with imperfect information. Zbl 1232.91007
Berwanger, Dietmar; Chatterjee, Krishnendu; De Wulf, Martin; Doyen, Laurent; Henzinger, Thomas A.
4
2010
Probabilistic automata on infinite words: decidability and undecidability results. Zbl 1305.68112
Chatterjee, Krishnendu; Henzinger, Thomas A.
3
2010
Invariant and type inference for matrices. Zbl 1273.68083
Henzinger, Thomas A.; Hottelier, Thibaud; Kovács, Laura; Voronkov, Andrei
2
2010
Better quality in synthesis through quantitative objectives. Zbl 1242.68151
Bloem, Roderick; Chatterjee, Krishnendu; Henzinger, Thomas A.; Jobstmann, Barbara
52
2009
Finitary winning in \({\omega}\)-regular games. Zbl 1351.68156
Chatterjee, Krishnendu; Henzinger, Thomas A.; Horn, Florian
25
2009
Alternating weighted automata. Zbl 1252.68167
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
19
2009
Sliding window abstraction for infinite Markov chains. Zbl 1242.60079
Henzinger, Thomas A.; Mateescu, Maria; Wolf, Verena
14
2009
Probabilistic weighted automata. Zbl 1254.68133
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
9
2009
Software transactional memory on relaxed memory models. Zbl 1242.68162
Guerraoui, Rachid; Henzinger, Thomas A.; Singh, Vasu
7
2009
A survey of stochastic games with limsup and liminf objectives. Zbl 1248.91015
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
4
2009
Probabilistic systems with limsup and liminf objectives. Zbl 1258.68099
Chatterjee, Krishnendu; Henzinger, Thomas A.
2
2009
Termination criteria for solving concurrent safety and reachability games. Zbl 1425.91074
Chatterjee, Krishnendu; De Alfaro, Luca; Henzinger, Thomas A.
2
2009
Stochastic games with finitary objectives. Zbl 1250.68185
Chatterjee, Krishnendu; Henzinger, Thomas A.; Horn, Florian
1
2009
Formalisms for specifying Markovian population models. Zbl 1260.68284
Henzinger, Thomas A.; Jobstmann, Barbara; Wolf, Verena
1
2009
...and 121 more Documents
all top 5

Cited by 2,646 Authors

57 Chatterjee, Krishnendu
55 Henzinger, Thomas A.
43 Larsen, Kim Guldstrand
35 Kupferman, Orna
35 Raskin, Jean-François
32 Bouyer, Patricia
29 Legay, Axel
27 Markey, Nicolas
24 Murano, Aniello
21 Droste, Manfred
21 Kwiatkowska, Marta Z.
20 Brihaye, Thomas
19 Lime, Didier
18 Baier, Christel
18 Doyen, Laurent
18 Wooldridge, Michael J.
18 Zimmermann, Martín G.
17 Bozzelli, Laura
17 Fahrenberg, Uli
17 Vardi, Moshe Ya’akov
16 André, Étienne
16 Avni, Guy
15 Katoen, Joost-Pieter
15 Randour, Mickael
14 Alur, Rajeev
14 Bruyère, Véronique
14 Gutierrez, Julian
14 Mogavero, Fabio
14 Norman, Gethin
14 Schewe, Sven
13 Pinchinat, Sophie
13 Roux, Olivier H.
12 Bérard, Béatrice
12 Bertrand, Nathalie
12 Demri, Stéphane P.
12 Jamroga, Wojciech
12 Perelli, Giuseppe
12 Zhan, Naijun
11 Haddad, Serge
11 Majumdar, Rupak
11 Montanari, Angelo
11 Worrell, James B.
10 Ågotnes, Thomas
10 Benerecetti, Massimo
10 Bortolussi, Luca
10 Cimatti, Alessandro
10 de Alfaro, Luca
10 Jobstmann, Barbara
10 Piazza, Carla
10 Platzer, André
10 Sproston, Jeremy
10 Wąsowski, Andrzej
9 Alechina, Natasha
9 Asarin, Eugene
9 Bouajjani, Ahmed
9 Clarke, Edmund Melson jun.
9 Dang, Zhe
9 Geeraerts, Gilles
9 Hermanns, Holger
9 Leroux, Stéphane
9 Maler, Oded
9 Otop, Jan
9 Ouaknine, Joel O.
9 Pnueli, Amir
9 Reynolds, Mark Alexander
9 Sankur, Ocan
9 Tripakis, Stavros
9 Vaandrager, Frits W.
8 Abdulla, Parosh Aziz
8 Beneš, Nikola
8 Faella, Marco
8 Fränzle, Martin
8 Ibsen-Jensen, Rasmus
8 Křetínský, Jan
8 Pappas, George J.
8 Rabinovich, Alexander
8 Tini, Simone
8 Tonetta, Stefano
8 van der Hoek, Wiebe
8 Viswanathan, Mahesh
7 Bartocci, Ezio
7 Bloem, Roderick
7 Bournez, Olivier
7 Ćirić, Miroslav D.
7 David, Alexandre
7 Enea, Constantin
7 Finkel, Alain
7 Fribourg, Laurent
7 Goranko, Valentin F.
7 Grosu, Radu
7 Holík, Lukáš
7 Ibarra, Oscar H.
7 Ignjatović, Jelena
7 Klein, Joachim
7 Kröning, Daniel
7 Lanotte, Ruggero
7 Laroussinie, François
7 Li, Yongming
7 Pandya, Paritosh K.
7 Pauly, Arno M.
...and 2,546 more Authors
all top 5

Cited in 129 Serials

204 Theoretical Computer Science
146 Information and Computation
107 Formal Methods in System Design
52 Formal Aspects of Computing
44 Acta Informatica
40 Logical Methods in Computer Science
37 Artificial Intelligence
34 Nonlinear Analysis. Hybrid Systems
33 Journal of Computer and System Sciences
28 Discrete Event Dynamic Systems
24 The Journal of Logic and Algebraic Programming
22 International Journal of Foundations of Computer Science
22 Journal of Logical and Algebraic Methods in Programming
19 Information Processing Letters
19 Journal of Automated Reasoning
18 Automatica
15 Real-Time Systems
15 ACM Transactions on Computational Logic
13 European Journal of Control
11 Synthese
11 Science of Computer Programming
11 Journal of Logic, Language and Information
10 Journal of Applied Non-Classical Logics
10 Theory of Computing Systems
9 Studia Logica
9 International Journal of Approximate Reasoning
8 MSCS. Mathematical Structures in Computer Science
7 Systems & Control Letters
7 Journal of Symbolic Computation
7 Distributed Computing
7 International Journal of Robust and Nonlinear Control
7 Annals of Mathematics and Artificial Intelligence
7 Fundamenta Informaticae
7 Journal of Applied Logic
6 International Journal of Control
6 Fuzzy Sets and Systems
6 Information Sciences
6 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods
6 Programming and Computer Software
6 Annals of Pure and Applied Logic
6 Cybernetics and Systems Analysis
6 Journal of the ACM
5 Theory and Practice of Logic Programming
5 The Review of Symbolic Logic
4 Journal of Philosophical Logic
4 Mathematics in Computer Science
4 Frontiers of Computer Science
4 Computer Science Review
3 Applied Mathematics and Computation
3 The Journal of Symbolic Logic
3 Mathematics of Operations Research
3 International Journal of Algebra and Computation
3 The Journal of Artificial Intelligence Research (JAIR)
3 Soft Computing
3 International Journal of Applied Mathematics and Computer Science
3 Sādhanā
3 Algorithms
3 Games
3 Dynamic Games and Applications
2 ACM Computing Surveys
2 International Journal of General Systems
2 International Journal of Systems Science
2 SIAM Journal on Computing
2 Journal of Computer Science and Technology
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 International Game Theory Review
2 Journal of Systems Science and Complexity
2 Journal of Applied Mathematics
2 Optimization Letters
2 RAIRO. Theoretical Informatics and Applications
2 Modelirovanie i Analiz Informatsionnykh Sistem
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 Computing
1 Journal of Applied Probability
1 Journal of Optimization Theory and Applications
1 Kybernetes
1 Notre Dame Journal of Formal Logic
1 SIAM Journal on Control and Optimization
1 Physica D
1 Journal of Complexity
1 Algorithmica
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
1 AI Communications
1 Machine Learning
1 Numerical Algorithms
1 Games and Economic Behavior
1 International Journal of Computer Mathematics
...and 29 more Serials

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.