Christoph M. Kirsch

Christoph Meyer

	2012
48		Christoph M. Kirsch, Ana Sokolova: The Logical Execution Time Paradigm. Advances in Real-Time Systems 2012: 103-120
47		Christoph M. Kirsch, Hannes Payer: Incorrect systems: it's not the problem, it's the solution. DAC 2012: 913-917
46		Christoph M. Kirsch, Eloi Pereira, Raja Sengupta, Hao Chen, Robert Hansen, Jiangchuan Huang, Florian Landolt, Michael Lippautz, Andreas Rottmann, Ryan Swick, Rainer Trummer, D. Vizzini: Cyber-physical cloud computing: The binding and migration problem. DATE 2012: 1425-1428
45		Arkadeb Ghosal, Daniel T. Iercan, Christoph M. Kirsch, Thomas A. Henzinger, Alberto L. Sangiovanni-Vincentelli: Separate compilation of hierarchical real-time programs into linear-bounded Embedded Machine code. Sci. Comput. Program. 77(2): 96-112 (2012)
	2011
44		Christoph M. Kirsch, Gernot Heiser: European Conference on Computer Systems, Proceedings of the Sixth European conference on Computer systems, EuroSys 2011, Salzburg, Austria, April 10-13, 2011 ACM 2011
43		Christoph M. Kirsch, Luís Lopes, Eduardo R. B. Marques, Ana Sokolova: Runtime Programming through Model-Preserving, Scalable Runtime Patches. ACSD 2011: 77-86
42		Saddek Bensalem, Kees Goossens, Christoph M. Kirsch, Roman Obermaisser, Edward A. Lee, Joseph Sifakis: Time-predictable and composable architectures for dependable embedded systems. EMSOFT 2011: 351-352
41		Martin Aigner, Andreas Haas, Christoph M. Kirsch, Michael Lippautz, Ana Sokolova, Stephanie Stroka, Andreas Unterweger: Short-term memory for self-collecting mutators. ISMM 2011: 99-108
40		Hannes Payer, Harald Röck, Christoph M. Kirsch, Ana Sokolova: Scalability versus semantics of concurrent FIFO queues. PODC 2011: 331-332
	2010
39		Silviu S. Craciunas, Christoph M. Kirsch, Ana Sokolova: Power-aware temporal isolation with variable-bandwidth servers. EMSOFT 2010: 259-268
38		Christoph M. Kirsch, Luís Lopes, Eduardo R. B. Marques, Ana Sokolova: Runtime Programming through Model-Preserving, Scalable Runtime Patches. FACS 2010: 290-294
37		Silviu S. Craciunas, Christoph M. Kirsch, Ana Sokolova: Response Time versus Utilization in Scheduler Overhead Accounting. IEEE Real-Time and Embedded Technology and Applications Symposium 2010: 291-300
	2009
36		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
35		Thomas A. Henzinger, Christoph M. Kirsch, Eduardo R. B. Marques, Ana Sokolova: Distributed, Modular HTL. IEEE Real-Time Systems Symposium 2009: 171-180
34		Joshua Love, Jerry Jariyasunant, Eloi Pereira, Marco Zennaro, J. Karl Hedrick, Christoph M. Kirsch, Raja Sengupta: CSL: A Language to Specify and Re-specify Mobile Sensor Network Behaviors. IEEE Real-Time and Embedded Technology and Applications Symposium 2009: 67-76
33		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
32		Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova: Programmable temporal isolation through variable-bandwidth servers. SIES 2009: 171-180
31		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)
30		Christoph M. Kirsch, Reinhard Wilhelm: EMSOFT 2007 guest editors' introduction. Design Autom. for Emb. Sys. 13(1-2): 3-4 (2009)
	2008
29		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
28		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
27		Silviu S. Craciunas, Christoph M. Kirsch, Harald Röck: I/O resource management through system call scheduling. Operating Systems Review 42(5): 44-54 (2008)
	2007
26		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
25		Christoph M. Kirsch, Reinhard Wilhelm: Grand challenges in embedded software. EMSOFT 2007: 2-6
24		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
23		Thomas A. Henzinger, Christoph M. Kirsch: The embedded machine: Predictable, portable real-time code. ACM Trans. Program. Lang. Syst. 29(6): (2007)
	2006
22		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
21		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
20		Thomas A. Henzinger, Christoph M. Kirsch, Slobodan Matic: Composable code generation for distributed giotto. LCTES 2005: 21-30
19		Christoph M. Kirsch, Marco A. A. Sanvido, Thomas A. Henzinger: A programmable microkernel for real-time systems. VEE 2005: 35-45
	2004
18		Thomas A. Henzinger, Christoph M. Kirsch: A typed assembly language for real-time programs. EMSOFT 2004: 104-113
17		Arkadeb Ghosal, Thomas A. Henzinger, Christoph M. Kirsch, Marco A. A. Sanvido: Event-Driven Programming with Logical Execution Times. HSCC 2004: 357-371
16		Christoph Meyer: Soft typing for clausal inference systems. Saarland University 2004
	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	Martin Aigner	[41]
2	Luca de Alfaro	[7]
3	Rajeev Alur	[7]
4	Joshua S. Auerbach	[24] [31] [33]
5	David F. Bacon	[21] [24] [31] [33]
6	Saddek Bensalem	[42]
7	Krishnendu Chatterjee	[29]
8	Hao Chen	[46]
9	Perry Cheng	[21]
10	Silviu S. Craciunas	[27] [28] [32] [37] [39]
11	Harald Ganzinger	[2] [4] [5]
12	Arkadeb Ghosal	[17] [22] [29] [45]
13	Kees G. W. Goossens (Kees Goossens)	[42]
14	Peter Graf	[1]
15	Radu Grosu	[7]
16	David Grove	[21]
17	Andreas Haas	[41]
18	Robert Hansen	[46]
19	Matthias Hauswirth	[21]
20	J. Karl Hedrick	[34]
21	Gernot Heiser	[44]
22	Thomas A. Henzinger	[6] [7] [8] [9] [10] [11] [13] [14] [15] [17] [18] [19] [20] [22] [23] [29] [35] [45]
23	Michael Hind	[21]
24	Benjamin Horowitz	[6] [8] [14]
25	Jiangchuan Huang	[46]
26	Ullrich Hustadt	[4]
27	Daniel T. Iercan	[22] [24] [29] [31] [45]
28	Florent Jacquemard	[3]
29	Jerry Jariyasunant	[34]
30	Mahmut T. Kandemir	[36]
31	M. Kang	[7]
32	Florian Landolt	[46]
33	Edward A. Lee	[42]
34	Michael Lippautz	[41] [46]
35	Luís Lopes	[38] [43]
36	Joshua Love	[34]
37	Rupak Majumdar	[7] [11]
38	Freddy Y. C. Mang	[7]
39	Eduardo R. B. Marques	[35] [38] [43]
40	Slobodan Matic	[11] [15] [20]
41	Roman Obermaisser	[42]
42	Hannes Payer	[28] [32] [40] [47]
43	Eloi Pereira	[34] [46]
44	Claudio Pinello	[29]
45	Wolfgang Pree	[13]
46	V. T. Rajan	[21] [24] [31]
47	Harald Röck	[24] [27] [31] [32] [33] [40]
48	Andreas Rottmann	[46]
49	Alberto L. Sangiovanni-Vincentelli	[22] [29] [45]
50	Marco A. A. Sanvido	[13] [17] [19]
51	Renate A. Schmidt	[4]
52	Raja Sengupta	[34] [46]
53	Joseph Sifakis	[42]
54	Ana Sokolova	[28] [32] [35] [37] [38] [39] [40] [41] [43] [48]
55	Daniel Spoonhower	[21]
56	Horst Stadler	[28]
57	Robert Staudinger	[28]
58	Stephanie Stroka	[41]
59	Ryan Swick	[46]
60	Rainer Trummer	[24] [31] [46]
61	Andreas Unterweger	[41]
62	Margus Veanes	[5]
63	Martin T. Vechev	[21]
64	D. Vizzini	[46]
65	Bow-Yaw Wang	[7]
66	Christoph Weidenbach	[2] [3]
67	Reinhard Wilhelm	[25] [26] [30]
68	Eran Yahav	[21]
69	Marco Zennaro	[34]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page