Search Within

Henzinger Group

People

  1. Avni
    Avni
  2. Bogomolov
    Bogomolov
  3. Boker
    Boker
  4. Cerný
    Cerný
  5. Chu
    Chu
  6. Daca
    Daca
  7. Drǎgoi
    Drǎgoi
  8. Elgyütt
    Elgyütt
  9. Ferrere
    Ferrere
  10. Giacobbe
    Giacobbe
  11. Gupta
    Gupta
  12. Henzinger
    Henzinger
  13. Kong
    Kong
  14. Kragl
    Kragl
  15. Kretínský
    Kretínský
  16. Kupriyanov
    Kupriyanov
  17. Nickovic
    Nickovic
  18. Otop
    Otop
  19. Radhakrishna
    Radhakrishna
  20. Ruess
    Ruess
  21. Samanta
    Samanta
  22. Sezgin
    Sezgin
  23. Singh
    Singh
  24. Tarrach
    Tarrach
  25. Wies
    Wies
  26. Zufferey
    Zufferey
Refine Results
  1. "no"
  2. "no"
  3. "no"
  4. "LCTES
Formats
  1. Conference paper (2)
People
  1. Thomas Henzinger (2)
Years
  1. 2005 (1)
  2. 2001 (1)
Publications
  1. LCTES: Languages, Compilers, and Tools for Embedded Systems (2)
Publishers
  1. ACM (2)
Open access
  1. no (2)
Peer reviewed
  1. no (2)
Invited
  1. no (2)

Results (2)

  • Composable code generation for distributed Giotto
    Conference paper

    Henzinger, Thomas A; Kirsch, Christoph M; Matic, Slobodan
    LCTES: Languages, Compilers, and Tools for Embedded Systems
    ACM (2005)

    GET it@IST | Save
  • Embedded control systems development with Giotto
    Conference paper

    Henzinger, Thomas A; Horowitz, Benjamin; Kirsch, Christoph M
    LCTES: Languages, Compilers, and Tools for Embedded Systems
    ACM (2001)

    GET it@IST | Save