Christoph M. Kirsch

Christoph Meyer

2009
28	EE	Joshua 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
27	EE	Krishnendu 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
26	EE	Silviu 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
24	EE	Christoph M. Kirsch, Reinhard Wilhelm: Grand challenges in embedded software. EMSOFT 2007: 2-6
23	EE	Joshua 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
22	EE	Thomas A. Henzinger, Christoph M. Kirsch: The embedded machine: Predictable, portable real-time code. ACM Trans. Program. Lang. Syst. 29(6): (2007)
2006
21	EE	Arkadeb 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
20	EE	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. EMSOFT 2005: 68-78
19	EE	Thomas A. Henzinger, Christoph M. Kirsch, Slobodan Matic: Composable code generation for distributed giotto. LCTES 2005: 21-30
18	EE	Christoph M. Kirsch, Marco A. A. Sanvido, Thomas A. Henzinger: A programmable microkernel for real-time systems. VEE 2005: 35-45
2004
17	EE	Thomas A. Henzinger, Christoph M. Kirsch: A typed assembly language for real-time programs. EMSOFT 2004: 104-113
16	EE	Arkadeb Ghosal, Thomas A. Henzinger, Christoph M. Kirsch, Marco A. A. Sanvido: Event-Driven Programming with Logical Execution Times. HSCC 2004: 357-371
2003
15	EE	Thomas 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
13	EE	Christoph M. Kirsch, Marco A. A. Sanvido, Thomas A. Henzinger, Wolfgang Pree: A Giotto-Based Helicopter Control System. EMSOFT 2002: 46-60
12	EE	Christoph M. Kirsch: Principles of Real-Time Programming. EMSOFT 2002: 61-75
11	EE	Thomas A. Henzinger, Christoph M. Kirsch, Rupak Majumdar, Slobodan Matic: Time-Safety Checking for Embedded Programs. EMSOFT 2002: 76-92
10	EE	Thomas 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
8	EE	Thomas 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
5	EE	Harald 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
3	EE	Florent Jacquemard, Christoph Meyer, Christoph Weidenbach: Unification in Extension of Shallow Equational Theories. RTA 1998: 76-90
1997
2		Harald Ganzinger, Christoph Meyer, Christoph Weidenbach: Soft Typing for Ordered Resolution. CADE 1997: 321-335
1996
1		Peter Graf, Christoph Meyer: Advanced Indexing Operations on Substitution Trees. CADE 1996: 553-567

Coauthor Index

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

Colors in the list of coauthors