Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Christoph M. Kirsch
Christoph Meyer
2010 – today
- 2013
[j7]Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova: Temporal isolation in real-time systems: the VBS approach. STTT 15(3): 189-209 (2013)- [c43]Andreas Haas, Michael Lippautz, Thomas A. Henzinger, Hannes Payer, Ana Sokolova, Christoph M. Kirsch, Ali Sezgin: Distributed queues in shared memory: multicore performance and scalability through quantitative relaxation. Conf. Computing Frontiers 2013: 17
- [c42]Martin Aigner, Christoph M. Kirsch: ACDC: towards a universal mutator for benchmarking heap management systems. ISMM 2013: 75-84
- [c41]Thomas A. Henzinger, Christoph M. Kirsch, Hannes Payer, Ali Sezgin, Ana Sokolova: Quantitative relaxation of concurrent data structures. POPL 2013: 317-328
- 2012
- [j6]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)
- [c40]Christoph M. Kirsch, Ana Sokolova: The Logical Execution Time Paradigm. Advances in Real-Time Systems 2012: 103-120
- [c39]
- [c38]Christoph M. Kirsch, Hannes Payer: Incorrect systems: it's not the problem, it's the solution. DAC 2012: 913-917
- [c37]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
- [c36]Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova: Performance, Scalability, and Semantics of Concurrent FIFO Queues. ICA3PP (1) 2012: 273-287
- 2011
- [c35]Christoph M. Kirsch, Luís M. B. Lopes, Eduardo R. B. Marques, Ana Sokolova: Runtime Programming through Model-Preserving, Scalable Runtime Patches. ACSD 2011: 77-86
- [c34]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
- [c33]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
- [c32]Daniel Catrein, Bernd Lohrer, Christoph Meyer, René Rembarz, Thomas Weidenfeller: An Analysis of Web Caching in Current Mobile Broadband Scenarios. NTMS 2011: 1-5
- [c31]Hannes Payer, Harald Röck, Christoph M. Kirsch, Ana Sokolova: Scalability versus semantics of concurrent FIFO queues. PODC 2011: 331-332
- [e4]Christoph M. Kirsch, Gernot Heiser (Eds.): European Conference on Computer Systems, Proceedings of the Sixth European conference on Computer systems, EuroSys 2011, Salzburg, Austria, April 10-13, 2011. ACM 2011, ISBN 978-1-4503-0634-8
- 2010
- [c30]Silviu S. Craciunas, Christoph M. Kirsch, Ana Sokolova: Power-aware temporal isolation with variable-bandwidth servers. EMSOFT 2010: 259-268
- [c29]Christoph M. Kirsch, Luís M. B. Lopes, Eduardo R. B. Marques, Ana Sokolova: Runtime Programming through Model-Preserving, Scalable Runtime Patches. FACS 2010: 290-294
- [c28]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
2000 – 2009
- 2009
- [j5]Christoph M. Kirsch, Reinhard Wilhelm: EMSOFT 2007 guest editors' introduction. Design Autom. for Emb. Sys. 13(1-2): 3-4 (2009)
- [j4]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)
- [c27]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
- [c26]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
- [c25]Thomas A. Henzinger, Christoph M. Kirsch, Eduardo R. B. Marques, Ana Sokolova: Distributed, Modular HTL. RTSS 2009: 171-180
- [c24]Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova: Programmable temporal isolation through variable-bandwidth servers. SIES 2009: 171-180
- [e3]Christoph M. Kirsch, Mahmut T. Kandemir (Eds.): 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, ISBN 978-1-60558-356-3
- 2008
- [j3]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)
- [c23]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
- [c22]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
- [j2]Thomas A. Henzinger, Christoph M. Kirsch: The embedded machine: Predictable, portable real-time code. ACM Trans. Program. Lang. Syst. 29(6) (2007)
- [c21]
- [c20]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
- [e2]Christoph M. Kirsch, Reinhard Wilhelm (Eds.): Proceedings of the 7th ACM & IEEE International conference on Embedded software, EMSOFT 2007, September 30 - October 3, 2007, Salzburg, Austria. ACM 2007, ISBN 978-1-59593-825-1
- 2006
- [c19]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
- [c18]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
- [c17]Thomas A. Henzinger, Christoph M. Kirsch, Slobodan Matic: Composable code generation for distributed giotto. LCTES 2005: 21-30
- [c16]Christoph M. Kirsch, Marco A. A. Sanvido, Thomas A. Henzinger: A programmable microkernel for real-time systems. VEE 2005: 35-45
- 2004
- [b1]
- [c15]Thomas A. Henzinger, Christoph M. Kirsch: A typed assembly language for real-time programs. EMSOFT 2004: 104-113
- [c14]Arkadeb Ghosal, Thomas A. Henzinger, Christoph M. Kirsch, Marco A. A. Sanvido: Event-Driven Programming with Logical Execution Times. HSCC 2004: 357-371
- 2003
- [j1]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)
- [c13]Thomas A. Henzinger, Christoph M. Kirsch, Slobodan Matic: Schedule-Carrying Code. EMSOFT 2003: 241-256
- 2002
- [c12]Christoph M. Kirsch, Marco A. A. Sanvido, Thomas A. Henzinger, Wolfgang Pree: A Giotto-Based Helicopter Control System. EMSOFT 2002: 46-60
- [c11]
- [c10]Thomas A. Henzinger, Christoph M. Kirsch, Rupak Majumdar, Slobodan Matic: Time-Safety Checking for Embedded Programs. EMSOFT 2002: 76-92
- [c9]Thomas A. Henzinger, Christoph M. Kirsch: The Embedded Machine: Predictable, Portable Real-Time Code. PLDI 2002: 315-326
- 2001
- [c8]Thomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch: Giotto: A Time-Triggered Language for Embedded Programming. EMSOFT 2001: 166-184
- [c7]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
- [c6]Thomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch: Embedded Control Systems Development with Giotto. LCTES/OM 2001: 64-72
- [e1]Thomas A. Henzinger, Christoph M. Kirsch (Eds.): Embedded Software, First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October, 8-10, 2001, Proceedings. Lecture Notes in Computer Science 2211, Springer 2001, ISBN 3-540-42673-6
1990 – 1999
- 1999
- [c5]Harald Ganzinger, Christoph Meyer, Margus Veanes: The Two-Variable Guarded Fragment with Transitive Relations. LICS 1999: 24-34
- 1998
- [c4]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
- [c3]Florent Jacquemard, Christoph Meyer, Christoph Weidenbach: Unification in Extension of Shallow Equational Theories. RTA 1998: 76-90
- 1997
- [c2]Harald Ganzinger, Christoph Meyer, Christoph Weidenbach: Soft Typing for Ordered Resolution. CADE 1997: 321-335
- 1996
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-12 21:32 CEST by the dblp team