dblp.uni-trier.dewww.uni-trier.de

Thomas A. Henzinger Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
264EERoderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann: Better Quality in Synthesis through Quantitative Objectives. CAV 2009: 140-156
263EERachid Guerraoui, Thomas A. Henzinger, Vasu Singh: Software Transactional Memory on Relaxed Memory Models. CAV 2009: 321-336
262EEThomas A. Henzinger, Maria Mateescu, Verena Wolf: Sliding Window Abstraction for Infinite Markov Chains. CAV 2009: 337-352
261EEFrédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf: Approximation of Event Probabilities in Noisy Cellular Processes. CMSB 2009: 173-188
260EEKrishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger: Probabilistic Weighted Automata. CONCUR 2009: 244-258
259EEStavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee: On relational interfaces. EMSOFT 2009: 67-76
258EEKrishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger: Alternating Weighted Automata. FCT 2009: 3-13
257EEKrishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger: A Survey of Stochastic Games with Limsup and Liminf Objectives. ICALP (2) 2009: 1-15
256EEKrishnendu Chatterjee, Thomas A. Henzinger, Florian Horn: Stochastic Games with Finitary Objectives. MFCS 2009: 34-54
255EEThomas A. Henzinger, Barbara Jobstmann, Verena Wolf: Formalisms for Specifying Markovian Population Models. RP 2009: 3-23
254EEKrishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger: Termination criteria for solving concurrent safety and reachability games. SODA 2009: 197-206
253EEDietmar 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
252EEDietmar 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)
251EERoderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann: Better Quality in Synthesis through Quantitative Objectives CoRR abs/0904.2638: (2009)
250EEKrishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger: Expressiveness and Closure Properties for Quantitative Languages CoRR abs/0905.2195: (2009)
249EEKrishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger: Qualitative Analysis of Partially-observable Markov Decision Processes CoRR abs/0909.1645: (2009)
248EEKrishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger: Probabilistic Weighted Automata CoRR abs/0909.1647: (2009)
2008
247EEKrishnendu Chatterjee, Thomas A. Henzinger: Value Iteration. 25 Years of Model Checking 2008: 107-138
246EEDirk Beyer, Thomas A. Henzinger, Grégory Théoduloz: Program Analysis with Dynamic Precision Adjustment. ASE 2008: 29-38
245EEKrishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann: Environment Assumptions for Synthesis. CONCUR 2008: 147-161
244EERachid Guerraoui, Thomas A. Henzinger, Vasu Singh: Completeness and Nondeterminism in Model Checking Transactional Memories. CONCUR 2008: 21-35
243EEDietmar Berwanger, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Sangram Raje: Strategy Construction for Parity Games with Imperfect Information. CONCUR 2008: 325-339
242EEKrishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger: Quantitative Languages. CSL 2008: 385-400
241EEKrishnendu 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
240EERachid Guerraoui, Thomas A. Henzinger, Vasu Singh: Permissiveness in Transactional Memories. DISC 2008: 305-319
239EELaurent Doyen, Thomas A. Henzinger, Barbara Jobstmann, Tatjana Petrov: Interface theories with component reuse. EMSOFT 2008: 79-88
238EEJasmin Fisher, Thomas A. Henzinger, Maria Mateescu, Nir Piterman: Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions. FMSB 2008: 17-32
237EEKrishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu: Timed Parity Games: Complexity and Robustness. FORMATS 2008: 124-140
236EEKrishnendu Chatterjee, Koushik Sen, Thomas A. Henzinger: Model-Checking omega-Regular Properties of Interval Markov Chains. FoSSaCS 2008: 302-317
235EEKrishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger: Controller Synthesis with Budget Constraints. HSCC 2008: 72-86
234EEKrishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu: Trading Infinite Memory for Uniform Randomness in Timed Games. HSCC 2008: 87-100
233EEThomas A. Henzinger, Thibaud Hottelier, Laura Kovács: Valigator: A Verification Tool with Bound and Invariant Generation. LPAR 2008: 333-342
232EERachid Guerraoui, Thomas A. Henzinger, Barbara Jobstmann, Vasu Singh: Model checking transactional memories. PLDI 2008: 372-382
231EEAshutosh Gupta, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko, Ru-Gang Xu: Proving non-termination. POPL 2008: 147-158
230EEKrishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger: Strategy Improvement for Concurrent Safety Games CoRR abs/0804.4530: (2008)
229EEKrishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman: Algorithms for Büchi Games CoRR abs/0805.2620: (2008)
228EEKrishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger: Stochastic Limit-Average Games are in EXPTIME CoRR abs/0805.2622: (2008)
227EEKrishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann: Environment Assumptions for Synthesis CoRR abs/0805.4167: (2008)
226EEKrishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu: Timed Parity Games: Complexity and Robustness CoRR abs/0807.1165: (2008)
225EEKrishnendu Chatterjee, Thomas A. Henzinger: Probabilistic Systems with LimSup and LimInf Objectives CoRR abs/0809.1465: (2008)
224EEKrishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger: Termination Criteria for Solving Concurrent Safety and Reachability Games CoRR abs/0809.4017: (2008)
223EEKrishnendu Chatterjee, Thomas A. Henzinger: Reduction of stochastic parity to stochastic mean-payoff games. Inf. Process. Lett. 106(1): 1-7 (2008)
222EELaurent 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
220EEDirk Beyer, Thomas A. Henzinger, Vasu Singh: Algorithms for Interface Synthesis. CAV 2007: 4-19
219EEDirk Beyer, Thomas A. Henzinger, Grégory Théoduloz: Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis. CAV 2007: 504-518
218EEKrishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman: Strategy Logic. CONCUR 2007: 59-73
217EEThomas A. Henzinger: Quantitative Generalizations of Languages. Developments in Language Theory 2007: 20-22
216EEKrishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman: Generalized Parity Games. FoSSaCS 2007: 153-167
215EEThomas Brihaye, Thomas A. Henzinger, Vinayak S. Prabhu, Jean-François Raskin: Minimum-Time Reachability in Timed Games. ICALP 2007: 825-837
214EEDirk Beyer, Arindam Chakrabarti, Thomas A. Henzinger, Sanjit A. Seshia: An Application ofWeb-Service Interfaces. ICWS 2007: 831-838
213EEDirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko: Path invariants. PLDI 2007: 300-309
212EEThomas A. Henzinger: Games, Time, and Probability: Graph Models for System Design and Analysis. SOFSEM (1) 2007: 103-110
211EEKrishnendu Chatterjee, Thomas A. Henzinger: Assume-Guarantee Synthesis. TACAS 2007: 261-275
210EEDirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko: Invariant Synthesis for Combined Theories. VMCAI 2007: 378-394
209EEThomas A. Henzinger, Christoph M. Kirsch: The embedded machine: Predictable, portable real-time code. ACM Trans. Program. Lang. Syst. 29(6): (2007)
208EEKrishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin: Algorithms for Omega-Regular Games with Imperfect Information CoRR abs/0706.2619: (2007)
207EEThomas A. Henzinger, Joseph Sifakis: The Discipline of Embedded Systems Design. IEEE Computer 40(10): 32-40 (2007)
206EEJean-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)
205EEDirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: The software model checker Blast. STTT 9(5-6): 505-525 (2007)
204EELuca de Alfaro, Thomas A. Henzinger, Orna Kupferman: Concurrent reachability games. Theor. Comput. Sci. 386(3): 188-217 (2007)
2006
203EEMartin 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
202EEDirk Beyer, Thomas A. Henzinger, Grégory Théoduloz: Lazy Shape Analysis. CAV 2006: 532-546
201EEKrishnendu Chatterjee, Thomas A. Henzinger: Strategy Improvement for Stochastic Rabin and Streett Games. CONCUR 2006: 375-389
200EEKrishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin: Algorithms for Omega-Regular Games with Imperfect Information, . CSL 2006: 287-302
199EEThomas A. Henzinger, Nir Piterman: Solving Games Without Determinization. CSL 2006: 395-410
198EEArkadeb 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
197EEThomas A. Henzinger, Joseph Sifakis: The Embedded Systems Design Challenge. FM 2006: 1-15
196EEThomas A. Henzinger, Vinayak S. Prabhu: Timed Alternating-Time Temporal Logic. FORMATS 2006: 1-17
195EEThomas A. Henzinger, Slobodan Matic: An Interface Algebra for Real-Time Components. IEEE Real Time Technology and Applications Symposium 2006: 253-266
194EERoman Manevich, John Field, Thomas A. Henzinger, G. Ramalingam, Mooly Sagiv: Abstract Counterexample-Based Refinement for Powerset Domains. Program Analysis and Compilation 2006: 273-292
193EEKrishnendu Chatterjee, Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga: Compositional Quantitative Reasoning. QEST 2006: 179-188
192EEKrishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger: Strategy Improvement for Concurrent Reachability Games. QEST 2006: 291-300
191EEBhargav 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
190EEKrishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger: The complexity of quantitative concurrent parity games. SODA 2006: 678-687
189EEKrishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger: Markov Decision Processes with Multiple Objectives. STACS 2006: 325-336
188EEKrishnendu Chatterjee, Thomas A. Henzinger: Strategy Improvement and Randomized Subexponential Algorithms for Stochastic Parity Games. STACS 2006: 512-523
187EEDirk Beyer, Thomas A. Henzinger, Grégory Théoduloz: Lazy Shape Analysis. Software Verification: Infinite-State Model Checking and Static Program Analysis 2006
186EEKrishnendu Chatterjee, Thomas A. Henzinger: Finitary Winning in omega-Regular Games. TACAS 2006: 257-271
185EEJasmin Fisher, Thomas A. Henzinger: Executable biology. Winter Simulation Conference 2006: 1675-1682
184EEThomas A. Henzinger, Orna Kupferman, Rupak Majumdar: On the universal and existential fragments of the mu-calculus. Theor. Comput. Sci. 354(2): 173-186 (2006)
183EEKrishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski: Games with secure equilibria. Theor. Comput. Sci. 365(1-2): 67-82 (2006)
2005
182EEArindam Chakrabarti, Krishnendu Chatterjee, Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar: Verifying Quantitative Properties Using Bound Functions. CHARME 2005: 50-64
181EEThomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Permissive interfaces. ESEC/SIGSOFT FSE 2005: 31-40
180EEDirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Checking Memory Safety with Blast. FASE 2005: 2-18
179EELaurent Doyen, Thomas A. Henzinger, Jean-François Raskin: Automatic Rectangular Refinement of Affine Hybrid Systems. FORMATS 2005: 144-161
178EEThomas A. Henzinger, Rupak Majumdar, Vinayak S. Prabhu: Quantifying Similarities Between Timed Systems. FORMATS 2005: 226-241
177EEKrishnendu Chatterjee, Thomas A. Henzinger: Semiperfect-Information Games. FSTTCS 2005: 1-18
176EEKrishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger: The Complexity of Stochastic Rabin and Streett Games'. ICALP 2005: 878-890
175EEThomas A. Henzinger, Christoph M. Kirsch, Slobodan Matic: Composable code generation for distributed giotto. LCTES 2005: 21-30
174EEKrishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski: Mean-Payoff Parity Games. LICS 2005: 178-187
173EESlobodan Matic, Thomas A. Henzinger: Trading End-to-End Latency for Composability. RTSS 2005: 99-110
172EEThomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: The BLAST Software Verification System. SPIN 2005: 25-26
171EEThomas A. Henzinger: Games in system design and verification. TARK 2005: 1-4
170EEKrishnendu Chatterjee, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Counterexample-guided Planning. UAI 2005: 104-111
169EEChristoph M. Kirsch, Marco A. A. Sanvido, Thomas A. Henzinger: A programmable microkernel for real-time systems. VEE 2005: 35-45
168EEDirk Beyer, Arindam Chakrabarti, Thomas A. Henzinger: Web service interfaces. WWW 2005: 148-159
167EEThomas A. Henzinger, Rupak Majumdar, Jean-François Raskin: A classification of symbolic transition systems. ACM Trans. Comput. Log. 6(1): 1-32 (2005)
166EELuca 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
165EEThomas A. Henzinger: Rich Interfaces for Software Modules. ECOOP 2004: 517-518
164EEThomas A. Henzinger, Christoph M. Kirsch: A typed assembly language for real-time programs. EMSOFT 2004: 104-113
163EEKrishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski: Games with Secure Equilibria. FMCO 2004: 141-161
162EEArkadeb Ghosal, Thomas A. Henzinger, Christoph M. Kirsch, Marco A. A. Sanvido: Event-Driven Programming with Logical Execution Times. HSCC 2004: 357-371
161EEThomas A. Henzinger: Embedded Software: Better Models, Better Code. ICATPN 2004: 35-36
160EEDirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Generating Tests from Counterexamples. ICSE 2004: 326-335
159EEDirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: An Eclipse Plug-in for Model Checking. IWPC 2004: 251-255
158EEKrishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski: Games with Secure Equilibria. LICS 2004: 160-169
157EEDirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Invited talk: the blast query language for software verification. PEPM 2004: 201-202
156EEThomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Race checking by context inference. PLDI 2004: 1-13
155EEThomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth L. McMillan: Abstractions from proofs. POPL 2004: 232-244
154EEDirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Invited talk: the blast query language for software verification. PPDP 2004: 1-2
153EEKrishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger: Trading Memory for Randomness. QEST 2004: 206-217
152EEDirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: The Blast Query Language for Software Verification.. SAS 2004: 2-18
151EEKrishnendu Chatterjee, Marcin Jurdzinski, Thomas A. Henzinger: Quantitative stochastic parity games. SODA 2004: 121-130
150EELuca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga: Model Checking Discounted Temporal Properties. TACAS 2004: 77-92
149EEKrishnendu 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
148EEThomas A. Henzinger: Model Checking: From Hardware to Software. APLAS 2003: 176-177
147EEThomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Shaz Qadeer: Thread-Modular Abstraction Refinement. CAV 2003: 262-274
146EEThomas A. Henzinger: Automata for Specifying Component Interfaces. CIAA 2003: 1-2
145EELuca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga: The Element of Surprise in Timed Games. CONCUR 2003: 142-156
144EEKrishnendu Chatterjee, Marcin Jurdzinski, Thomas A. Henzinger: Simple Stochastic Parity Games. CSL 2003: 100-113
143EEArindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Mariëlle Stoelinga: Resource Interfaces. EMSOFT 2003: 117-133
142EEThomas A. Henzinger, Christoph M. Kirsch, Slobodan Matic: Schedule-Carrying Code. EMSOFT 2003: 241-256
141EELuca de Alfaro, Thomas A. Henzinger, Rupak Majumdar: Discounting the Future in Systems Theory. ICALP 2003: 1022-1037
140EEThomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Counterexample-Guided Control. ICALP 2003: 886-902
139EEKrishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg: Stack Size Analysis for Interrupt-Driven Programs. SAS 2003: 109-126
138EEThomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre: Software Verification with BLAST. SPIN 2003: 235-239
137EEThomas A. Henzinger, Orna Kupferman, Rupak Majumdar: On the Universal and Existential Fragments of the µ-Calculus. TACAS 2003: 49-64
136EEThomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Marco A. A. Sanvido: Extreme Model Checking. Verification: Theory and Practice 2003: 332-358
135EEThomas 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
133EEArindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang: Synchronous and Bidirectional Component Interfaces. CAV 2002: 414-427
132EEArindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Marcin Jurdzinski, Freddy Y. C. Mang: Interface Compatibility Checking for Software Modules. CAV 2002: 428-441
131EEThomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, George C. Necula, Grégoire Sutre, Westley Weimer: Temporal-Safety Proofs for Systems Code. CAV 2002: 526-538
130EEThomas A. Henzinger: The Symbolic Approach to Hybrid Systems. CAV 2002: 57
129EEMarcin Jurdzinski, Orna Kupferman, Thomas A. Henzinger: Trading Probability for Fairness. CSL 2002: 292-305
128EELuca de Alfaro, Thomas A. Henzinger, Mariëlle Stoelinga: Timed Interfaces. EMSOFT 2002: 108-122
127EEChristoph M. Kirsch, Marco A. A. Sanvido, Thomas A. Henzinger, Wolfgang Pree: A Giotto-Based Helicopter Control System. EMSOFT 2002: 46-60
126EEThomas A. Henzinger, Christoph M. Kirsch, Rupak Majumdar, Slobodan Matic: Time-Safety Checking for Embedded Programs. EMSOFT 2002: 76-92
125EEFranck Cassez, Thomas A. Henzinger, Jean-François Raskin: A Comparison of Control Problems for Timed and Hybrid Systems. HSCC 2002: 134-148
124EEThomas A. Henzinger: From Models to Code: The Missing Link in Embedded Software. HSCC 2002: 5-6
123EEThomas A. Henzinger, Sriram C. Krishnan, Orna Kupferman, Freddy Y. C. Mang: Synthesis of Uninitialized Systems. ICALP 2002: 644-656
122EERoberto 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
121EEThomas A. Henzinger, Christoph M. Kirsch: The Embedded Machine: Predictable, Portable Real-Time Code. PLDI 2002: 315-326
120EEThomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre: Lazy abstraction. POPL 2002: 58-70
119EEThomas 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)
118EEThomas A. Henzinger, Orna Kupferman, Sriram K. Rajamani: Fair Simulation. Inf. Comput. 173(1): 64-81 (2002)
117EERajeev Alur, Thomas A. Henzinger, Orna Kupferman: Alternating-time temporal logic. J. ACM 49(5): 672-713 (2002)
116EEPierre-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
114EELuca de Alfaro, Thomas A. Henzinger, Ranjit Jhala: Compositional Methods for Probabilistic Systems. CONCUR 2001: 351-365
113EELuca de Alfaro, Thomas A. Henzinger, Rupak Majumdar: Symbolic Algorithms for Infinite-State Games. CONCUR 2001: 536-550
112EELuca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang: The Control of Synchronous Systems, Part II. CONCUR 2001: 566-582
111EELuca de Alfaro, Thomas A. Henzinger: Interface Theories for Component-Based Design. EMSOFT 2001: 148-165
110EEThomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch: Giotto: A Time-Triggered Language for Embedded Programming. EMSOFT 2001: 166-184
109EELuca de Alfaro, Thomas A. Henzinger: Interface automata. ESEC / SIGSOFT FSE 2001: 109-120
108EEThomas A. Henzinger, Marius Minea, Vinayak S. Prabhu: Assume-Guarantee Reasoning for Hierarchical Hybrid Systems. HSCC 2001: 275-290
107EEAlberto 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
103EELuca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang: MCWEB: A Model-Checking Tool for Web Site Debugging. WWW Posters 2001
102EEThomas 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
98EELuca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang: The Control of Synchronous Systems. CONCUR 2000: 458-473
97EEThomas A. Henzinger, Benjamin Horowitz, Rupak Majumdar, Howard Wong-Toi: Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods. HSCC 2000: 130-144
96EEThomas 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
94EEThomas A. Henzinger: Masaccio: A Formal Model for Embedded Components. IFIP TCS 2000: 549-563
93EELuca 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
91EEThomas A. Henzinger, Rupak Majumdar: A Classification of Symbolic Transition Systems. STACS 2000: 13-34
90EEThomas A. Henzinger, Rupak Majumdar: Symbolic Model Checking for Rectangular Hybrid Systems. TACAS 2000: 142-156
89EEThomas A. Henzinger, Sriram K. Rajamani: Fair Bisimulation. TACAS 2000: 299-314
88EEThomas A. Henzinger: Exploiting Design Structure in Model Checking. Electr. Notes Theor. Comput. Sci. 39(3): (2000)
1999
87EEThomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani: Assume-Guarantee Refinement Between Different Time Scales. CAV 1999: 208-221
86EEThomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani: Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems. CAV 1999: 301-315
85EEThomas A. Henzinger, Benjamin Horowitz, Rupak Majumdar: Rectangular Hybrid Games. CONCUR 1999: 320-335
84EERajeev Alur, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang: Automating Modular Verification. CONCUR 1999: 82-97
83EEThomas 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)
79EERajeev Alur, Limor Fix, Thomas A. Henzinger: Event-Clock Automata: A Determinizable Class of Timed Automata. Theor. Comput. Sci. 211(1-2): 253-273 (1999)
78EEThomas 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
76EEThomas A. Henzinger, Orna Kupferman, Shaz Qadeer: From Pre-historic to Post-modern Symbolic Model Checking. CAV 1998: 195-206
75EEThomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani: You Assume, We Guarantee: Methodology and Case Studies. CAV 1998: 440-451
74EERajeev Alur, Thomas A. Henzinger, Freddy Y. C. Mang, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran: MOCHA: Modularity in Model Checking. CAV 1998: 521-525
73EERajeev Alur, Thomas A. Henzinger, Orna Kupferman, Moshe Y. Vardi: Alternating Refinement Relations. CONCUR 1998: 163-178
72EEJean-François Raskin, Pierre-Yves Schobbens, Thomas A. Henzinger: Axioms for Real-Time Logics. CONCUR 1998: 219-236
71EEThomas A. Henzinger: It's About Time: Real-Time Logics Reviewed. CONCUR 1998: 439-454
70EEThomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran: An Assume-Guarantee Rule for Checking Simulation. FMCAD 1998: 421-432
69EELuca de Alfaro, Thomas A. Henzinger, Orna Kupferman: Concurrent Reachability Games. FOCS 1998: 564-575
68EEJö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
66EEThomas A. Henzinger: Model Checking Game Properties of Multi-agent Systems (Abstract). ICALP 1998: 543
65EEThomas 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
63EERajeev Alur, Thomas A. Henzinger, Sriram K. Rajamani: Symbolic Exploration of transition Hierarchies. TACAS 1998: 330-344
62EERajeev 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
60EERajeev Alur, Robert K. Brayton, Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani: Partial-Order Reduction in Symbolic State Space Exploration. CAV 1997: 340-351
59EEThomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi: HYTECH: A Model Checker for Hybrid Systems. CAV 1997: 460-463
58EERajeev Alur, Thomas A. Henzinger, Orna Kupferman: Alternating-Time Temporal Logic. COMPOS 1997: 23-60
57EEThomas A. Henzinger, Orna Kupferman, Sriram K. Rajamani: Fair Simulation. CONCUR 1997: 273-287
56EERajeev Alur, Thomas A. Henzinger: Modularity for Timed and Hybrid Systems. CONCUR 1997: 74-88
55EERajeev 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
52EEThomas 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)
50EEThomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi: HYTECH: A Model Checker for Hybrid Systems. STTT 1(1-2): 110-122 (1997)
49EERajeev 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
46EEThomas A. Henzinger, Orna Kupferman, Moshe Y. Vardi: A Space-Efficient On-the-fly Algorithm for Real-Time Model Checking. CONCUR 1996: 514-529
45EEThomas 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)
41EERajeev Alur, Thomas A. Henzinger, Pei-Hsin Ho: Automatic Symbolic Verification of Embedded Systems. IEEE Trans. Software Eng. 22(3): 181-201 (1996)
40EERajeev Alur, Tomás Feder, Thomas A. Henzinger: The Benefits of Relaxing Punctuality. J. ACM 43(1): 116-146 (1996)
1995
39EERajeev Alur, Thomas A. Henzinger: Local Liveness for Compositional Modeling of Fair Reactive Systems. CAV 1995: 166-179
38EEThomas 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
34EEThomas A. Henzinger: Hybrid Automata with Finite Bisimulatioins. ICALP 1995: 324-335
33EEThomas 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
31EEThomas 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
29EERajeev 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
28EERajeev Alur, Limor Fix, Thomas A. Henzinger: A Determinizable Class of Timed Automata. CAV 1994: 1-13
27EERajeev 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)
19EERajeev Alur, Thomas A. Henzinger: A Really Temporal Logic. J. ACM 41(1): 181-204 (1994)
1993
18EERajeev 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
16EERajeev 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
11EEThomas 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
6EEThomas A. Henzinger, Zohar Manna, Amir Pnueli: Timed Transition Systems. REX Workshop 1991: 226-251
5EERajeev 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
3EEThomas A. Henzinger: Half-Order Modal Logic: How to Prove Real-Time Properties. PODC 1990: 281-296
1989
2 Rajeev Alur, Thomas A. Henzinger: A Really Temporal Logic FOCS 1989: 164-169
1985
1 Thomas A. Henzinger, Hubert Hofbauer: PROOF-PAD: An Interactive Proof Generating System Using Natural Deduction. ÖGAI 1985: 173-184

Coauthor Index

1Luca de Alfaro [69] [84] [93] [98] [99] [103] [104] [106] [109] [111] [112] [113] [114] [122] [128] [132] [133] [141] [143] [145] [150] [153] [166] [176] [190] [192] [193] [204] [224] [230] [254]
2Rajeev Alur [2] [4] [5] [8] [13] [14] [15] [16] [17] [18] [19] [22] [27] [28] [29] [39] [40] [41] [44] [47] [48] [49] [51] [55] [56] [58] [60] [62] [63] [73] [74] [79] [80] [81] [82] [84] [100] [101] [106] [117]
3Dietmar Berwanger [243] [252] [253]
4Dirk Beyer [152] [154] [157] [159] [160] [168] [180] [187] [202] [205] [210] [213] [214] [219] [220] [246]
5Roderick Bloem [251] [264]
6Robert K. Brayton [60] [101]
7Thomas Brihaye [215]
8Franck Cassez [125]
9Arindam Chakrabarti [132] [133] [143] [168] [182] [214]
10Krishnendu Chatterjee [139] [144] [149] [151] [153] [158] [163] [170] [174] [176] [177] [182] [183] [186] [188] [189] [190] [192] [193] [200] [201] [206] [208] [211] [216] [218] [223] [224] [225] [226] [227] [228] [229] [230] [234] [235] [236] [237] [241] [242] [243] [245] [247] [248] [249] [250] [251] [252] [253] [254] [256] [257] [258] [260] [264]
11Adam J. Chlipala [152] [154] [157] [160]
12Costas Courcoubetis [13] [18] [27] [29] [51]
13Frédéric Didier [261]
14Laurent Doyen [179] [200] [203] [206] [208] [222] [239] [242] [243] [248] [249] [250] [252] [253] [257] [258] [260]
15Jacques Duparc [221]
16Marco Faella [145] [150] [166] [193]
17Tomás Feder [8] [40]
18John Field [194]
19Jasmin Fisher [185] [238]
20Limor Fix [28] [79]
21Arkadeb Ghosal [162] [198] [241]
22Radu Grosu [106]
23Rachid Guerraoui [232] [240] [244] [263]
24Bhargav S. Gulavani [191]
25Ashutosh Gupta [231]
26Vineet Gupta [54]
27Nicolas Halbwachs [29]
28Monika Rauch Henzinger (Monika Rauch) [37]
29Pei-Hsin Ho [13] [17] [23] [24] [29] [30] [32] [38] [41] [50] [59]
30Hubert Hofbauer [1]
31Florian Horn [256]
32Benjamin Horowitz [85] [97] [105] [110] [134]
33Thibaud Hottelier [233]
34Daniel T. Iercan [198] [241]
35Radha Jagadeesan [54]
36Ranjit Jhala [114] [120] [131] [136] [138] [140] [147] [152] [154] [155] [156] [157] [159] [160] [170] [172] [180] [181] [205]
37Barbara Jobstmann [227] [232] [239] [245] [251] [255] [264]
38Marcin Jurdzinski [129] [132] [144] [151] [158] [163] [174] [183]
39M. Kang [106]
40Yamini Kannan [191]
41Arjun Kapur [25]
42Christoph M. Kirsch (Christoph Meyer) [105] [106] [110] [115] [121] [126] [127] [134] [142] [162] [164] [169] [175] [198] [209] [241]
43Peter W. Kopke [26] [31] [33] [37] [45] [52] [61] [78]
44Laura Kovács (Laura Ildikó Kovács) [233]
45Stefan Kowalewski [68]
46Sriram C. Krishnan [123]
47Bruce H. Krogh [107]
48Orna Kupferman [46] [53] [55] [57] [58] [69] [73] [76] [117] [118] [123] [129] [135] [137] [182] [184] [204]
49Edward A. Lee [259]
50Ben Lickly [259]
51Xiaojun Liu [83]
52Di Ma [139] [149]
53Rupak Majumdar [85] [90] [91] [92] [97] [102] [104] [106] [113] [120] [126] [131] [136] [137] [138] [139] [140] [141] [145] [147] [149] [150] [152] [154] [155] [156] [157] [159] [160] [166] [167] [170] [172] [178] [180] [181] [182] [184] [189] [193] [205] [210] [213] [228] [231] [235]
54Oded Maler [107]
55Roman Manevich [194]
56Freddy Y. C. Mang [74] [84] [92] [98] [99] [103] [106] [112] [123] [132] [133]
57Zohar Manna [6] [7] [11] [12] [20] [25]
58Maria Mateescu [238] [261] [262]
59Slobodan Matic [126] [142] [173] [175] [195]
60Kenneth L. McMillan [155]
61Marius Minea [108]
62Manfred Morari [107]
63George C. Necula [131]
64Xavier Nicollin [10] [21] [29]
65Aditya V. Nori [191]
66Alfredo Olivero [29]
67Jens Palsberg [139] [149]
68Constantinos C. Pantelides (Costas C. Pantelides) [107]
69George J. Pappas [107]
70Roberto Passerone [122]
71Tatjana Petrov [239]
72Claudio Pinello [241]
73Nir Piterman [199] [216] [218] [229] [238]
74Amir Pnueli [6] [7] [11] [12] [20] [25]
75Vinayak S. Prabhu [108] [178] [196] [215] [226] [234] [237]
76Wolfgang Pree [127]
77Jörg Preußig [68]
78Anuj Puri [31] [61]
79Shaz Qadeer [60] [70] [74] [75] [76] [83] [86] [87] [95] [101] [119] [135] [147]
80Sriram K. Rajamani [57] [60] [63] [70] [74] [75] [83] [86] [87] [89] [95] [101] [118] [119] [191]
81Sangram Raje [243]
82G. Ramalingam (Ganesan Ramalingam) [194]
83Jean-François Raskin [65] [72] [92] [96] [102] [116] [125] [167] [179] [200] [203] [206] [208] [215] [222]
84Vlad Rusu [67]
85Andrey Rybalchenko [210] [213] [231]
86Shmuel Sagiv (Mooly Sagiv) [194]
87Alberto L. Sangiovanni-Vincentelli [107] [122] [198] [241]
88Marco A. A. Sanvido [127] [136] [162] [169]
89Shankar Sastry (Shankar S. Sastry) [77]
90Pierre-Yves Schobbens [65] [72] [116]
91Koushik Sen [236]
92Sanjit A. Seshia [214]
93Joseph Sifakis [10] [21] [29] [197] [207]
94Tunc Simsec [107]
95Vasu Singh [220] [232] [240] [244] [263]
96Eduardo D. Sontag [48]
97Mariëlle Stoelinga [128] [143] [145] [150] [166] [193]
98Grégoire Sutre [120] [131] [138]
99Janos Sztipanovits [107]
100Serdar Tasiran [70] [74] [119]
101Grégory Théoduloz [187] [202] [219] [246]
102Stavros Tripakis [107] [259]
103Pravin Varaiya [31] [61]
104Moshe Y. Vardi [16] [46] [73]
105Bow-Yaw Wang [106]
106Westley Weimer [131]
107Verena Wolf [255] [261] [262]
108Howard Wong-Toi [30] [32] [33] [35] [36] [50] [59] [68] [97]
109Martin De Wulf [203] [252] [253]
110Ru-Gang Xu [231]
111Sergio Yovine [10] [21] [29]
112Tian Zhao [139] [149]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)