Bouillaguet, Charles, Viktor Kuncak, Thomas Wies, Karen Zee, and Martin Rinard. “Using First-Order Theorem Provers in the Jahob Data Structure Verification System,”https://doi.org/1552__74–88. Springer, 2007.https://doi.org/1552 .
LibreCat: https://research-explorer.ista.ac.at/record/4394
DOI: 1552

Berdine, Josh, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter O’Hearn, Thomas Wies, and Hongseok Yang. “Shape Analysis for Composite Data Structures,”https://doi.org/1553__178–92. Springer, 2007.https://doi.org/1553 .
LibreCat: https://research-explorer.ista.ac.at/record/4398
DOI: 1553

Schaub, Marc, Thomas A Henzinger, and Jasmin Fisher. “Qualitative Networks: A Symbolic Approach to Analyze Biological Signaling Networks.”https://doi.org/10.1186/1752-0509-1-4__BMC Systems Biology. BioMed Central, 2007.https://doi.org/10.1186/1752-0509-1-4 .
LibreCat: https://research-explorer.ista.ac.at/record/4405
DOI: 10.1186/1752-0509-1-4

Alur, Rajeev, Pavol Cerny, and Swarat Chaudhuri. “Model Checking on Trees with Path Equivalences,”https://doi.org/1544__664–78. Springer, 2007.https://doi.org/1544 .
LibreCat: https://research-explorer.ista.ac.at/record/4402
DOI: 1544

Manevich, Roman, John Field, Thomas A Henzinger, Ganesan Ramalingam, and Mooly Sagiv. “Abstract Counterexample-Based Refinement for Powerset Domains.”https://doi.org/10.1007/978-3-540-71322-7_13__In Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday, 4444:273–92. Springer, 2007.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, Thomas A, and Christoph Kirsch. “The Embedded Machine: Predictable, Portable Real-Time Code.”https://doi.org/10.1145/1286821.1286824__ACM Transactions on Programming Languages and Systems (TOPLAS). ACM, 2007.https://doi.org/10.1145/1286821.1286824 .
LibreCat: https://research-explorer.ista.ac.at/record/4446
DOI: 10.1145/1286821.1286824

Henzinger, Thomas A. “Games, Time, and Probability: Graph Models for System Design and Analysis,”https://doi.org/10.1007/978-3-540-69507-3_7__4362:103–10. Springer, 2007.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, Thomas A. “Quantitative Generalizations of Languages,”https://doi.org/10.1007/978-3-540-73208-2_2__4588:20–22. Springer, 2007.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, Jasmin, Nir Piterman, Alex Hajnal, and Thomas A Henzinger. “Predictive Modeling of Signaling Crosstalk during C. Elegans Vulval Development.”https://doi.org/10.1371/journal.pcbi.0030092__PLoS Computational Biology. Public Library of Science, 2007.https://doi.org/10.1371/journal.pcbi.0030092 .
LibreCat: https://research-explorer.ista.ac.at/record/4531
DOI: 10.1371/journal.pcbi.0030092

Fisher, Jasmin, and Thomas A Henzinger. “Executable Cell Biology.”https://doi.org/10.1038/nbt1356__Nature Biotechnology. Nature Publishing Group, 2007.https://doi.org/10.1038/nbt1356 .
LibreCat: https://research-explorer.ista.ac.at/record/4529
DOI: 10.1038/nbt1356

Duparc, Jacques, and Thomas A Henzinger. CSL: Computer Science Logic . CSL: Computer Science Logic. Vol. 4646. Springer, 2007.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, Krishnendu, and Thomas A Henzinger. “Assume-Guarantee Synthesis,”https://doi.org/10.1007/978-3-540-71209-1_21__4424:261–75. Springer, 2007.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, Krishnendu, Laurent Doyen, Thomas A Henzinger, and Jean Raskin. “Algorithms for Omega-Regular Games with Imperfect Information.”https://doi.org/10.2168/LMCS-3(3:4)2007__Logical Methods in Computer Science. International Federation of Computational Logic, 2007.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, Krishnendu. “Stochastic <9-Regular Games.” University of California, Berkeley, 2007.
LibreCat: https://research-explorer.ista.ac.at/record/4559

Chakrabarti, Arindam. “A Framework for Compositional Design and Analysis of Systems.” University of California, Berkeley, 2007.
LibreCat: https://research-explorer.ista.ac.at/record/4566

Beyer, Dirk, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “The Software Model Checker BLAST: Applications to Software Engineering.”https://doi.org/10.1007/s10009-007-0044-z__International Journal on Software Tools for Technology Transfer. Springer, 2007.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, Thomas, Thomas A Henzinger, Vinayak Prabhu, and Jean Raskin. “Minimum-Time Reachability in Timed Games,”https://doi.org/10.1007/978-3-540-73420-8_71__4596:825–37. Springer, 2007.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, Dirk, Thomas A Henzinger, and Grégory Théoduloz. “Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis,”https://doi.org/10.1007/978-3-540-73368-3_51__4590:504–18. Springer, 2007.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, Dirk, Thomas A Henzinger, Ritankar Majumdar, and Andrey Rybalchenko. “Invariant Synthesis for Combined Theories,”https://doi.org/10.1007/978-3-540-69738-1_27__4349:378–94. Springer, 2007.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, Dirk, Thomas A Henzinger, Ritankar Majumdar, and Andrey Rybalchenko. “Path Invariants,”https://doi.org/10.1145/1250734.1250769__300–309. ACM, 2007.https://doi.org/10.1145/1250734.1250769 .
LibreCat: https://research-explorer.ista.ac.at/record/4571
DOI: 10.1145/1250734.1250769