Thomas A. Henzinger

Institute of Science and Technology Austria

	2012
336		Damien Zufferey, Thomas Wies, Thomas A. Henzinger: Ideal Abstractions for Well-Structured Transition Systems. VMCAI 2012: 445-460
335		Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger: Strategy Improvement for Concurrent Reachability and Safety Games CoRR abs/1201.2834: (2012)
334		Krishnendu Chatterjee, Thomas A. Henzinger: A survey of stochastic ω-regular games. J. Comput. Syst. Sci. 78(2): 394-413 (2012)
333		Arkadeb Ghosal, Daniel T. Iercan, Christoph M. Kirsch, Thomas A. Henzinger, Alberto L. Sangiovanni-Vincentelli: Separate compilation of hierarchical real-time programs into linear-bounded Embedded Machine code. Sci. Comput. Program. 77(2): 96-112 (2012)
332		Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna: Simulation distances. Theor. Comput. Sci. 413(1): 21-35 (2012)
	2011
331		Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh: Quantitative Synthesis for Concurrent Programs. CAV 2011: 243-259
330		Thomas A. Henzinger, Maria Mateescu: Propagation models for computing biochemical reaction networks. CMSB 2011: 1-3
329		Jasmin Fisher, Thomas A. Henzinger, Dejan Nickovic, Nir Piterman, Anmol V. Singh, Moshe Y. Vardi: Dynamic Reactive Modules. CONCUR 2011: 404-418
328		Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger: The Complexity of Quantitative Information Flow Problems. CSF 2011: 205-217
327		Udi Boker, Thomas A. Henzinger: Determinizing Discounted-Sum Automata. CSL 2011: 82-96
326		Pavol Cerný, Thomas A. Henzinger: From boolean to quantitative synthesis. EMSOFT 2011: 149-154
325		Thomas A. Henzinger, Vasu Singh, Thomas Wies, Damien Zufferey: Scheduling large jobs by abstraction refinement. EuroSys 2011: 329-342
324		Krishnendu Chatterjee, Thomas A. Henzinger, Florian Horn: The Complexity of Request-Response Games. LATA 2011: 227-237
323		Udi Boker, Krishnendu Chatterjee, Thomas A. Henzinger, Orna Kupferman: Temporal Specifications with Accumulative Values. LICS 2011: 43-52
322		Raluca Halalai, Thomas A. Henzinger, Vasu Singh: Quantitative Evaluation of BFT Protocols. QEST 2011: 255-264
321		Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann: Specification-centered robustness. SIES 2011: 176-185
320		Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh: QUASY: Quantitative Synthesis Tool. TACAS 2011: 267-271
319		Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger: Qualitative concurrent parity games. ACM Trans. Comput. Log. 12(4): 28 (2011)
318		Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee: A Theory of Synchronous Relational Interfaces. ACM Trans. Program. Lang. Syst. 33(4): 14 (2011)
317		Krishnendu Chatterjee, Thomas A. Henzinger, Mathieu Tracol: The Decidability Frontier for Probabilistic Automata on Infinite Words CoRR abs/1104.0127: (2011)
316		Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh: Quantitative Synthesis for Concurrent Programs CoRR abs/1104.4306: (2011)
315		Dirk Beyer, Thomas A. Henzinger, M. Erkan Keremoglu, Philipp Wendler: Conditional Model Checking CoRR abs/1109.6926: (2011)
314		Jasmin Fisher, David Harel, Thomas A. Henzinger: Biology as reactivity. Commun. ACM 54(10): 72-82 (2011)
313		Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh: Verification of STM on relaxed memory models. Formal Methods in System Design 39(3): 297-331 (2011)
312		Thomas A. Henzinger, Barbara Jobstmann, Verena Wolf: Formalisms for Specifying Markovian Population Models. Int. J. Found. Comput. Sci. 22(4): 823-841 (2011)
311		Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu: Timed Parity Games: Complexity and Robustness Logical Methods in Computer Science 7(4): (2011)
310		Frédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf: Approximation of event probabilities in noisy cellular processes. Theor. Comput. Sci. 412(21): 2128-2141 (2011)
	2010
309		Krishnendu Chatterjee, Thomas A. Henzinger: Formal Modeling and Analysis of Timed Systems - 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings Springer 2010
308		Laurent Doyen, Thomas A. Henzinger, Axel Legay, Dejan Nickovic: Robustness of Sequential Circuits. ACSD 2010: 77-84
307		Krishnendu Chatterjee, Thomas A. Henzinger: Probabilistic Automata on Infinite Words: Decidability and Undecidability Results. ATVA 2010: 1-16
306		Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh: Measuring and Synthesizing Systems in Probabilistic Environments. CAV 2010: 380-395
305		Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann: Robustness in the Presence of Liveness. CAV 2010: 410-424
304		Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Arjun Radhakrishna: Gist: A Solver for Probabilistic Games. CAV 2010: 665-669
303		Thomas A. Henzinger, Linar Mikeev, Maria Mateescu, Verena Wolf: Hybrid numerical solution of the chemical master equation. CMSB 2010: 55-65
302		Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna: Simulation Distances. CONCUR 2010: 253-268
301		Krishnendu Chatterjee, Laurent Doyen, Herbert Edelsbrunner, Thomas A. Henzinger, Philippe Rannou: Mean-Payoff Automaton Expressions. CONCUR 2010: 269-283
300		Thomas A. Henzinger, Anmol V. Singh, Vasu Singh, Thomas Wies, Damien Zufferey: A marketplace for cloud resources. EMSOFT 2010: 1-8
299		Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna: Quantitative Simulation Games. Essays in Memory of Amir Pnueli 2010: 42-60
298		Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz, Damien Zufferey: Shape Refinement through Explicit Heap Analysis. FASE 2010: 263-277
297		Thomas Wies, Damien Zufferey, Thomas A. Henzinger: Forward Analysis of Depth-Bounded Processes. FOSSACS 2010: 94-108
296		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin: Generalized Mean-payoff and Energy Games. FSTTCS 2010: 505-516
295		Thomas A. Henzinger, Anmol V. Singh, Vasu Singh, Thomas Wies, Damien Zufferey: FlexPRICE: Flexible Provisioning of Resources in a Cloud Environment. IEEE CLOUD 2010: 83-90
294		Régis Blanc, Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács: ABC: Algebraic Bound Computation for Loops. LPAR (Dakar) 2010: 103-118
293		Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács, Andrey Rybalchenko: Aligators for Arrays (Tool Paper). LPAR (Yogyakarta) 2010: 348-356
292		Krishnendu Chatterjee, Laurent Doyen, Hugo Gimbert, Thomas A. Henzinger: Randomness for Free. MFCS 2010: 246-257
291		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger: Qualitative Analysis of Partially-Observable Markov Decision Processes. MFCS 2010: 258-269
290		Jérôme Feret, Thomas A. Henzinger, Heinz Koeppl, Tatjana Petrov: Lumpability Abstractions of Rule-based Systems MeCBIC 2010: 142-161
289		Thomas A. Henzinger: From Boolean to quantitative notions of correctness. POPL 2010: 157-158
288		Frédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf: SABRE: A Tool for Stochastic Analysis of Biochemical Reaction Networks. QEST 2010: 193-194
287		Rachid Guerraoui, Thomas A. Henzinger, Michal Kapalka, Vasu Singh: Transactions in the jungle. SPAA 2010: 263-272
286		Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács, Andrei Voronkov: Invariant and Type Inference for Matrices. VMCAI 2010: 163-179
285		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger: Quantitative languages. ACM Trans. Comput. Log. 11(4): (2010)
284		Yashdeep Godhal, Krishnendu Chatterjee, Thomas A. Henzinger: Synthesis of AMBA AHB from Formal Specification CoRR abs/1001.2811: (2010)
283		Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh: Measuring and Synthesizing Systems in Probabilistic Environments CoRR abs/1004.0739: (2010)
282		Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Arjun Radhakrishna: GIST: A Solver for Probabilistic Games CoRR abs/1004.2367: (2010)
281		Thomas A. Henzinger, Maria Mateescu, Linar Mikeev, Verena Wolf: Hybrid Numerical Solution of the Chemical Master Equation CoRR abs/1005.0747: (2010)
280		Frédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf: SABRE: A Tool for Stochastic Analysis of Biochemical Reaction Networks CoRR abs/1005.2819: (2010)
279		Krishnendu Chatterjee, Laurent Doyen, Hugo Gimbert, Thomas A. Henzinger: Randomness for Free CoRR abs/1006.0673: (2010)
278		Krishnendu Chatterjee, Laurent Doyen, Herbert Edelsbrunner, Thomas A. Henzinger, Philippe Rannou: Mean-payoff Automaton Expressions CoRR abs/1006.1492: (2010)
277		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin: Generalized Mean-payoff and Energy Games CoRR abs/1007.1669: (2010)
276		Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh: Model checking transactional memories. Distributed Computing 22(3): 129-145 (2010)
275		Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger: Strategy construction for parity games with imperfect information. Inf. Comput. 208(10): 1206-1220 (2010)
274		Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman: Strategy logic. Inf. Comput. 208(6): 677-693 (2010)
273		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger: Expressiveness and Closure Properties for Quantitative Languages Logical Methods in Computer Science 6(3): (2010)
	2009
272		Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann: Better Quality in Synthesis through Quantitative Objectives. CAV 2009: 140-156
271		Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh: Software Transactional Memory on Relaxed Memory Models. CAV 2009: 321-336
270		Thomas A. Henzinger, Maria Mateescu, Verena Wolf: Sliding Window Abstraction for Infinite Markov Chains. CAV 2009: 337-352
269		Frédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf: Approximation of Event Probabilities in Noisy Cellular Processes. CMSB 2009: 173-188
268		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger: Probabilistic Weighted Automata. CONCUR 2009: 244-258
267		Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee: On relational interfaces. EMSOFT 2009: 67-76
266		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger: Alternating Weighted Automata. FCT 2009: 3-13
265		Roderick Bloem, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann: Synthesizing robust systems. FMCAD 2009: 85-92
264		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger: A Survey of Stochastic Games with Limsup and Liminf Objectives. ICALP (2) 2009: 1-15
263		Thomas A. Henzinger, Christoph M. Kirsch, Eduardo R. B. Marques, Ana Sokolova: Distributed, Modular HTL. IEEE Real-Time Systems Symposium 2009: 171-180
262		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger: Expressiveness and Closure Properties for Quantitative Languages. LICS 2009: 199-208
261		Krishnendu Chatterjee, Thomas A. Henzinger, Florian Horn: Stochastic Games with Finitary Objectives. MFCS 2009: 34-54
260		Thomas A. Henzinger, Barbara Jobstmann, Verena Wolf: Formalisms for Specifying Markovian Population Models. RP 2009: 3-23
259		Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger: Termination criteria for solving concurrent safety and reachability games. SODA 2009: 197-206
258		Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger: Alpaga: A Tool for Solving Parity Games with Imperfect Information. TACAS 2009: 58-61
257		Krishnendu Chatterjee, Thomas A. Henzinger, Florian Horn: Finitary winning in omega-regular games. ACM Trans. Comput. Log. 11(1): (2009)
256		Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger: Alpaga: A Tool for Solving Parity Games with Imperfect Information CoRR abs/0901.4728: (2009)
255		Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann: Better Quality in Synthesis through Quantitative Objectives CoRR abs/0904.2638: (2009)
254		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger: Expressiveness and Closure Properties for Quantitative Languages CoRR abs/0905.2195: (2009)
253		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger: Qualitative Analysis of Partially-observable Markov Decision Processes CoRR abs/0909.1645: (2009)
252		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger: Probabilistic Weighted Automata CoRR abs/0909.1647: (2009)
251		Randal E. Bryant, Orna Grumberg, Thomas A. Henzinger, Moshe Y. Vardi: The 2008 CAV Award citation. Formal Methods in System Design 35(1): 4-5 (2009)
	2008
250		Krishnendu Chatterjee, Thomas A. Henzinger: Value Iteration. 25 Years of Model Checking 2008: 107-138
249		Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz: Program Analysis with Dynamic Precision Adjustment. ASE 2008: 29-38
248		Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann: Environment Assumptions for Synthesis. CONCUR 2008: 147-161
247		Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh: Completeness and Nondeterminism in Model Checking Transactional Memories. CONCUR 2008: 21-35
246		Dietmar Berwanger, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Sangram Raje: Strategy Construction for Parity Games with Imperfect Information. CONCUR 2008: 325-339
245		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger: Quantitative Languages. CSL 2008: 385-400
244		Krishnendu Chatterjee, Arkadeb Ghosal, Thomas A. Henzinger, Daniel T. Iercan, Christoph M. Kirsch, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli: Logical Reliability of Interacting Real-Time Tasks. DATE 2008: 909-914
243		Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh: Permissiveness in Transactional Memories. DISC 2008: 305-319
242		Laurent Doyen, Thomas A. Henzinger, Barbara Jobstmann, Tatjana Petrov: Interface theories with component reuse. EMSOFT 2008: 79-88
241		Jasmin Fisher, Thomas A. Henzinger, Maria Mateescu, Nir Piterman: Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions. FMSB 2008: 17-32
240		Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu: Timed Parity Games: Complexity and Robustness. FORMATS 2008: 124-140
239		Krishnendu Chatterjee, Koushik Sen, Thomas A. Henzinger: Model-Checking omega-Regular Properties of Interval Markov Chains. FoSSaCS 2008: 302-317
238		Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger: Controller Synthesis with Budget Constraints. HSCC 2008: 72-86
237		Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu: Trading Infinite Memory for Uniform Randomness in Timed Games. HSCC 2008: 87-100
236		Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács: Valigator: A Verification Tool with Bound and Invariant Generation. LPAR 2008: 333-342
235		Rachid Guerraoui, Thomas A. Henzinger, Barbara Jobstmann, Vasu Singh: Model checking transactional memories. PLDI 2008: 372-382
234		Ashutosh Gupta, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko, Ru-Gang Xu: Proving non-termination. POPL 2008: 147-158
233		Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger: Strategy Improvement for Concurrent Safety Games CoRR abs/0804.4530: (2008)
232		Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman: Algorithms for Büchi Games CoRR abs/0805.2620: (2008)
231		Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger: Stochastic Limit-Average Games are in EXPTIME CoRR abs/0805.2622: (2008)
230		Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann: Environment Assumptions for Synthesis CoRR abs/0805.4167: (2008)
229		Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu: Timed Parity Games: Complexity and Robustness CoRR abs/0807.1165: (2008)
228		Krishnendu Chatterjee, Thomas A. Henzinger: Probabilistic Systems with LimSup and LimInf Objectives CoRR abs/0809.1465: (2008)
227		Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger: Termination Criteria for Solving Concurrent Safety and Reachability Games CoRR abs/0809.4017: (2008)
226		Krishnendu Chatterjee, Thomas A. Henzinger: Reduction of stochastic parity to stochastic mean-payoff games. Inf. Process. Lett. 106(1): 1-7 (2008)
225		Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin: Equivalence of Labeled Markov Chains. Int. J. Found. Comput. Sci. 19(3): 549-563 (2008)
224		Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger: Stochastic limit-average games are in EXPTIME. Int. J. Game Theory 37(2): 219-234 (2008)
	2007
223		Jacques Duparc, Thomas A. Henzinger: Computer Science Logic, 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings Springer 2007
222		Dirk Beyer, Thomas A. Henzinger, Vasu Singh: Algorithms for Interface Synthesis. CAV 2007: 4-19
221		Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz: Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis. CAV 2007: 504-518
220		Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman: Strategy Logic. CONCUR 2007: 59-73
219		Thomas A. Henzinger: Quantitative Generalizations of Languages. Developments in Language Theory 2007: 20-22
218		Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman: Generalized Parity Games. FoSSaCS 2007: 153-167
217		Thomas Brihaye, Thomas A. Henzinger, Vinayak S. Prabhu, Jean-François Raskin: Minimum-Time Reachability in Timed Games. ICALP 2007: 825-837
216		Dirk Beyer, Arindam Chakrabarti, Thomas A. Henzinger, Sanjit A. Seshia: An Application ofWeb-Service Interfaces. ICWS 2007: 831-838
215		Krishnendu Chatterjee, Thomas A. Henzinger: Probabilistic Systems with LimSup and LimInf Objectives. ILC 2007: 32-45
214		Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko: Path invariants. PLDI 2007: 300-309
213		Thomas A. Henzinger: Games, Time, and Probability: Graph Models for System Design and Analysis. SOFSEM (1) 2007: 103-110
212		Krishnendu Chatterjee, Thomas A. Henzinger: Assume-Guarantee Synthesis. TACAS 2007: 261-275
211		Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko: Invariant Synthesis for Combined Theories. VMCAI 2007: 378-394
210		Thomas A. Henzinger, Christoph M. Kirsch: The embedded machine: Predictable, portable real-time code. ACM Trans. Program. Lang. Syst. 29(6): (2007)
209		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin: Algorithms for Omega-Regular Games with Imperfect Information CoRR abs/0706.2619: (2007)
208		Thomas A. Henzinger, Joseph Sifakis: The Discipline of Embedded Systems Design. IEEE Computer 40(10): 32-40 (2007)
207		Jean-François Raskin, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger: Algorithms for Omega-Regular Games with Imperfect Information. Logical Methods in Computer Science 3(3): (2007)
206		Jasmin Fisher, Nir Piterman, Alex Hajnal, Thomas A. Henzinger: Predictive Modeling of Signaling Crosstalk during C. elegans Vulval Development. PLoS Computational Biology 3(5): (2007)
205		Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: The software model checker Blast. STTT 9(5-6): 505-525 (2007)
204		Luca de Alfaro, Thomas A. Henzinger, Orna Kupferman: Concurrent reachability games. Theor. Comput. Sci. 386(3): 188-217 (2007)
	2006
203		Martin De Wulf, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin: Antichains: A New Algorithm for Checking Universality of Finite Automata. CAV 2006: 17-30
202		Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz: Lazy Shape Analysis. CAV 2006: 532-546
201		Krishnendu Chatterjee, Thomas A. Henzinger: Strategy Improvement for Stochastic Rabin and Streett Games. CONCUR 2006: 375-389
200		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin: Algorithms for Omega-Regular Games with Imperfect Information, . CSL 2006: 287-302
199		Thomas A. Henzinger, Nir Piterman: Solving Games Without Determinization. CSL 2006: 395-410
198		Arkadeb Ghosal, Alberto L. Sangiovanni-Vincentelli, Christoph M. Kirsch, Thomas A. Henzinger, Daniel T. Iercan: A hierarchical coordination language for interacting real-time tasks. EMSOFT 2006: 132-141
197		Thomas A. Henzinger, Joseph Sifakis: The Embedded Systems Design Challenge. FM 2006: 1-15
196		Thomas A. Henzinger, Vinayak S. Prabhu: Timed Alternating-Time Temporal Logic. FORMATS 2006: 1-17
195		Thomas A. Henzinger, Slobodan Matic: An Interface Algebra for Real-Time Components. IEEE Real Time Technology and Applications Symposium 2006: 253-266
194		Roman Manevich, John Field, Thomas A. Henzinger, G. Ramalingam, Mooly Sagiv: Abstract Counterexample-Based Refinement for Powerset Domains. Program Analysis and Compilation 2006: 273-292
193		Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga: Compositional Quantitative Reasoning. QEST 2006: 179-188
192		Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger: Strategy Improvement for Concurrent Reachability Games. QEST 2006: 291-300
191		Bhargav S. Gulavani, Thomas A. Henzinger, Yamini Kannan, Aditya V. Nori, Sriram K. Rajamani: SYNERGY: a new algorithm for property checking. SIGSOFT FSE 2006: 117-127
190		Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger: The complexity of quantitative concurrent parity games. SODA 2006: 678-687
189		Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger: Markov Decision Processes with Multiple Objectives. STACS 2006: 325-336
188		Krishnendu Chatterjee, Thomas A. Henzinger: Strategy Improvement and Randomized Subexponential Algorithms for Stochastic Parity Games. STACS 2006: 512-523
187		Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz: Lazy Shape Analysis. Software Verification: Infinite-State Model Checking and Static Program Analysis 2006
186		Krishnendu Chatterjee, Thomas A. Henzinger: Finitary Winning in omega-Regular Games. TACAS 2006: 257-271
185		Jasmin Fisher, Thomas A. Henzinger: Executable biology. Winter Simulation Conference 2006: 1675-1682
184		Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar: On the universal and existential fragments of the mu-calculus. Theor. Comput. Sci. 354(2): 173-186 (2006)
183		Krishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski: Games with secure equilibria. Theor. Comput. Sci. 365(1-2): 67-82 (2006)
	2005
182		Arindam Chakrabarti, Krishnendu Chatterjee, Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar: Verifying Quantitative Properties Using Bound Functions. CHARME 2005: 50-64
181		Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Permissive interfaces. ESEC/SIGSOFT FSE 2005: 31-40
180		Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Checking Memory Safety with Blast. FASE 2005: 2-18
179		Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin: Automatic Rectangular Refinement of Affine Hybrid Systems. FORMATS 2005: 144-161
178		Thomas A. Henzinger, Rupak Majumdar, Vinayak S. Prabhu: Quantifying Similarities Between Timed Systems. FORMATS 2005: 226-241
177		Krishnendu Chatterjee, Thomas A. Henzinger: Semiperfect-Information Games. FSTTCS 2005: 1-18
176		Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger: The Complexity of Stochastic Rabin and Streett Games'. ICALP 2005: 878-890
175		Thomas A. Henzinger, Christoph M. Kirsch, Slobodan Matic: Composable code generation for distributed giotto. LCTES 2005: 21-30
174		Krishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski: Mean-Payoff Parity Games. LICS 2005: 178-187
173		Slobodan Matic, Thomas A. Henzinger: Trading End-to-End Latency for Composability. RTSS 2005: 99-110
172		Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: The BLAST Software Verification System. SPIN 2005: 25-26
171		Thomas A. Henzinger: Games in system design and verification. TARK 2005: 1-4
170		Krishnendu Chatterjee, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Counterexample-guided Planning. UAI 2005: 104-111
169		Christoph M. Kirsch, Marco A. A. Sanvido, Thomas A. Henzinger: A programmable microkernel for real-time systems. VEE 2005: 35-45
168		Dirk Beyer, Arindam Chakrabarti, Thomas A. Henzinger: Web service interfaces. WWW 2005: 148-159
167		Thomas A. Henzinger, Rupak Majumdar, Jean-François Raskin: A classification of symbolic transition systems. ACM Trans. Comput. Log. 6(1): 1-32 (2005)
166		Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga: Model checking discounted temporal properties. Theor. Comput. Sci. 345(1): 139-170 (2005)
	2004
165		Thomas A. Henzinger: Rich Interfaces for Software Modules. ECOOP 2004: 517-518
164		Thomas A. Henzinger, Christoph M. Kirsch: A typed assembly language for real-time programs. EMSOFT 2004: 104-113
163		Krishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski: Games with Secure Equilibria. FMCO 2004: 141-161
162		Arkadeb Ghosal, Thomas A. Henzinger, Christoph M. Kirsch, Marco A. A. Sanvido: Event-Driven Programming with Logical Execution Times. HSCC 2004: 357-371
161		Thomas A. Henzinger: Embedded Software: Better Models, Better Code. ICATPN 2004: 35-36
160		Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Generating Tests from Counterexamples. ICSE 2004: 326-335
159		Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: An Eclipse Plug-in for Model Checking. IWPC 2004: 251-255
158		Krishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski: Games with Secure Equilibria. LICS 2004: 160-169
157		Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Invited talk: the blast query language for software verification. PEPM 2004: 201-202
156		Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Race checking by context inference. PLDI 2004: 1-13
155		Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth L. McMillan: Abstractions from proofs. POPL 2004: 232-244
154		Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Invited talk: the blast query language for software verification. PPDP 2004: 1-2
153		Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger: Trading Memory for Randomness. QEST 2004: 206-217
152		Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: The Blast Query Language for Software Verification.. SAS 2004: 2-18
151		Krishnendu Chatterjee, Marcin Jurdzinski, Thomas A. Henzinger: Quantitative stochastic parity games. SODA 2004: 121-130
150		Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga: Model Checking Discounted Temporal Properties. TACAS 2004: 77-92
149		Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg: Stack size analysis for interrupt-driven programs. Inf. Comput. 194(2): 144-174 (2004)
	2003
148		Thomas A. Henzinger: Model Checking: From Hardware to Software. APLAS 2003: 176-177
147		Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Shaz Qadeer: Thread-Modular Abstraction Refinement. CAV 2003: 262-274
146		Thomas A. Henzinger: Automata for Specifying Component Interfaces. CIAA 2003: 1-2
145		Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga: The Element of Surprise in Timed Games. CONCUR 2003: 142-156
144		Krishnendu Chatterjee, Marcin Jurdzinski, Thomas A. Henzinger: Simple Stochastic Parity Games. CSL 2003: 100-113
143		Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Mariëlle Stoelinga: Resource Interfaces. EMSOFT 2003: 117-133
142		Thomas A. Henzinger, Christoph M. Kirsch, Slobodan Matic: Schedule-Carrying Code. EMSOFT 2003: 241-256
141		Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar: Discounting the Future in Systems Theory. ICALP 2003: 1022-1037
140		Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Counterexample-Guided Control. ICALP 2003: 886-902
139		Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg: Stack Size Analysis for Interrupt-Driven Programs. SAS 2003: 109-126
138		Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre: Software Verification with BLAST. SPIN 2003: 235-239
137		Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar: On the Universal and Existential Fragments of the µ-Calculus. TACAS 2003: 49-64
136		Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Marco A. A. Sanvido: Extreme Model Checking. Verification: Theory and Practice 2003: 332-358
135		Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer: From Pre-Historic to Post-Modern Symbolic Model Checking. Formal Methods in System Design 23(3): 303-327 (2003)
134		Thomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch: Giotto: a time-triggered language for embedded programming. Proceedings of the IEEE 91(1): 84-99 (2003)
	2002
133		Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang: Synchronous and Bidirectional Component Interfaces. CAV 2002: 414-427
132		Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Marcin Jurdzinski, Freddy Y. C. Mang: Interface Compatibility Checking for Software Modules. CAV 2002: 428-441
131		Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, George C. Necula, Grégoire Sutre, Westley Weimer: Temporal-Safety Proofs for Systems Code. CAV 2002: 526-538
130		Thomas A. Henzinger: The Symbolic Approach to Hybrid Systems. CAV 2002: 57
129		Marcin Jurdzinski, Orna Kupferman, Thomas A. Henzinger: Trading Probability for Fairness. CSL 2002: 292-305
128		Luca de Alfaro, Thomas A. Henzinger, Mariëlle Stoelinga: Timed Interfaces. EMSOFT 2002: 108-122
127		Christoph M. Kirsch, Marco A. A. Sanvido, Thomas A. Henzinger, Wolfgang Pree: A Giotto-Based Helicopter Control System. EMSOFT 2002: 46-60
126		Thomas A. Henzinger, Christoph M. Kirsch, Rupak Majumdar, Slobodan Matic: Time-Safety Checking for Embedded Programs. EMSOFT 2002: 76-92
125		Franck Cassez, Thomas A. Henzinger, Jean-François Raskin: A Comparison of Control Problems for Timed and Hybrid Systems. HSCC 2002: 134-148
124		Thomas A. Henzinger: From Models to Code: The Missing Link in Embedded Software. HSCC 2002: 5-6
123		Thomas A. Henzinger, Sriram C. Krishnan, Orna Kupferman, Freddy Y. C. Mang: Synthesis of Uninitialized Systems. ICALP 2002: 644-656
122		Roberto Passerone, Luca de Alfaro, Thomas A. Henzinger, Alberto L. Sangiovanni-Vincentelli: Convertibility verification and converter synthesis: two faces of the same coin. ICCAD 2002: 132-139
121		Thomas A. Henzinger, Christoph M. Kirsch: The Embedded Machine: Predictable, Portable Real-Time Code. PLDI 2002: 315-326
120		Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre: Lazy abstraction. POPL 2002: 58-70
119		Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran: An assume-guarantee rule for checking simulation. ACM Trans. Program. Lang. Syst. 24(1): 51-64 (2002)
118		Thomas A. Henzinger, Orna Kupferman, Sriram K. Rajamani: Fair Simulation. Inf. Comput. 173(1): 64-81 (2002)
117		Rajeev Alur, Thomas A. Henzinger, Orna Kupferman: Alternating-time temporal logic. J. ACM 49(5): 672-713 (2002)
116		Pierre-Yves Schobbens, Jean-François Raskin, Thomas A. Henzinger: Axioms for real-time logics. Theor. Comput. Sci. 274(1-2): 151-182 (2002)
	2001
115		Thomas A. Henzinger, Christoph M. Kirsch: Embedded Software, First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October, 8-10, 2001, Proceedings Springer 2001
114		Luca de Alfaro, Thomas A. Henzinger, Ranjit Jhala: Compositional Methods for Probabilistic Systems. CONCUR 2001: 351-365
113		Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar: Symbolic Algorithms for Infinite-State Games. CONCUR 2001: 536-550
112		Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang: The Control of Synchronous Systems, Part II. CONCUR 2001: 566-582
111		Luca de Alfaro, Thomas A. Henzinger: Interface Theories for Component-Based Design. EMSOFT 2001: 148-165
110		Thomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch: Giotto: A Time-Triggered Language for Embedded Programming. EMSOFT 2001: 166-184
109		Luca de Alfaro, Thomas A. Henzinger: Interface automata. ESEC / SIGSOFT FSE 2001: 109-120
108		Thomas A. Henzinger, Marius Minea, Vinayak S. Prabhu: Assume-Guarantee Reasoning for Hierarchical Hybrid Systems. HSCC 2001: 275-290
107		Alberto L. Sangiovanni-Vincentelli, Thomas A. Henzinger, Bruce H. Krogh, Oded Maler, Manfred Morari, Costas C. Pantelides, George J. Pappas, Tunc Simsec, Janos Sztipanovits, Stavros Tripakis: Hybrid Systems Applications: An Oxymoron? HSCC 2001: 5-6
106		Rajeev Alur, Luca de Alfaro, Radu Grosu, Thomas A. Henzinger, M. Kang, Christoph M. Kirsch, Rupak Majumdar, Freddy Y. C. Mang, Bow-Yaw Wang: JMOCHA: A Model Checking Tool that Exploits Design Structure. ICSE 2001: 835-836
105		Thomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch: Embedded Control Systems Development with Giotto. LCTES/OM 2001: 64-72
104		Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar: From Verification to Control: Dynamic Programs for Omega-Regular Objectives. LICS 2001: 279-290
103		Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang: MCWEB: A Model-Checking Tool for Web Site Debugging. WWW Posters 2001
102		Thomas A. Henzinger, Rupak Majumdar, Jean-François Raskin: A Classification of Symbolic Transition Systems CoRR cs.LO/0101013: (2001)
101		Rajeev Alur, Robert K. Brayton, Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani: Partial-Order Reduction in Symbolic State-Space Exploration. Formal Methods in System Design 18(2): 97-116 (2001)
100		Rajeev Alur, Thomas A. Henzinger: Introduction. Inf. Comput. 164(2): 233 (2001)
	2000
99		Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang: Detecting Errors Before Reaching Them. CAV 2000: 186-201
98		Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang: The Control of Synchronous Systems. CONCUR 2000: 458-473
97		Thomas A. Henzinger, Benjamin Horowitz, Rupak Majumdar, Howard Wong-Toi: Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods. HSCC 2000: 130-144
96		Thomas A. Henzinger, Jean-François Raskin: Robust Undecidability of Timed and Hybrid Systems. HSCC 2000: 145-159
95		Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani: Decomposing Refinement Proofs Using Assume-Guarantee Reasoning. ICCAD 2000: 245-252
94		Thomas A. Henzinger: Masaccio: A Formal Model for Embedded Components. IFIP TCS 2000: 549-563
93		Luca de Alfaro, Thomas A. Henzinger: Concurrent Omega-Regular Games. LICS 2000: 141-154
92		Thomas A. Henzinger, Rupak Majumdar, Freddy Y. C. Mang, Jean-François Raskin: Abstract Interpretation of Game Properties. SAS 2000: 220-239
91		Thomas A. Henzinger, Rupak Majumdar: A Classification of Symbolic Transition Systems. STACS 2000: 13-34
90		Thomas A. Henzinger, Rupak Majumdar: Symbolic Model Checking for Rectangular Hybrid Systems. TACAS 2000: 142-156
89		Thomas A. Henzinger, Sriram K. Rajamani: Fair Bisimulation. TACAS 2000: 299-314
88		Thomas A. Henzinger: Exploiting Design Structure in Model Checking. Electr. Notes Theor. Comput. Sci. 39(3): 322 (2000)
	1999
87		Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani: Assume-Guarantee Refinement Between Different Time Scales. CAV 1999: 208-221
86		Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani: Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems. CAV 1999: 301-315
85		Thomas A. Henzinger, Benjamin Horowitz, Rupak Majumdar: Rectangular Hybrid Games. CONCUR 1999: 320-335
84		Rajeev Alur, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang: Automating Modular Verification. CONCUR 1999: 82-97
83		Thomas A. Henzinger, Xiaojun Liu, Shaz Qadeer, Sriram K. Rajamani: Formal specification and verification of a dataflow processor array. ICCAD 1999: 494-499
82		Rajeev Alur, Thomas A. Henzinger: Introduction. Formal Methods in System Design 14(3): 235 (1999)
81		Rajeev Alur, Thomas A. Henzinger: Introduction. Formal Methods in System Design 15(1): 5 (1999)
80		Rajeev Alur, Thomas A. Henzinger: Reactive Modules. Formal Methods in System Design 15(1): 7-48 (1999)
79		Rajeev Alur, Limor Fix, Thomas A. Henzinger: Event-Clock Automata: A Determinizable Class of Timed Automata. Theor. Comput. Sci. 211(1-2): 253-273 (1999)
78		Thomas A. Henzinger, Peter W. Kopke: Discrete-Time Control for Rectangular Hybrid Automata. Theor. Comput. Sci. 221(1-2): 369-392 (1999)
	1998
77		Thomas A. Henzinger, Shankar Sastry: Hybrid Systems: Computation and Control, First International Workshop, HSCC'98, Berkeley, California, USA, April 13-15, 1998, Proceedings Springer 1998
76		Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer: From Pre-historic to Post-modern Symbolic Model Checking. CAV 1998: 195-206
75		Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani: You Assume, We Guarantee: Methodology and Case Studies. CAV 1998: 440-451
74		Rajeev Alur, Thomas A. Henzinger, Freddy Y. C. Mang, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran: MOCHA: Modularity in Model Checking. CAV 1998: 521-525
73		Rajeev Alur, Thomas A. Henzinger, Orna Kupferman, Moshe Y. Vardi: Alternating Refinement Relations. CONCUR 1998: 163-178
72		Jean-François Raskin, Pierre-Yves Schobbens, Thomas A. Henzinger: Axioms for Real-Time Logics. CONCUR 1998: 219-236
71		Thomas A. Henzinger: It's About Time: Real-Time Logics Reviewed. CONCUR 1998: 439-454
70		Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran: An Assume-Guarantee Rule for Checking Simulation. FMCAD 1998: 421-432
69		Luca de Alfaro, Thomas A. Henzinger, Orna Kupferman: Concurrent Reachability Games. FOCS 1998: 564-575
68		Jörg Preußig, Stefan Kowalewski, Howard Wong-Toi, Thomas A. Henzinger: An Algorithm for the Approximative Analysis of Rectangular Automata. FTRTFT 1998: 228-240
67		Thomas A. Henzinger, Vlad Rusu: Reachability Verification for Hybrid Automata. HSCC 1998: 190-204
66		Thomas A. Henzinger: Model Checking Game Properties of Multi-agent Systems (Abstract). ICALP 1998: 543
65		Thomas A. Henzinger, Jean-François Raskin, Pierre-Yves Schobbens: The Regular Real-Time Languages. ICALP 1998: 580-591
64		Thomas A. Henzinger: Computer-aided Verification of Embedded Systems. IFIP Congress: Fundamentals - Foundations of Computer Science 1998: 89-92
63		Rajeev Alur, Thomas A. Henzinger, Sriram K. Rajamani: Symbolic Exploration of transition Hierarchies. TACAS 1998: 330-344
62		Rajeev Alur, Thomas A. Henzinger: Finitary Fairness. ACM Trans. Program. Lang. Syst. 20(6): 1171-1194 (1998)
61		Thomas A. Henzinger, Peter W. Kopke, Anuj Puri, Pravin Varaiya: What's Decidable about Hybrid Automata? J. Comput. Syst. Sci. 57(1): 94-124 (1998)
	1997
60		Rajeev Alur, Robert K. Brayton, Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani: Partial-Order Reduction in Symbolic State Space Exploration. CAV 1997: 340-351
59		Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi: HYTECH: A Model Checker for Hybrid Systems. CAV 1997: 460-463
58		Rajeev Alur, Thomas A. Henzinger, Orna Kupferman: Alternating-Time Temporal Logic. COMPOS 1997: 23-60
57		Thomas A. Henzinger, Orna Kupferman, Sriram K. Rajamani: Fair Simulation. CONCUR 1997: 273-287
56		Rajeev Alur, Thomas A. Henzinger: Modularity for Timed and Hybrid Systems. CONCUR 1997: 74-88
55		Rajeev Alur, Thomas A. Henzinger, Orna Kupferman: Alternating-time Temporal Logic. FOCS 1997: 100-109
54		Vineet Gupta, Thomas A. Henzinger, Radha Jagadeesan: Robust Timed Automata. HART 1997: 331-345
53		Thomas A. Henzinger, Orna Kupferman: From Quantity to Quality. HART 1997: 48-62
52		Thomas A. Henzinger, Peter W. Kopke: Discrete-Time Control for Rectangular Hybrid Automata. ICALP 1997: 582-593
51		Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger: Computing Accumulated Delays in Real-time Systems. Formal Methods in System Design 11(2): 137-155 (1997)
50		Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi: HYTECH: A Model Checker for Hybrid Systems. STTT 1(1-2): 110-122 (1997)
49		Rajeev Alur, Thomas A. Henzinger: Real-Time System = Discrete System + Clock Variables. STTT 1(1-2): 86-109 (1997)
	1996
48		Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag: Hybrid Systems III: Verification and Control, Proceedings of the DIMACS/SYCON Workshop, October 22-25, 1995, Ruttgers University, New Brunswick, NJ, USA Springer 1996
47		Rajeev Alur, Thomas A. Henzinger: Computer Aided Verification, 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings Springer 1996
46		Thomas A. Henzinger, Orna Kupferman, Moshe Y. Vardi: A Space-Efficient On-the-fly Algorithm for Real-Time Model Checking. CONCUR 1996: 514-529
45		Thomas A. Henzinger, Peter W. Kopke: State Equivalences for Rectangular Hybrid Automata. CONCUR 1996: 530-545
44		Rajeev Alur, Thomas A. Henzinger: Reactive Modules. LICS 1996: 207-218
43		Thomas A. Henzinger: The Theory of Hybrid Automata. LICS 1996: 278-292
42		Thomas A. Henzinger: Some Myths About Formal Verification. ACM Comput. Surv. 28(4es): 119 (1996)
41		Rajeev Alur, Thomas A. Henzinger, Pei-Hsin Ho: Automatic Symbolic Verification of Embedded Systems. IEEE Trans. Software Eng. 22(3): 181-201 (1996)
40		Rajeev Alur, Tomás Feder, Thomas A. Henzinger: The Benefits of Relaxing Punctuality. J. ACM 43(1): 116-146 (1996)
	1995
39		Rajeev Alur, Thomas A. Henzinger: Local Liveness for Compositional Modeling of Fair Reactive Systems. CAV 1995: 166-179
38		Thomas A. Henzinger, Pei-Hsin Ho: Algorithmic Analysis of Nonlinear Hybrid Systems. CAV 1995: 225-238
37		Monika Rauch Henzinger, Thomas A. Henzinger, Peter W. Kopke: Computing Simulations on Finite and Infinite Graphs. FOCS 1995: 453-462
36		Thomas A. Henzinger, Howard Wong-Toi: Using HyTech to Synthesize Control Parameters for a Steam Boiler. Formal Methods for Industrial Applications 1995: 265-282
35		Thomas A. Henzinger, Howard Wong-Toi: Linear Phase-Portrait Approximations for Nonlinear Hybrid Systems. Hybrid Systems 1995: 377-388
34		Thomas A. Henzinger: Hybrid Automata with Finite Bisimulatioins. ICALP 1995: 324-335
33		Thomas A. Henzinger, Peter W. Kopke, Howard Wong-Toi: The Expressive Power of Clocks. ICALP 1995: 417-428
32		Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi: HyTech: The Next Generation. IEEE Real-Time Systems Symposium 1995: 56-65
31		Thomas A. Henzinger, Peter W. Kopke, Anuj Puri, Pravin Varaiya: What's decidable about hybrid automata? STOC 1995: 373-382
30		Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi: A User Guide to HyTech. TACAS 1995: 41-71
29		Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, Thomas A. Henzinger, Pei-Hsin Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, Sergio Yovine: The Algorithmic Analysis of Hybrid Systems. Theor. Comput. Sci. 138(1): 3-34 (1995)
	1994
28		Rajeev Alur, Limor Fix, Thomas A. Henzinger: A Determinizable Class of Timed Automata. CAV 1994: 1-13
27		Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger: The Observational Power of Clocks. CONCUR 1994: 162-177
26		Thomas A. Henzinger, Peter W. Kopke: Verification Methods for the Divergent Runs of Clock Systems. FTRTFT 1994: 351-372
25		Arjun Kapur, Thomas A. Henzinger, Zohar Manna, Amir Pnueli: Prooving Safety Properties of Hybrid Systems. FTRTFT 1994: 431-454
24		Thomas A. Henzinger, Pei-Hsin Ho: A Note on Abstract Interpretation Strategies for Hybrid Automata. Hybrid Systems 1994: 252-264
23		Thomas A. Henzinger, Pei-Hsin Ho: HYTECH: The Cornell HYbrid TECHnology Tool. Hybrid Systems 1994: 265-293
22		Rajeev Alur, Thomas A. Henzinger: Finitary Fairness LICS 1994: 52-61
21		Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine: Symbolic Model Checking for Real-Time Systems Inf. Comput. 111(2): 193-244 (1994)
20		Thomas A. Henzinger, Zohar Manna, Amir Pnueli: Temporal Proof Methodologies for Timed Transition Systems Inf. Comput. 112(2): 273-337 (1994)
19		Rajeev Alur, Thomas A. Henzinger: A Really Temporal Logic. J. ACM 41(1): 181-204 (1994)
	1993
18		Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger: Computing Accumulated Delays in Real-time Systems. CAV 1993: 181-193
17		Rajeev Alur, Thomas A. Henzinger, Pei-Hsin Ho: Automatic Symbolic Verification of Embedded Systems. IEEE Real-Time Systems Symposium 1993: 2-11
16		Rajeev Alur, Thomas A. Henzinger, Moshe Y. Vardi: Parametric real-time reasoning. STOC 1993: 592-601
15		Rajeev Alur, Thomas A. Henzinger: Real-Time Logics: Complexity and Expressiveness Inf. Comput. 104(1): 35-77 (1993)
	1992
14		Rajeev Alur, Thomas A. Henzinger: Back to the Future: Towards a Theory of Timed Regular Languages FOCS 1992: 177-186
13		Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger, Pei-Hsin Ho: Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems. Hybrid Systems 1992: 209-229
12		Thomas A. Henzinger, Zohar Manna, Amir Pnueli: Towards Refining Temporal Specifications into Hybrid Systems. Hybrid Systems 1992: 60-76
11		Thomas A. Henzinger, Zohar Manna, Amir Pnueli: What Good Are Digital Clocks? ICALP 1992: 545-558
10		Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine: Symbolic Model Checking for Real-time Systems LICS 1992: 394-406
9		Thomas A. Henzinger: Sooner is Safer Than Later. Inf. Process. Lett. 43(3): 135-141 (1992)
	1991
8		Rajeev Alur, Tomás Feder, Thomas A. Henzinger: The Benefits of Relaxing Punctuality. PODC 1991: 139-152
7		Thomas A. Henzinger, Zohar Manna, Amir Pnueli: Temporal Proof Methodologies for Real-time Systems. POPL 1991: 353-366
6		Thomas A. Henzinger, Zohar Manna, Amir Pnueli: Timed Transition Systems. REX Workshop 1991: 226-251
5		Rajeev Alur, Thomas A. Henzinger: Logics and Models of Real Time: A Survey. REX Workshop 1991: 74-106
	1990
4		Rajeev Alur, Thomas A. Henzinger: Real-time Logics: Complexity and Expressiveness LICS 1990: 390-401
3		Thomas A. Henzinger: Half-Order Modal Logic: How to Prove Real-Time Properties. PODC 1990: 281-296
	1989
2		Rajeev Alur, Thomas A. Henzinger: A Really Temporal Logic FOCS 1989: 164-169
	1985
1		Thomas A. Henzinger, Hubert Hofbauer: PROOF-PAD: An Interactive Proof Generating System Using Natural Deduction. ÖGAI 1985: 173-184

Coauthor Index

1	Luca de Alfaro	[69] [84] [93] [98] [99] [103] [104] [106] [109] [111] [112] [113] [114] [122] [128] [132] [133] [141] [143] [145] [150] [153] [166] [176] [190] [192] [193] [204] [227] [233] [259] [319] [335]
2	Rajeev Alur	[2] [4] [5] [8] [13] [14] [15] [16] [17] [18] [19] [22] [27] [28] [29] [39] [40] [41] [44] [47] [48] [49] [51] [55] [56] [58] [60] [62] [63] [73] [74] [79] [80] [81] [82] [84] [100] [101] [106] [117]
3	Dietmar Berwanger	[246] [256] [258] [275]
4	Dirk Beyer	[152] [154] [157] [159] [160] [168] [180] [187] [202] [205] [211] [214] [216] [221] [222] [249] [298] [315]
5	Régis Blanc	[294]
6	Roderick Bloem (Roderick Paul Bloem)	[255] [265] [272] [305] [321]
7	Udi Boker	[323] [327]
8	Robert K. Brayton	[60] [101]
9	Thomas Brihaye	[217]
10	Randal E. Bryant	[251]
11	Franck Cassez	[125]
12	Pavol Cerný	[299] [302] [316] [326] [328] [331] [332]
13	Arindam Chakrabarti	[132] [133] [143] [168] [182] [216]
14	Krishnendu Chatterjee	[139] [144] [149] [151] [153] [158] [163] [170] [174] [176] [177] [182] [183] [186] [188] [189] [190] [192] [193] [200] [201] [207] [209] [212] [215] [218] [220] [224] [226] [227] [228] [229] [230] [231] [232] [233] [237] [238] [239] [240] [244] [245] [246] [248] [250] [252] [253] [254] [255] [256] [257] [258] [259] [261] [262] [264] [266] [268] [272] [273] [274] [275] [277] [278] [279] [282] [283] [284] [285] [291] [292] [296] [301] [304] [305] [306] [307] [309] [311] [316] [317] [319] [320] [321] [323] [324] [328] [331] [334] [335]
15	Adam Chlipala	[152] [154] [157] [160]
16	Costas Courcoubetis	[13] [18] [27] [29] [51]
17	Frédéric Didier	[269] [280] [288] [310]
18	Laurent Doyen	[179] [200] [203] [207] [209] [225] [242] [245] [246] [252] [253] [254] [256] [258] [262] [264] [266] [268] [273] [275] [277] [278] [279] [285] [291] [292] [296] [301] [308]
19	Jacques Duparc	[223]
20	Herbert Edelsbrunner	[278] [301]
21	Marco Faella	[145] [150] [166] [193]
22	Tomás Feder	[8] [40]
23	Jérôme Feret	[290]
24	John Field	[194]
25	Jasmin Fisher	[185] [206] [241] [314] [329]
26	Limor Fix	[28] [79]
27	Arkadeb Ghosal	[162] [198] [244] [333]
28	Hugo Gimbert	[279] [292]
29	Yashdeep Godhal	[284]
30	Karin Greimel	[265] [305] [321]
31	Radu Grosu	[106]
32	Orna Grumberg	[251]
33	Rachid Guerraoui	[235] [243] [247] [271] [276] [287] [313]
34	Bhargav S. Gulavani	[191]
35	Ashutosh Gupta	[234]
36	Vineet Gupta	[54]
37	Alex Hajnal	[206]
38	Raluca Halalai	[322]
39	Nicolas Halbwachs	[29]
40	David Harel	[314]
41	Monika Rauch Henzinger (Monika Henzinger, Monika Rauch)	[37]
42	Pei-Hsin Ho	[13] [17] [23] [24] [29] [30] [32] [38] [41] [50] [59]
43	Hubert Hofbauer	[1]
44	Florian Horn	[257] [261] [324]
45	Benjamin Horowitz	[85] [97] [105] [110] [134]
46	Thibaud Hottelier	[236] [286] [293] [294]
47	Daniel T. Iercan	[198] [244] [333]
48	Radha Jagadeesan	[54]
49	Ranjit Jhala	[114] [120] [131] [136] [138] [140] [147] [152] [154] [155] [156] [157] [159] [160] [170] [172] [180] [181] [205]
50	Barbara Jobstmann	[230] [235] [242] [248] [255] [260] [265] [272] [282] [283] [304] [305] [306] [312] [320] [321]
51	Marcin Jurdzinski	[129] [132] [144] [151] [158] [163] [174] [183]
52	M. Kang	[106]
53	Yamini Kannan	[191]
54	Michal Kapalka	[287]
55	Arjun Kapur	[25]
56	M. Erkan Keremoglu	[315]
57	Christoph M. Kirsch (Christoph Meyer)	[105] [106] [110] [115] [121] [126] [127] [134] [142] [162] [164] [169] [175] [198] [210] [244] [263] [333]
58	Heinz Koeppl	[290]
59	Peter W. Kopke	[26] [31] [33] [37] [45] [52] [61] [78]
60	Laura Kovács (Laura Ildikó Kovács)	[236] [286] [293] [294]
61	Stefan Kowalewski	[68]
62	Sriram C. Krishnan	[123]
63	Bruce H. Krogh	[107]
64	Orna Kupferman	[46] [53] [55] [57] [58] [69] [73] [76] [117] [118] [123] [129] [135] [137] [182] [184] [204] [323]
65	Edward A. Lee	[267] [318]
66	Axel Legay	[308]
67	Ben Lickly	[267] [318]
68	Xiaojun Liu	[83]
69	Di Ma	[139] [149]
70	Rupak Majumdar	[85] [90] [91] [92] [97] [102] [104] [106] [113] [120] [126] [131] [136] [137] [138] [139] [140] [141] [145] [147] [149] [150] [152] [154] [155] [156] [157] [159] [160] [166] [167] [170] [172] [178] [180] [181] [182] [184] [189] [193] [205] [211] [214] [224] [231] [234] [238]
71	Oded Maler	[107]
72	Roman Manevich	[194]
73	Freddy Y. C. Mang	[74] [84] [92] [98] [99] [103] [106] [112] [123] [132] [133]
74	Zohar Manna	[6] [7] [11] [12] [20] [25]
75	Eduardo R. B. Marques	[263]
76	Maria Mateescu	[241] [269] [270] [280] [281] [288] [303] [310] [330]
77	Slobodan Matic	[126] [142] [173] [175] [195]
78	Kenneth L. McMillan	[155]
79	Linar Mikeev	[281] [303]
80	Marius Minea	[108]
81	Manfred Morari	[107]
82	George C. Necula	[131]
83	Dejan Nickovic	[308] [329]
84	Xavier Nicollin	[10] [21] [29]
85	Aditya V. Nori	[191]
86	Alfredo Olivero	[29]
87	Jens Palsberg	[139] [149]
88	Constantinos C. Pantelides (Costas C. Pantelides)	[107]
89	George J. Pappas	[107]
90	Roberto Passerone	[122]
91	Tatjana Petrov	[242] [290]
92	Claudio Pinello	[244]
93	Nir Piterman	[199] [206] [218] [220] [232] [241] [274] [329]
94	Amir Pnueli	[6] [7] [11] [12] [20] [25]
95	Vinayak S. Prabhu	[108] [178] [196] [217] [229] [237] [240] [311]
96	Wolfgang Pree	[127]
97	Jörg Preußig	[68]
98	Anuj Puri	[31] [61]
99	Shaz Qadeer	[60] [70] [74] [75] [76] [83] [86] [87] [95] [101] [119] [135] [147]
100	Arjun Radhakrishna	[282] [299] [302] [304] [316] [331] [332]
101	Sriram K. Rajamani	[57] [60] [63] [70] [74] [75] [83] [86] [87] [89] [95] [101] [118] [119] [191]
102	Sangram Raje	[246]
103	G. Ramalingam (Ganesan Ramalingam)	[194]
104	Philippe Rannou	[278] [301]
105	Jean-François Raskin	[65] [72] [92] [96] [102] [116] [125] [167] [179] [200] [203] [207] [209] [217] [225] [277] [296]
106	Vlad Rusu	[67]
107	Andrey Rybalchenko	[211] [214] [234] [293]
108	Shmuel Sagiv (Mooly Sagiv)	[194]
109	Alberto L. Sangiovanni-Vincentelli	[107] [122] [198] [244] [333]
110	Marco A. A. Sanvido	[127] [136] [162] [169]
111	Shankar Sastry (Shankar S. Sastry)	[77]
112	Pierre-Yves Schobbens	[65] [72] [116]
113	Koushik Sen	[239]
114	Sanjit A. Seshia	[216]
115	Joseph Sifakis	[10] [21] [29] [197] [208]
116	Tunc Simsec	[107]
117	Anmol V. Singh	[295] [300] [329]
118	Vasu Singh	[222] [235] [243] [247] [271] [276] [287] [295] [300] [313] [322] [325]
119	Rohit Singh	[283] [306] [316] [320] [331]
120	Ana Sokolova	[263]
121	Eduardo D. Sontag	[48]
122	Mariëlle Stoelinga	[128] [143] [145] [150] [166] [193]
123	Grégoire Sutre	[120] [131] [138]
124	Janos Sztipanovits	[107]
125	Serdar Tasiran	[70] [74] [119]
126	Grégory Théoduloz	[187] [202] [221] [249] [298]
127	Mathieu Tracol	[317]
128	Stavros Tripakis	[107] [267] [318]
129	Pravin Varaiya	[31] [61]
130	Moshe Y. Vardi	[16] [46] [73] [251] [329]
131	Andrei Voronkov	[286]
132	Bow-Yaw Wang	[106]
133	Westley Weimer	[131]
134	Philipp Wendler	[315]
135	Thomas Wies	[295] [297] [300] [325] [336]
136	Verena Wolf	[260] [269] [270] [280] [281] [288] [303] [310] [312]
137	Howard Wong-Toi	[30] [32] [33] [35] [36] [50] [59] [68] [97]
138	Martin De Wulf	[203] [256] [258] [275]
139	Ru-Gang Xu	[234]
140	Sergio Yovine	[10] [21] [29]
141	Tian Zhao	[139] [149]
142	Damien Zufferey	[295] [297] [298] [300] [325] [336]