×

zbMATH — the first resource for mathematics

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
Documents Indexed: 247 Publications since 1985, including 8 Books
all top 5

Co-Authors

11 single-authored
70 Chatterjee, Krishnendu
31 Majumdar, Rupak
21 Doyen, Laurent
20 de Alfaro, Luca
16 Otop, Jan
15 Alur, Rajeev
14 Raskin, Jean-François
13 Kupferman, Orna
11 Radhakrishna, Arjun
9 Avni, Guy
9 Černý, Pavol
9 Jhala, Ranjit
8 Mang, Freddy Y. C.
7 Gupta, Ashutosh
7 Jobstmann, Barbara
7 Petrov, Tatjana
7 Prabhu, Vinayak S.
7 Qadeer, Shaz
6 Boker, Udi
6 Jurdziński, Marcin
6 Kirsch, Christoph M.
6 Kopke, Peter W.
6 Piterman, Nir
5 Bogomolov, Sergiy
5 Daca, Przemysław
5 Guerraoui, Rachid
5 Kovács, Laura Ildikó
5 Rajamani, Sriram K.
5 Samanta, Roopsha
5 Sezgin, Ali
5 Singh, Vasu
4 Clarke, Edmund Melson jun.
4 Giacobbe, Mirco
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 Beyer, Dirk
3 Bloem, Roderick
3 Chakrabarti, Arindam
3 Faella, Marco
3 Guet, Călin C.
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 Y.
2 Bartocci, Ezio
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 Ferrère, Thomas
2 Fisher, Jasmin
2 Gimbert, Hugo
2 Kragl, Bernhard
2 Ma, Di
2 Manna, Zohar
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
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.
1 Dawar, Anuj
1 Didier, Frédéric
1 Duparc, Jacques
...and 61 more Co-Authors

Publications by Year

Citations contained in zbMATH Open

200 Publications have been cited 2,898 times in 1,586 Documents Cited by Year
Alternating-time temporal logic. Zbl 1326.68181
Alur, Rajeev; Henzinger, Thomas A.; Kupferman, Orna
218
2002
The algorithmic analysis of hybrid systems. Zbl 0874.68206
Alur, R.; Courcoubetis, C.; Halbwachs, N.; Henzinger, T. A.; Ho, P.-H.
145
1995
The theory of hybrid automata. Zbl 0959.68073
Henzinger, Thomas A.
130
2000
Symbolic model checking for real-time systems. Zbl 0806.68080
Henzinger, Thomas A.; Nicollin, Xavier; Sifakis, Joseph; Yovine, Sergio
116
1994
What’s decidable about hybrid automata? Zbl 0920.68091
Henzinger, Thomas A.; Kopke, Peter W.; Puri, Anuj; Varaiya, Pravin
99
1998
HyTech: A model checker for hybrid systems. Zbl 1060.68603
Henzinger, Thomas A.; Ho, Pei-Hsin; Wong-Toi, Howard
87
1997
A really temporal logic. Zbl 0807.68065
Alur, Rajeev; Henzinger, Thomas A.
85
1994
The benefits of relaxing punctuality. Zbl 0882.68021
Alur, Rajeev; Feder, Tomás; Henzinger, Thomas A.
81
1996
Lazy abstraction. Zbl 1323.68374
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Grégoire
63
2002
Real-time logics: Complexity and expressiveness. Zbl 0791.68103
Alur, Rajeev; Henzinger, Thomas A.
56
1993
What’s decidable about hybrid automata? Zbl 0978.68534
Henzinger, Thomas A.; Kopke, Peter W.; Puri, Anuj; Varaiya, Pravin
53
1995
Abstractions from proofs. Zbl 1325.68147
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; McMillan, Kenneth L.
51
2004
Parametric real-time reasoning. Zbl 1310.68139
Alur, Rajeev; Henzinger, Thomas A.; Vardi, Moshe Y.
48
1993
Discrete-time control for rectangular hybrid automata. Zbl 0930.68086
Henzinger, Thomas A.; Kopke, Peter W.
46
1999
Alternating refinement relations. Zbl 1070.68524
Alur, Rajeev; Henzinger, Thomas A.; Kupferman, Orna; Vardi, Moshe Y.
46
1998
Computing simulations on finite and infinite graphs. Zbl 0938.68538
Henzinger, Monika R.; Henzinger, Thomas A.; Kopke, Peter W.
40
1995
Strategy logic. Zbl 1205.68197
Chatterjee, Krishnendu; Henzinger, Thomas A.; Piterman, Nir
40
2010
Better quality in synthesis through quantitative objectives. Zbl 1242.68151
Bloem, Roderick; Chatterjee, Krishnendu; Henzinger, Thomas A.; Jobstmann, Barbara
39
2009
Event-clock automata: a determinizable class of timed automata. Zbl 0912.68132
Alur, Rajeev; Fix, Limor; Henzinger, Thomas A.
34
1999
Quantitative languages. Zbl 1156.68449
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
33
2008
Quantitative languages. Zbl 1351.68155
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
33
2010
Antichains: a new algorithm for checking universality of finite automata. Zbl 1188.68171
De Wulf, M.; Doyen, L.; Henzinger, T. A.; Raskin, J.-F.
32
2006
Interface theories for component-based design. Zbl 1050.68518
de Alfaro, Luca; Henzinger, Thomas A.
30
2001
Quantitative stochastic parity games. Zbl 1318.91027
Chatterjee, Krishnendu; Jurdziński, Marcin; Henzinger, Thomas A.
30
2004
Algorithmic analysis of nonlinear hybrid systems. Zbl 0918.93019
Henzinger, Thomas A.; Ho, Pei-Hsin; Wong-Toi, Howard
29
1998
Discounting the future in systems theory. Zbl 1039.68087
de Alfaro, Luca; Henzinger, Thomas A.; Majumdar, Rupak
29
2003
Concurrent reachability games. Zbl 1154.91306
de Alfaro, Luca; Henzinger, Thomas A.; Kupferman, Orna
26
2007
Games with secure equilibria. Zbl 1108.91007
Chatterjee, Krishnendu; Henzinger, Thomas A.; Jurdziński, Marcin
25
2006
Generalized mean-payoff and energy games. Zbl 1245.68090
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.; Raskin, Jean-François
24
2010
Compositional methods for probabilistic systems. Zbl 1006.68083
de Alfaro, Luca; Henzinger, Thomas A.; Jhala, Ranjit
23
2001
Algorithms for omega-regular games with imperfect information. Zbl 1125.91028
Raskin, Jean-Francois; Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
22
2007
Simple stochastic parity games. Zbl 1116.68493
Chatterjee, Krishnendu; Jurdziński, Marcin; Henzinger, Thomas A.
22
2003
Model checking discounted temporal properties. Zbl 1079.68062
de Alfaro, Luca; Faella, Marco; Henzinger, Thomas A.; Majumdar, Rupak; Stoelinga, Mariëlle
21
2005
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.
20
1994
Fair simulation. Zbl 1009.68071
Henzinger, Thomas A.; Kupferman, Orna; Rajamani, Sriram K.
20
2002
Strategy logic. Zbl 1151.03327
Chatterjee, Krishnendu; Henzinger, Thomas A.; Piterman, Nir
19
2007
A survey of stochastic \(\omega \)-regular games. Zbl 1237.91036
Chatterjee, Krishnendu; Henzinger, Thomas A.
19
2012
Algorithms for omega-regular games with imperfect information. Zbl 1225.91012
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.; Raskin, Jean-François
18
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
18
2014
Alternating weighted automata. Zbl 1252.68167
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
17
2009
Expressiveness and closure properties for quantitative languages. Zbl 1200.68135
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
17
2010
Finitary winning in \({\omega}\)-regular games. Zbl 1351.68156
Chatterjee, Krishnendu; Henzinger, Thomas A.; Horn, Florian
16
2009
Beyond HyTech: Hybrid systems analysis using interval numerical methods. Zbl 0938.93552
Henzinger, Thomas A.; Horowitz, Benjamin; Majumdar, Rupak; Wong-Toi, Howard
15
2000
Markov decision processes with multiple objectives. Zbl 1136.90498
Chatterjee, Krishnendu; Majumdar, Rupak; Henzinger, Thomas A.
15
2006
It’s about time: Real-time logics reviewed. Zbl 0928.03019
Henzinger, Thomas A.
14
1998
Timed interfaces. Zbl 1027.68785
de Alfaro, Luca; Henzinger, Thomas A.; Stoelinga, Mariëlle
14
2002
Invariant synthesis for combined theories. Zbl 1132.68333
Beyer, Dirk; Henzinger, Thomas A.; Majumdar, Rupak; Rybalchenko, Andrey
14
2007
The element of surprise in timed games. Zbl 1262.68141
de Alfaro, Luca; Faella, Marco; Henzinger, Thomas A.; Majumdar, Rupak; Stoelinga, Mariëlle
14
2003
Lumpability abstractions of rule-based systems. Zbl 1267.68153
Feret, Jerome; Henzinger, Thomas; Koeppl, Heinz; Petrov, Tatjana
14
2012
Back to the future: Towards a theory of timed regular languages. Zbl 0977.68548
Alur, Rajeev; Henzinger, Thomas A.
13
1992
Temporal proof methodologies for timed transition systems. Zbl 0820.68085
Henzinger, Thomas A.; Manna, Zohar; Pnueli, Amir
13
1994
Rectangular hybrid games. Zbl 0937.91005
Henzinger, Thomas A.; Horowitz, Benjamin; Majumdar, Rupak
13
1999
Assume-guarantee synthesis. Zbl 1186.68284
Chatterjee, Krishnendu; Henzinger, Thomas A.
13
2007
Quantifying similarities between timed systems. Zbl 1175.68281
Henzinger, Thomas A.; Majumdar, Rupak; Prabhu, Vinayak S.
13
2005
The complexity of stochastic Rabin and Streett games. Zbl 1085.68060
Chatterjee, Krishnendu; de Alfaro, Luca; Henzinger, Thomas A.
13
2005
Software verification with BLAST. Zbl 1023.68532
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Grégoire
12
2003
Robust undecidability of timed and hybrid systems. Zbl 0944.93018
Henzinger, Thomas A.; Raskin, Jean-François
12
2000
Model-checking \(\omega \)-regular properties of interval Markov chains. Zbl 1138.68441
Chatterjee, Krishnendu; Sen, Koushik; Henzinger, Thomas A.
12
2008
Environment assumptions for synthesis. Zbl 1160.68437
Chatterjee, Krishnendu; Henzinger, Thomas A.; Jobstmann, Barbara
12
2008
Simulation distances. Zbl 1234.68253
Černý, Pavol; Henzinger, Thomas A.; Radhakrishna, Arjun
12
2012
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
12
2015
Hybrid automata with finite bisimulations. Zbl 1412.68130
Henzinger, Thomas A.
12
1995
Partial-order reduction in symbolic state-space exploration. Zbl 1001.68080
Alur, R.; Brayton, R. K.; Henzinger, T. A.; Qadeer, S.; Rajamani, S. K.
11
2001
A comparison of control problems for timed and hybrid systems. Zbl 1044.93518
Cassez, Franck; Henzinger, Thomas A.; Raskin, Jean-François
11
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
11
2007
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
Solving games without determinization. Zbl 1225.68118
Henzinger, Thomas A.; Piterman, Nir
11
2006
The Blast query language for software verification. Zbl 1104.68408
Beyer, Dirk; Chlipala, Adam J.; Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak
10
2004
Sliding window abstraction for infinite Markov chains. Zbl 1242.60079
Henzinger, Thomas A.; Mateescu, Maria; Wolf, Verena
10
2009
Thread-modular abstraction refinement. Zbl 1278.68175
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Qadeer, Shaz
10
2003
The complexity of quantitative concurrent parity games. Zbl 1192.68430
Chatterjee, Krishnendu; de Alfaro, Luca; Henzinger, Thomas A.
10
2006
Qualitative analysis of partially-observable Markov decision processes. Zbl 1287.68104
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
10
2010
A classification of symbolic transition systems. Zbl 1367.68193
Henzinger, Thomas A.; Majumdar, Rupak; Raskin, Jean-François
10
2005
Handbook of model checking. Zbl 1390.68001
Clarke, Edmund M. (ed.); Henzinger, Thomas A. (ed.); Veith, Helmut (ed.); Bloem, Roderick (ed.)
10
2018
Axioms for real-time logics. Zbl 0928.03022
Raskin, J.-F.; Schobbens, P.-Y.; Henzinger, T. A.
9
1998
Symbolic algorithms for infinite-state games. Zbl 1006.68095
de Alfaro, Luca; Henzinger, Thomas A.; Majumdar, Rupak
9
2001
Finitary winning in \(\omega\)-regular games. Zbl 1180.68171
Chatterjee, Krishnendu; Henzinger, Thomas A.
9
2006
Permissiveness in transactional memories. Zbl 1161.68387
Guerraoui, Rachid; Henzinger, Thomas A.; Singh, Vasu
9
2008
Probabilistic weighted automata. Zbl 1254.68133
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
9
2009
Randomness for free. Zbl 1287.91027
Chatterjee, Krishnendu; Doyen, Laurent; Gimbert, Hugo; Henzinger, Thomas A.
9
2010
Automatic rectangular refinement of affine hybrid systems. Zbl 1175.68243
Doyen, Laurent; Henzinger, Thomas A.; Raskin, Jean-François
9
2005
Proving non-termination. Zbl 1295.68158
Gupta, Ashutosh; Henzinger, Thomas A.; Majumdar, Rupak; Rybalchenko, Andrey; Xu, Ru-Gang
9
2008
Temporal specifications with accumulative values. Zbl 1354.68169
Boker, Udi; Chatterjee, Krishnendu; Henzinger, Thomas A.; Kupferman, Orna
9
2014
Sooner is safer than later. Zbl 0753.68041
Henzinger, Thomas A.
8
1992
Synchronous and bidirectional component interfaces. Zbl 1010.68518
Chakrabarti, Arindam; de Alfaro, Luca; Henzinger, Thomas A.; Mang, Freddy Y. C.
8
2002
Temporal-safety proofs for systems code. Zbl 1010.68507
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Necula, George C.; Sutre, Grégoire; Weimer, Westley
8
2002
Value iteration. Zbl 1143.68042
Chatterjee, Krishnendu; Henzinger, Thomas A.
8
2008
Forward analysis of depth-bounded processes. Zbl 1284.68419
Wies, Thomas; Zufferey, Damien; Henzinger, Thomas A.
8
2010
Quantitative relaxation of concurrent data structures. Zbl 1301.68176
Henzinger, Thomas A.; Kirsch, Christoph M.; Payer, Hannes; Sezgin, Ali; Sokolova, Ana
8
2013
Abstract interpretation of game properties. Zbl 0966.68150
Henzinger, Thomas A.; Majumdar, Rupak; Mang, Freddy; Raskin, Jean-François
7
2000
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
Axioms for real-time logics. Zbl 0994.03009
Schobbens, P.-Y.; Raskin, J.-F.; Henzinger, T. A.
7
2002
Semiperfect-information games. Zbl 1172.68540
Chatterjee, Krishnendu; Henzinger, Thomas A.
7
2005
Counterexample-guided control. Zbl 1039.68555
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak
7
2003
Aspect-oriented linearizability proofs. Zbl 1390.68213
Henzinger, Thomas A.; Sezgin, Ali; Vafeiadis, Viktor
7
2013
The benefits of relaxing punctuality. Zbl 1314.68195
Alur, Rajeev; Feder, Tomás; Henzinger, Thomas A.
7
1991
Dynamic resource allocation games. Zbl 1403.91059
Avni, Guy; Henzinger, Thomas A.; Kupferman, Orna
7
2016
A logic-based framework for verifying consensus algorithms. Zbl 1428.68371
Drăgoi, Cezara; Henzinger, Thomas A.; Veith, Helmut; Widder, Josef; Zufferey, Damien
7
2014
Real-time system = discrete system + clock variables. Zbl 1060.68605
Alur, Rajeev; Henzinger, Thomas A.
6
1997
Refinement for structured concurrent programs. Zbl 07306415
Kragl, Bernhard; Qadeer, Shaz; Henzinger, Thomas A.
1
2020
Infinite-duration bidding games. Zbl 1448.91060
Avni, Guy; Henzinger, Thomas A.; Chonev, Ventsislav
2
2019
Bidding games on Markov decision processes. Zbl 1455.91054
Avni, Guy; Henzinger, Thomas A.; Ibsen-Jensen, Rasmus; Novotný, Petr
1
2019
Handbook of model checking. Zbl 1390.68001
Clarke, Edmund M.; Henzinger, Thomas A.; Veith, Helmut; Bloem, Roderick
10
2018
Infinite-duration poorman-bidding games. Zbl 1443.91070
Avni, Guy; Henzinger, Thomas A.; Ibsen-Jensen, Rasmus
3
2018
Nested weighted automata. Zbl 1407.68248
Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan
2
2017
Model measuring for discrete and hybrid systems. Zbl 1401.68198
Henzinger, Thomas A.; Otop, Jan
2
2017
Edit distance for pushdown automata. Zbl 1440.68152
Chatterjee, Krishnendu; Henzinger, Thomas A.; Ibsen-Jensen, Rasmus; Otop, Jan
1
2017
Quantitative fair simulation games. Zbl 1370.68165
Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan; Velner, Yaron
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
Infinite-duration bidding games. Zbl 1448.91061
Avni, Guy; Henzinger, Thomas A.; Chonev, Ventsislav
1
2017
Counterexample-guided refinement of template polyhedra. Zbl 1452.68099
Bogomolov, Sergiy; Frehse, Goran; Giacobbe, Mirco; Henzinger, Thomas A.
1
2017
Dynamic resource allocation games. Zbl 1403.91059
Avni, Guy; Henzinger, Thomas A.; Kupferman, Orna
7
2016
Linear distances between Markov chains. Zbl 1392.68293
Daca, Przemysław; Henzinger, Thomas A.; Krětínský, Jan; Petrov, Tatjana
5
2016
PSync: a partially synchronous language for fault-tolerant distributed algorithms. Zbl 1347.68036
Drăgoi, Cezara; Henzinger, Thomas A.; Zufferey, Damien
5
2016
Quantitative automata under probabilistic semantics. Zbl 1401.68155
Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan
5
2016
Nested weighted limit-average automata of bounded width. Zbl 1398.68305
Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan
2
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
Quantitative monitor automata. Zbl 1394.68207
Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan
2
2016
Lipschitz robustness of timed I/O systems. Zbl 06559861
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
12
2015
Nested weighted automata. Zbl 1401.68154
Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan
6
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
The target discounted-sum problem. Zbl 1401.68149
Boker, Udi; Henzinger, Thomas A.; Otop, Jan
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
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
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
18
2014
Temporal specifications with accumulative values. Zbl 1354.68169
Boker, Udi; Chatterjee, Krishnendu; Henzinger, Thomas A.; Kupferman, Orna
9
2014
A logic-based framework for verifying consensus algorithms. Zbl 1428.68371
Drăgoi, Cezara; Henzinger, Thomas A.; Veith, Helmut; Widder, Josef; Zufferey, Damien
7
2014
Exact and approximate determinization of discounted-sum automata. Zbl 1325.68126
Boker, Udi; Henzinger, Thomas A.
2
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
8
2013
Aspect-oriented linearizability proofs. Zbl 1390.68213
Henzinger, Thomas A.; Sezgin, Ali; Vafeiadis, Viktor
7
2013
A survey of partial-observation stochastic parity games. Zbl 1291.91022
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
6
2013
From model checking to model measuring. Zbl 1390.68428
Henzinger, Thomas A.; Otop, Jan
5
2013
Quantitative abstraction refinement. Zbl 1301.68244
Cerny, Pavol; Henzinger, Thomas A.; Radhakrishna, Arjun
2
2013
Computational methods in systems biology. 11th international conference, CMSB 2013, Klosterneuburg, Austria, September 22–24, 2013. Proceedings. Zbl 1321.92032
Gupta, Ashutosh; Henzinger, Thomas A.
2
2013
Strategy improvement for concurrent reachability and turn-based stochastic safety games. Zbl 1269.91022
Chatterjee, Krishnendu; de Alfaro, Luca; Henzinger, Thomas A.
2
2013
A survey of stochastic \(\omega \)-regular games. Zbl 1237.91036
Chatterjee, Krishnendu; Henzinger, Thomas A.
19
2012
Lumpability abstractions of rule-based systems. Zbl 1267.68153
Feret, Jerome; Henzinger, Thomas; Koeppl, Heinz; Petrov, Tatjana
14
2012
Simulation distances. Zbl 1234.68253
Černý, Pavol; Henzinger, Thomas A.; Radhakrishna, Arjun
12
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.
3
2012
Qualitative concurrent parity games. Zbl 1351.68179
Chatterjee, Krishnendu; De Alfaro, Luca; Henzinger, Thomas A.
6
2011
Dynamic reactive modules. Zbl 1343.68167
Fisher, Jasmin; Henzinger, Thomas A.; Nickovic, Dejan; Piterman, Nir; Singh, Anmol V.; Vardi, Moshe Y.
5
2011
Timed parity games: complexity and robustness. Zbl 1237.68112
Chatterjee, Krishnendu; Henzinger, Thomas A.; Prabhu, Vinayak S.
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
The complexity of request-response games. Zbl 1330.68105
Chatterjee, Krishnendu; Henzinger, Thomas A.; Horn, Florian
2
2011
Formalisms for specifying Markovian population models. Zbl 1216.68190
Henzinger, Thomas; Jobstmann, Barbara; Wolf, Verena
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
40
2010
Quantitative languages. Zbl 1351.68155
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
33
2010
Generalized mean-payoff and energy games. Zbl 1245.68090
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.; Raskin, Jean-François
24
2010
Expressiveness and closure properties for quantitative languages. Zbl 1200.68135
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
17
2010
Qualitative analysis of partially-observable Markov decision processes. Zbl 1287.68104
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
10
2010
Randomness for free. Zbl 1287.91027
Chatterjee, Krishnendu; Doyen, Laurent; Gimbert, Hugo; Henzinger, Thomas A.
9
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
Probabilistic automata on infinite words: decidability and undecidability results. Zbl 1305.68112
Chatterjee, Krishnendu; Henzinger, Thomas A.
3
2010
Strategy construction for parity games with imperfect information. Zbl 1232.91007
Berwanger, Dietmar; Chatterjee, Krishnendu; De Wulf, Martin; Doyen, Laurent; Henzinger, Thomas A.
3
2010
Model checking transactional memories. Zbl 1267.68143
Guerraoui, Rachid; Henzinger, Thomas A.; Singh, Vasu
3
2010
ABC: algebraic bound computation for loops. Zbl 1253.68093
Blanc, Régis; Henzinger, Thomas A.; Hottelier, Thibaud; Kovács, Laura
2
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
39
2009
Alternating weighted automata. Zbl 1252.68167
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
17
2009
Finitary winning in \({\omega}\)-regular games. Zbl 1351.68156
Chatterjee, Krishnendu; Henzinger, Thomas A.; Horn, Florian
16
2009
Sliding window abstraction for infinite Markov chains. Zbl 1242.60079
Henzinger, Thomas A.; Mateescu, Maria; Wolf, Verena
10
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
5
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
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
Termination criteria for solving concurrent safety and reachability games. Zbl 1425.91074
Chatterjee, Krishnendu; De Alfaro, Luca; Henzinger, Thomas A.
1
2009
Quantitative languages. Zbl 1156.68449
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
33
2008
Model-checking \(\omega \)-regular properties of interval Markov chains. Zbl 1138.68441
Chatterjee, Krishnendu; Sen, Koushik; Henzinger, Thomas A.
12
2008
Environment assumptions for synthesis. Zbl 1160.68437
Chatterjee, Krishnendu; Henzinger, Thomas A.; Jobstmann, Barbara
12
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
Permissiveness in transactional memories. Zbl 1161.68387
Guerraoui, Rachid; Henzinger, Thomas A.; Singh, Vasu
9
2008
Proving non-termination. Zbl 1295.68158
Gupta, Ashutosh; Henzinger, Thomas A.; Majumdar, Rupak; Rybalchenko, Andrey; Xu, Ru-Gang
9
2008
Value iteration. Zbl 1143.68042
Chatterjee, Krishnendu; Henzinger, Thomas A.
8
2008
Completeness and nondeterminism in model checking transactional memories. Zbl 1160.68441
Guerraoui, Rachid; Henzinger, Thomas A.; Singh, Vasu
6
2008
Controller synthesis with budget constraints. Zbl 1144.93312
Chatterjee, Krishnendu; Majumdar, Rupak; Henzinger, Thomas A.
4
2008
Reduction of stochastic parity to stochastic mean-payoff games. Zbl 1186.68306
Chatterjee, Krishnendu; Henzinger, Thomas A.
4
2008
Strategy construction for parity games with imperfect information. Zbl 1160.68455
Berwanger, Dietmar; Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.; Raje, Sangram
3
2008
Timed parity games: Complexity and robustness. Zbl 1171.68527
Chatterjee, Krishnendu; Henzinger, Thomas A.; Prabhu, Vinayak S.
3
2008
Bounded asynchrony: concurrency for modeling cell-cell interactions. Zbl 1375.92018
Fisher, Jasmin; Henzinger, Thomas A.; Mateescu, Maria; Piterman, Nir
2
2008
Trading infinite memory for uniform randomness in timed games. Zbl 1143.68479
Chatterjee, Krishnendu; Henzinger, Thomas A.; Prabhu, Vinayak S.
2
2008
Concurrent reachability games. Zbl 1154.91306
de Alfaro, Luca; Henzinger, Thomas A.; Kupferman, Orna
26
2007
Algorithms for omega-regular games with imperfect information. Zbl 1125.91028
Raskin, Jean-Francois; Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
22
2007
Strategy logic. Zbl 1151.03327
Chatterjee, Krishnendu; Henzinger, Thomas A.; Piterman, Nir
19
2007
Invariant synthesis for combined theories. Zbl 1132.68333
Beyer, Dirk; Henzinger, Thomas A.; Majumdar, Rupak; Rybalchenko, Andrey
14
2007
Assume-guarantee synthesis. Zbl 1186.68284
Chatterjee, Krishnendu; Henzinger, Thomas A.
13
2007
...and 100 more Documents
all top 5

Cited by 2,260 Authors

54 Chatterjee, Krishnendu
51 Henzinger, Thomas A.
38 Larsen, Kim Guldstrand
33 Raskin, Jean-François
30 Kupferman, Orna
26 Legay, Axel
24 Bouyer, Patricia
21 Markey, Nicolas
20 Kwiatkowska, Marta Z.
18 Droste, Manfred
17 Doyen, Laurent
16 Fahrenberg, Uli
16 Murano, Aniello
15 Baier, Christel
15 Brihaye, Thomas
15 Wooldridge, Michael J.
13 Alur, Rajeev
13 Avni, Guy
13 Lime, Didier
13 Norman, Gethin
13 Pinchinat, Sophie
13 Vardi, Moshe Y.
12 Bozzelli, Laura
11 Bruyère, Véronique
11 Demri, Stéphane P.
11 Gutierrez, Julian
11 Jamroga, Wojciech
11 Katoen, Joost-Pieter
11 Majumdar, Rupak
11 Schewe, Sven
10 André, Étienne
10 Bérard, Béatrice
10 Bertrand, Nathalie
10 Jobstmann, Barbara
10 Mogavero, Fabio
10 Perelli, Giuseppe
10 Piazza, Carla
10 Wąsowski, Andrzej
10 Worrell, James B.
10 Zimmermann, Martín G.
9 Asarin, Eugene
9 Bouajjani, Ahmed
9 Clarke, Edmund Melson jun.
9 Dang, Zhe
9 Haddad, Serge
9 Maler, Oded
9 Pnueli, Amir
9 Roux, Olivier H.
9 Vaandrager, Frits W.
9 Zhan, Naijun
8 Ågotnes, Thomas
8 Bortolussi, Luca
8 de Alfaro, Luca
8 Faella, Marco
8 Hermanns, Holger
8 Otop, Jan
8 Ouaknine, Joel O.
8 Platzer, André
8 Sproston, Jeremy
8 Tripakis, Stavros
8 Viswanathan, Mahesh
7 Abdulla, Parosh Aziz
7 Alechina, Natasha
7 Benerecetti, Massimo
7 Ćirić, Miroslav D.
7 David, Alexandre
7 Fränzle, Martin
7 Geeraerts, Gilles
7 Grosu, Radu
7 Ibarra, Oscar H.
7 Ibsen-Jensen, Rasmus
7 Ignjatović, Jelena
7 Kröning, Daniel
7 Lanotte, Ruggero
7 Li, Yongming
7 Pandya, Paritosh K.
7 Pappas, George J.
7 Piterman, Nir
7 Policriti, Alberto
7 Prabhakar, Pavithra
7 Quaas, Karin
7 Rabinovich, Alexander
7 Randour, Mickael
7 Reynolds, Mark Alexander
7 Rossi, Matteo A. C.
7 Tini, Simone
7 van der Hoek, Wiebe
7 Zhang, Lijun
6 Abate, Alessandro
6 Bartocci, Ezio
6 Beneš, Nikola
6 Bersani, Marcello Maria
6 Bloem, Roderick
6 Bournez, Olivier
6 Broersen, Jan M.
6 Cao, Yongzhi
6 Cimatti, Alessandro
6 Damm, Werner
6 Dang, Thao
6 Delahaye, Benoît
...and 2,160 more Authors
all top 5

Cited in 123 Serials

198 Theoretical Computer Science
126 Information and Computation
101 Formal Methods in System Design
50 Formal Aspects of Computing
42 Acta Informatica
33 Journal of Computer and System Sciences
31 Nonlinear Analysis. Hybrid Systems
28 Artificial Intelligence
25 Logical Methods in Computer Science
24 Discrete Event Dynamic Systems
24 The Journal of Logic and Algebraic Programming
22 International Journal of Foundations of Computer Science
19 Journal of Logical and Algebraic Methods in Programming
18 Information Processing Letters
17 Journal of Automated Reasoning
15 Real-Time Systems
15 ACM Transactions on Computational Logic
13 Automatica
12 European Journal of Control
11 Synthese
11 Science of Computer Programming
10 Theory of Computing Systems
9 Journal of Applied Non-Classical Logics
8 Studia Logica
8 International Journal of Approximate Reasoning
8 MSCS. Mathematical Structures in Computer Science
8 Journal of Logic, Language and Information
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 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
4 Journal of Philosophical Logic
4 International Journal of Applied Mathematics and Computer Science
4 Fundamenta Informaticae
4 Mathematics in Computer Science
4 The Review of Symbolic Logic
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 Soft Computing
3 Sādhanā
3 Algorithms
3 Dynamic Games and Applications
2 ACM Computing Surveys
2 International Journal of General Systems
2 International Journal of Systems Science
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 Applied Mathematics
2 Optimization Letters
2 RAIRO. Theoretical Informatics and Applications
2 Games
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 Computing
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
1 Pattern Recognition
1 Proceedings of the National Academy of Sciences of the United States of America
1 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering
...and 23 more Serials

Citations by Year

Wikidata Timeline

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