The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Thomas A. Henzinger: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Rajeev Alur, Thomas A. Henzinger
    Real-time Logics: Complexity and Expressiveness [Citation Graph (3, 0)][DBLP]
    LICS, 1990, pp:390-401 [Conf]
  2. Monika Rauch Henzinger, Thomas A. Henzinger, Peter W. Kopke
    Computing Simulations on Finite and Infinite Graphs. [Citation Graph (2, 0)][DBLP]
    FOCS, 1995, pp:453-462 [Conf]
  3. Thomas A. Henzinger
    The Theory of Hybrid Automata. [Citation Graph (1, 0)][DBLP]
    LICS, 1996, pp:278-292 [Conf]
  4. Thomas A. Henzinger
    Half-Order Modal Logic: How to Prove Real-Time Properties. [Citation Graph (1, 0)][DBLP]
    PODC, 1990, pp:281-296 [Conf]
  5. Rajeev Alur, Thomas A. Henzinger
    Logics and Models of Real Time: A Survey. [Citation Graph (1, 0)][DBLP]
    REX Workshop, 1991, pp:74-106 [Conf]
  6. Rajeev Alur, Thomas A. Henzinger
    Real-Time Logics: Complexity and Expressiveness [Citation Graph (1, 0)][DBLP]
    Inf. Comput., 1993, v:104, n:1, pp:35-77 [Journal]
  7. Thomas A. Henzinger
    Model Checking: From Hardware to Software. [Citation Graph (0, 0)][DBLP]
    APLAS, 2003, pp:176-177 [Conf]
  8. Thomas A. Henzinger
    Embedded Software: Better Models, Better Code. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2004, pp:35-36 [Conf]
  9. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Marco A. A. Sanvido
    Extreme Model Checking. [Citation Graph (0, 0)][DBLP]
    Verification: Theory and Practice, 2003, pp:332-358 [Conf]
  10. Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz
    Lazy Shape Analysis. [Citation Graph (0, 0)][DBLP]
    CAV, 2006, pp:532-546 [Conf]
  11. Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang
    Detecting Errors Before Reaching Them. [Citation Graph (0, 0)][DBLP]
    CAV, 2000, pp:186-201 [Conf]
  12. Rajeev Alur, Robert K. Brayton, Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani
    Partial-Order Reduction in Symbolic State Space Exploration. [Citation Graph (0, 0)][DBLP]
    CAV, 1997, pp:340-351 [Conf]
  13. Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger
    Computing Accumulated Delays in Real-time Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 1993, pp:181-193 [Conf]
  14. Rajeev Alur, Limor Fix, Thomas A. Henzinger
    A Determinizable Class of Timed Automata. [Citation Graph (0, 0)][DBLP]
    CAV, 1994, pp:1-13 [Conf]
  15. Rajeev Alur, Thomas A. Henzinger
    Local Liveness for Compositional Modeling of Fair Reactive Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 1995, pp:166-179 [Conf]
  16. Rajeev Alur, Thomas A. Henzinger, Freddy Y. C. Mang, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran
    MOCHA: Modularity in Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 1998, pp:521-525 [Conf]
  17. Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Marcin Jurdzinski, Freddy Y. C. Mang
    Interface Compatibility Checking for Software Modules. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:428-441 [Conf]
  18. Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang
    Synchronous and Bidirectional Component Interfaces. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:414-427 [Conf]
  19. Thomas A. Henzinger
    The Symbolic Approach to Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:57- [Conf]
  20. Thomas A. Henzinger, Pei-Hsin Ho
    Algorithmic Analysis of Nonlinear Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 1995, pp:225-238 [Conf]
  21. Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi
    HYTECH: A Model Checker for Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 1997, pp:460-463 [Conf]
  22. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, George C. Necula, Grégoire Sutre, Westley Weimer
    Temporal-Safety Proofs for Systems Code. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:526-538 [Conf]
  23. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Shaz Qadeer
    Thread-Modular Abstraction Refinement. [Citation Graph (0, 0)][DBLP]
    CAV, 2003, pp:262-274 [Conf]
  24. Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer
    From Pre-historic to Post-modern Symbolic Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 1998, pp:195-206 [Conf]
  25. Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani
    You Assume, We Guarantee: Methodology and Case Studies. [Citation Graph (0, 0)][DBLP]
    CAV, 1998, pp:440-451 [Conf]
  26. Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani
    Assume-Guarantee Refinement Between Different Time Scales. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:208-221 [Conf]
  27. Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani
    Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:301-315 [Conf]
  28. Martin De Wulf, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin
    Antichains: A New Algorithm for Checking Universality of Finite Automata. [Citation Graph (0, 0)][DBLP]
    CAV, 2006, pp:17-30 [Conf]
  29. Arindam Chakrabarti, Krishnendu Chatterjee, Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar
    Verifying Quantitative Properties Using Bound Functions. [Citation Graph (0, 0)][DBLP]
    CHARME, 2005, pp:50-64 [Conf]
  30. Rajeev Alur, Thomas A. Henzinger, Orna Kupferman
    Alternating-Time Temporal Logic. [Citation Graph (0, 0)][DBLP]
    COMPOS, 1997, pp:23-60 [Conf]
  31. Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga
    The Element of Surprise in Timed Games. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2003, pp:142-156 [Conf]
  32. Luca de Alfaro, Thomas A. Henzinger, Ranjit Jhala
    Compositional Methods for Probabilistic Systems. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2001, pp:351-365 [Conf]
  33. Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang
    The Control of Synchronous Systems. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2000, pp:458-473 [Conf]
  34. Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar
    Symbolic Algorithms for Infinite-State Games. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2001, pp:536-550 [Conf]
  35. Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang
    The Control of Synchronous Systems, Part II. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2001, pp:566-582 [Conf]
  36. Rajeev Alur, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang
    Automating Modular Verification. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1999, pp:82-97 [Conf]
  37. Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger
    The Observational Power of Clocks. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1994, pp:162-177 [Conf]
  38. Rajeev Alur, Thomas A. Henzinger
    Modularity for Timed and Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1997, pp:74-88 [Conf]
  39. Rajeev Alur, Thomas A. Henzinger, Orna Kupferman, Moshe Y. Vardi
    Alternating Refinement Relations. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1998, pp:163-178 [Conf]
  40. Krishnendu Chatterjee, Thomas A. Henzinger
    Strategy Improvement for Stochastic Rabin and Streett Games. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2006, pp:375-389 [Conf]
  41. Thomas A. Henzinger
    It's About Time: Real-Time Logics Reviewed. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1998, pp:439-454 [Conf]
  42. Thomas A. Henzinger, Benjamin Horowitz, Rupak Majumdar
    Rectangular Hybrid Games. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1999, pp:320-335 [Conf]
  43. Thomas A. Henzinger, Peter W. Kopke
    State Equivalences for Rectangular Hybrid Automata. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1996, pp:530-545 [Conf]
  44. Thomas A. Henzinger, Orna Kupferman, Sriram K. Rajamani
    Fair Simulation. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1997, pp:273-287 [Conf]
  45. Thomas A. Henzinger, Orna Kupferman, Moshe Y. Vardi
    A Space-Efficient On-the-fly Algorithm for Real-Time Model Checking. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1996, pp:514-529 [Conf]
  46. Jean-François Raskin, Pierre-Yves Schobbens, Thomas A. Henzinger
    Axioms for Real-Time Logics. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1998, pp:219-236 [Conf]
  47. Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin
    Algorithms for Omega-Regular Games with Imperfect Information, . [Citation Graph (0, 0)][DBLP]
    CSL, 2006, pp:287-302 [Conf]
  48. Krishnendu Chatterjee, Marcin Jurdzinski, Thomas A. Henzinger
    Simple Stochastic Parity Games. [Citation Graph (0, 0)][DBLP]
    CSL, 2003, pp:100-113 [Conf]
  49. Thomas A. Henzinger, Nir Piterman
    Solving Games Without Determinization. [Citation Graph (0, 0)][DBLP]
    CSL, 2006, pp:395-410 [Conf]
  50. Marcin Jurdzinski, Orna Kupferman, Thomas A. Henzinger
    Trading Probability for Fairness. [Citation Graph (0, 0)][DBLP]
    CSL, 2002, pp:292-305 [Conf]
  51. Thomas A. Henzinger, Howard Wong-Toi
    Using HyTech to Synthesize Control Parameters for a Steam Boiler. [Citation Graph (0, 0)][DBLP]
    Formal Methods for Industrial Applications, 1995, pp:265-282 [Conf]
  52. Thomas A. Henzinger
    Rich Interfaces for Software Modules. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2004, pp:517-518 [Conf]
  53. Luca de Alfaro, Thomas A. Henzinger
    Interface Theories for Component-Based Design. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2001, pp:148-165 [Conf]
  54. Luca de Alfaro, Thomas A. Henzinger, Mariëlle Stoelinga
    Timed Interfaces. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2002, pp:108-122 [Conf]
  55. Thomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch
    Giotto: A Time-Triggered Language for Embedded Programming. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2001, pp:166-184 [Conf]
  56. Thomas A. Henzinger, Christoph M. Kirsch
    A typed assembly language for real-time programs. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2004, pp:104-113 [Conf]
  57. Thomas A. Henzinger, Christoph M. Kirsch, Slobodan Matic
    Schedule-Carrying Code. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2003, pp:241-256 [Conf]
  58. Thomas A. Henzinger, Christoph M. Kirsch, Rupak Majumdar, Slobodan Matic
    Time-Safety Checking for Embedded Programs. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2002, pp:76-92 [Conf]
  59. Christoph M. Kirsch, Marco A. A. Sanvido, Thomas A. Henzinger, Wolfgang Pree
    A Giotto-Based Helicopter Control System. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2002, pp:46-60 [Conf]
  60. Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Mariëlle Stoelinga
    Resource Interfaces. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2003, pp:117-133 [Conf]
  61. Arkadeb Ghosal, Alberto L. Sangiovanni-Vincentelli, Christoph M. Kirsch, Thomas A. Henzinger, Daniel T. Iercan
    A hierarchical coordination language for interacting real-time tasks. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2006, pp:132-141 [Conf]
  62. Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
    Checking Memory Safety with Blast. [Citation Graph (0, 0)][DBLP]
    FASE, 2005, pp:2-18 [Conf]
  63. Thomas A. Henzinger, Joseph Sifakis
    The Embedded Systems Design Challenge. [Citation Graph (0, 0)][DBLP]
    FM, 2006, pp:1-15 [Conf]
  64. Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran
    An Assume-Guarantee Rule for Checking Simulation. [Citation Graph (0, 0)][DBLP]
    FMCAD, 1998, pp:421-432 [Conf]
  65. Krishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski
    Games with Secure Equilibria. [Citation Graph (0, 0)][DBLP]
    FMCO, 2004, pp:141-161 [Conf]
  66. Luca de Alfaro, Thomas A. Henzinger, Orna Kupferman
    Concurrent Reachability Games. [Citation Graph (0, 0)][DBLP]
    FOCS, 1998, pp:564-575 [Conf]
  67. Rajeev Alur, Thomas A. Henzinger
    A Really Temporal Logic [Citation Graph (0, 0)][DBLP]
    FOCS, 1989, pp:164-169 [Conf]
  68. Rajeev Alur, Thomas A. Henzinger
    Back to the Future: Towards a Theory of Timed Regular Languages [Citation Graph (0, 0)][DBLP]
    FOCS, 1992, pp:177-186 [Conf]
  69. Rajeev Alur, Thomas A. Henzinger, Orna Kupferman
    Alternating-time Temporal Logic. [Citation Graph (0, 0)][DBLP]
    FOCS, 1997, pp:100-109 [Conf]
  70. Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin
    Automatic Rectangular Refinement of Affine Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2005, pp:144-161 [Conf]
  71. Thomas A. Henzinger, Rupak Majumdar, Vinayak S. Prabhu
    Quantifying Similarities Between Timed Systems. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2005, pp:226-241 [Conf]
  72. Thomas A. Henzinger, Vinayak S. Prabhu
    Timed Alternating-Time Temporal Logic. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2006, pp:1-17 [Conf]
  73. Krishnendu Chatterjee, Thomas A. Henzinger
    Semiperfect-Information Games. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2005, pp:1-18 [Conf]
  74. Arjun Kapur, Thomas A. Henzinger, Zohar Manna, Amir Pnueli
    Prooving Safety Properties of Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1994, pp:431-454 [Conf]
  75. Thomas A. Henzinger, Peter W. Kopke
    Verification Methods for the Divergent Runs of Clock Systems. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1994, pp:351-372 [Conf]
  76. Jörg Preußig, Stefan Kowalewski, Howard Wong-Toi, Thomas A. Henzinger
    An Algorithm for the Approximative Analysis of Rectangular Automata. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1998, pp:228-240 [Conf]
  77. Franck Cassez, Thomas A. Henzinger, Jean-François Raskin
    A Comparison of Control Problems for Timed and Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2002, pp:134-148 [Conf]
  78. Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger, Pei-Hsin Ho
    Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1992, pp:209-229 [Conf]
  79. Thomas A. Henzinger
    From Models to Code: The Missing Link in Embedded Software. [Citation Graph (0, 0)][DBLP]
    HSCC, 2002, pp:5-6 [Conf]
  80. Thomas A. Henzinger, Pei-Hsin Ho
    A Note on Abstract Interpretation Strategies for Hybrid Automata. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1994, pp:252-264 [Conf]
  81. Thomas A. Henzinger, Pei-Hsin Ho
    HYTECH: The Cornell HYbrid TECHnology Tool. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1994, pp:265-293 [Conf]
  82. Thomas A. Henzinger, Benjamin Horowitz, Rupak Majumdar, Howard Wong-Toi
    Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods. [Citation Graph (0, 0)][DBLP]
    HSCC, 2000, pp:130-144 [Conf]
  83. Vineet Gupta, Thomas A. Henzinger, Radha Jagadeesan
    Robust Timed Automata. [Citation Graph (0, 0)][DBLP]
    HART, 1997, pp:331-345 [Conf]
  84. Thomas A. Henzinger, Orna Kupferman
    From Quantity to Quality. [Citation Graph (0, 0)][DBLP]
    HART, 1997, pp:48-62 [Conf]
  85. Thomas A. Henzinger, Marius Minea, Vinayak S. Prabhu
    Assume-Guarantee Reasoning for Hierarchical Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2001, pp:275-290 [Conf]
  86. Thomas A. Henzinger, Zohar Manna, Amir Pnueli
    Towards Refining Temporal Specifications into Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1992, pp:60-76 [Conf]
  87. Thomas A. Henzinger, Jean-François Raskin
    Robust Undecidability of Timed and Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2000, pp:145-159 [Conf]
  88. Thomas A. Henzinger, Vlad Rusu
    Reachability Verification for Hybrid Automata. [Citation Graph (0, 0)][DBLP]
    HSCC, 1998, pp:190-204 [Conf]
  89. Thomas A. Henzinger, Howard Wong-Toi
    Linear Phase-Portrait Approximations for Nonlinear Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1995, pp:377-388 [Conf]
  90. Arkadeb Ghosal, Thomas A. Henzinger, Christoph M. Kirsch, Marco A. A. Sanvido
    Event-Driven Programming with Logical Execution Times. [Citation Graph (0, 0)][DBLP]
    HSCC, 2004, pp:357-371 [Conf]
  91. Alberto L. Sangiovanni-Vincentelli, Thomas A. Henzinger, Bruce H. Krogh, Oded Maler, Manfred Morari, Costas C. Pantelides, George J. Pappas, Tunc Simsec, Janos Sztipanovits, Stavros Tripakis
    Hybrid Systems Applications: An Oxymoron? [Citation Graph (0, 0)][DBLP]
    HSCC, 2001, pp:5-6 [Conf]
  92. Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar
    Discounting the Future in Systems Theory. [Citation Graph (0, 0)][DBLP]
    ICALP, 2003, pp:1022-1037 [Conf]
  93. Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger
    The Complexity of Stochastic Rabin and Streett Games'. [Citation Graph (0, 0)][DBLP]
    ICALP, 2005, pp:878-890 [Conf]
  94. Thomas A. Henzinger
    Hybrid Automata with Finite Bisimulatioins. [Citation Graph (0, 0)][DBLP]
    ICALP, 1995, pp:324-335 [Conf]
  95. Thomas A. Henzinger
    Model Checking Game Properties of Multi-agent Systems (Abstract). [Citation Graph (0, 0)][DBLP]
    ICALP, 1998, pp:543- [Conf]
  96. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
    Counterexample-Guided Control. [Citation Graph (0, 0)][DBLP]
    ICALP, 2003, pp:886-902 [Conf]
  97. Thomas A. Henzinger, Peter W. Kopke
    Discrete-Time Control for Rectangular Hybrid Automata. [Citation Graph (0, 0)][DBLP]
    ICALP, 1997, pp:582-593 [Conf]
  98. Thomas A. Henzinger, Sriram C. Krishnan, Orna Kupferman, Freddy Y. C. Mang
    Synthesis of Uninitialized Systems. [Citation Graph (0, 0)][DBLP]
    ICALP, 2002, pp:644-656 [Conf]
  99. Thomas A. Henzinger, Peter W. Kopke, Howard Wong-Toi
    The Expressive Power of Clocks. [Citation Graph (0, 0)][DBLP]
    ICALP, 1995, pp:417-428 [Conf]
  100. Thomas A. Henzinger, Zohar Manna, Amir Pnueli
    What Good Are Digital Clocks? [Citation Graph (0, 0)][DBLP]
    ICALP, 1992, pp:545-558 [Conf]
  101. Thomas A. Henzinger, Jean-François Raskin, Pierre-Yves Schobbens
    The Regular Real-Time Languages. [Citation Graph (0, 0)][DBLP]
    ICALP, 1998, pp:580-591 [Conf]
  102. Thomas A. Henzinger, Xiaojun Liu, Shaz Qadeer, Sriram K. Rajamani
    Formal specification and verification of a dataflow processor array. [Citation Graph (0, 0)][DBLP]
    ICCAD, 1999, pp:494-499 [Conf]
  103. Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani
    Decomposing Refinement Proofs Using Assume-Guarantee Reasoning. [Citation Graph (0, 0)][DBLP]
    ICCAD, 2000, pp:245-252 [Conf]
  104. Roberto Passerone, Luca de Alfaro, Thomas A. Henzinger, Alberto L. Sangiovanni-Vincentelli
    Convertibility verification and converter synthesis: two faces of the same coin. [Citation Graph (0, 0)][DBLP]
    ICCAD, 2002, pp:132-139 [Conf]
  105. Rajeev Alur, Luca de Alfaro, Radu Grosu, Thomas A. Henzinger, M. Kang, Christoph M. Kirsch, Rupak Majumdar, Freddy Y. C. Mang, Bow-Yaw Wang
    JMOCHA: A Model Checking Tool that Exploits Design Structure. [Citation Graph (0, 0)][DBLP]
    ICSE, 2001, pp:835-836 [Conf]
  106. Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
    Generating Tests from Counterexamples. [Citation Graph (0, 0)][DBLP]
    ICSE, 2004, pp:326-335 [Conf]
  107. Thomas A. Henzinger
    Computer-aided Verification of Embedded Systems. [Citation Graph (0, 0)][DBLP]
    IFIP Congress: Fundamentals - Foundations of Computer Science, 1998, pp:89-92 [Conf]
  108. Thomas A. Henzinger
    Masaccio: A Formal Model for Embedded Components. [Citation Graph (0, 0)][DBLP]
    IFIP TCS, 2000, pp:549-563 [Conf]
  109. Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
    An Eclipse Plug-in for Model Checking. [Citation Graph (0, 0)][DBLP]
    IWPC, 2004, pp:251-255 [Conf]
  110. Thomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch
    Embedded Control Systems Development with Giotto. [Citation Graph (0, 0)][DBLP]
    LCTES/OM, 2001, pp:64-72 [Conf]
  111. Thomas A. Henzinger, Christoph M. Kirsch, Slobodan Matic
    Composable code generation for distributed giotto. [Citation Graph (0, 0)][DBLP]
    LCTES, 2005, pp:21-30 [Conf]
  112. Luca de Alfaro, Thomas A. Henzinger
    Concurrent Omega-Regular Games. [Citation Graph (0, 0)][DBLP]
    LICS, 2000, pp:141-154 [Conf]
  113. Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar
    From Verification to Control: Dynamic Programs for Omega-Regular Objectives. [Citation Graph (0, 0)][DBLP]
    LICS, 2001, pp:279-290 [Conf]
  114. Rajeev Alur, Thomas A. Henzinger
    Finitary Fairness [Citation Graph (0, 0)][DBLP]
    LICS, 1994, pp:52-61 [Conf]
  115. Rajeev Alur, Thomas A. Henzinger
    Reactive Modules. [Citation Graph (0, 0)][DBLP]
    LICS, 1996, pp:207-218 [Conf]
  116. Krishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski
    Games with Secure Equilibria. [Citation Graph (0, 0)][DBLP]
    LICS, 2004, pp:160-169 [Conf]
  117. Krishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski
    Mean-Payoff Parity Games. [Citation Graph (0, 0)][DBLP]
    LICS, 2005, pp:178-187 [Conf]
  118. Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine
    Symbolic Model Checking for Real-time Systems [Citation Graph (0, 0)][DBLP]
    LICS, 1992, pp:394-406 [Conf]
  119. Thomas A. Henzinger, Hubert Hofbauer
    PROOF-PAD: An Interactive Proof Generating System Using Natural Deduction. [Citation Graph (0, 0)][DBLP]
    ÖGAI, 1985, pp:173-184 [Conf]
  120. Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
    Invited talk: the blast query language for software verification. [Citation Graph (0, 0)][DBLP]
    PEPM, 2004, pp:201-202 [Conf]
  121. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
    Race checking by context inference. [Citation Graph (0, 0)][DBLP]
    PLDI, 2004, pp:1-13 [Conf]
  122. Thomas A. Henzinger, Christoph M. Kirsch
    The Embedded Machine: Predictable, Portable Real-Time Code. [Citation Graph (0, 0)][DBLP]
    PLDI, 2002, pp:315-326 [Conf]
  123. Rajeev Alur, Tomás Feder, Thomas A. Henzinger
    The Benefits of Relaxing Punctuality. [Citation Graph (0, 0)][DBLP]
    PODC, 1991, pp:139-152 [Conf]
  124. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth L. McMillan
    Abstractions from proofs. [Citation Graph (0, 0)][DBLP]
    POPL, 2004, pp:232-244 [Conf]
  125. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre
    Lazy abstraction. [Citation Graph (0, 0)][DBLP]
    POPL, 2002, pp:58-70 [Conf]
  126. Thomas A. Henzinger, Zohar Manna, Amir Pnueli
    Temporal Proof Methodologies for Real-time Systems. [Citation Graph (0, 0)][DBLP]
    POPL, 1991, pp:353-366 [Conf]
  127. Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
    Invited talk: the blast query language for software verification. [Citation Graph (0, 0)][DBLP]
    PPDP, 2004, pp:1-2 [Conf]
  128. Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga
    Compositional Quantitative Reasoning. [Citation Graph (0, 0)][DBLP]
    QEST, 2006, pp:179-188 [Conf]
  129. Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger
    Trading Memory for Randomness. [Citation Graph (0, 0)][DBLP]
    QEST, 2004, pp:206-217 [Conf]
  130. Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger
    Strategy Improvement for Concurrent Reachability Games. [Citation Graph (0, 0)][DBLP]
    QEST, 2006, pp:291-300 [Conf]
  131. Thomas A. Henzinger, Zohar Manna, Amir Pnueli
    Timed Transition Systems. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1991, pp:226-251 [Conf]
  132. Thomas A. Henzinger, Slobodan Matic
    An Interface Algebra for Real-Time Components. [Citation Graph (0, 0)][DBLP]
    IEEE Real Time Technology and Applications Symposium, 2006, pp:253-266 [Conf]
  133. Rajeev Alur, Thomas A. Henzinger, Pei-Hsin Ho
    Automatic Symbolic Verification of Embedded Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1993, pp:2-11 [Conf]
  134. Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi
    HyTech: The Next Generation. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1995, pp:56-65 [Conf]
  135. Slobodan Matic, Thomas A. Henzinger
    Trading End-to-End Latency for Composability. [Citation Graph (0, 0)][DBLP]
    RTSS, 2005, pp:99-110 [Conf]
  136. Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg
    Stack Size Analysis for Interrupt-Driven Programs. [Citation Graph (0, 0)][DBLP]
    SAS, 2003, pp:109-126 [Conf]
  137. Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
    The Blast Query Language for Software Verification.. [Citation Graph (0, 0)][DBLP]
    SAS, 2004, pp:2-18 [Conf]
  138. Thomas A. Henzinger, Rupak Majumdar, Freddy Y. C. Mang, Jean-François Raskin
    Abstract Interpretation of Game Properties. [Citation Graph (0, 0)][DBLP]
    SAS, 2000, pp:220-239 [Conf]
  139. Luca de Alfaro, Thomas A. Henzinger
    Interface automata. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:109-120 [Conf]
  140. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
    Permissive interfaces. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2005, pp:31-40 [Conf]
  141. Bhargav S. Gulavani, Thomas A. Henzinger, Yamini Kannan, Aditya V. Nori, Sriram K. Rajamani
    SYNERGY: a new algorithm for property checking. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2006, pp:117-127 [Conf]
  142. Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger
    The complexity of quantitative concurrent parity games. [Citation Graph (0, 0)][DBLP]
    SODA, 2006, pp:678-687 [Conf]
  143. Krishnendu Chatterjee, Marcin Jurdzinski, Thomas A. Henzinger
    Quantitative stochastic parity games. [Citation Graph (0, 0)][DBLP]
    SODA, 2004, pp:121-130 [Conf]
  144. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
    The BLAST Software Verification System. [Citation Graph (0, 0)][DBLP]
    SPIN, 2005, pp:25-26 [Conf]
  145. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre
    Software Verification with BLAST. [Citation Graph (0, 0)][DBLP]
    SPIN, 2003, pp:235-239 [Conf]
  146. Krishnendu Chatterjee, Thomas A. Henzinger
    Strategy Improvement and Randomized Subexponential Algorithms for Stochastic Parity Games. [Citation Graph (0, 0)][DBLP]
    STACS, 2006, pp:512-523 [Conf]
  147. Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger
    Markov Decision Processes with Multiple Objectives. [Citation Graph (0, 0)][DBLP]
    STACS, 2006, pp:325-336 [Conf]
  148. Thomas A. Henzinger, Rupak Majumdar
    A Classification of Symbolic Transition Systems. [Citation Graph (0, 0)][DBLP]
    STACS, 2000, pp:13-34 [Conf]
  149. Rajeev Alur, Thomas A. Henzinger, Moshe Y. Vardi
    Parametric real-time reasoning. [Citation Graph (0, 0)][DBLP]
    STOC, 1993, pp:592-601 [Conf]
  150. Thomas A. Henzinger, Peter W. Kopke, Anuj Puri, Pravin Varaiya
    What's decidable about hybrid automata? [Citation Graph (0, 0)][DBLP]
    STOC, 1995, pp:373-382 [Conf]
  151. Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga
    Model Checking Discounted Temporal Properties. [Citation Graph (0, 0)][DBLP]
    TACAS, 2004, pp:77-92 [Conf]
  152. Rajeev Alur, Thomas A. Henzinger, Sriram K. Rajamani
    Symbolic Exploration of transition Hierarchies. [Citation Graph (0, 0)][DBLP]
    TACAS, 1998, pp:330-344 [Conf]
  153. Krishnendu Chatterjee, Thomas A. Henzinger
    Finitary Winning in omega-Regular Games. [Citation Graph (0, 0)][DBLP]
    TACAS, 2006, pp:257-271 [Conf]
  154. Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi
    A User Guide to HyTech. [Citation Graph (0, 0)][DBLP]
    TACAS, 1995, pp:41-71 [Conf]
  155. Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar
    On the Universal and Existential Fragments of the µ-Calculus. [Citation Graph (0, 0)][DBLP]
    TACAS, 2003, pp:49-64 [Conf]
  156. Thomas A. Henzinger, Rupak Majumdar
    Symbolic Model Checking for Rectangular Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    TACAS, 2000, pp:142-156 [Conf]
  157. Thomas A. Henzinger, Sriram K. Rajamani
    Fair Bisimulation. [Citation Graph (0, 0)][DBLP]
    TACAS, 2000, pp:299-314 [Conf]
  158. Thomas A. Henzinger
    Games in system design and verification. [Citation Graph (0, 0)][DBLP]
    TARK, 2005, pp:1-4 [Conf]
  159. Thomas A. Henzinger
    Automata for Specifying Component Interfaces. [Citation Graph (0, 0)][DBLP]
    CIAA, 2003, pp:1-2 [Conf]
  160. Jasmin Fisher, Thomas A. Henzinger
    Executable biology. [Citation Graph (0, 0)][DBLP]
    Winter Simulation Conference, 2006, pp:1675-1682 [Conf]
  161. Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang
    MCWEB: A Model-Checking Tool for Web Site Debugging. [Citation Graph (0, 0)][DBLP]
    WWW Posters, 2001, pp:- [Conf]
  162. Dirk Beyer, Arindam Chakrabarti, Thomas A. Henzinger
    Web service interfaces. [Citation Graph (0, 0)][DBLP]
    WWW, 2005, pp:148-159 [Conf]
  163. Christoph M. Kirsch, Marco A. A. Sanvido, Thomas A. Henzinger
    A programmable microkernel for real-time systems. [Citation Graph (0, 0)][DBLP]
    VEE, 2005, pp:35-45 [Conf]
  164. Thomas A. Henzinger, Rupak Majumdar, Jean-François Raskin
    A Classification of Symbolic Transition Systems [Citation Graph (0, 0)][DBLP]
    CoRR, 2001, v:0, n:, pp:- [Journal]
  165. Thomas A. Henzinger
    Some Myths About Formal Verification. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:119- [Journal]
  166. Thomas A. Henzinger
    Exploiting Design Structure in Model Checking. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:39, n:3, pp:- [Journal]
  167. Rajeev Alur, Robert K. Brayton, Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani
    Partial-Order Reduction in Symbolic State-Space Exploration. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2001, v:18, n:2, pp:97-116 [Journal]
  168. Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger
    Computing Accumulated Delays in Real-time Systems. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1997, v:11, n:2, pp:137-155 [Journal]
  169. Rajeev Alur, Thomas A. Henzinger
    Introduction. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1999, v:14, n:3, pp:235- [Journal]
  170. Rajeev Alur, Thomas A. Henzinger
    Introduction. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1999, v:15, n:1, pp:5- [Journal]
  171. Rajeev Alur, Thomas A. Henzinger
    Reactive Modules. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1999, v:15, n:1, pp:7-48 [Journal]
  172. Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer
    From Pre-Historic to Post-Modern Symbolic Model Checking. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2003, v:23, n:3, pp:303-327 [Journal]
  173. Rajeev Alur, Thomas A. Henzinger
    Introduction. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2001, v:164, n:2, pp:233- [Journal]
  174. Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg
    Stack size analysis for interrupt-driven programs. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2004, v:194, n:2, pp:144-174 [Journal]
  175. Thomas A. Henzinger, Orna Kupferman, Sriram K. Rajamani
    Fair Simulation. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:173, n:1, pp:64-81 [Journal]
  176. Thomas A. Henzinger, Zohar Manna, Amir Pnueli
    Temporal Proof Methodologies for Timed Transition Systems [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1994, v:112, n:2, pp:273-337 [Journal]
  177. Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine
    Symbolic Model Checking for Real-Time Systems [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1994, v:111, n:2, pp:193-244 [Journal]
  178. Thomas A. Henzinger
    Sooner is Safer Than Later. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1992, v:43, n:3, pp:135-141 [Journal]
  179. Rajeev Alur, Tomás Feder, Thomas A. Henzinger
    The Benefits of Relaxing Punctuality. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1996, v:43, n:1, pp:116-146 [Journal]
  180. Rajeev Alur, Thomas A. Henzinger
    A Really Temporal Logic. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1994, v:41, n:1, pp:181-204 [Journal]
  181. Rajeev Alur, Thomas A. Henzinger, Orna Kupferman
    Alternating-time temporal logic. [Citation Graph (0, 0)][DBLP]
    J. ACM, 2002, v:49, n:5, pp:672-713 [Journal]
  182. Thomas A. Henzinger, Peter W. Kopke, Anuj Puri, Pravin Varaiya
    What's Decidable about Hybrid Automata? [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1998, v:57, n:1, pp:94-124 [Journal]
  183. Thomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch
    Giotto: a time-triggered language for embedded programming. [Citation Graph (0, 0)][DBLP]
    Proceedings of the IEEE, 2003, v:91, n:1, pp:84-99 [Journal]
  184. Rajeev Alur, Thomas A. Henzinger
    Real-Time System = Discrete System + Clock Variables. [Citation Graph (0, 0)][DBLP]
    STTT, 1997, v:1, n:1-2, pp:86-109 [Journal]
  185. Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi
    HYTECH: A Model Checker for Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    STTT, 1997, v:1, n:1-2, pp:110-122 [Journal]
  186. Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga
    Model checking discounted temporal properties. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:345, n:1, pp:139-170 [Journal]
  187. Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, Thomas A. Henzinger, Pei-Hsin Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, Sergio Yovine
    The Algorithmic Analysis of Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:138, n:1, pp:3-34 [Journal]
  188. Rajeev Alur, Limor Fix, Thomas A. Henzinger
    Event-Clock Automata: A Determinizable Class of Timed Automata. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:211, n:1-2, pp:253-273 [Journal]
  189. Krishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski
    Games with secure equilibria. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:365, n:1-2, pp:67-82 [Journal]
  190. Thomas A. Henzinger, Peter W. Kopke
    Discrete-Time Control for Rectangular Hybrid Automata. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:221, n:1-2, pp:369-392 [Journal]
  191. Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar
    On the universal and existential fragments of the mu-calculus. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:354, n:2, pp:173-186 [Journal]
  192. Pierre-Yves Schobbens, Jean-François Raskin, Thomas A. Henzinger
    Axioms for real-time logics. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:274, n:1-2, pp:151-182 [Journal]
  193. Thomas A. Henzinger, Rupak Majumdar, Jean-François Raskin
    A classification of symbolic transition systems. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2005, v:6, n:1, pp:1-32 [Journal]
  194. Rajeev Alur, Thomas A. Henzinger
    Finitary Fairness. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1998, v:20, n:6, pp:1171-1194 [Journal]
  195. Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran
    An assume-guarantee rule for checking simulation. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2002, v:24, n:1, pp:51-64 [Journal]
  196. Rajeev Alur, Thomas A. Henzinger, Pei-Hsin Ho
    Automatic Symbolic Verification of Embedded Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1996, v:22, n:3, pp:181-201 [Journal]
  197. Roman Manevich, John Field, Thomas A. Henzinger, G. Ramalingam, Mooly Sagiv
    Abstract Counterexample-Based Refinement for Powerset Domains. [Citation Graph (0, 0)][DBLP]
    Program Analysis and Compilation, 2006, pp:273-292 [Conf]
  198. Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz
    Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:504-518 [Conf]
  199. Dirk Beyer, Thomas A. Henzinger, Vasu Singh
    Algorithms for Interface Synthesis. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:4-19 [Conf]
  200. Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman
    Strategy Logic. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2007, pp:59-73 [Conf]
  201. Thomas A. Henzinger
    Quantitative Generalizations of Languages. [Citation Graph (0, 0)][DBLP]
    Developments in Language Theory, 2007, pp:20-22 [Conf]
  202. Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman
    Generalized Parity Games. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2007, pp:153-167 [Conf]
  203. Thomas Brihaye, Thomas A. Henzinger, Vinayak S. Prabhu, Jean-François Raskin
    Minimum-Time Reachability in Timed Games. [Citation Graph (0, 0)][DBLP]
    ICALP, 2007, pp:825-837 [Conf]
  204. Dirk Beyer, Arindam Chakrabarti, Thomas A. Henzinger, Sanjit A. Seshia
    An Application ofWeb-Service Interfaces. [Citation Graph (0, 0)][DBLP]
    ICWS, 2007, pp:831-838 [Conf]
  205. Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko
    Path invariants. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:300-309 [Conf]
  206. Thomas A. Henzinger
    Games, Time, and Probability: Graph Models for System Design and Analysis. [Citation Graph (0, 0)][DBLP]
    SOFSEM (1), 2007, pp:103-110 [Conf]
  207. Krishnendu Chatterjee, Thomas A. Henzinger
    Assume-Guarantee Synthesis. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:261-275 [Conf]
  208. Krishnendu Chatterjee, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
    Counterexample-guided Planning. [Citation Graph (0, 0)][DBLP]
    UAI, 2005, pp:104-111 [Conf]
  209. Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin
    Algorithms for Omega-Regular Games with Imperfect Information [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  210. Thomas A. Henzinger, Christoph M. Kirsch
    The embedded machine: Predictable, portable real-time code. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2007, v:29, n:6, pp:- [Journal]

  211. Probabilistic Automata on Infinite Words: Decidability and Undecidability Results. [Citation Graph (, )][DBLP]


  212. Quantitative Simulation Games. [Citation Graph (, )][DBLP]


  213. Sliding Window Abstraction for Infinite Markov Chains. [Citation Graph (, )][DBLP]


  214. Software Transactional Memory on Relaxed Memory Models. [Citation Graph (, )][DBLP]


  215. Better Quality in Synthesis through Quantitative Objectives. [Citation Graph (, )][DBLP]


  216. Measuring and Synthesizing Systems in Probabilistic Environments. [Citation Graph (, )][DBLP]


  217. Robustness in the Presence of Liveness. [Citation Graph (, )][DBLP]


  218. Gist: A Solver for Probabilistic Games. [Citation Graph (, )][DBLP]


  219. Approximation of Event Probabilities in Noisy Cellular Processes. [Citation Graph (, )][DBLP]


  220. Completeness and Nondeterminism in Model Checking Transactional Memories. [Citation Graph (, )][DBLP]


  221. Environment Assumptions for Synthesis. [Citation Graph (, )][DBLP]


  222. Strategy Construction for Parity Games with Imperfect Information. [Citation Graph (, )][DBLP]


  223. Probabilistic Weighted Automata. [Citation Graph (, )][DBLP]


  224. Simulation Distances. [Citation Graph (, )][DBLP]


  225. Mean-Payoff Automaton Expressions. [Citation Graph (, )][DBLP]


  226. Quantitative Languages. [Citation Graph (, )][DBLP]


  227. Lazy Shape Analysis. [Citation Graph (, )][DBLP]


  228. Logical Reliability of Interacting Real-Time Tasks. [Citation Graph (, )][DBLP]


  229. Interface theories with component reuse. [Citation Graph (, )][DBLP]


  230. On relational interfaces. [Citation Graph (, )][DBLP]


  231. Shape Refinement through Explicit Heap Analysis. [Citation Graph (, )][DBLP]


  232. Alternating Weighted Automata. [Citation Graph (, )][DBLP]


  233. Synthesizing robust systems. [Citation Graph (, )][DBLP]


  234. Timed Parity Games: Complexity and Robustness. [Citation Graph (, )][DBLP]


  235. Model-Checking omega-Regular Properties of Interval Markov Chains. [Citation Graph (, )][DBLP]


  236. Forward Analysis of Depth-Bounded Processes. [Citation Graph (, )][DBLP]


  237. Trading Infinite Memory for Uniform Randomness in Timed Games. [Citation Graph (, )][DBLP]


  238. Controller Synthesis with Budget Constraints. [Citation Graph (, )][DBLP]


  239. A Survey of Stochastic Games with Limsup and Liminf Objectives. [Citation Graph (, )][DBLP]


  240. Program Analysis with Dynamic Precision Adjustment. [Citation Graph (, )][DBLP]


  241. Expressiveness and Closure Properties for Quantitative Languages. [Citation Graph (, )][DBLP]


  242. Valigator: A Verification Tool with Bound and Invariant Generation. [Citation Graph (, )][DBLP]


  243. Stochastic Games with Finitary Objectives. [Citation Graph (, )][DBLP]


  244. Randomness for Free. [Citation Graph (, )][DBLP]


  245. Qualitative Analysis of Partially-Observable Markov Decision Processes. [Citation Graph (, )][DBLP]


  246. Model checking transactional memories. [Citation Graph (, )][DBLP]


  247. Proving non-termination. [Citation Graph (, )][DBLP]


  248. From Boolean to quantitative notions of correctness. [Citation Graph (, )][DBLP]


  249. Distributed, Modular HTL. [Citation Graph (, )][DBLP]


  250. Termination criteria for solving concurrent safety and reachability games. [Citation Graph (, )][DBLP]


  251. Transactions in the jungle. [Citation Graph (, )][DBLP]


  252. Value Iteration. [Citation Graph (, )][DBLP]


  253. Alpaga: A Tool for Solving Parity Games with Imperfect Information. [Citation Graph (, )][DBLP]


  254. Invariant Synthesis for Combined Theories. [Citation Graph (, )][DBLP]


  255. Invariant and Type Inference for Matrices. [Citation Graph (, )][DBLP]


  256. Permissiveness in Transactional Memories. [Citation Graph (, )][DBLP]


  257. Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions. [Citation Graph (, )][DBLP]


  258. Formalisms for Specifying Markovian Population Models. [Citation Graph (, )][DBLP]


  259. Probabilistic Systems with LimSup and LimInf Objectives. [Citation Graph (, )][DBLP]


  260. The Discipline of Embedded Systems Design. [Citation Graph (, )][DBLP]


  261. Strategy Improvement for Concurrent Safety Games [Citation Graph (, )][DBLP]


  262. Algorithms for Büchi Games [Citation Graph (, )][DBLP]


  263. Stochastic Limit-Average Games are in EXPTIME [Citation Graph (, )][DBLP]


  264. Environment Assumptions for Synthesis [Citation Graph (, )][DBLP]


  265. Timed Parity Games: Complexity and Robustness [Citation Graph (, )][DBLP]


  266. Probabilistic Systems with LimSup and LimInf Objectives [Citation Graph (, )][DBLP]


  267. Termination Criteria for Solving Concurrent Safety and Reachability Games [Citation Graph (, )][DBLP]


  268. Alpaga: A Tool for Solving Parity Games with Imperfect Information [Citation Graph (, )][DBLP]


  269. Better Quality in Synthesis through Quantitative Objectives [Citation Graph (, )][DBLP]


  270. Expressiveness and Closure Properties for Quantitative Languages [Citation Graph (, )][DBLP]


  271. Qualitative Analysis of Partially-observable Markov Decision Processes [Citation Graph (, )][DBLP]


  272. Probabilistic Weighted Automata [Citation Graph (, )][DBLP]


  273. Synthesis of AMBA AHB from Formal Specification [Citation Graph (, )][DBLP]


  274. Measuring and Synthesizing Systems in Probabilistic Environments [Citation Graph (, )][DBLP]


  275. GIST: A Solver for Probabilistic Games [Citation Graph (, )][DBLP]


  276. SABRE: A Tool for Stochastic Analysis of Biochemical Reaction Networks [Citation Graph (, )][DBLP]


  277. Hybrid Numerical Solution of the Chemical Master Equation [Citation Graph (, )][DBLP]


  278. Randomness for Free [Citation Graph (, )][DBLP]


  279. Mean-payoff Automaton Expressions [Citation Graph (, )][DBLP]


  280. Generalized Mean-payoff and Energy Games [Citation Graph (, )][DBLP]


  281. Expressiveness and Closure Properties for Quantitative Languages [Citation Graph (, )][DBLP]


Search in 0.155secs, Finished in 0.169secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002