Christoph M. Kirsch

Christoph Meyer

	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
30		Harald 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
29		Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova: Programmable temporal isolation through variable-bandwidth servers. SIES 2009: 171-180
28		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		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		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		Christoph M. Kirsch, Reinhard Wilhelm: Grand challenges in embedded software. EMSOFT 2007: 2-6
23		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		Thomas A. Henzinger, Christoph M. Kirsch: The embedded machine: Predictable, portable real-time code. ACM Trans. Program. Lang. Syst. 29(6): (2007)
	2006
21		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		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		Thomas A. Henzinger, Christoph M. Kirsch, Slobodan Matic: Composable code generation for distributed giotto. LCTES 2005: 21-30
18		Christoph M. Kirsch, Marco A. A. Sanvido, Thomas A. Henzinger: A programmable microkernel for real-time systems. VEE 2005: 35-45
	2004
17		Thomas A. Henzinger, Christoph M. Kirsch: A typed assembly language for real-time programs. EMSOFT 2004: 104-113
16		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		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		Christoph M. Kirsch, Marco A. A. Sanvido, Thomas A. Henzinger, Wolfgang Pree: A Giotto-Based Helicopter Control System. EMSOFT 2002: 46-60
12		Christoph M. Kirsch: Principles of Real-Time Programming. EMSOFT 2002: 61-75
11		Thomas A. Henzinger, Christoph M. Kirsch, Rupak Majumdar, Slobodan Matic: Time-Safety Checking for Embedded Programs. EMSOFT 2002: 76-92
10		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		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		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		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] [30]
4	David F. Bacon	[20] [23] [28] [30]
5	Krishnendu Chatterjee	[27]
6	Perry Cheng	[20]
7	Silviu S. Craciunas	[26] [29]
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	Mahmut T. Kandemir	[31]
21	M. Kang	[7]
22	Rupak Majumdar	[7] [11]
23	Freddy Y. C. Mang	[7]
24	Slobodan Matic	[11] [15] [19]
25	Hannes Payer	[26] [29]
26	Claudio Pinello	[27]
27	Wolfgang Pree	[13]
28	V. T. Rajan	[20] [23] [28]
29	Harald Röck	[23] [28] [29] [30]
30	Alberto L. Sangiovanni-Vincentelli	[21] [27]
31	Marco A. A. Sanvido	[13] [16] [18]
32	Renate A. Schmidt	[4]
33	Ana Sokolova	[26] [29]
34	Daniel Spoonhower	[20]
35	Horst Stadler	[26]
36	Robert Staudinger	[26]
37	Rainer Trummer	[23] [28]
38	Margus Veanes	[5]
39	Martin T. Vechev	[20]
40	Bow-Yaw Wang	[7]
41	Christoph Weidenbach	[2] [3]
42	Reinhard Wilhelm	[24] [25]
43	Eran Yahav	[20]

Colors in the list of coauthors