Hierarchical Timing Language
Home
HTL Compiler
E Machine
HTL Exotask
HTL and Reliability
Examples
Publications
Team

Papers
  1. Separate Compilation of Hierarchical Real-Time Programs into Linear-Bounded Embedded Machine Code
    Arkadeb Ghosal, Daniel Iercan, Christoph Kirsch, Thomas A. Henzinger, Alberto Sangiovanni-Vincentelli.
    2007, APGES, Salzburg, Austria.
  2. Java takes flight: Time-portable real-time programming with exotasks
    J. Auerbach, D.F. Bacon, D.T. Iercan, C.M. Kirsch, V.T.Rajan, H. Röck, and R. Trummer.
    2007, LCTES, ACM Press.
  3. A Hierarchical Coordination Language for Interacting Real-Time Tasks
    Arkadeb Ghosal, Thomas A. Henzinger, Daniel Iercan, Christoph Kirsch, Alberto Sangiovanni-Vincentelli.
    2006, EMSOFT, Seoul, Korea.
 

Technical Reports

  1. Hierarchical Timing Language
    Arkadeb Ghosal, Thomas A. Henzinger, Daniel Iercan, Christoph Kirsch, Alberto Sangiovanni-Vincentelli.
    2006, Technical Report EECS-2006-79, University of California, Berkeley
 

Presentations

  1. Separate Compilation of Hierarchical Real-Time Programs into Linear-Bounded Embedded Machine Code
    Arkadeb Ghosal, Daniel Iercan, Christoph Kirsch, Thomas A. Henzinger, Alberto Sangiovanni-Vincentelli.
    2007, APGES, Salzburg, Austria. ppt
  2. A Hierarchical Coordination Language for Interacting Real-Time Tasks
    Arkadeb Ghosal, Thomas A. Henzinger, Daniel Iercan, Christoph Kirsch, Alberto Sangiovanni-Vincentelli.
    2006, EMSOFT, Seoul, Korea. ppt