Guerraoui, Rachid, Thomas A Henzinger, and Vasu Singh. “Permissiveness in Transactional Memories,”https://doi.org/10.1007/978-3-540-87779-0_21__5218:305–19. Springer, 2008.https://doi.org/10.1007/978-3-540-87779-0_21 .

Guerraoui, Rachid, Thomas A Henzinger, and Vasu Singh. “Completeness and Nondeterminism in Model Checking Transactional Memories,”https://doi.org/10.1007/978-3-540-85361-9_6__5201:21–35. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008.https://doi.org/10.1007/978-3-540-85361-9_6 .

Beyer, Dirk, Damien Zufferey, and Ritankar Majumdar. “CSIsat: Interpolation for LA+EUF,” 304–8. Springer, 2008.

Aviv, Adam, Pavol Cerny, Sandy Clark, Eric Cronin, Gaurav Shah, Micah Sherr, and Matt Blaze. “Security Evaluation of ES&;amp;S Voting Machines and Election Management System.”https://doi.org/1545__USENIX, 2008.https://doi.org/1545 .

Prabhu, Vinayak. “Games for the Verification of Timed Systems.” University of California, Berkeley, 2008.

Matic, Slobodan. “Compositionality in Deterministic Real-Time Embedded Systems.” University of California, Berkeley, 2008.

Henzinger, Thomas A, Thibaud Hottelier, and Laura Kovács. “Valigator: A Verification Tool with Bound and Invariant Generation,”https://doi.org/10.1007/978-3-540-89439-1_24__5330:333–42. Springer, 2008.https://doi.org/10.1007/978-3-540-89439-1_24 .

Henzinger, Thomas A. “Two Challenges in Embedded Systems Design: Predictability and Robustness.”https://doi.org/10.1098/rsta.2008.0141__Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences. Royal Society of London, 2008.https://doi.org/10.1098/rsta.2008.0141 .

Ghosal, Arkadeb. “A Hierarchical Coordination Language for Reliable Real-Time Tasks.” University of California, Berkeley, 2008.

Gupta, Ashutosh, Thomas A Henzinger, Ritankar Majumdar, Andrey Rybalchenko, and Ru Xu. “Proving Non-Termination,”https://doi.org/10.1145/1328438.1328459__147–58. ACM, 2008.https://doi.org/10.1145/1328438.1328459 .

Fisher, Jasmin, Thomas A Henzinger, Maria Mateescu, and Nir Piterman. “Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions,”https://doi.org/10.1007/978-3-540-68413-8_2__5054:17–32. Springer, 2008.https://doi.org/10.1007/978-3-540-68413-8_2 .

Doyen, Laurent, Thomas A Henzinger, and Jean Raskin. “Equivalence of Labeled Markov Chains.”https://doi.org/10.1142/S0129054108005814 __International Journal of Foundations of Computer Science. World Scientific Publishing, 2008.https://doi.org/10.1142/S0129054108005814  .

Doyen, Laurent, Thomas A Henzinger, Barbara Jobstmann, and Tatjana Petrov. “Interface Theories with Component Reuse,”https://doi.org/10.1145/1450058.1450070__79–88. ACM, 2008.https://doi.org/10.1145/1450058.1450070 .

Chatterjee, Krishnendu, and Thomas A Henzinger. “Reduction of Stochastic Parity to Stochastic Mean-Payoff Games.”https://doi.org/10.1016/j.ipl.2007.08.035__Information Processing Letters. Elsevier, 2008.https://doi.org/10.1016/j.ipl.2007.08.035 .

Chatterjee, Krishnendu, Arkadeb Ghosal, Thomas A Henzinger, Daniel Iercan, Christoph Kirsch, Claudio Pinello, and Alberto Sangiovanni Vincentelli. “Logical Reliability of Interacting Real-Time Tasks,”https://doi.org/10.1145/1403375.1403595__909–14. IEEE, 2008.https://doi.org/10.1145/1403375.1403595 .

Chatterjee, Krishnendu, Ritankar Majumdar, and Thomas A Henzinger. “Stochastic Limit-Average Games Are in EXPTIME.”https://doi.org/10.1007/s00182-007-0110-5__International Journal of Game Theory. Springer, 2008.https://doi.org/10.1007/s00182-007-0110-5 .

Beyer, Dirk, Thomas A Henzinger, and Grégory Théoduloz. “Program Analysis with Dynamic Change of Precision,”https://doi.org/10.1109/ASE.2008.13__29–38. ACM, 2008.https://doi.org/10.1109/ASE.2008.13 .

Hosten, Onur, and Paul Kwiat. “Observation of the Spin Hall Effect of Light via Weak Measurements.”https://doi.org/10.1126/science.1152697__Science. American Association for the Advancement of Science, 2008.https://doi.org/10.1126/science.1152697 .

Hosten, Onur, and Paul Kwiat. “Spin Hall Effect of Light via Weak Measurements: Sharp and Smooth Index Variations.” Optica Publishing Group, 2008.

Bretscher, A. J., K. E. Busch, and Mario de Bono. “A Carbon Dioxide Avoidance Behavior Is Integrated with Responses to Ambient Oxygen and Food in Caenorhabditis Elegans.”https://doi.org/10.1073/pnas.0707607105__Proceedings of the National Academy of Sciences. Proceedings of the National Academy of Sciences, 2008.https://doi.org/10.1073/pnas.0707607105 .