List of Abstracts for Thomas A. Henzinger

The EECS Research Summary for 2003

Checking Software Component Interfaces Arindam Chakrabarti
Krishnendu Chatterjee
Orna Kupferman
The Giotto Programming Language: Scheduling Theory and Helicopter Implementation Benjamin Horowitz
Time Safety Analysis of Embedded Programs Christoph Kirsch
Marco Sanvido
Slobodan Matic
Interface Synthesis and Verification Roberto Passerone
Jerry Burch
Luca de Alfaro
Software Verification with BLAST Ranjit Jhala
Rupak Majumdar
Approximate Refinement for Hybrid Systems Arkadeb Ghosal
Marcin Jurdzinski
Rupak Majumdar
Vinayak Prabhu
(6 abstracts total)