Model Checking on Trees with Path Equivalences
R. Alur, P. Cerny, S. Chaudhuri, in:, Springer, 2007, pp. 664–678.
LibreCat: https://research-explorer.ista.ac.at/record/4402
DOI: 1544

Abstract counterexample-based refinement for powerset domains
R. Manevich, J. Field, T.A. Henzinger, G. Ramalingam, M. Sagiv, in:, Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday, Springer, 2007, pp. 273–292.
LibreCat: https://research-explorer.ista.ac.at/record/4417
DOI: 10.1007/978-3-540-71322-7_13

The embedded machine: Predictable, portable real-time code
T.A. Henzinger, C. Kirsch, ACM Transactions on Programming Languages and Systems (TOPLAS) 29 (2007).
LibreCat: https://research-explorer.ista.ac.at/record/4446
DOI: 10.1145/1286821.1286824

Games, time, and probability: Graph models for system design and analysis
T.A. Henzinger, in:, Springer, 2007, pp. 103–110.
LibreCat: https://research-explorer.ista.ac.at/record/4514
DOI: 10.1007/978-3-540-69507-3_7

Quantitative generalizations of languages
T.A. Henzinger, in:, Springer, 2007, pp. 20–22.
LibreCat: https://research-explorer.ista.ac.at/record/4511
DOI: 10.1007/978-3-540-73208-2_2

Predictive modeling of signaling crosstalk during C. elegans vulval development
J. Fisher, N. Piterman, A. Hajnal, T.A. Henzinger, PLoS Computational Biology 3(5):e92 (2007).
LibreCat: https://research-explorer.ista.ac.at/record/4531
DOI: 10.1371/journal.pcbi.0030092

Executable cell biology
J. Fisher, T.A. Henzinger, Nature Biotechnology 25 (2007) 1239–1249.
LibreCat: https://research-explorer.ista.ac.at/record/4529
DOI: 10.1038/nbt1356

CSL: Computer Science Logic 
J. Duparc, T.A. Henzinger, CSL: Computer Science Logic , Springer, 2007.
LibreCat: https://research-explorer.ista.ac.at/record/4530
DOI: 10.1007/978-3-540-74915-8

Assume-guarantee synthesis
K. Chatterjee, T.A. Henzinger, in:, Springer, 2007, pp. 261–275.
LibreCat: https://research-explorer.ista.ac.at/record/4537
DOI: 10.1007/978-3-540-71209-1_21

Algorithms for omega-regular games with imperfect information
K. Chatterjee, L. Doyen, T.A. Henzinger, J. Raskin, Logical Methods in Computer Science 3 (2007) 1–23.
LibreCat: https://research-explorer.ista.ac.at/record/4547
DOI: 10.2168/LMCS-3(3:4)2007

Stochastic <9-Regular Games
K. Chatterjee, Stochastic <9-Regular Games, University of California, Berkeley, 2007.
LibreCat: https://research-explorer.ista.ac.at/record/4559

A framework for compositional design and analysis of systems
A. Chakrabarti, A Framework for Compositional Design and Analysis of Systems, University of California, Berkeley, 2007.
LibreCat: https://research-explorer.ista.ac.at/record/4566

The software model checker BLAST: Applications to software engineering
D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar, International Journal on Software Tools for Technology Transfer 9 (2007) 505–525.
LibreCat: https://research-explorer.ista.ac.at/record/4567
DOI: 10.1007/s10009-007-0044-z

Minimum-time reachability in timed games
T. Brihaye, T.A. Henzinger, V. Prabhu, J. Raskin, in:, Springer, 2007, pp. 825–837.
LibreCat: https://research-explorer.ista.ac.at/record/4570
DOI: 10.1007/978-3-540-73420-8_71

Configurable software verification: Concretizing the convergence of model checking and program analysis
D. Beyer, T.A. Henzinger, G. Théoduloz, in:, Springer, 2007, pp. 504–518.
LibreCat: https://research-explorer.ista.ac.at/record/4573
DOI: 10.1007/978-3-540-73368-3_51

Invariant synthesis for combined theories
D. Beyer, T.A. Henzinger, R. Majumdar, A. Rybalchenko, in:, Springer, 2007, pp. 378–394.
LibreCat: https://research-explorer.ista.ac.at/record/4572
DOI: 10.1007/978-3-540-69738-1_27

Path invariants
D. Beyer, T.A. Henzinger, R. Majumdar, A. Rybalchenko, in:, ACM, 2007, pp. 300–309.
LibreCat: https://research-explorer.ista.ac.at/record/4571
DOI: 10.1145/1250734.1250769

An application of web-service interfaces
D. Beyer, A. Chakrabarti, T.A. Henzinger, S. Seshia, in:, IEEE, 2007, pp. 831–838.
LibreCat: https://research-explorer.ista.ac.at/record/4575
DOI: 10.1109/ICWS.2007.32 

Concurrent reachability games
L. De Alfaro, T.A. Henzinger, O. Kupferman, Theoretical Computer Science 386 (2007) 188–217.
LibreCat: https://research-explorer.ista.ac.at/record/4626
DOI: 10.1016/j.tcs.2007.07.008

Observing the spin hall effect of light via quantum weak measurements
O. Hosten, P. Kwiat, in:, OSA, 2007.
LibreCat: https://research-explorer.ista.ac.at/record/582
DOI: 10.1364/FIO.2007.JTuA4