The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Christoph M. Kirsch: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Thomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch
    Giotto: A Time-Triggered Language for Embedded Programming. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2001, pp:166-184 [Conf]
  2. Thomas A. Henzinger, Christoph M. Kirsch
    A typed assembly language for real-time programs. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2004, pp:104-113 [Conf]
  3. Thomas A. Henzinger, Christoph M. Kirsch, Slobodan Matic
    Schedule-Carrying Code. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2003, pp:241-256 [Conf]
  4. Thomas A. Henzinger, Christoph M. Kirsch, Rupak Majumdar, Slobodan Matic
    Time-Safety Checking for Embedded Programs. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2002, pp:76-92 [Conf]
  5. David F. Bacon, Perry Cheng, David Grove, Michael Hind, V. T. Rajan, Eran Yahav, Matthias Hauswirth, Christoph M. Kirsch, Daniel Spoonhower, Martin T. Vechev
    High-level real-time programming in Java. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2005, pp:68-78 [Conf]
  6. Christoph M. Kirsch, Marco A. A. Sanvido, Thomas A. Henzinger, Wolfgang Pree
    A Giotto-Based Helicopter Control System. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2002, pp:46-60 [Conf]
  7. Christoph M. Kirsch
    Principles of Real-Time Programming. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2002, pp:61-75 [Conf]
  8. Arkadeb Ghosal, Alberto L. Sangiovanni-Vincentelli, Christoph M. Kirsch, Thomas A. Henzinger, Daniel T. Iercan
    A hierarchical coordination language for interacting real-time tasks. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2006, pp:132-141 [Conf]
  9. Arkadeb Ghosal, Thomas A. Henzinger, Christoph M. Kirsch, Marco A. A. Sanvido
    Event-Driven Programming with Logical Execution Times. [Citation Graph (0, 0)][DBLP]
    HSCC, 2004, pp:357-371 [Conf]
  10. Rajeev Alur, Luca de Alfaro, Radu Grosu, Thomas A. Henzinger, M. Kang, Christoph M. Kirsch, Rupak Majumdar, Freddy Y. C. Mang, Bow-Yaw Wang
    JMOCHA: A Model Checking Tool that Exploits Design Structure. [Citation Graph (0, 0)][DBLP]
    ICSE, 2001, pp:835-836 [Conf]
  11. Thomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch
    Embedded Control Systems Development with Giotto. [Citation Graph (0, 0)][DBLP]
    LCTES/OM, 2001, pp:64-72 [Conf]
  12. Thomas A. Henzinger, Christoph M. Kirsch, Slobodan Matic
    Composable code generation for distributed giotto. [Citation Graph (0, 0)][DBLP]
    LCTES, 2005, pp:21-30 [Conf]
  13. Thomas A. Henzinger, Christoph M. Kirsch
    The Embedded Machine: Predictable, Portable Real-Time Code. [Citation Graph (0, 0)][DBLP]
    PLDI, 2002, pp:315-326 [Conf]
  14. Christoph M. Kirsch, Marco A. A. Sanvido, Thomas A. Henzinger
    A programmable microkernel for real-time systems. [Citation Graph (0, 0)][DBLP]
    VEE, 2005, pp:35-45 [Conf]
  15. Thomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch
    Giotto: a time-triggered language for embedded programming. [Citation Graph (0, 0)][DBLP]
    Proceedings of the IEEE, 2003, v:91, n:1, pp:84-99 [Journal]
  16. Joshua S. Auerbach, David F. Bacon, Daniel T. Iercan, Christoph M. Kirsch, V. T. Rajan, Harald Roeck, Rainer Trummer
    Java takes flight: time-portable real-time programming with exotasks. [Citation Graph (0, 0)][DBLP]
    LCTES, 2007, pp:51-62 [Conf]
  17. Thomas A. Henzinger, Christoph M. Kirsch
    The embedded machine: Predictable, portable real-time code. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2007, v:29, n:6, pp:- [Journal]

  18. Logical Reliability of Interacting Real-Time Tasks. [Citation Graph (, )][DBLP]


  19. Grand challenges in embedded software. [Citation Graph (, )][DBLP]


  20. Response Time versus Utilization in Scheduler Overhead Accounting. [Citation Graph (, )][DBLP]


  21. CSL: A Language to Specify and Re-specify Mobile Sensor Network Behaviors. [Citation Graph (, )][DBLP]


  22. Distributed, Modular HTL. [Citation Graph (, )][DBLP]


  23. A Compacting Real-Time Memory Management System. [Citation Graph (, )][DBLP]


  24. Programmable temporal isolation through variable-bandwidth servers. [Citation Graph (, )][DBLP]


  25. Avoiding unbounded priority inversion in barrier protocols using gang priority management. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002