Alur, R., Cerny, P., &; Chaudhuri, S. (2007). Model Checking on Trees with Path Equivalences (pp. 664–678). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer.https://doi.org/1544 
LibreCat: https://research-explorer.ista.ac.at/record/4402
DOI: 1544

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

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

Henzinger, T. A. (2007). Games, time, and probability: Graph models for system design and analysis (Vol. 4362, pp. 103–110). Presented at the SOFSEM: Current Trends in Theory and Practice of Computer Science, Springer.https://doi.org/10.1007/978-3-540-69507-3_7 
LibreCat: https://research-explorer.ista.ac.at/record/4514
DOI: 10.1007/978-3-540-69507-3_7

Henzinger, T. A. (2007). Quantitative generalizations of languages (Vol. 4588, pp. 20–22). Presented at the DLT: Developments in Language Theory, Springer.https://doi.org/10.1007/978-3-540-73208-2_2 
LibreCat: https://research-explorer.ista.ac.at/record/4511
DOI: 10.1007/978-3-540-73208-2_2

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

Fisher, J., &; Henzinger, T. A. (2007). Executable cell biology. Nature Biotechnology. Nature Publishing Group.https://doi.org/10.1038/nbt1356 
LibreCat: https://research-explorer.ista.ac.at/record/4529
DOI: 10.1038/nbt1356

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

Chatterjee, K., &; Henzinger, T. A. (2007). Assume-guarantee synthesis (Vol. 4424, pp. 261–275). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer.https://doi.org/10.1007/978-3-540-71209-1_21 
LibreCat: https://research-explorer.ista.ac.at/record/4537
DOI: 10.1007/978-3-540-71209-1_21

Chatterjee, K., Doyen, L., Henzinger, T. A., &; Raskin, J. (2007). Algorithms for omega-regular games with imperfect information. Logical Methods in Computer Science. International Federation of Computational Logic.https://doi.org/10.2168/LMCS-3(3:4)2007 
LibreCat: https://research-explorer.ista.ac.at/record/4547
DOI: 10.2168/LMCS-3(3:4)2007

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

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

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

Brihaye, T., Henzinger, T. A., Prabhu, V., &; Raskin, J. (2007). Minimum-time reachability in timed games (Vol. 4596, pp. 825–837). Presented at the ICALP: Automata, Languages and Programming, Springer.https://doi.org/10.1007/978-3-540-73420-8_71 
LibreCat: https://research-explorer.ista.ac.at/record/4570
DOI: 10.1007/978-3-540-73420-8_71

Beyer, D., Henzinger, T. A., &; Théoduloz, G. (2007). Configurable software verification: Concretizing the convergence of model checking and program analysis (Vol. 4590, pp. 504–518). Presented at the CAV: Computer Aided Verification, Springer.https://doi.org/10.1007/978-3-540-73368-3_51 
LibreCat: https://research-explorer.ista.ac.at/record/4573
DOI: 10.1007/978-3-540-73368-3_51

Beyer, D., Henzinger, T. A., Majumdar, R., &; Rybalchenko, A. (2007). Invariant synthesis for combined theories (Vol. 4349, pp. 378–394). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Springer.https://doi.org/10.1007/978-3-540-69738-1_27 
LibreCat: https://research-explorer.ista.ac.at/record/4572
DOI: 10.1007/978-3-540-69738-1_27

Beyer, D., Henzinger, T. A., Majumdar, R., &; Rybalchenko, A. (2007). Path invariants (pp. 300–309). Presented at the PLDI: Programming Languages Design and Implementation, ACM.https://doi.org/10.1145/1250734.1250769 
LibreCat: https://research-explorer.ista.ac.at/record/4571
DOI: 10.1145/1250734.1250769

Beyer, D., Chakrabarti, A., Henzinger, T. A., &; Seshia, S. (2007). An application of web-service interfaces (pp. 831–838). Presented at the ICWS: International Conference on Web Service, IEEE.https://doi.org/10.1109/ICWS.2007.32  
LibreCat: https://research-explorer.ista.ac.at/record/4575
DOI: 10.1109/ICWS.2007.32 

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

Hosten, O., &; Kwiat, P. (2007). Observing the spin hall effect of light via quantum weak measurements. Presented at the OMD: Organic Materials and Devices for Displays and Energy Conversion, OSA.https://doi.org/10.1364/FIO.2007.JTuA4 
LibreCat: https://research-explorer.ista.ac.at/record/582
DOI: 10.1364/FIO.2007.JTuA4