2008 Research Summary - Thomas A. Henzinger

Large Projects

• Open Source Quality
  Thomas A. Henzinger, George Necula, Ras Bodik and Sanjit A. Seshia

Small Projects

• A Hierarchical Coordination Language for Interacting Real-Time Tasks
  Arkadeb Ghosal, Christoph Kirsch, Daniel Iercan, Alberto L. Sangiovanni-Vincentelli and Thomas A. Henzinger
• An Interface Algebra for Task Graphs
  Slobodan Matic and Thomas A. Henzinger
• Logical Reliability of Interacting Real-Time Tasks
  Arkadeb Ghosal, Krishnendu Chatterjee, Thomas A. Henzinger, Daniel Iercan, Christoph Kirsch, Claudio Pinello and Alberto L. Sangiovanni-Vincentelli
• Separate Compilation of Hierarchical Real-Time Programs into Linear-Bounded Embedded Machine Code
  Arkadeb Ghosal, Daniel Iercan, Christoph Kirsch, Thomas A. Henzinger and Alberto L. Sangiovanni-Vincentelli
• Stochastic Games
  Thomas A. Henzinger and Krishnendu Chatterjee
• Web Service Interfaces (CHIC)
  Dirk Beyer, Arindam Chakrabarti, Thomas A. Henzinger and Sanjit A. Seshia