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: 266 Publications since 1985 10 Contributions as Editor Software Indexed: 18 Packages Co-Authors: 177 Co-Authors with 264 Joint Publications 3,781 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 Avni, Guy 14 Raskin, Jean-François 11 Radhakrishna, Arjun 9 Černý, Pavol 9 Jhala, Ranjit 8 Mang, Freddy Y. C. 8 Petrov, Tatjana 7 Giacobbe, Mirco 7 Gupta, Ashutosh 7 Jobstmann, Barbara 7 Kopke, Peter W. 7 Prabhu, Vinayak S. 7 Qadeer, Shaz 6 Boker, Udi 6 Jurdziński, Marcin 6 Kirsch, Christoph M. 6 Piterman, Nir 6 Rajamani, Sriram K. 6 Sezgin, Ali 5 Bartocci, Ezio 5 Bogomolov, Sergiy 5 Daca, Przemysław 5 Ferrère, Thomas 5 Guerraoui, Rachid 5 Kong, Hui 5 Kovács, Laura Ildikó 5 Samanta, Roopsha 5 Schilling, Christian 5 Singh, Vasu 4 Bloem, Roderick 4 Clarke, Edmund Melson jun. 4 Guet, Călin C. 4 Hottelier, Thibaud 4 Ibsen-Jensen, Rasmus 4 Stoelinga, Mariëlle 4 Vardi, Moshe Ya’akov 4 Veith, Helmut 4 Wolf, Verena 4 Wong-Toi, Howard 4 Zufferey, Damien 3 Beyer, Dirk 3 Chakrabarti, Arindam 3 Faella, Marco 3 Ho, Pei-Hsin 3 Horn, Florian 3 Horowitz, Benjamin 3 Jiang, Yunping 3 Kragl, Bernhard 3 Křetínský, Jan 3 Lehtinen, Karoliina 3 Mateescu, Maria 3 Nickovic, Dejan 3 Rybalchenko, Andrey 3 Sanvido, Marco A. A. 3 Saraç, N. Ege 3 Soto, Miriam García 3 Sutre, Grégoire 3 Tarrach, Thorsten 3 Totzke, Patrick 3 Žikelić, {D}or{d}e 2 Aghajohari, Milad 2 Berwanger, Dietmar 2 Bose, Sougata 2 Chmelík, Martin 2 Chonev, Ventsislav 2 Courcoubetis, Costas A. 2 De Wulf, Martin 2 Dragoi, Cezara 2 Feder, Tomás 2 Fisher, Jasmin 2 Frehse, Goran 2 Gimbert, Hugo 2 Igler, Claudia 2 Könighofer, Bettina 2 Lechner, Mathias 2 Ma, Di 2 Manna, Zohar 2 Mazzocchi, Nicolas 2 Nicollin, Xavier 2 Oliveira da Costa, Ana 2 Paixão, Tiago 2 Palsberg, Jens 2 Payer, Hannes 2 Pnueli, Amir 2 Puri, Anuj 2 Ryzhyk, Leonid 2 Schewe, Sven 2 Schobbens, Pierre-Yves 2 Sifakis, Joseph 2 Singh, Rohit R. 2 Sokolova, Ana 2 Vafeiadis, Viktor 2 Varaiya, Pravin Pratap ...and 77 more Co-Authors all top 5 Serials 14 Theoretical Computer Science 10 Information and Computation 9 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 244 Computer science (68-XX) 64 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 39 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 252 Publications have been cited 4,802 times in 2,641 Documents Cited by ▼ Year ▼ Alternating-time temporal logic. Zbl 1326.68181 Alur, Rajeev; Henzinger, Thomas A.; Kupferman, Orna 360 2002 The algorithmic analysis of hybrid systems. Zbl 0874.68206 Alur, R.; Courcoubetis, C.; Halbwachs, N.; Henzinger, T. A.; Ho, P.-H. 236 1995 The theory of hybrid automata. Zbl 0959.68073 Henzinger, Thomas A. 157 2000 Symbolic model checking for real-time systems. Zbl 0806.68080 Henzinger, Thomas A.; Nicollin, Xavier; Sifakis, Joseph; Yovine, Sergio 135 1994 The benefits of relaxing punctuality. Zbl 0882.68021 Alur, Rajeev; Feder, Tomás; Henzinger, Thomas A. 129 1996 What’s decidable about hybrid automata? Zbl 0920.68091 Henzinger, Thomas A.; Kopke, Peter W.; Puri, Anuj; Varaiya, Pravin 117 1998 A really temporal logic. Zbl 0807.68065 Alur, Rajeev; Henzinger, Thomas A. 117 1994 Lazy abstraction. Zbl 1323.68374 Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Grégoire 105 2002 HyTech: A model checker for hybrid systems. Zbl 1060.68603 Henzinger, Thomas A.; Ho, Pei-Hsin; Wong-Toi, Howard 104 1997 Real-time logics: Complexity and expressiveness. Zbl 0791.68103 Alur, Rajeev; Henzinger, Thomas A. 81 1993 Abstractions from proofs. Zbl 1325.68147 Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; McMillan, Kenneth L. 80 2004 Parametric real-time reasoning. Zbl 1310.68139 Alur, Rajeev; Henzinger, Thomas A.; Vardi, Moshe Y. 80 1993 Handbook of model checking. Zbl 1390.68001 75 2018 What’s decidable about hybrid automata? Zbl 0978.68534 Henzinger, Thomas A.; Kopke, Peter W.; Puri, Anuj; Varaiya, Pravin 73 1995 Strategy logic. Zbl 1205.68197 Chatterjee, Krishnendu; Henzinger, Thomas A.; Piterman, Nir 71 2010 Better quality in synthesis through quantitative objectives. Zbl 1242.68151 Bloem, Roderick; Chatterjee, Krishnendu; Henzinger, Thomas A.; Jobstmann, Barbara 67 2009 Quantitative languages. Zbl 1351.68155 Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. 67 2010 Computing simulations on finite and infinite graphs. Zbl 0938.68538 Henzinger, Monika R.; Henzinger, Thomas A.; Kopke, Peter W. 64 1995 Alternating refinement relations. Zbl 1070.68524 Alur, Rajeev; Henzinger, Thomas A.; Kupferman, Orna; Vardi, Moshe Y. 64 1998 Event-clock automata: a determinizable class of timed automata. Zbl 0912.68132 Alur, Rajeev; Fix, Limor; Henzinger, Thomas A. 56 1999 Quantitative stochastic parity games. Zbl 1318.91027 Chatterjee, Krishnendu; Jurdziński, Marcin; Henzinger, Thomas A. 53 2004 A survey of stochastic \(\omega \)-regular games. Zbl 1237.91036 Chatterjee, Krishnendu; Henzinger, Thomas A. 48 2012 Antichains: a new algorithm for checking universality of finite automata. Zbl 1188.68171 De Wulf, M.; Doyen, L.; Henzinger, T. A.; Raskin, J.-F. 48 2006 Interface theories for component-based design. Zbl 1050.68518 de Alfaro, Luca; Henzinger, Thomas A. 48 2001 Discounting the future in systems theory. Zbl 1039.68087 de Alfaro, Luca; Henzinger, Thomas A.; Majumdar, Rupak 47 2003 Quantitative languages. Zbl 1156.68449 Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. 47 2008 Concurrent reachability games. Zbl 1154.91306 de Alfaro, Luca; Henzinger, Thomas A.; Kupferman, Orna 45 2007 Solving games without determinization. Zbl 1225.68118 Henzinger, Thomas A.; Piterman, Nir 43 2006 Algorithmic analysis of nonlinear hybrid systems. Zbl 0918.93019 Henzinger, Thomas A.; Ho, Pei-Hsin; Wong-Toi, Howard 43 1998 Generalized mean-payoff and energy games. Zbl 1245.68090 Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.; Raskin, Jean-François 43 2010 Games with secure equilibria. Zbl 1108.91007 Chatterjee, Krishnendu; Henzinger, Thomas A.; Jurdziński, Marcin 40 2006 Algorithms for omega-regular games with imperfect information. Zbl 1125.91028 Raskin, Jean-Francois; Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. 39 2007 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 38 2014 Fair simulation. Zbl 1009.68071 Henzinger, Thomas A.; Kupferman, Orna; Rajamani, Sriram K. 37 2002 Simple stochastic parity games. Zbl 1116.68493 Chatterjee, Krishnendu; Jurdziński, Marcin; Henzinger, Thomas A. 36 2003 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 36 2015 Strategy logic. Zbl 1151.03327 Chatterjee, Krishnendu; Henzinger, Thomas A.; Piterman, Nir 32 2007 What good are digital clocks? Zbl 1425.68255 Henzinger, Thomas A.; Manna, Zohar; Pnueli, Amir 31 1992 Finitary winning in \({\omega}\)-regular games. Zbl 1351.68156 Chatterjee, Krishnendu; Henzinger, Thomas A.; Horn, Florian 30 2009 Markov decision processes with multiple objectives. Zbl 1136.90498 Chatterjee, Krishnendu; Majumdar, Rupak; Henzinger, Thomas A. 29 2006 Alternating weighted automata. Zbl 1252.68167 Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. 29 2009 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. 27 1994 Expressiveness and closure properties for quantitative languages. Zbl 1200.68135 Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. 27 2010 Temporal specifications with accumulative values. Zbl 1354.68169 Boker, Udi; Chatterjee, Krishnendu; Henzinger, Thomas A.; Kupferman, Orna 26 2014 Model checking discounted temporal properties. Zbl 1079.68062 de Alfaro, Luca; Faella, Marco; Henzinger, Thomas A.; Majumdar, Rupak; Stoelinga, Mariëlle 25 2005 Proving non-termination. Zbl 1295.68158 Gupta, Ashutosh; Henzinger, Thomas A.; Majumdar, Rupak; Rybalchenko, Andrey; Xu, Ru-Gang 25 2008 Value iteration. Zbl 1143.68042 Chatterjee, Krishnendu; Henzinger, Thomas A. 24 2008 Compositional methods for probabilistic systems. Zbl 1006.68083 de Alfaro, Luca; Henzinger, Thomas A.; Jhala, Ranjit 24 2001 Model-checking \(\omega \)-regular properties of interval Markov chains. Zbl 1138.68441 Chatterjee, Krishnendu; Sen, Koushik; Henzinger, Thomas A. 23 2008 Discrete-time control for rectangular hybrid automata. Zbl 0930.68086 Henzinger, Thomas A.; Kopke, Peter W. 23 1999 Hybrid automata with finite bisimulations. Zbl 1412.68130 Henzinger, Thomas A. 23 1995 Lumpability abstractions of rule-based systems. Zbl 1267.68153 Feret, Jerome; Henzinger, Thomas; Koeppl, Heinz; Petrov, Tatjana 22 2012 Assume-guarantee synthesis. Zbl 1186.68284 Chatterjee, Krishnendu; Henzinger, Thomas A. 21 2007 Generalized parity games. Zbl 1195.68053 Chatterjee, Krishnendu; Henzinger, Thomas A.; Piterman, Nir 21 2007 Timed interfaces. Zbl 1027.68785 de Alfaro, Luca; Henzinger, Thomas A.; Stoelinga, Mariëlle 21 2002 Beyond HyTech: Hybrid systems analysis using interval numerical methods. Zbl 0938.93552 Henzinger, Thomas A.; Horowitz, Benjamin; Majumdar, Rupak; Wong-Toi, Howard 21 2000 Invariant synthesis for combined theories. Zbl 1132.68333 Beyer, Dirk; Henzinger, Thomas A.; Majumdar, Rupak; Rybalchenko, Andrey 20 2007 Simulation distances. Zbl 1234.68253 Černý, Pavol; Henzinger, Thomas A.; Radhakrishna, Arjun 20 2012 It’s about time: Real-time logics reviewed. Zbl 0928.03019 Henzinger, Thomas A. 20 1998 Algorithms for omega-regular games with imperfect information. Zbl 1225.91012 Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.; Raskin, Jean-François 20 2006 The complexity of stochastic Rabin and Streett games. Zbl 1085.68060 Chatterjee, Krishnendu; de Alfaro, Luca; Henzinger, Thomas A. 20 2005 The element of surprise in timed games. Zbl 1262.68141 de Alfaro, Luca; Faella, Marco; Henzinger, Thomas A.; Majumdar, Rupak; Stoelinga, Mariëlle 20 2003 Robust undecidability of timed and hybrid systems. Zbl 0944.93018 Henzinger, Thomas A.; Raskin, Jean-François 20 2000 Temporal-safety proofs for systems code. Zbl 1010.68507 Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Necula, George C.; Sutre, Grégoire; Weimer, Westley 20 2002 Software verification with BLAST. Zbl 1023.68532 Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Grégoire 19 2003 A classification of symbolic transition systems. Zbl 1367.68193 Henzinger, Thomas A.; Majumdar, Rupak; Raskin, Jean-François 19 2005 Sliding window abstraction for infinite Markov chains. Zbl 1242.60079 Henzinger, Thomas A.; Mateescu, Maria; Wolf, Verena 18 2009 Quantifying similarities between timed systems. Zbl 1175.68281 Henzinger, Thomas A.; Majumdar, Rupak; Prabhu, Vinayak S. 18 2005 Rectangular hybrid games. Zbl 0937.91005 Henzinger, Thomas A.; Horowitz, Benjamin; Majumdar, Rupak 18 1999 Quantitative relaxation of concurrent data structures. Zbl 1301.68176 Henzinger, Thomas A.; Kirsch, Christoph M.; Payer, Hannes; Sezgin, Ali; Sokolova, Ana 18 2013 Symbolic algorithms for infinite-state games. Zbl 1006.68095 de Alfaro, Luca; Henzinger, Thomas A.; Majumdar, Rupak 18 2001 Environment assumptions for synthesis. Zbl 1160.68437 Chatterjee, Krishnendu; Henzinger, Thomas A.; Jobstmann, Barbara 18 2008 Modularity for timed and hybrid systems. Zbl 1512.68146 Alur, Rajeev; Henzinger, Thomas A. 18 1997 Back to the future: Towards a theory of timed regular languages. Zbl 0977.68548 Alur, Rajeev; Henzinger, Thomas A. 17 1992 Equivalence of labeled Markov chains. Zbl 1155.68035 Doyen, Laurent; Henzinger, Thomas A.; Raskin, Jean-François 17 2008 Thread-modular abstraction refinement. Zbl 1278.68175 Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Qadeer, Shaz 17 2003 Qualitative analysis of partially-observable Markov decision processes. Zbl 1287.68104 Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. 17 2010 Computer aided verification. 8th international conference, CAV ’96, New Brunswick, NJ, USA, July 31 – August 3, 1996. Proceedings. Zbl 1102.68301 16 1996 Temporal proof methodologies for timed transition systems. Zbl 0820.68085 Henzinger, Thomas A.; Manna, Zohar; Pnueli, Amir 16 1994 Partial-order reduction in symbolic state-space exploration. Zbl 1001.68080 Alur, R.; Brayton, R. K.; Henzinger, T. A.; Qadeer, S.; Rajamani, S. K. 16 2001 Randomness for free. Zbl 1287.91027 Chatterjee, Krishnendu; Doyen, Laurent; Gimbert, Hugo; Henzinger, Thomas A. 16 2010 A logic-based framework for verifying consensus algorithms. Zbl 1428.68371 Drăgoi, Cezara; Henzinger, Thomas A.; Veith, Helmut; Widder, Josef; Zufferey, Damien 15 2014 Probabilistic weighted automata. Zbl 1254.68133 Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. 14 2009 Sooner is safer than later. Zbl 0753.68041 Henzinger, Thomas A. 14 1992 Automatic rectangular refinement of affine hybrid systems. Zbl 1175.68243 Doyen, Laurent; Henzinger, Thomas A.; Raskin, Jean-François 13 2005 Configurable software verification: Concretizing the convergence of model checking and program analysis. Zbl 1135.68466 Beyer, Dirk; Henzinger, Thomas A.; Théoduloz, Grégory 13 2007 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 13 2002 PSync: a partially synchronous language for fault-tolerant distributed algorithms. Zbl 1347.68036 Drăgoi, Cezara; Henzinger, Thomas A.; Zufferey, Damien 13 2016 Counterexample-guided control. Zbl 1039.68555 Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak 12 2003 Strategy improvement for concurrent reachability and turn-based stochastic safety games. Zbl 1269.91022 Chatterjee, Krishnendu; de Alfaro, Luca; Henzinger, Thomas A. 12 2013 Forward analysis of depth-bounded processes. Zbl 1284.68419 Wies, Thomas; Zufferey, Damien; Henzinger, Thomas A. 12 2010 The complexity of quantitative concurrent parity games. Zbl 1192.68430 Chatterjee, Krishnendu; de Alfaro, Luca; Henzinger, Thomas A. 12 2006 The benefits of relaxing punctuality. Zbl 1314.68195 Alur, Rajeev; Feder, Tomás; Henzinger, Thomas A. 12 1991 Finitary winning in \(\omega\)-regular games. Zbl 1180.68171 Chatterjee, Krishnendu; Henzinger, Thomas A. 11 2006 Giotto: A time-triggered language for embedded programming. Zbl 1050.68525 Henzinger, Thomas A.; Horowitz, Benjamin; Meyer Kirsch, Christoph 11 2001 Exact and approximate determinization of discounted-sum automata. Zbl 1325.68126 Boker, Udi; Henzinger, Thomas A. 11 2014 From model checking to model measuring. Zbl 1390.68428 Henzinger, Thomas A.; Otop, Jan 11 2013 Linear distances between Markov chains. Zbl 1392.68293 Daca, Przemysław; Henzinger, Thomas A.; Krětínský, Jan; Petrov, Tatjana 11 2016 A survey of stochastic games with limsup and liminf objectives. Zbl 1248.91015 Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. 10 2009 History-deterministic timed automata. Zbl 07941272 Bose, Sougata; Henzinger, Thomas A.; Lehtinen, Karoliina; Schewe, Sven; Totzke, Patrick 1 2024 Regular methods for operator precedence languages. Zbl 07944167 Henzinger, Thomas A.; Kebis, Pavol; Mazzocchi, Nicolas; Saraç, N. Ege 1 2023 History-deterministic timed automata are not determinizable. Zbl 07714977 Bose, Sougata; Henzinger, Thomas A.; Lehtinen, Karoliina; Schewe, Sven; Totzke, Patrick 4 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 History-deterministic timed automata. Zbl 07896547 Henzinger, Thomas A.; Lehtinen, Karoliina; Totzke, Patrick 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 Synthesis of hybrid automata with affine dynamics from time-series data. Zbl 07807675 Soto, Miriam García; Henzinger, Thomas A.; Schilling, Christian 1 2021 How many bits does it take to quantize your neural network? Zbl 1483.68192 Giacobbe, Mirco; Henzinger, Thomas A.; Lechner, Mathias 5 2020 Monitoring event frequencies. Zbl 07650833 Ferrère, Thomas; Henzinger, Thomas A.; Kragl, Bernhard 3 2020 Refinement for structured concurrent programs. Zbl 1478.68044 Kragl, Bernhard; Qadeer, Shaz; Henzinger, Thomas A. 2 2020 A survey of bidding games on graphs (Invited Paper). Zbl 07559458 Avni, Guy; Henzinger, Thomas A. 1 2020 Run-time optimization for learned controllers through quantitative games. Zbl 1533.93196 Avni, Guy; Bloem, Roderick; Chatterjee, Krishnendu; Henzinger, Thomas A.; Könighofer, Bettina; Pranger, Stefan 9 2019 Infinite-duration bidding games. Zbl 1448.91060 Avni, Guy; Henzinger, Thomas A.; Chonev, Ventsislav 5 2019 Membership-based synthesis of linear hybrid automata. Zbl 1533.68158 García Soto, Miriam; Henzinger, Thomas A.; Schilling, Christian; Zeleznik, Luka 5 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 3 2019 Bidding mechanisms in graph games. Zbl 1539.91027 Avni, Guy; Henzinger, Thomas A.; Žikelić, Đorde 3 2019 Quantitative automata under probabilistic semantics. Zbl 1442.68086 Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan 2 2019 Long-run average behavior of vector addition systems with states. Zbl 07649935 Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan 2 2019 Bidding games on Markov decision processes. Zbl 1455.91054 Avni, Guy; Henzinger, Thomas A.; Ibsen-Jensen, Rasmus; Novotný, Petr 2 2019 Determinacy in discrete-bidding infinite-duration games. Zbl 07649928 Aghajohari, Milad; Avni, Guy; Henzinger, Thomas A. 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 75 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 5 2018 Introduction to model checking. Zbl 1392.68242 Clarke, Edmund M.; Henzinger, Thomas A.; Veith, Helmut 2 2018 Reachable set over-approximation for nonlinear systems using piecewise barrier tubes. Zbl 1511.68159 Kong, Hui; Bartocci, Ezio; Henzinger, Thomas A. 2 2018 Monitoring temporal logic with clock variables. Zbl 1514.68129 Elgyütt, Adrián; Ferrère, Thomas; Henzinger, Thomas A. 2 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. 9 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. 8 2017 Faster statistical model checking for unbounded temporal properties. Zbl 1367.68188 Daca, Przemysław; Henzinger, Thomas A.; Křetínský, Jan; Petrov, Tatjana 5 2017 Infinite-duration bidding games. Zbl 1448.91061 Avni, Guy; Henzinger, Thomas A.; Chonev, Ventsislav 4 2017 The cost of exactness in quantitative reachability. Zbl 1431.68073 Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. 4 2017 Quantitative fair simulation games. Zbl 1370.68165 Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan; Velner, Yaron 3 2017 Bidirectional nested weighted automata. Zbl 1442.68087 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 Nested weighted automata. Zbl 1407.68248 Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan 3 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 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 Conic abstractions for hybrid systems. Zbl 1497.93109 Bogomolov, Sergiy; Giacobbe, Mirco; Henzinger, Thomas A.; Kong, Hui 2 2017 Edit distance for pushdown automata. Zbl 1440.68152 Chatterjee, Krishnendu; Henzinger, Thomas A.; Ibsen-Jensen, Rasmus; Otop, Jan 1 2017 Preface of the special issue in memoriam Helmut Veith. Zbl 1384.00074 1 2017 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 13 2016 Linear distances between Markov chains. Zbl 1392.68293 Daca, Przemysław; Henzinger, Thomas A.; Krětínský, Jan; Petrov, Tatjana 11 2016 Dynamic resource allocation games. Zbl 1403.91059 Avni, Guy; Henzinger, Thomas A.; Kupferman, Orna 10 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 7 2016 Quantitative automata under probabilistic semantics. Zbl 1401.68155 Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan 7 2016 Array folds logic. Zbl 1411.68061 Daca, Przemysław; Henzinger, Thomas A.; Kupriyanov, Andrey 6 2016 Quantitative monitor automata. Zbl 1394.68207 Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan 6 2016 Abstraction-driven concolic testing. Zbl 1475.68079 Daca, Przemysław; Gupta, Ashutosh; Henzinger, Thomas A. 4 2016 Nested weighted limit-average automata of bounded width. Zbl 1398.68305 Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan 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 Discrete abstraction of multiaffine systems. Zbl 1428.92040 Kong, Hui; Bartocci, Ezio; Bogomolov, Sergiy; Grosu, Radu; Henzinger, Thomas A.; Jiang, Yu; Schilling, Christian 2 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 36 2015 Measuring and synthesizing systems in probabilistic environments. Zbl 1321.68344 Chatterjee, Krishnendu; Henzinger, Thomas A.; Jobstmann, Barbara; Singh, Rohit 8 2015 Nested weighted automata. Zbl 1401.68154 Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan 8 2015 The target discounted-sum problem. Zbl 1401.68149 Boker, Udi; Henzinger, Thomas A.; Otop, Jan 8 2015 Edit distance for pushdown automata. Zbl 1440.68151 Chatterjee, Krishnendu; Henzinger, Thomas A.; Ibsen-Jensen, Rasmus; Otop, Jan 7 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 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 Segment abstraction for worst-case execution time analysis. Zbl 1335.68049 Černý, Pavol; Henzinger, Thomas A.; Kovács, Laura; Radhakrishna, Arjun; Zwirchmayr, Jakob 3 2015 Randomness for free. Zbl 1333.91008 Chatterjee, Krishnendu; Doyen, Laurent; Gimbert, Hugo; Henzinger, Thomas A. 2 2015 Succinct representation of concurrent trace sets. Zbl 1345.68108 Gupta, Ashutosh; Henzinger, Thomas A.; Radhakrishna, Arjun; Samanta, Roopsha; Tarrach, Thorsten 2 2015 Aspect-oriented linearizability proofs. Zbl 1391.68023 Chakraborty, Soham; Henzinger, Thomas A.; Sezgin, Ali; Vafeiadis, Viktor 2 2015 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 38 2014 Temporal specifications with accumulative values. Zbl 1354.68169 Boker, Udi; Chatterjee, Krishnendu; Henzinger, Thomas A.; Kupferman, Orna 26 2014 A logic-based framework for verifying consensus algorithms. Zbl 1428.68371 Drăgoi, Cezara; Henzinger, Thomas A.; Veith, Helmut; Widder, Josef; Zufferey, Damien 15 2014 Exact and approximate determinization of discounted-sum automata. Zbl 1325.68126 Boker, Udi; Henzinger, Thomas A. 11 2014 Lipschitz robustness of finite-state transducers. Zbl 1360.68559 Henzinger, Thomas A.; Otop, Jan; Samanta, Roopsha 3 2014 Model measuring for hybrid systems. Zbl 1362.68173 Henzinger, Thomas A.; Otop, Jan 2 2014 Battery transition systems. Zbl 1284.68382 Boker, Udi; Henzinger, Thomas A.; Radhakrishna, Arjun 2 2014 Quantitative relaxation of concurrent data structures. Zbl 1301.68176 Henzinger, Thomas A.; Kirsch, Christoph M.; Payer, Hannes; Sezgin, Ali; Sokolova, Ana 18 2013 Strategy improvement for concurrent reachability and turn-based stochastic safety games. Zbl 1269.91022 Chatterjee, Krishnendu; de Alfaro, Luca; Henzinger, Thomas A. 12 2013 From model checking to model measuring. Zbl 1390.68428 Henzinger, Thomas A.; Otop, Jan 11 2013 Aspect-oriented linearizability proofs. Zbl 1390.68213 Henzinger, Thomas A.; Sezgin, Ali; Vafeiadis, Viktor 10 2013 A survey of partial-observation stochastic parity games. Zbl 1291.91022 Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. 8 2013 Quantitative abstraction refinement. Zbl 1301.68244 Cerny, Pavol; Henzinger, Thomas A.; Radhakrishna, Arjun 6 2013 Computational methods in systems biology. 11th international conference, CMSB 2013, Klosterneuburg, Austria, September 22–24, 2013. Proceedings. Zbl 1321.92032 1 2013 A survey of stochastic \(\omega \)-regular games. Zbl 1237.91036 Chatterjee, Krishnendu; Henzinger, Thomas A. 48 2012 Lumpability abstractions of rule-based systems. Zbl 1267.68153 Feret, Jerome; Henzinger, Thomas; Koeppl, Heinz; Petrov, Tatjana 22 2012 Simulation distances. Zbl 1234.68253 Černý, Pavol; Henzinger, Thomas A.; Radhakrishna, Arjun 20 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. 10 2011 Timed parity games: complexity and robustness. Zbl 1237.68112 Chatterjee, Krishnendu; Henzinger, Thomas A.; Prabhu, Vinayak S. 9 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 4 2011 Determinizing discounted-sum automata. Zbl 1247.68128 Boker, Udi; Henzinger, Thomas A. 3 2011 Formalisms for specifying Markovian population models. Zbl 1216.68190 Henzinger, Thomas; Jobstmann, Barbara; Wolf, Verena 2 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 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 71 2010 Quantitative languages. Zbl 1351.68155 Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. 67 2010 ...and 152 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 3,395 Authors 88 Henzinger, Thomas A. 86 Chatterjee, Krishnendu 50 Larsen, Kim Guldstrand 48 Kupferman, Orna 46 Raskin, Jean-François 41 Bouyer, Patricia 32 Markey, Nicolas 31 Legay, Axel 28 Kwiatkowska, Marta Z. 28 Murano, Aniello 27 Brihaye, Thomas 27 Droste, Manfred 26 Alur, Rajeev 26 Baier, Christel 26 Majumdar, Rupak 26 Schewe, Sven 25 Lime, Didier 25 Wooldridge, Michael J. 24 Doyen, Laurent 22 Katoen, Joost-Pieter 22 Vardi, Moshe Ya’akov 21 Bozzelli, Laura 21 Randour, Mickael 21 Zimmermann, Martin 20 André, Étienne 20 Fahrenberg, Uli 20 Mogavero, Fabio 20 Norman, Gethin 19 Bruyère, Véronique 18 Avni, Guy 18 Gutierrez, Julian 18 Parker, David J. 18 Worrell, James Benjamin 17 Křetínský, Jan 17 Podelski, Andreas 17 Trivedi, Ashutosh 16 Bouajjani, Ahmed 16 Otop, Jan 16 Roux, Olivier H. 16 Zhan, Naijun 15 Benerecetti, Massimo 15 Cimatti, Alessandro 15 Montanari, Angelo 15 Ouaknine, Joel O. 15 Perelli, Giuseppe 15 Pinchinat, Sophie 15 Platzer, André 15 Schmuck, Anne-Kathrin 14 Ågotnes, Thomas 14 Hermanns, Holger 14 Tripakis, Stavros 13 Bérard, Béatrice 13 Bertrand, Nathalie 13 Bortolussi, Luca 13 Enea, Constantin 13 Kröning, Daniel 13 Maler, Oded 13 Piazza, Carla 13 Prabhakar, Pavithra 13 Rybalchenko, Andrey 13 Zhang, Lijun 12 Demri, Stéphane P. 12 Fränzle, Martin 12 Haddad, Serge 12 Jamroga, Wojciech 12 Lehtinen, Karoliina 12 Pandya, Paritosh K. 12 Piterman, Nir 12 Sproston, Jeremy 12 Tini, Simone 12 Viswanathan, Mahesh 11 Abate, Alessandro 11 Abdulla, Parosh Aziz 11 Boker, Udi 11 de Alfaro, Luca 11 Guha, Shibashis 11 Hahn, Ernst Moritz 11 Holík, Lukáš 11 Krishna, Shankara Narayanan 11 Kucera, Antonin 11 Lanotte, Ruggero 11 Leroux, Stéphane 11 Pappas, George J. 11 Tonetta, Stefano 11 Vaandrager, Frits W. 10 Asarin, Eugene 10 Bournez, Olivier 10 Clarke, Edmund Melson jun. 10 Filiot, Emmanuel 10 Finkbeiner, Bernd 10 Jobstmann, Barbara 10 Pérez, Guillermo A. 10 Pnueli, Amir 10 Quaas, Karin 10 Sankur, Ocan 10 van der Hoek, Wiebe 10 Wąsowski, Andrzej 9 Alechina, Natasha 9 Bartocci, Ezio 9 Beneš, Nikola ...and 3,295 more Authors all top 5 Cited in 141 Serials 217 Theoretical Computer Science 162 Information and Computation 120 Formal Methods in System Design 65 Logical Methods in Computer Science 57 Formal Aspects of Computing 49 Acta Informatica 49 Artificial Intelligence 37 Journal of Computer and System Sciences 37 Nonlinear Analysis. Hybrid Systems 29 Discrete Event Dynamic Systems 29 Journal of Logical and Algebraic Methods in Programming 27 International Journal of Foundations of Computer Science 25 The Journal of Logic and Algebraic Programming 24 Journal of Automated Reasoning 24 ACM Transactions on Computational Logic 23 Automatica 21 Information Processing Letters 15 Real-Time Systems 15 European Journal of Control 13 Synthese 12 Journal of Logic, Language and Information 12 Theory of Computing Systems 11 Science of Computer Programming 10 Studia Logica 10 Journal of Applied Non-Classical Logics 9 Information Sciences 9 International Journal of Approximate Reasoning 9 Mathematical Structures in Computer Science 9 Fundamenta Informaticae 8 International Journal of Control 8 Journal of Symbolic Computation 8 Distributed Computing 8 International Journal of Robust and Nonlinear Control 8 Annals of Mathematics and Artificial Intelligence 8 Journal of the ACM 7 Systems & Control Letters 7 Annals of Pure and Applied Logic 7 Cybernetics and Systems Analysis 7 Theory and Practice of Logic Programming 7 Journal of Applied Logic 6 Fuzzy Sets and Systems 6 Journal of Philosophical Logic 6 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods 6 Programming and Computer Software 6 ACM Transactions on Modeling and Computer Simulation 6 The Review of Symbolic Logic 5 Computer Science Review 4 The Journal of Artificial Intelligence Research (JAIR) 4 Mathematics in Computer Science 4 Games 4 Frontiers of Computer Science 4 TheoretiCS 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 RAIRO. Theoretical Informatics and Applications 3 Dynamic Games and Applications 3 Modelirovanie i Analiz Informatsionnykh Sistem 2 ACM Computing Surveys 2 International Journal of General Systems 2 International Journal of Systems Science 2 Journal of Optimization Theory and Applications 2 Naval Research Logistics 2 SIAM Journal on Computing 2 Journal of Computer Science and Technology 2 Algorithmica 2 Vestnik St. Petersburg University. Mathematics 2 Economic Theory 2 Computational & Mathematical Organization Theory 2 Mathematical Problems in Engineering 2 Higher-Order and Symbolic Computation 2 Communications in Nonlinear Science and Numerical Simulation 2 International Game Theory Review 2 Journal of Systems Science and Complexity 2 Journal of Applied Mathematics 2 Computer Languages, Systems & Structures 2 Optimization Letters 2 Science China. Information Sciences 1 Computers & Mathematics with Applications 1 Discrete Applied Mathematics 1 Journal of the Franklin Institute 1 Journal of Mathematical Biology 1 Journal of Statistical Physics 1 ACM Transactions on Database Systems 1 International Journal of Game Theory 1 Journal of Applied Probability 1 Kybernetes 1 Notre Dame Journal of Formal Logic 1 SIAM Journal on Control and Optimization 1 Physica D 1 Journal of Complexity 1 International Journal of Parallel Programming 1 Computers & Operations Research 1 International Journal of Intelligent Systems ...and 41 more Serials all top 5 Cited in 38 Fields 2,269 Computer science (68-XX) 596 Mathematical logic and foundations (03-XX) 412 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 350 Systems theory; control (93-XX) 116 Operations research, mathematical programming (90-XX) 67 Biology and other natural sciences (92-XX) 54 Probability theory and stochastic processes (60-XX) 36 Combinatorics (05-XX) 32 Ordinary differential equations (34-XX) 28 Numerical analysis (65-XX) 23 Information and communication theory, circuits (94-XX) 16 Dynamical systems and ergodic theory (37-XX) 15 Category theory; homological algebra (18-XX) 10 Calculus of variations and optimal control; optimization (49-XX) 9 Order, lattices, ordered algebraic structures (06-XX) 7 Number theory (11-XX) 7 Linear and multilinear algebra; matrix theory (15-XX) 7 General topology (54-XX) 6 General and overarching topics; collections (00-XX) 6 Associative rings and algebras (16-XX) 5 Quantum theory (81-XX) 4 Statistics (62-XX) 3 Mechanics of particles and systems (70-XX) 2 Measure and integration (28-XX) 2 Algebraic topology (55-XX) 2 Relativity and gravitational theory (83-XX) 1 History and biography (01-XX) 1 Field theory and polynomials (12-XX) 1 Commutative algebra (13-XX) 1 Algebraic geometry (14-XX) 1 Group theory and generalizations (20-XX) 1 Partial differential equations (35-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 Fluid mechanics (76-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.