dblp.uni-trier.dewww.uni-trier.de

Christoph M. Kirsch Vis

Christoph Meyer

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
31 Christoph M. Kirsch, Mahmut T. Kandemir: Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, LCTES 2009, Dublin, Ireland, June 19-20, 2009 ACM 2009
30EEHarald Röck, Joshua S. Auerbach, Christoph M. Kirsch, David F. Bacon: Avoiding unbounded priority inversion in barrier protocols using gang priority management. JTRES 2009: 70-79
29EESilviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova: Programmable temporal isolation through variable-bandwidth servers. SIES 2009: 171-180
28EEJoshua S. Auerbach, David F. Bacon, Daniel T. Iercan, Christoph M. Kirsch, V. T. Rajan, Harald Röck, Rainer Trummer: Low-latency time-portable real-time programming with Exotasks. ACM Trans. Embedded Comput. Syst. 8(2): (2009)
2008
27EEKrishnendu Chatterjee, Arkadeb Ghosal, Thomas A. Henzinger, Daniel T. Iercan, Christoph M. Kirsch, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli: Logical Reliability of Interacting Real-Time Tasks. DATE 2008: 909-914
26EESilviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Ana Sokolova, Horst Stadler, Robert Staudinger: A Compacting Real-Time Memory Management System. USENIX Annual Technical Conference 2008: 349-362
2007
25 Christoph M. Kirsch, Reinhard Wilhelm: Proceedings of the 7th ACM & IEEE International conference on Embedded software, EMSOFT 2007, September 30 - October 3, 2007, Salzburg, Austria ACM 2007
24EEChristoph M. Kirsch, Reinhard Wilhelm: Grand challenges in embedded software. EMSOFT 2007: 2-6
23EEJoshua S. Auerbach, David F. Bacon, Daniel T. Iercan, Christoph M. Kirsch, V. T. Rajan, Harald Röck, Rainer Trummer: Java takes flight: time-portable real-time programming with exotasks. LCTES 2007: 51-62
22EEThomas A. Henzinger, Christoph M. Kirsch: The embedded machine: Predictable, portable real-time code. ACM Trans. Program. Lang. Syst. 29(6): (2007)
2006
21EEArkadeb Ghosal, Alberto L. Sangiovanni-Vincentelli, Christoph M. Kirsch, Thomas A. Henzinger, Daniel T. Iercan: A hierarchical coordination language for interacting real-time tasks. EMSOFT 2006: 132-141
2005
20EEDavid 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. EMSOFT 2005: 68-78
19EEThomas A. Henzinger, Christoph M. Kirsch, Slobodan Matic: Composable code generation for distributed giotto. LCTES 2005: 21-30
18EEChristoph M. Kirsch, Marco A. A. Sanvido, Thomas A. Henzinger: A programmable microkernel for real-time systems. VEE 2005: 35-45
2004
17EEThomas A. Henzinger, Christoph M. Kirsch: A typed assembly language for real-time programs. EMSOFT 2004: 104-113
16EEArkadeb Ghosal, Thomas A. Henzinger, Christoph M. Kirsch, Marco A. A. Sanvido: Event-Driven Programming with Logical Execution Times. HSCC 2004: 357-371
2003
15EEThomas A. Henzinger, Christoph M. Kirsch, Slobodan Matic: Schedule-Carrying Code. EMSOFT 2003: 241-256
14 Thomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch: Giotto: a time-triggered language for embedded programming. Proceedings of the IEEE 91(1): 84-99 (2003)
2002
13EEChristoph M. Kirsch, Marco A. A. Sanvido, Thomas A. Henzinger, Wolfgang Pree: A Giotto-Based Helicopter Control System. EMSOFT 2002: 46-60
12EEChristoph M. Kirsch: Principles of Real-Time Programming. EMSOFT 2002: 61-75
11EEThomas A. Henzinger, Christoph M. Kirsch, Rupak Majumdar, Slobodan Matic: Time-Safety Checking for Embedded Programs. EMSOFT 2002: 76-92
10EEThomas A. Henzinger, Christoph M. Kirsch: The Embedded Machine: Predictable, Portable Real-Time Code. PLDI 2002: 315-326
2001
9 Thomas A. Henzinger, Christoph M. Kirsch: Embedded Software, First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October, 8-10, 2001, Proceedings Springer 2001
8EEThomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch: Giotto: A Time-Triggered Language for Embedded Programming. EMSOFT 2001: 166-184
7 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. ICSE 2001: 835-836
6 Thomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch: Embedded Control Systems Development with Giotto. LCTES/OM 2001: 64-72
1999
5EEHarald Ganzinger, Christoph Meyer, Margus Veanes: The Two-Variable Guarded Fragment with Transitive Relations. LICS 1999: 24-34
1998
4 Harald Ganzinger, Ullrich Hustadt, Christoph Meyer, Renate A. Schmidt: A Resolution-Based Decision Procedure for Extensions of K4. Advances in Modal Logic 1998: 225-246
3EEFlorent Jacquemard, Christoph Meyer, Christoph Weidenbach: Unification in Extension of Shallow Equational Theories. RTA 1998: 76-90
1997
2EEHarald Ganzinger, Christoph Meyer, Christoph Weidenbach: Soft Typing for Ordered Resolution. CADE 1997: 321-335
1996
1EEPeter Graf, Christoph Meyer: Advanced Indexing Operations on Substitution Trees. CADE 1996: 553-567

Coauthor Index

1Luca de Alfaro [7]
2Rajeev Alur [7]
3Joshua S. Auerbach [23] [28] [30]
4David F. Bacon [20] [23] [28] [30]
5Krishnendu Chatterjee [27]
6Perry Cheng [20]
7Silviu S. Craciunas [26] [29]
8Harald Ganzinger [2] [4] [5]
9Arkadeb Ghosal [16] [21] [27]
10Peter Graf [1]
11Radu Grosu [7]
12David Grove [20]
13Matthias Hauswirth [20]
14Thomas A. Henzinger [6] [7] [8] [9] [10] [11] [13] [14] [15] [16] [17] [18] [19] [21] [22] [27]
15Michael Hind [20]
16Benjamin Horowitz [6] [8] [14]
17Ullrich Hustadt [4]
18Daniel T. Iercan [21] [23] [27] [28]
19Florent Jacquemard [3]
20Mahmut T. Kandemir [31]
21M. Kang [7]
22Rupak Majumdar [7] [11]
23Freddy Y. C. Mang [7]
24Slobodan Matic [11] [15] [19]
25Hannes Payer [26] [29]
26Claudio Pinello [27]
27Wolfgang Pree [13]
28V. T. Rajan [20] [23] [28]
29Harald Röck [23] [28] [29] [30]
30Alberto L. Sangiovanni-Vincentelli [21] [27]
31Marco A. A. Sanvido [13] [16] [18]
32Renate A. Schmidt [4]
33Ana Sokolova [26] [29]
34Daniel Spoonhower [20]
35Horst Stadler [26]
36Robert Staudinger [26]
37Rainer Trummer [23] [28]
38Margus Veanes [5]
39Martin T. Vechev [20]
40Bow-Yaw Wang [7]
41Christoph Weidenbach [2] [3]
42Reinhard Wilhelm [24] [25]
43Eran Yahav [20]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)