| 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. |