Thomas A. Henzinger - Publications

Affiliations: 
University of California, Berkeley, Berkeley, CA 
Area:
Computer Science

206 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2016 Bak S, Bogomolov S, Henzinger TA, Johnson TT, Prakash P. Scalable static hybridization methods for analysis of nonlinear systems Hscc 2016 - Proceedings of the 19th International Conference On Hybrid Systems: Computation and Control. 155-164. DOI: 10.1145/2883817.2883837  1
2016 DrǍgoi C, Henzinger TA, Zufferey D. PSYNC: A partially synchronous language for fault-tolerant distributed algorithms Acm Sigplan Notices. 51: 400-415. DOI: 10.1145/2837614.2837650  1
2016 Giacobbe M, Guet CC, Gupta A, Henzinger TA, Paixão T, Petrov T. Model checking the evolution of gene regulatory networks Acta Informatica. 1-23. DOI: 10.1007/s00236-016-0278-x  1
2016 Daca P, Henzinger TA, Křetínský J, Petrov T. Faster statistical model checking for unbounded temporal properties Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9636: 112-129. DOI: 10.1007/978-3-662-49674-9_7  1
2016 Daca P, Gupta A, Henzinger TA. Abstraction-driven concolic testing Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9583: 328-347. DOI: 10.1007/978-3-662-49122-5_16  1
2016 Henzinger TA, Otop J, Samanta R. Lipschitz robustness of timed I/O systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9583: 250-267. DOI: 10.1007/978-3-662-49122-5_12  1
2016 Daca P, Henzinger TA, Kupriyanov A. Array folds logic Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9780: 230-248. DOI: 10.1007/978-3-319-41540-6_13  1
2015 Dragoi C, Henzinger TA, Zufferey D. The need for language support for fault-tolerant distributed systems Leibniz International Proceedings in Informatics, Lipics. 32: 90-102. DOI: 10.4230/LIPIcs.SNAPL.2015.90  1
2015 Henzinger TA, Raskin JF. The equivalence problem for finite automata Communications of the Acm. 58: 86. DOI: 10.1145/2701001  1
2015 Gupta A, Henzinger TA, Radhakrishna A, Samanta R, Tarrach T. Succinct representation of concurrent trace sets Acm Sigplan Notices. 50: 433-444. DOI: 10.1145/2676726.2677008  1
2015 Giacobbe M, Guet CC, Gupta A, Henzinger TA, Paixao T, Petrov T. Model checking gene regulatory networks Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9035: 469-483. DOI: 10.1007/978-3-662-46681-0_47  1
2015 Bogomolov S, Henzinger TA, Podelski A, Ruess J, Schilling C. Adaptive moment closure for parameter inference of biochemical reaction networks Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9308: 77-89. DOI: 10.1007/978-3-319-23401-4_8  1
2015 ČernÝ P, Clarke EM, Henzinger TA, Radhakrishna A, Ryzhyk L, Samanta R, Tarrach T. From non-preemptive to preemptive scheduling using synchronization synthesis Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9207: 180-197. DOI: 10.1007/978-3-319-21668-3_11  1
2014 Henzinger TA, Otop J, Samanta R. Lipschitz robustness of finite-state transducers Leibniz International Proceedings in Informatics, Lipics. 29: 431-443. DOI: 10.4230/LIPIcs.FSTTCS.2014.431  1
2014 Henzinger TA, Jhala R, Majumdar R, McMillan KL. Abstractions from proofs Acm Sigplan Notices. 49: 79-91. DOI: 10.1145/2641638.2641655  1
2014 Boker U, Chatterjee K, Henzinger TA, Kupferman O. Temporal specifications with accumulative values Acm Transactions On Computational Logic. 15. DOI: 10.1145/2629686  0.48
2014 Gordon AD, Henzinger TA, Nori AV, Rajamani SK. Probabilistic programming Future of Software Engineering, Fose 2014 - Proceedings. 167-181. DOI: 10.1145/2593882.2593900  1
2014 Henzinger TA, Otop J. Model measuring for hybrid systems Hscc 2014 - Proceedings of the 17th International Conference On Hybrid Systems: Computation and Control (Part of Cps Week). 213-222. DOI: 10.1145/2562059.2562130  1
2014 Boker U, Henzinger TA, Radhakrishna A. Battery transition systems Acm Sigplan Notices. 49: 595-606. DOI: 10.1145/2535838.2535875  1
2014 Černý P, Chmelík M, Henzinger TA, Radhakrishna A. Interface simulation distances Theoretical Computer Science. 560: 348-363. DOI: 10.1016/j.tcs.2014.08.019  1
2014 Henzinger TA, Miller D. Preface Proceedings of the Joint Meeting of the 23rd Eacsl Annual Conference On Computer Science Logic, Csl 2014 and the 29th Annual Acm/Ieee Symposium On Logic in Computer Science, Lics 2014. DOI: 10.1007/3-540-64358-3  0.48
2013 Henzinger TA. Quantitative reactive modeling and verification. Computer Science (Berlin, Germany). 28: 331-344. PMID 27069511 DOI: 10.1007/s00450-013-0251-7  1
2013 Chatterjee K, de Alfaro L, Henzinger TA. Strategy improvement for concurrent reachability and turn-based stochastic safety games. Journal of Computer and System Sciences. 79: 640-657. PMID 26516289 DOI: 10.1016/j.jcss.2012.12.001  1
2013 Henzinger TA, Mateescu M. The propagation approach for computing biochemical reaction networks. Ieee/Acm Transactions On Computational Biology and Bioinformatics / Ieee, Acm. 10: 310-22. PMID 22778152 DOI: 10.1109/TCBB.2012.91  1
2013 Černý P, Henzinger TA, Radhakrishna A. Quantitative abstraction refinement Acm Sigplan Notices. 48: 115-128. DOI: 10.1145/2480359.2429085  1
2013 Chatterjee K, Doyen L, Henzinger TA. A survey of partial-observation stochastic parity games Formal Methods in System Design. 43: 268-284. DOI: 10.1007/s10703-012-0164-2  1
2013 Godhal Y, Chatterjee K, Henzinger TA. Synthesis of AMBA AHB from formal specification: A case study International Journal On Software Tools For Technology Transfer. 15: 585-601. DOI: 10.1007/s10009-011-0207-9  1
2013 Henzinger TA, Otop J. From model checking to model measuring Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8052: 273-287. DOI: 10.1007/978-3-642-40184-8_20  1
2013 Henzinger TA, Sezgin A, Vafeiadis V. Aspect-oriented linearizability proofs Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8052: 242-256. DOI: 10.1007/978-3-642-40184-8_18  1
2013 Drǎgoi C, Gupta A, Henzinger TA. Automatic linearizability proofs of concurrent objects with cooperating updates Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8044: 174-190. DOI: 10.1007/978-3-642-39799-8_11  1
2012 Boker U, Henzinger TA. Approximate determinization of quantitative automata Leibniz International Proceedings in Informatics, Lipics. 18: 362-373. DOI: 10.4230/LIPIcs.FSTTCS.2012.362  1
2012 Beyer D, Henzinger TA, Keremoglu ME, Wendler P. Conditional model checking: A technique to pass information between verifiers Proceedings of the Acm Sigsoft 20th International Symposium On the Foundations of Software Engineering, Fse 2012. DOI: 10.1145/2393596.2393664  1
2012 Chatterjee K, Henzinger TA, Prabhu VS. Finite automata with time-delay blocks Emsoft'12 - Proceedings of the 10th Acm International Conference On Embedded Software 2012, Co-Located With Esweek. 43-52. DOI: 10.1145/2380356.2380370  1
2012 Ghosal A, Iercan D, Kirsch CM, Henzinger TA, Sangiovanni-Vincentelli A. Separate compilation of hierarchical real-time programs into linear-bounded Embedded Machine code Science of Computer Programming. 77: 96-112. DOI: 10.1016/j.scico.2010.06.004  1
2012 Chatterjee K, Henzinger TA. A survey of stochastic ω-regular games Journal of Computer and System Sciences. 78: 394-413. DOI: 10.1016/j.jcss.2011.05.002  1
2012 Vardi MY, Henzinger TA, Alur R, Kwiatkowska M. 2011 CAV award announcement Formal Methods in System Design. 1-2. DOI: 10.1007/s10703-012-0154-4  1
2012 Henzinger TA, Ničković D. Independent implementability of viewpoints Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7539: 380-395. DOI: 10.1007/978-3-642-34059-8_20  1
2012 Henzinger TA. Quantitative reactive models Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7590: 1-2. DOI: 10.1007/978-3-642-33666-9_1  1
2012 Guet CC, Gupta A, Henzinger TA, Mateescu M, Sezgin A. Delayed continuous-time Markov chains for genetic regulatory circuits Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7358: 294-309. DOI: 10.1007/978-3-642-31424-7_24  1
2012 Zufferey D, Wies T, Henzinger TA. Ideal abstractions for well-structured transition systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7148: 445-460. DOI: 10.1007/978-3-642-27940-9_29  1
2011 Boker U, Henzinger TA. Determinizing discounted-sum automata Leibniz International Proceedings in Informatics, Lipics. 12: 82-96. DOI: 10.4230/LIPIcs.CSL.2011.82  1
2011 Erný PC, Henzinger TA. From boolean to quantitative synthesis Embedded Systems Week 2011, Esweek 2011 - Proceedings of the 9th Acm International Conference On Embedded Software, Emsoft'11. 149-154. DOI: 10.1145/2038642.2038666  1
2011 Henzinger TA, Mateescu M. Propagation models for computing biochemical reaction networks Proceedings of the 9th International Conference On Computational Methods in Systems Biology, Cmsb'11. 1-3. DOI: 10.1145/2037509.2037510  1
2011 Fisher J, Harel D, Henzinger TA. Biology as reactivity Communications of the Acm. 54: 72-82. DOI: 10.1145/2001269.2001289  1
2011 Tripakis S, Lickly B, Henzinger TA, Lee EA. A theory of synchronous relational interfaces Acm Transactions On Programming Languages and Systems. 33. DOI: 10.1145/1985342.1985345  1
2011 Chatterjee K, Henzinger TA, Jobstmann B, Singh R. QUASY: Quantitative synthesis tool Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6605: 267-271. DOI: 10.1007/978-3-642-19835-9_24  1
2010 Chatterjee K, Doyen L, Henzinger TA, Raskin JF. Generalized mean-payoff and energy games Leibniz International Proceedings in Informatics, Lipics. 8: 505-516. DOI: 10.4230/LIPIcs.FSTTCS.2010.505  1
2010 Henzinger TA, Mateescu M, Mikeev L, Wolf V. Hybrid numerical solution of the chemical master equation Cmsb 2010 - Proceedings of the 8th International Conference On Computational Methods in Systems Biology. 55-65. DOI: 10.1145/1839764.1839772  1
2010 Henzinger TA. From Boolean to quantitative notions of correctness Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 157. DOI: 10.1145/1706299.1706319  1
2010 Didier F, Henzinger TA, Mateescu M, Wolf V. SABRE: A tool for stochastic analysis of biochemical reaction networks Proceedings - 7th International Conference On the Quantitative Evaluation of Systems, Qest 2010. 193-194. DOI: 10.1109/QEST.2010.33  1
2010 Doyen L, Henzinger TA, Legay A, Nǐckovíc D. Robustness of sequential circuits Proceedings - International Conference On Application of Concurrency to System Design, Acsd. 77-84. DOI: 10.1109/ACSD.2010.26  1
2010 Chatterjee K, Henzinger TA, Piterman N. Strategy logic Information and Computation. 208: 677-693. DOI: 10.1016/j.ic.2009.07.004  1
2010 Blanc R, Henzinger TA, Hottelier T, Kovács L. ABC: Algebraic bound computation for loops Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6355: 103-118. DOI: 10.1007/978-3-642-17511-4_7  1
2010 Henzinger TA, Hottelier T, Kovács L, Rybalchenko A. Aligators for arrays (tool paper) Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6397: 348-356. DOI: 10.1007/978-3-642-16242-8-25  1
2010 Chatterjee K, Henzinger TA. Probabilistic automata on infinite words: Decidability and undecidability results Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6252: 1-16. DOI: 10.1007/978-3-642-15643-4_1  1
2010 Černý P, Henzinger TA, Radhakrishna A. Simulation distances Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6269: 253-268. DOI: 10.1007/978-3-642-15375-4_18  1
2010 Chatterjee K, Doyen L, Henzinger TA. Qualitative analysis of partially-observable Markov decision processes Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6281: 258-269. DOI: 10.1007/978-3-642-15155-2_24  1
2010 Chatterjee K, Doyen L, Gimbert H, Henzinger TA. Randomness for free Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6281: 246-257. DOI: 10.1007/978-3-642-15155-2_23  1
2010 Chatterjee K, Henzinger TA, Jobstmann B, Radhakrishna A. Gist: A solver for probabilistic games Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6174: 665-669. DOI: 10.1007/978-3-642-14295-6_57  1
2010 Chatterjee K, Henzinger TA, Jobstmann B, Singh R. Measuring and synthesizing systems in probabilistic environments Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6174: 380-395. DOI: 10.1007/978-3-642-14295-6_34  1
2010 Černý P, Henzinger TA, Radhakrishna A. Quantitative simulation games Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6200: 42-60. DOI: 10.1007/978-3-642-13754-9_3  1
2010 Wies T, Zufferey D, Henzinger TA. Forward analysis of depth-bounded processes Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6014: 94-108. DOI: 10.1007/978-3-642-12032-9_8  1
2010 Beyer D, Henzinger TA, Théoduloz G, Zufferey D. Shape refinement through explicit heap analysis Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6013: 263-277. DOI: 10.1007/978-3-642-12029-9_19  1
2010 Henzinger TA, Hottelier T, Kovács L, Voronkov A. Invariant and type inference for matrices Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5944: 163-179. DOI: 10.1007/978-3-642-11319-2_14  1
2009 Chatterjee K, Doyen L, Henzinger TA. Expressiveness and closure properties for quantitative languages Proceedings - Symposium On Logic in Computer Science. 199-208. DOI: 10.2168/LMCS-6 (3:10) 2010  1
2009 Tripakis S, Lickly B, Henzinger TA, Lee EA. On relational interfaces Embedded Systems Week 2009 - Proceedings of the 7th Acm International Conference On Embedded Software, Emsoft '09. 67-76. DOI: 10.1145/1629335.1629346  1
2009 Didier F, Henzinger TA, Mateescu M, Wolf V. Fast adaptive uniformization of the chemical master equation Hibi09 - 2009 International Workshop On High Performance Computational Systems Biology. 118-127. DOI: 10.1109/HiBi.2009.23  1
2009 Bloem R, Greimel K, Henzinger TA, Jobstmann B. Synthesizing robust systems 9th International Conference Formal Methods in Computer Aided Design, Fmcad 2009. 85-92. DOI: 10.1109/FMCAD.2009.5351139  1
2009 Henzinger TA, Jobstmann B, Wolf V. Formalisms for specifying Markovian population models Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5797: 3-23. DOI: 10.1007/978-3-642-04420-5_2  1
2009 Chatterjee K, Doyen L, Henzinger TA. Probabilistic weighted automata Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5710: 244-258. DOI: 10.1007/978-3-642-04081-8_17  1
2009 Didier F, Henzinger TA, Mateescu M, Wolf V. Approximation of event probabilities in noisy cellular processes Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5688: 173-188. DOI: 10.1007/978-3-642-03845-7_12  1
2009 Chatterjee K, Henzinger TA, Horn F. Stochastic Games with Finitary Objectives Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5734: 34-54. DOI: 10.1007/978-3-642-03816-7_4  1
2009 Chatterjee K, Doyen L, Henzinger TA. Alternating weighted automata Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5699: 3-13. DOI: 10.1007/978-3-642-03409-1_2  1
2009 Chatterjee K, Henzinger TA. Probabilistic systems with limsup and liminf objectives Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5489: 32-45. DOI: 10.1007/978-3-642-03092-5_4  1
2009 Chatterjee K, Doyen L, Henzinger TA. A survey of stochastic games with limsup and liminf objectives Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5556: 1-15. DOI: 10.1007/978-3-642-02930-1_1  1
2009 Henzinger TA, Mateescu M, Wolf V. Sliding window abstraction for infinite markov chains Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5643: 337-352. DOI: 10.1007/978-3-642-02658-4_27  1
2009 Guerraoui R, Henzinger TA, Singh V. Software transactional memory on relaxed memory models Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5643: 321-336. DOI: 10.1007/978-3-642-02658-4_26  1
2009 Bloem R, Chatterjee K, Henzinger TA, Jobstmann B. Better quality in synthesis through quantitative objectives Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5643: 140-156. DOI: 10.1007/978-3-642-02658-4_14  1
2008 Henzinger TA. Two challenges in embedded systems design: predictability and robustness. Philosophical Transactions. Series a, Mathematical, Physical, and Engineering Sciences. 366: 3727-36. PMID 18672451 DOI: 10.1098/rsta.2008.0141  1
2008 Doyen L, Henzinger TA, Raskin JF. Equivalence of labeled Markov chains International Journal of Foundations of Computer Science. 19: 549-563. DOI: 10.1142/S0129054108005814  1
2008 Beyer D, Henzinger TA, Théoduloz G. Program analysis with dynamic precision adjustment Ase 2008 - 23rd Ieee/Acm International Conference On Automated Software Engineering, Proceedings. 29-38. DOI: 10.1109/ASE.2008.13  1
2008 Chatterjee K, Henzinger TA. Reduction of stochastic parity to stochastic mean-payoff games Information Processing Letters. 106: 1-7. DOI: 10.1016/j.ipl.2007.08.035  1
2008 Chatterjee K, Majumdar R, Henzinger TA. Stochastic limit-average games are in EXPTIME International Journal of Game Theory. 37: 219-234. DOI: 10.1007/s00182-007-0110-5  1
2008 Henzinger TA, Hottelier T, Kovács L. Valigator: A verification tool with bound and invariant generation Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5330: 333-342. DOI: 10.1007/978-3-540-89439-1_24  1
2008 Guerraoui R, Henzinger TA, Singh V. Permissiveness in transactional memories Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5218: 305-319. DOI: 10.1007/978-3-540-87779-0_21  1
2008 Chatterjee K, Doyen L, Henzinger TA. Quantitative languages Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5213: 385-400. DOI: 10.1007/978-3-540-87531-428  1
2008 Guerraoui R, Henzinger TA, Singh V. Completeness and nondeterminism in model checking transactional memories Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5201: 21-35. DOI: 10.1007/978-3-540-85361-9_6  1
2008 Chatterjee K, Henzinger TA, Jobstmann B. Environment assumptions for synthesis Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5201: 147-161. DOI: 10.1007/978-3-540-85361-9_14  1
2008 Chatterjee K, Majumdar R, Henzinger TA. Controller synthesis with budget constraints Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4981: 72-86. DOI: 10.1007/978-3-540-78929-1-6  1
2008 Chatterjee K, Sen K, Henzinger TA. Model-checking ω-regular properties of interval Markov chains Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4962: 302-317. DOI: 10.1007/978-3-540-78499-9_22  1
2008 Chatterjee K, Henzinger TA. Value iteration Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5000: 107-138. DOI: 10.1007/978-3-540-69850-0_7  1
2008 Fisher J, Henzinger TA, Mateescu M, Piterman N. Bounded asynchrony: Concurrency for modeling cell-cell interactions Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5054: 17-32. DOI: 10.1007/978-3-540-68413-8_2  1
2007 Fisher J, Henzinger TA. Executable cell biology. Nature Biotechnology. 25: 1239-49. PMID 17989686 DOI: 10.1038/nbt1356  1
2007 Fisher J, Piterman N, Hajnal A, Henzinger TA. Predictive modeling of signaling crosstalk during C. elegans vulval development. Plos Computational Biology. 3: e92. PMID 17511512 DOI: 10.1371/journal.pcbi.0030092  1
2007 Schaub MA, Henzinger TA, Fisher J. Qualitative networks: a symbolic approach to analyze biological signaling networks. Bmc Systems Biology. 1: 4. PMID 17408511 DOI: 10.1186/1752-0509-1-4  1
2007 Henzinger TA, Kirsch CM. The embedded machine: Predictable, portable real-time code Acm Transactions On Programming Languages and Systems. 29. DOI: 10.1145/1286821.1286824  1
2007 Beyer D, Henzinger TA, Majumdar R, Rybalchenko A. Path invariants Acm Sigplan Notices. 42: 300-309. DOI: 10.1145/1250734.1250769  1
2007 Henzinger TA, Sifakis J. The discipline of embedded systems design Computer. 40: 32-40. DOI: 10.1109/MC.2007.364  1
2007 Beyer D, Henzinger TA, Chakrabarti A, Seshia SA. An application of web-service interfaces Proceedings - 2007 Ieee International Conference On Web Services, Icws 2007. 831-838. DOI: 10.1109/ICWS.2007.32  1
2007 de Alfaro L, Henzinger TA, Kupferman O. Concurrent reachability games Theoretical Computer Science. 386: 188-217. DOI: 10.1016/j.tcs.2007.07.008  1
2007 Beyer D, Henzinger TA, Jhala R, Majumdar R. The software model checker Blast: Applications to software engineering International Journal On Software Tools For Technology Transfer. 9: 505-525. DOI: 10.1007/s10009-007-0044-z  1
2007 Henzinger TA. Quantitative generalizations of languages Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4588: 20-22.  1
2007 Henzinger TA. Games, time, and probability: Graph models for system design and analysis Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4362: 103-110.  1
2007 Duparc J, Henzinger TA. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4646.  1
2007 Chatterjee K, Henzinger TA. Assume-guarantee synthesis Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4424: 261-278.  1
2007 Beyer D, Henzinger TA, Théoduloz G. Configurable software verification: Concretizing the convergence of model checking and program analysis Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4590: 504-518.  1
2007 Beyer D, Henzinger TA, Singh V. Algorithms for interface synthesis Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4590: 4-19.  1
2007 Beyer D, Henzinger TA, Majumdar R, Rybalchenko A. Invariant synthesis for combined theories Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4349: 378-394.  1
2006 Ghosal A, Sangiovanni-Vincentelli A, Kirsch CM, Henzinger TA, Iercan D. A hierarchical coordination language for interacting real-time tasks Ieee International Conference On Embedded Software, Emsoft 2006. 132-141. DOI: 10.1145/1176887.1176907  1
2006 Chatterjee K, De Alfaro L, Henzinger TA. The complexity of quantitative concurrent parity games Proceedings of the Annual Acm-Siam Symposium On Discrete Algorithms. 678-687. DOI: 10.1145/1109557.1109631  1
2006 Fisher J, Henzinger TA. Executable biology Proceedings - Winter Simulation Conference. 1675-1682. DOI: 10.1109/WSC.2006.322942  1
2006 Henzinger TA, Matic S. An interface algebra for real-time components Real-Time Technology and Applications - Proceedings. 253-266. DOI: 10.1109/RTAS.2006.11  1
2006 Chatterjee K, De Alfaro L, Henzinger TA. Strategy improvement for concurrent reachability games Third International Conference On the Quantitative Evaluation of Systems, Qest 2006. 291-300. DOI: 10.1109/QEST.2006.37  1
2006 Chatterjee K, Henzinger TA, Jurdziński M. Games with secure equilibria Theoretical Computer Science. 365: 67-82. DOI: 10.1016/j.tcs.2006.07.032  1
2006 Henzinger TA, Kupferman O, Majumdar R. On the universal and existential fragments of the μ-calculus Theoretical Computer Science. 354: 173-186. DOI: 10.1016/j.tcs.2005.11.015  1
2006 Chatterjee K, Henzinger TA. Finitary winning in ω-regular games Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3920: 257-271. DOI: 10.1007/11691372_17  1
2006 Chatterjee K, Henzinger TA. Strategy improvement and randomized subexponential algorithms for stochastic parity games Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3884: 512-523. DOI: 10.1007/11672142_42  1
2006 Henzinger TA, Sifakis J. The embedded systems design challenge Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4085: 1-15.  1
2006 Henzinger TA, Piterman N. Solving games without determinization Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4207: 395-410.  1
2006 Chatterjee K, Henzinger TA. Strategy improvement for stochastic Rabin and Streett games Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4137: 375-389.  1
2006 Henzinger TA, Prabhu VS. Timed alternating-time temporal logic Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4202: 1-17.  1
2006 Beyer D, Henzinger TA, Théoduloz G. Lazy shape analysis Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4144: 532-546.  1
2006 Chatterjee K, Doyen L, Henzinger TA, Raskin JE. Algorithms for omega-regular games with imperfect information Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4207: 287-302.  1
2006 De Wulf M, Doyen L, Henzinger TA, Raskin JF. Antichains: A new algorithm for checking universality of finite automata Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4144: 17-30.  1
2005 Henzinger TA, Kirsch CM, Matic S. Composable code generation for distributed Giotto Acm Sigplan Notices. 40: 21-30. DOI: 10.1145/1070891.1065914  1
2005 Matic S, Henzinger TA. Trading end-to-end latency for composability Proceedings - Real-Time Systems Symposium. DOI: 10.1109/RTSS.2005.43  1
2005 Henzinger TA, Majumdar R, Prabhu VS. Quantifying similarities between timed systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3829: 226-241. DOI: 10.1007/11603009_18  1
2005 Doyen L, Henzinger TA, Raskin JF. Automatic rectangular refinement of affine hybrid systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3829: 144-161. DOI: 10.1007/11603009_13  1
2005 Henzinger TA. Games in system design and verification Proceedings of the Tenth Conference On the Theoretical Aspects of Rationality and Knowledge. 1-4.  1
2005 Chatterjee K, Henzinger TA. Semiperfect-information games Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3821: 1-18.  1
2005 Henzinger TA, Jhala R, Majumdar R. The BLAST software verification system Lecture Notes in Computer Science. 3639: 25-26.  1
2005 Beyer D, Henzinger TA, Jhala R, Majumdar R. Checking memory safety with Blast Lecture Notes in Computer Science. 3442: 2-18.  1
2005 Chatterjee K, Henzinger TA, Jhala R, Majumdar R. Counterexample-guided planning Proceedings of the 21st Conference On Uncertainty in Artificial Intelligence, Uai 2005. 104-111.  1
2005 Henzinger TA, Jhala R, Majumdar R. Permissive interfaces Esec/Fse'05 - Proceedings of the Joint 10th European Software Engineering Conference (Esec) and 13th Acm Sigsoft Symposium On the Foundations of Software Engineering (Fse-13). 31-40.  1
2004 Beyer D, Chlipala AJ, Henzinger TA, Jhala R, Majumdar R. Generating tests from counterexamples Proceedings - International Conference On Software Engineering. 26: 326-335. DOI: 10.1109/ICSE.2004.1317455  1
2004 Chatterjee K, Ma D, Majumdar R, Zhao T, Henzinger TA, Palsberg J. Stack size analysis for interrupt-driven programs Information and Computation. 194: 144-174. DOI: 10.1016/j.ic.2004.06.001  1
2004 Henzinger TA. Embedded software: Better models, better code Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3099: 35-36.  1
2004 Henzinger TA. Rich interfaces for software modules Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3086: 516-517.  1
2004 Henzinger TA, Kirsch CM. A typed assembly language for real-time programs Emsoft 2004 - Fourth Acm International Conference On Embedded Software. 104-113.  1
2004 Beyer D, Henzinger TA, Jhala R, Majumdar R. An eclipse plug-in for model checking Program Comprehension, Workshop Proceedings. 12: 251-255.  1
2003 Henzinger TA, Kupferman O, Qadeer S. From Pre-Historic to Post-Modern Symbolic Model Checking Formal Methods in System Design. 23: 303-327. DOI: 10.1023/A:1026228213080  1
2003 Henzinger TA. Automata for specifying component interfaces Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2759: 1-2.  1
2003 Henzinger TA. Model checking: From hardware to software Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2895: 176-177.  1
2003 Chatterjee K, Jurdziński M, Henzinger TA. Simple stochastic parity games Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2803: 100-113.  1
2003 Henzinger TA, Kirsch CM, Matic S. Schedule-carrying code Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2855: 241-256.  1
2003 Henzinger TA, Jhala R, Majumdar R, Qadeer S. Thread-modular abstraction refinement Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2725: 262-274.  1
2003 Chakrabarti A, De Alfaro L, Henzinger TA, Stoelinga M. Resource interfaces Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2855: 117-133.  1
2003 Henzinger TA, Jhala R, Majumdar R. Counterexample-guided control Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2719: 886-902.  1
2002 Alur R, Henzinger TA, Kupferman O. Alternating-time temporal logic Journal of the Acm. 49: 672-713. DOI: 10.1145/585265.585270  1
2002 Henzinger TA, Qadeer S, Rajamani SK, Tasiran S. An assume-guarantee rule for checking simulation Acm Transactions On Programming Languages and Systems. 24: 51-64. DOI: 10.1145/509705.509707  1
2002 Schobbens PY, Raskin JF, Henzinger TA. Axioms for real-time logics Theoretical Computer Science. 274: 151-182. DOI: 10.1016/S0304-3975(00)00308-X  1
2002 Henzinger TA. From models to code: The missing link in embedded software Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2289: 5-6. DOI: 10.1007/3-540-45873-5_3  1
2002 Cassez F, Henzinger TA, Raskin JF. A comparison of control problems for timed and hybrid systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2289: 134-148. DOI: 10.1007/3-540-45873-5_13  1
2002 Henzinger TA. The symbolic approach to hybrid systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2404: 57.  1
2002 Jurdziński M, Kupferman O, Henzinger TA. Trading probability for Fairness Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2471: 292-305.  1
2002 Henzinger TA, Jhala R, Majumdar R, Sutre G. Lazy abstraction Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 58-70.  1
2002 De Alfaro L, Henzinger TA, Stoelinga M. Timed interfaces Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2491: 108-122.  1
2001 Alur R, Brayton RK, Henzinger TA, Qadeer S, Rajamani SK. Partial-order reduction in symbolic state-space exploration Formal Methods in System Design. 18: 97-116. DOI: 10.1023/A:1008767206905  1
2001 Alur R, Henzinger TA. Information and Computation: Introduction Information and Computation. 164: 233. DOI: 10.1006/inco.2000.2892  1
2001 de Alfaro L, Henzinger TA. Interface theories for component-based design Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2211: 148-165.  1
2001 De Alfaro L, Henzinger TA, Majumdar R. From verification to control: Dynamic programs for omega-regular objectives Proceedings - Symposium On Logic in Computer Science. 279-290.  1
2001 Henzinger TA, Preußig J, Wong-Toi H. Some lessons from the HYTECH experience Proceedings of the Ieee Conference On Decision and Control. 3: 2887-2892.  1
2001 De Alfaro L, Henzinger TA. Interface automata Proceedings of the Acm Sigsoft Symposium On the Foundations of Software Engineering. 109-120.  1
2001 De Alfaro L, Henzinger TA, Jhala R. Compositional methods for probabilistic systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2154: 351-365.  1
2001 De Alfaro L, Henzinger TA, Majumdar R. Symbolic algorithms for infinite-state games Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2154: 536-550.  1
2001 Alur R, De Alfaro L, Grosu R, Henzinger TA, Kang M, Kirsch CM, Majumdar R, Mang F, Wang BY. JMOCHA: A model checking tool that exploits design structure Proceedings - International Conference On Software Engineering. 835-836.  1
2000 Henzinger TA. Exploiting design structure in model checking: Invited speaker Electronic Notes in Theoretical Computer Science. 39: 322. DOI: 10.1016/S1571-0661(05)80755-8  1
2000 Henzinger TA. Masaccio: A formal model for embedded components Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1872: 549-563.  1
2000 Henzinger TA, Majumdar R. Symbolic model checking for rectangular hybrid systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1785: 142-156.  1
2000 Henzinger TA, Majumdar R. A classification of symbolic transition systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1770: 13-34.  1
2000 Henzinger TA, Rajamani SK. Fair bisimulation Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1785: 299-314.  1
2000 Henzinger TA, Raskin JF. Robust undecidability of timed and hybrid systems? Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1790: 145-159.  1
1999 Alur R, Henzinger TA. Reactive modules Formal Methods in System Design. 15: 7-48. DOI: 10.1023/A:1008739929481  1
1999 Alur R, Fix L, Henzinger TA. Event-clock automata: A determinizable class of timed automata Theoretical Computer Science. 211: 253-273.  1
1999 Alur R, De Alfaro L, Henzinger TA, Mang FYC. Automating modular verification Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1664: 82-97.  1
1998 Alur R, Henzinger TA. Finitary fairness Acm Transactions On Programming Languages and Systems. 20: 1171-1194. DOI: 10.1145/295656.295659  1
1998 Preußig J, Kowalewski S, Wong-Toi H, Henzinger TA. An algorithm for the approximative analysis of rectangular automata Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1486: 228-240. DOI: 10.1007/BFb0055350  1
1998 Henzinger TA, Rusu V. Reachability verification for hybrid automata Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1386: 190-204. DOI: 10.1007/3-540-64358-3_40  1
1998 Henzinger TA. Model checking game properties of multi-agent systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1443: 543.  1
1998 Henzinger TA. It’s about time: Real-time logics reviewed Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1466: 339-454.  1
1998 Henzinger TA, Kopke PW, Puri A, Varaiya P. What's Decidable about Hybrid Automata? Journal of Computer and System Sciences. 57: 94-124.  1
1998 Henzinger TA, Raskin JF, Schobbens PY. The regular real-time languages Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1443: 580-591.  1
1998 Alur R, Henzinger TA, Kupferman O, Vardi MY. Alternating refinement relations Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1466: 164-178.  1
1998 Alur R, Henzinger TA, Rajamani SK. Symbolic exploration of transition hierarchies Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1384: 330-344.  1
1997 Alur R, Henzinger TA. Real-time system = discrete system + clock variables International Journal On Software Tools For Technology Transfer. 1: 86-109. DOI: 10.1007/s100090050007  1
1997 Gupta V, Henzinger TA, Jagadeesan R. Robust timed automata Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1201: 331-345. DOI: 10.1007/BFb0014736  1
1997 Henzinger TA, Kupferman O. From quantity to quality Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1201: 48-62. DOI: 10.1007/BFb0014712  1
1997 Alur R, Henzinger TA. Modularity for timed and hybrid systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1243: 74-88. DOI: 10.1007/3-540-63141-0_6  1
1997 Henzinger TA, Kupferman O, Rajamani SK. Fair simulation Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1243: 273-287. DOI: 10.1007/3-540-63141-0_19  1
1997 Henzinger TA, Kopke PW. Discrete-time control for rectangular hybrid automata Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1256: 582-593.  1
1997 Alur R, Courcoubetis C, Henzinger TA. Computing Accumulated Delays in Real-time Systems Formal Methods in System Design. 11: 137-155.  1
1996 Alur R, Henzinger TA, Ho PH. Automatic symbolic verification of embedded systems Ieee Transactions On Software Engineering. 22: 181-201. DOI: 10.1109/32.489079  1
1996 Henzinger TA, Wong-Toi H. Linear phase-portrait approximations for nonlinear hybrid systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1066: 377-388. DOI: 10.1007/BFb0020961  1
1996 Alur R, Henzinger TA, Sontag ED. Preface Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1066: v-vi. DOI: 10.1007/BFb0020931  1
1996 Henzinger TA, Kopke PW. State equivalences for rectangular hybrid automata Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1119: 530-545.  1
1996 Alur R, Feder T, Henzinger TA. The benefits of relaxing punctuality Journal of the Acm. 43: 116-146.  1
1995 Henzinger TA, Ho PH. Algorithmic analysis of nonlinear hybrid systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 939: 225-238. DOI: 10.1109/9.664156  1
1995 Henzinger TA, Kopke PW, Wong-Toi H. The expressive power of clocks Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 944: 417-428. DOI: 10.1007/3-540-60084-1_93  1
1995 Henzinger TA. Hybrid automata with finite bisimulations Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 944: 324-335. DOI: 10.1007/3-540-60084-1_85  1
1995 Alur R, Henzinger TA. Local liveness for compositional modeling of fair reactive systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 939: 166-179.  1
1995 Henzinger TA, Ho PH, Wong-Toi H. A user guide to HyTech Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1019: 41-71.  1
1994 Alur R, Henzinger TA. A Really Temporal Logic Journal of the Acm (Jacm). 41: 181-203. DOI: 10.1145/174644.174651  1
1994 Henzinger TA, Manna Z, Pnueli A. Temporal Proof Methodologies for Timed Transition-Systems Information and Computation. 112: 273-337. DOI: 10.1006/inco.1994.1060  1
1994 Henzinger TA, Nicollin X, Sifakis J, Yovine S. Symbolic Model Checking for Real-Time Systems Information and Computation. 111: 193-244. DOI: 10.1006/inco.1994.1045  1
1993 Alur R, Henzinger TA. Real-Time Logics: Complexity and Expressiveness Information and Computation. 104: 35-77. DOI: 10.1006/inco.1993.1025  1
1992 Henzinger TA. Sooner is safer than later Information Processing Letters. 43: 135-141. DOI: 10.1016/0020-0190(92)90005-G  1
Show low-probability matches.