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