Faculty Publications - Thomas A. Henzinger

Books

  • T. A. Henzinger and C. M. Kirsch, Embedded Software: First International Workshop, Lecture Notes in Computer Science; 2211, Berlin; New York: Springer Verlag, 2001. [abstract]
  • T. A. Henzinger and S. S. Sastry, Eds., Hybrid Systems: Computation and Control, Lecture Notes in Computer Science, v. 1386, Vol. 1386, Berlin, Germany: Springer-Verlag, 1998. [abstract]
  • R. Alur, T. A. Henzinger, and E. D. Sontag, Eds., Hybrid Systems III: Verification and Control, Lecture Notes in Computer Science; No. 1066, Berlin; New York: Springer, 1996.

Book chapters or sections

  • K. Chatterjee, K. Sen, and T. A. Henzinger, "Model-checking $omega$-regular properties of interval Markov chains," in Foundations of Software Science and Computational Structures (FoSSaCS 2008): Proc. 11th Intl. Conf., R. M. Amadio, Ed., Lecture Notes in Computer Science, Vol. 4962, Berlin, Germany: Springer-Verlag, 2008, pp. 302-317.
  • T. A. Henzinger, R. Jhala, R. Majumdar, G. Necula, G. Sutre, and W. Weimer, "Temporal-safety proofs for systems code," in Computer Aided Verification: Proc. 14th Intl. Conf. (CAV 2002), E. Brinksma and K. G. Larsen, Eds., Lecture Notes in Computer Science, Vol. 2404, Berlin, Germany: Springer-Verlag, 2002, pp. 526-538.
  • D. E. Culler, J. Hill, P. Buonadonna, R. Szewczyk, and A. Woo, "A network-centric approach to embedded software for tiny devices," in Proc. 1st Intl. Workshop on Embedded Software (EMSOFT 2001), T. A. Henzinger and C. M. Kirsch, Eds., Lecture Notes in Computer Science, Vol. 2211, London, UK: Springer-Verlag, 2001, pp. 114-130.

Selected Articles in journals or magazines

  • S. Tripakis, B. Lickly, T. A. Henzinger, and E. A. Lee, "A Theory of Synchronous Relational Interfaces," ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 33, no. 4, July 2011.
  • T. A. Henzinger, B. Horowitz, and C. M. Kirsch, "Giotto: A time-triggered language for embedded programming," Proc. IEEE, vol. 91, no. 1, pp. 84-99, Jan. 2003.
  • T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre, "Lazy abstraction," ACM SIGPLAN Notices, vol. 37, no. 1, pp. 58-70, Jan. 2002.
  • R. Alur and T. A. Henzinger, "Reactive modules," Formal Methods in System Design, vol. 15, no. 1, pp. 7-48, July 1999.
  • T. A. Henzinger, P. Ho, and H. Wong-Toi, "HYTECH: A model checker for hybrid systems," Intl. J. Software Tools for Technology Transfer, vol. 1, no. 1-2, pp. 110-122, Dec. 1997.

Selected Articles in conference proceedings

  • K. Chatterjee, A. Ghosal, T. A. Henzinger, D. Iercan, C. M. Kirsch, C. Pinello, and A. L. Sangiovanni-Vincentelli, "Logical reliability of interacting real-time tasks," in Proc. 2008 Design, Automation and Test in Europe (DATE '08), Leuven, Belgium: European Design and Automation Associaton, 2008, pp. 909-914.
  • D. Beyer, T. A. Henzinger, A. Chakrabarti, and S. A. Seshia, "An application of Web-service interfaces," in Proc. 2007 IEEE Intl. Conf. on Web Services (ICWS '07), Los Alamitos, CA: IEEE Computer Society, 2007, pp. 831-838.
  • A. Ghosal, A. L. Sangiovanni-Vincentelli, C. M. Kirsch, T. A. Henzinger, and D. Iercan, "A hierarchical coordination language for interacting real-time tasks," in Proc. 6th IEEE/ACM Intl. Conf. on Embedded Systems (EMSOFT 2006), New York, NY: The Association for Computing Machinery, Inc., 2006, pp. 132-141.
  • T. A. Henzinger, "The theory of hybrid automata," in Proc. 11th Annual IEEE Symp. on Logic in Computer Science, Los Alamitos, CA: IEEE Computer Society Press, 1996, pp. 278-292.
  • R. K. Brayton, G. D. Hachtel, A. L. Sangiovanni-Vincentelli, F. Somenzi, A. Aziz, S. Cheng, S. Edwards, S. Khatri, Y. Kukimoto, A. Pardo, S. Qadeer, R. K. Ranjan, S. Sarwary, T. R. Shiple, G. Swamy, and T. Villa, "VIS: A system for verification and synthesis," in Lecture Notes in Computer Science: Computer Aided Verification, R. Alur and T. A. Henzinger, Eds., Vol. 1102, London, UK: Springer-Verlag, 1996, pp. 428-432.

Technical Reports