Edit Profile (opens in new tab) Henzinger, Thomas A. Co-Author Distance Author ID: henzinger.thomas-a Published as: Henzinger, Thomas A.; Henzinger, T. A.; Henzinger, Thomas; Henzinger, T. more...less Homepage: http://pub.ist.ac.at/~tah/ External Links: MGP · ORCID · Wikidata · dblp · GND · IdRef Documents Indexed: 261 Publications since 1985, including 4 Additional arXiv Preprints 10 Contributions as Editor Co-Authors: 175 Co-Authors with 259 Joint Publications 3,748 Co-Co-Authors all top 5 Co-Authors 11 single-authored 74 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 12 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 Bogomolov, Sergiy 6 Boker, Udi 6 Jurdziński, Marcin 6 Kirsch, Christoph M. 6 Kong, Hui 6 Piterman, Nir 6 Rajamani, Sriram K. 6 Sezgin, Ali 5 Daca, Przemysław 5 Guerraoui, Rachid 5 Kovács, Laura Ildikó 5 Samanta, Roopsha 5 Schilling, Christian 5 Singh, Vasu 4 Bartocci, Ezio 4 Clarke, Edmund Melson jun. 4 Ferrère, Thomas 4 Guet, Călin C. 4 Hottelier, Thibaud 4 Ibsen-Jensen, Rasmus 4 Jiang, Yunping 4 Lechner, Mathias 4 Stoelinga, Mariëlle 4 Vardi, Moshe Ya’akov 4 Veith, Helmut 4 Wolf, Verena 4 Wong-Toi, Howard 4 Žikelić, {D}or{d}e 4 Zufferey, Damien 3 Beyer, Dirk 3 Bloem, Roderick 3 Chakrabarti, Arindam 3 Faella, Marco 3 Ho, Pei-Hsin 3 Horn, Florian 3 Horowitz, Benjamin 3 Kragl, Bernhard 3 Křetínský, Jan 3 Mateescu, Maria 3 Rybalchenko, Andrey 3 Sanvido, Marco A. 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 Grosu, Radu 2 Igler, Claudia 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 Soto, Miriam García 2 Vafeiadis, Viktor 2 Varaiya, Pravin Pratap 2 Velner, Yaron 2 Wies, Thomas 2 Yovine, Sergio 2 Zhao, Tian 1 Antoš, David 1 Bak, Stanley ...and 75 more Co-Authors all top 5 Serials 14 Theoretical Computer Science 10 Information and Computation 8 Logical Methods in Computer Science 7 ACM Transactions on Computational Logic 7 Lecture Notes in Computer Science 6 Formal Methods in System Design 4 Journal of Computer and System Sciences 4 Journal of the ACM 2 Acta Informatica 2 Information Processing Letters 2 International Journal of Foundations of Computer Science 1 IEEE Transactions on Automatic Control 1 International Journal of Game Theory 1 Journal of the Association for Computing Machinery 1 Distributed Computing 1 ACM Transactions on Modeling and Computer Simulation 1 Nonlinear Analysis. Hybrid Systems all top 5 Fields 237 Computer science (68-XX) 61 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 36 Systems theory; control (93-XX) 32 Mathematical logic and foundations (03-XX) 12 Biology and other natural sciences (92-XX) 8 General and overarching topics; collections (00-XX) 6 Probability theory and stochastic processes (60-XX) 6 Operations research, mathematical programming (90-XX) 4 Combinatorics (05-XX) 2 History and biography (01-XX) 2 Numerical analysis (65-XX) 1 Commutative algebra (13-XX) 1 Ordinary differential equations (34-XX) 1 Statistics (62-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 241 Publications have been cited 4,176 times in 2,280 Documents Cited by ▼ Year ▼ Alternating-time temporal logic. Zbl 1326.68181 Alur, Rajeev; Henzinger, Thomas A.; Kupferman, Orna 324 2002 The algorithmic analysis of hybrid systems. Zbl 0874.68206 Alur, R.; Courcoubetis, C.; Halbwachs, N.; Henzinger, T. A.; Ho, P.-H. 191 1995 The theory of hybrid automata. Zbl 0959.68073 Henzinger, Thomas A. 167 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 130 1998 The benefits of relaxing punctuality. Zbl 0882.68021 Alur, Rajeev; Feder, Tomás; Henzinger, Thomas A. 114 1996 A really temporal logic. Zbl 0807.68065 Alur, Rajeev; Henzinger, Thomas A. 108 1994 HyTech: A model checker for hybrid systems. Zbl 1060.68603 Henzinger, Thomas A.; Ho, Pei-Hsin; Wong-Toi, Howard 97 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. 77 1993 Parametric real-time reasoning. Zbl 1310.68139 Alur, Rajeev; Henzinger, Thomas A.; Vardi, Moshe Y. 73 1993 Abstractions from proofs. Zbl 1325.68147 Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; McMillan, Kenneth L. 66 2004 Strategy logic. Zbl 1205.68197 Chatterjee, Krishnendu; Henzinger, Thomas A.; Piterman, Nir 63 2010 What’s decidable about hybrid automata? Zbl 0978.68534 Henzinger, Thomas A.; Kopke, Peter W.; Puri, Anuj; Varaiya, Pravin 62 1995 Computing simulations on finite and infinite graphs. Zbl 0938.68538 Henzinger, Monika R.; Henzinger, Thomas A.; Kopke, Peter W. 58 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 55 2009 Quantitative languages. Zbl 1351.68155 Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. 55 2010 Handbook of model checking. Zbl 1390.68001 54 2018 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. 48 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. 42 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 Generalized mean-payoff and energy games. Zbl 1245.68090 Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.; Raskin, Jean-François 37 2010 Algorithmic analysis of nonlinear hybrid systems. Zbl 0918.93019 Henzinger, Thomas A.; Ho, Pei-Hsin; Wong-Toi, Howard 37 1998 Games with secure equilibria. Zbl 1108.91007 Chatterjee, Krishnendu; Henzinger, Thomas A.; Jurdziński, Marcin 36 2006 Solving games without determinization. Zbl 1225.68118 Henzinger, Thomas A.; Piterman, Nir 35 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 32 2014 Algorithms for omega-regular games with imperfect information. Zbl 1125.91028 Raskin, Jean-Francois; Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. 31 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 Simple stochastic parity games. Zbl 1116.68493 Chatterjee, Krishnendu; Jurdziński, Marcin; Henzinger, Thomas A. 30 2003 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 28 2007 Finitary winning in \({\omega}\)-regular games. Zbl 1351.68156 Chatterjee, Krishnendu; Henzinger, Thomas A.; Horn, Florian 26 2009 Alternating weighted automata. Zbl 1252.68167 Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. 25 2009 Expressiveness and closure properties for quantitative languages. Zbl 1200.68135 Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. 25 2010 Markov decision processes with multiple objectives. Zbl 1136.90498 Chatterjee, Krishnendu; Majumdar, Rupak; Henzinger, Thomas A. 23 2006 Compositional methods for probabilistic systems. Zbl 1006.68083 de Alfaro, Luca; Henzinger, Thomas A.; Jhala, Ranjit 23 2001 Model checking discounted temporal properties. Zbl 1079.68062 de Alfaro, Luca; Faella, Marco; Henzinger, Thomas A.; Majumdar, Rupak; Stoelinga, Mariëlle 23 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. 22 1994 Temporal specifications with accumulative values. Zbl 1354.68169 Boker, Udi; Chatterjee, Krishnendu; Henzinger, Thomas A.; Kupferman, Orna 22 2014 What good are digital clocks? Zbl 1425.68255 Henzinger, Thomas A.; Manna, Zohar; Pnueli, Amir 22 1992 Hybrid automata with finite bisimulations. Zbl 1412.68130 Henzinger, Thomas A. 20 1995 Invariant synthesis for combined theories. Zbl 1132.68333 Beyer, Dirk; Henzinger, Thomas A.; Majumdar, Rupak; Rybalchenko, Andrey 19 2007 Simulation distances. Zbl 1234.68253 Černý, Pavol; Henzinger, Thomas A.; Radhakrishna, Arjun 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 Proving non-termination. Zbl 1295.68158 Gupta, Ashutosh; Henzinger, Thomas A.; Majumdar, Rupak; Rybalchenko, Andrey; Xu, Ru-Gang 19 2008 Model-checking \(\omega \)-regular properties of interval Markov chains. Zbl 1138.68441 Chatterjee, Krishnendu; Sen, Koushik; Henzinger, Thomas A. 18 2008 Robust undecidability of timed and hybrid systems. Zbl 0944.93018 Henzinger, Thomas A.; Raskin, Jean-François 18 2000 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 Lumpability abstractions of rule-based systems. Zbl 1267.68153 Feret, Jerome; Henzinger, Thomas; Koeppl, Heinz; Petrov, Tatjana 18 2012 It’s about time: Real-time logics reviewed. Zbl 0928.03019 Henzinger, Thomas A. 18 1998 Timed interfaces. Zbl 1027.68785 de Alfaro, Luca; Henzinger, Thomas A.; Stoelinga, Mariëlle 18 2002 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 The complexity of stochastic Rabin and Streett games. Zbl 1085.68060 Chatterjee, Krishnendu; de Alfaro, Luca; Henzinger, Thomas A. 17 2005 Assume-guarantee synthesis. Zbl 1186.68284 Chatterjee, Krishnendu; Henzinger, Thomas A. 16 2007 Generalized parity games. Zbl 1195.68053 Chatterjee, Krishnendu; Henzinger, Thomas A.; Piterman, Nir 16 2007 Rectangular hybrid games. Zbl 0937.91005 Henzinger, Thomas A.; Horowitz, Benjamin; Majumdar, Rupak 16 1999 Symbolic algorithms for infinite-state games. Zbl 1006.68095 de Alfaro, Luca; Henzinger, Thomas A.; Majumdar, Rupak 16 2001 Temporal proof methodologies for timed transition systems. Zbl 0820.68085 Henzinger, Thomas A.; Manna, Zohar; Pnueli, Amir 16 1994 Quantifying similarities between timed systems. Zbl 1175.68281 Henzinger, Thomas A.; Majumdar, Rupak; Prabhu, Vinayak S. 15 2005 Software verification with BLAST. Zbl 1023.68532 Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Grégoire 15 2003 Value iteration. Zbl 1143.68042 Chatterjee, Krishnendu; Henzinger, Thomas A. 15 2008 Partial-order reduction in symbolic state-space exploration. Zbl 1001.68080 Alur, R.; Brayton, R. K.; Henzinger, T. A.; Qadeer, S.; Rajamani, S. K. 14 2001 Back to the future: Towards a theory of timed regular languages. Zbl 0977.68548 Alur, Rajeev; Henzinger, Thomas A. 14 1992 A classification of symbolic transition systems. Zbl 1367.68193 Henzinger, Thomas A.; Majumdar, Rupak; Raskin, Jean-François 14 2005 Equivalence of labeled Markov chains. Zbl 1155.68035 Doyen, Laurent; Henzinger, Thomas A.; Raskin, Jean-François 14 2008 Environment assumptions for synthesis. Zbl 1160.68437 Chatterjee, Krishnendu; Henzinger, Thomas A.; Jobstmann, Barbara 14 2008 Randomness for free. Zbl 1287.91027 Chatterjee, Krishnendu; Doyen, Laurent; Gimbert, Hugo; Henzinger, Thomas A. 14 2010 Qualitative analysis of partially-observable Markov decision processes. Zbl 1287.68104 Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. 14 2010 Thread-modular abstraction refinement. Zbl 1278.68175 Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Qadeer, Shaz 13 2003 Probabilistic weighted automata. Zbl 1254.68133 Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. 13 2009 Automatic rectangular refinement of affine hybrid systems. Zbl 1175.68243 Doyen, Laurent; Henzinger, Thomas A.; Raskin, Jean-François 13 2005 Stochastic limit-average games are in EXPTIME. Zbl 1154.91004 Chatterjee, Krishnendu; Majumdar, Rupak; Henzinger, Thomas A. 13 2008 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 Quantitative relaxation of concurrent data structures. Zbl 1301.68176 Henzinger, Thomas A.; Kirsch, Christoph M.; Payer, Hannes; Sezgin, Ali; Sokolova, Ana 12 2013 The complexity of quantitative concurrent parity games. Zbl 1192.68430 Chatterjee, Krishnendu; de Alfaro, Luca; Henzinger, Thomas A. 12 2006 Forward analysis of depth-bounded processes. Zbl 1284.68419 Wies, Thomas; Zufferey, Damien; Henzinger, Thomas A. 11 2010 Giotto: A time-triggered language for embedded programming. Zbl 1050.68525 Henzinger, Thomas A.; Horowitz, Benjamin; Meyer Kirsch, Christoph 11 2001 Sooner is safer than later. Zbl 0753.68041 Henzinger, Thomas A. 11 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 11 2002 A logic-based framework for verifying consensus algorithms. Zbl 1428.68371 Drăgoi, Cezara; Henzinger, Thomas A.; Veith, Helmut; Widder, Josef; Zufferey, Damien 11 2014 The benefits of relaxing punctuality. Zbl 1314.68195 Alur, Rajeev; Feder, Tomás; Henzinger, Thomas A. 11 1991 Finitary winning in \(\omega\)-regular games. Zbl 1180.68171 Chatterjee, Krishnendu; Henzinger, Thomas A. 10 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 PSync: a partially synchronous language for fault-tolerant distributed algorithms. Zbl 1347.68036 Drăgoi, Cezara; Henzinger, Thomas A.; Zufferey, Damien 10 2016 Strategy improvement for concurrent reachability and turn-based stochastic safety games. Zbl 1269.91022 Chatterjee, Krishnendu; de Alfaro, Luca; Henzinger, Thomas A. 10 2013 Linear distances between Markov chains. Zbl 1392.68293 Daca, Przemysław; Henzinger, Thomas A.; Krětínský, Jan; Petrov, Tatjana 9 2016 Axioms for real-time logics. Zbl 0928.03022 Raskin, J.-F.; Schobbens, P.-Y.; Henzinger, T. A. 9 1998 Minimum-time reachability in timed games. Zbl 1171.68526 Brihaye, Thomas; Henzinger, Thomas A.; Prabhu, Vinayak S.; Raskin, Jean-François 9 2007 Synchronous and bidirectional component interfaces. Zbl 1010.68518 Chakrabarti, Arindam; de Alfaro, Luca; Henzinger, Thomas A.; Mang, Freddy Y. C. 9 2002 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 Monitoring event frequencies. Zbl 07650833 Ferrère, Thomas; Henzinger, Thomas A.; Kragl, Bernhard 2 2020 Refinement for structured concurrent programs. Zbl 1478.68044 Kragl, Bernhard; Qadeer, Shaz; Henzinger, Thomas A. 2 2020 Infinite-duration bidding games. Zbl 1448.91060 Avni, Guy; Henzinger, Thomas A.; Chonev, Ventsislav 5 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 Bidding mechanisms in graph games. Zbl 07561655 Avni, Guy; Henzinger, Thomas A.; Žikelić, Đorde 2 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 Transient memory in gene regulation. Zbl 1422.92044 Guet, Calin; Henzinger, Thomas A.; Igler, Claudia; Petrov, Tatjana; Sezgin, Ali 1 2019 Quantitative automata under probabilistic semantics. Zbl 1442.68086 Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan 1 2019 Handbook of model checking. Zbl 1390.68001 54 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 3 2018 Monitoring temporal logic with clock variables. Zbl 1514.68129 Elgyütt, Adrián; Ferrère, Thomas; Henzinger, Thomas A. 2 2018 Introduction to model checking. Zbl 1392.68242 Clarke, Edmund M.; Henzinger, Thomas A.; Veith, Helmut 1 2018 Reachable set over-approximation for nonlinear systems using piecewise barrier tubes. Zbl 1511.68159 Kong, Hui; Bartocci, Ezio; Henzinger, Thomas A. 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 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 The cost of exactness in quantitative reachability. Zbl 1431.68073 Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. 4 2017 Infinite-duration bidding games. Zbl 1448.91061 Avni, Guy; Henzinger, Thomas A.; Chonev, Ventsislav 4 2017 Nested weighted automata. Zbl 1407.68248 Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan 3 2017 Model measuring for discrete and hybrid systems. Zbl 1401.68198 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 Preface of the special issue in memoriam Helmut Veith. Zbl 1384.00074 1 2017 Edit distance for pushdown automata. Zbl 1440.68152 Chatterjee, Krishnendu; Henzinger, Thomas A.; Ibsen-Jensen, Rasmus; Otop, Jan 1 2017 Conic abstractions for hybrid systems. Zbl 1497.93109 Bogomolov, Sergiy; Giacobbe, Mirco; Henzinger, Thomas A.; Kong, Hui 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 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 PSync: a partially synchronous language for fault-tolerant distributed algorithms. Zbl 1347.68036 Drăgoi, Cezara; Henzinger, Thomas A.; Zufferey, Damien 10 2016 Linear distances between Markov chains. Zbl 1392.68293 Daca, Przemysław; Henzinger, Thomas A.; Krětínský, Jan; Petrov, Tatjana 9 2016 Dynamic resource allocation games. Zbl 1403.91059 Avni, Guy; Henzinger, Thomas A.; Kupferman, Orna 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 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 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 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 Abstraction-driven concolic testing. Zbl 1475.68079 Daca, Przemysław; Gupta, Ashutosh; Henzinger, Thomas A. 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 Nested weighted automata. Zbl 1401.68154 Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan 7 2015 Edit distance for pushdown automata. Zbl 1440.68151 Chatterjee, Krishnendu; Henzinger, Thomas A.; Ibsen-Jensen, Rasmus; Otop, Jan 7 2015 The target discounted-sum problem. Zbl 1401.68149 Boker, Udi; Henzinger, Thomas A.; Otop, Jan 6 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 Measuring and synthesizing systems in probabilistic environments. Zbl 1321.68344 Chatterjee, Krishnendu; Henzinger, Thomas A.; Jobstmann, Barbara; Singh, Rohit 4 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 Aspect-oriented linearizability proofs. Zbl 1391.68023 Chakraborty, Soham; Henzinger, Thomas A.; Sezgin, Ali; Vafeiadis, Viktor 2 2015 Succinct representation of concurrent trace sets. Zbl 1345.68108 Gupta, Ashutosh; Henzinger, Thomas A.; Radhakrishna, Arjun; Samanta, Roopsha; Tarrach, Thorsten 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 32 2014 Temporal specifications with accumulative values. Zbl 1354.68169 Boker, Udi; Chatterjee, Krishnendu; Henzinger, Thomas A.; Kupferman, Orna 22 2014 A logic-based framework for verifying consensus algorithms. Zbl 1428.68371 Drăgoi, Cezara; Henzinger, Thomas A.; Veith, Helmut; Widder, Josef; Zufferey, Damien 11 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 1 2014 Model measuring for hybrid systems. Zbl 1362.68173 Henzinger, Thomas A.; Otop, Jan 1 2014 Quantitative relaxation of concurrent data structures. Zbl 1301.68176 Henzinger, Thomas A.; Kirsch, Christoph M.; Payer, Hannes; Sezgin, Ali; Sokolova, Ana 12 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 18 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 Dynamic reactive modules. Zbl 1343.68167 Fisher, Jasmin; Henzinger, Thomas A.; Nickovic, Dejan; Piterman, Nir; Singh, Anmol V.; Vardi, Moshe Y. 5 2011 The complexity of request-response games. Zbl 1330.68105 Chatterjee, Krishnendu; Henzinger, Thomas A.; Horn, Florian 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 Determinizing discounted-sum automata. Zbl 1247.68128 Boker, Udi; Henzinger, Thomas A. 1 2011 Verification of STM on relaxed memory models. Zbl 1247.68165 Guerraoui, Rachid; Henzinger, Thomas A.; Singh, Vasu 1 2011 Strategy logic. Zbl 1205.68197 Chatterjee, Krishnendu; Henzinger, Thomas A.; Piterman, Nir 63 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. 14 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 Mean-payoff automaton expressions. Zbl 1287.68093 Chatterjee, Krishnendu; Doyen, Laurent; Edelsbrunner, Herbert; Henzinger, Thomas A.; Rannou, Philippe 7 2010 Simulation distances. Zbl 1287.68127 Černý, Pavol; Henzinger, Thomas A.; Radhakrishna, Arjun 6 2010 Strategy construction for parity games with imperfect information. Zbl 1232.91007 Berwanger, Dietmar; Chatterjee, Krishnendu; De Wulf, Martin; Doyen, Laurent; Henzinger, Thomas A. 5 2010 ...and 141 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 3,073 Authors 73 Henzinger, Thomas A. 65 Chatterjee, Krishnendu 49 Larsen, Kim Guldstrand 44 Kupferman, Orna 41 Raskin, Jean-François 39 Bouyer, Patricia 30 Legay, Axel 28 Markey, Nicolas 27 Droste, Manfred 26 Murano, Aniello 25 Brihaye, Thomas 24 Kwiatkowska, Marta Z. 24 Lime, Didier 23 Baier, Christel 23 Schewe, Sven 23 Wooldridge, Michael J. 21 Doyen, Laurent 19 Bozzelli, Laura 19 Randour, Mickael 19 Vardi, Moshe Ya’akov 19 Zimmermann, Martín G. 18 André, Étienne 18 Avni, Guy 18 Fahrenberg, Uli 18 Katoen, Joost-Pieter 17 Alur, Rajeev 17 Gutierrez, Julian 17 Norman, Gethin 16 Bruyère, Véronique 16 Mogavero, Fabio 16 Roux, Olivier H. 15 Cimatti, Alessandro 15 Perelli, Giuseppe 15 Pinchinat, Sophie 15 Worrell, James B. 15 Zhan, Naijun 14 Montanari, Angelo 13 Bérard, Béatrice 13 Bertrand, Nathalie 12 Benerecetti, Massimo 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 Piazza, Carla 12 Platzer, André 12 Sproston, Jeremy 12 Trivedi, Ashutosh 12 Zhang, Lijun 11 Abdulla, Parosh Aziz 11 Ågotnes, Thomas 11 Bortolussi, Luca 11 de Alfaro, Luca 11 Fränzle, Martin 11 Hermanns, Holger 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 Holík, Lukáš 10 Jobstmann, Barbara 10 Piterman, Nir 10 Pnueli, Amir 10 Tini, Simone 10 Viswanathan, Mahesh 10 Wąsowski, Andrzej 9 Alechina, Natasha 9 Boker, Udi 9 Broersen, Jan M. 9 Dang, Zhe 9 Enea, Constantin 9 Geeraerts, Gilles 9 Goranko, Valentin F. 9 Griggio, Alberto 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 Tripakis, Stavros 9 Vaandrager, Frits W. 9 van der Hoek, Wiebe 8 Bartocci, Ezio 8 Beneš, Nikola 8 Berwanger, Dietmar 8 Bloem, Roderick 8 Bournez, Olivier 8 Dang, Thao 8 David, Alexandre 8 Dongol, Brijesh ...and 2,973 more Authors all top 5 Cited in 138 Serials 211 Theoretical Computer Science 155 Information and Computation 118 Formal Methods in System Design 57 Logical Methods in Computer Science 56 Formal Aspects of Computing 47 Acta Informatica 43 Artificial Intelligence 36 Nonlinear Analysis. Hybrid Systems 35 Journal of Computer and System Sciences 28 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 21 Journal of Automated Reasoning 20 Information Processing Letters 20 Automatica 20 ACM Transactions on Computational Logic 15 Real-Time Systems 14 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 Distributed Computing 8 International Journal of Robust and Nonlinear Control 8 Annals of Mathematics and Artificial Intelligence 8 Fundamenta Informaticae 7 Information Sciences 7 Systems & Control Letters 7 Annals of Pure and Applied Logic 7 Journal of Symbolic Computation 7 Cybernetics and Systems Analysis 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 Theory and Practice of Logic Programming 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 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 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 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 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 ...and 38 more Serials all top 5 Cited in 35 Fields 1,950 Computer science (68-XX) 534 Mathematical logic and foundations (03-XX) 344 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 285 Systems theory; control (93-XX) 93 Operations research, mathematical programming (90-XX) 63 Biology and other natural sciences (92-XX) 46 Probability theory and stochastic processes (60-XX) 30 Ordinary differential equations (34-XX) 27 Combinatorics (05-XX) 26 Numerical analysis (65-XX) 22 Information and communication theory, circuits (94-XX) 14 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 Associative rings and algebras (16-XX) 4 Linear and multilinear algebra; matrix theory (15-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 Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.