Advanced Indexing Operations on Substitution Trees. - Peter Graf; Christoph Meyer 001 (CADE, 1996)

Soft Typing for Ordered Resolution. - Harald Ganzinger; Christoph Meyer 001; Christoph Weidenbach (CADE, 1997)

A Resolution-Based Decision Procedure for Extensions of K4. - Harald Ganzinger; Ullrich Hustadt; Christoph Meyer 001; Renate A. Schmidt (Advances in Modal Logic, 1998)

Unification in Extension of Shallow Equational Theories. - Florent Jacquemard; Christoph Meyer 001; Christoph Weidenbach (RTA, 1998)

The Two-Variable Guarded Fragment with Transitive Relations. - Harald Ganzinger; Christoph Meyer 001; Margus Veanes (LICS, 1999)

Soft typing for clausal inference systems. - Christoph Meyer 001 (1999)

JMOCHA: A Model Checking Tool that Exploits Design Structure. - Rajeev Alur; Luca de Alfaro; Radu Grosu; Thomas A. Henzinger; M. Kang; Christoph M. Kirsch; Rupak Majumdar; Freddy Y. C. Mang; Bow-Yaw Wang (ICSE, 2001)

Embedded Control Systems Development with Giotto. - Thomas A. Henzinger; Benjamin Horowitz; Christoph Meyer Kirsch (OM@PLDI, 2001)

Time-Safety Checking for Embedded Programs. - Thomas A. Henzinger; Christoph M. Kirsch; Rupak Majumdar; Slobodan Matic (EMSOFT, 2002)

Principles of Real-Time Programming. - Christoph M. Kirsch (EMSOFT, 2002)

A Giotto-Based Helicopter Control System. - Christoph M. Kirsch; Marco A. A. Sanvido; Thomas A. Henzinger; Wolfgang Pree (EMSOFT, 2002)

Schedule-Carrying Code. - Thomas A. Henzinger; Christoph M. Kirsch; Slobodan Matic (EMSOFT, 2003)

Giotto: a time-triggered language for embedded programming. - Thomas A. Henzinger; Benjamin Horowitz; Christoph M. Kirsch (Proc. IEEE, 2003)

A typed assembly language for real-time programs. - Thomas A. Henzinger; Christoph M. Kirsch (EMSOFT, 2004)

Event-Driven Programming with Logical Execution Times. - Arkadeb Ghosal; Thomas A. Henzinger; Christoph M. Kirsch; Marco A. A. Sanvido (HSCC, 2004)

High-level real-time programming in Java. - David F. Bacon; Perry Cheng; David Grove; Michael Hind; V. T. Rajan; Eran Yahav; Matthias Hauswirth; Christoph M. Kirsch; Daniel Spoonhower; Martin T. Vechev (EMSOFT, 2005)

Composable code generation for distributed giotto. - Thomas A. Henzinger; Christoph M. Kirsch; Slobodan Matic (LCTES, 2005)

A programmable microkernel for real-time systems. - Christoph M. Kirsch; Marco A. A. Sanvido; Thomas A. Henzinger (VEE, 2005)

A hierarchical coordination language for interacting real-time tasks. - Arkadeb Ghosal; Alberto L. Sangiovanni-Vincentelli; Christoph M. Kirsch; Thomas A. Henzinger; Daniel T. Iercan (EMSOFT, 2006)

Grand challenges in embedded software. - Christoph M. Kirsch; Reinhard Wilhelm (EMSOFT, 2007)

Java takes flight: time-portable real-time programming with exotasks. - Joshua S. Auerbach; David F. Bacon; Daniel T. Iercan; Christoph M. Kirsch; V. T. Rajan; Harald Röck; Rainer Trummer (LCTES, 2007)

The embedded machine: Predictable, portable real-time code. - Thomas A. Henzinger; Christoph M. Kirsch (ACM Trans. Program. Lang. Syst., 2007)

The Evolution of Real-Time Programming. - Raja Sengupta 002; Christoph M. Kirsch (Handbook of Real-Time and Embedded Systems, 2007)

Logical Reliability of Interacting Real-Time Tasks. - Krishnendu Chatterjee; Arkadeb Ghosal; Thomas A. Henzinger; Daniel T. Iercan; Christoph M. Kirsch; Claudio Pinello; Alberto L. Sangiovanni-Vincentelli (DATE, 2008)

A Compacting Real-Time Memory Management System. - Silviu S. Craciunas; Christoph M. Kirsch; Hannes Payer; Ana Sokolova; Horst Stadler; Robert Staudinger (USENIX ATC, 2008)

I/O resource management through system call scheduling. - Silviu S. Craciunas; Christoph M. Kirsch; Harald Röck (ACM SIGOPS Oper. Syst. Rev., 2008)

Programmable temporal isolation in real-time and embedded execution environments. - Silviu S. Craciunas; Christoph M. Kirsch; Hannes Payer; Harald Röck; Ana Sokolova (IIES@EuroSys, 2009)

Avoiding unbounded priority inversion in barrier protocols using gang priority management. - Harald Röck; Joshua S. Auerbach; Christoph M. Kirsch; David F. Bacon (JTRES, 2009)

CSL: A Language to Specify and Re-specify Mobile Sensor Network Behaviors. - Joshua Love; Jerry Jariyasunant; Eloi Pereira; Marco Zennaro; J. Karl Hedrick; Christoph M. Kirsch; Raja Sengupta 002 (IEEE Real-Time and Embedded Technology and Applications Symposium, 2009)

Distributed, Modular HTL. - Thomas A. Henzinger; Christoph M. Kirsch; Eduardo R. B. Marques; Ana Sokolova (RTSS, 2009)

Programmable temporal isolation through variable-bandwidth servers. - Silviu S. Craciunas; Christoph M. Kirsch; Hannes Payer; Harald Röck; Ana Sokolova (SIES, 2009)

EMSOFT 2007 guest editors' introduction. - Christoph M. Kirsch; Reinhard Wilhelm (Des. Autom. Embed. Syst., 2009)

Low-latency time-portable real-time programming with Exotasks. - Joshua S. Auerbach; David F. Bacon; Daniel T. Iercan; Christoph M. Kirsch; V. T. Rajan; Harald Röck; Rainer Trummer (ACM Trans. Embed. Comput. Syst., 2009)

Power-aware temporal isolation with variable-bandwidth servers. - Silviu S. Craciunas; Christoph M. Kirsch; Ana Sokolova (EMSOFT, 2010)

Runtime Programming through Model-Preserving, Scalable Runtime Patches. - Christoph M. Kirsch; Luís M. B. Lopes; Eduardo R. B. Marques; Ana Sokolova (FACS, 2010)

Information-Acquisition-as-a-Service for Cyber-Physical Cloud Computing. - Silviu S. Craciunas; Andreas Haas; Christoph M. Kirsch; Hannes Payer; Harald Röck; Andreas Rottmann; Ana Sokolova; Rainer Trummer; Joshua Love; Raja Sengupta 002 (HotCloud, 2010)

Response Time versus Utilization in Scheduler Overhead Accounting. - Silviu S. Craciunas; Christoph M. Kirsch; Ana Sokolova (IEEE Real-Time and Embedded Technology and Applications Symposium, 2010)

Time-predictable and composable architectures for dependable embedded systems. - Saddek Bensalem; Kees Goossens; Christoph M. Kirsch; Roman Obermaisser; Edward A. Lee; Joseph Sifakis (EMSOFT, 2011)

Short-term memory for self-collecting mutators. - Martin Aigner 003; Andreas Haas; Christoph M. Kirsch; Michael Lippautz; Ana Sokolova; Stephanie Stroka; Andreas Unterweger (ISMM, 2011)

Scalability versus semantics of concurrent FIFO queues. - Hannes Payer; Harald Röck; Christoph M. Kirsch; Ana Sokolova (PODC, 2011)

The Logical Execution Time Paradigm. - Christoph M. Kirsch; Ana Sokolova (Advances in Real-Time Systems, 2012)

The Power of Isolation. - Silviu S. Craciunas; Christoph M. Kirsch (CSE, 2012)

Incorrect systems: it's not the problem, it's the solution. - Christoph M. Kirsch; Hannes Payer (DAC, 2012)

Cyber-physical cloud computing: The binding and migration problem. - Christoph M. Kirsch; Eloi Pereira; Raja Sengupta 002; Hao Chen; Robert Hansen; Jiangchuan Huang; Florian Landolt; Michael Lippautz; Andreas Rottmann; Ryan Swick; Rainer Trummer; D. Vizzini (DATE, 2012)

Performance, Scalability, and Semantics of Concurrent FIFO Queues. - Christoph M. Kirsch; Hannes Payer; Harald Röck; Ana Sokolova (ICA3PP (1), 2012)

How FIFO is your concurrent FIFO queue? - Andreas Haas; Christoph M. Kirsch; Michael Lippautz; Hannes Payer (RACES@SPLASH, 2012)

Separate compilation of hierarchical real-time programs into linear-bounded Embedded Machine code. - Arkadeb Ghosal; Daniel T. Iercan; Christoph M. Kirsch; Thomas A. Henzinger; Alberto L. Sangiovanni-Vincentelli (Sci. Comput. Program., 2012)

Distributed queues in shared memory: multicore performance and scalability through quantitative relaxation. - Andreas Haas; Michael Lippautz; Thomas A. Henzinger; Hannes Payer; Ana Sokolova; Christoph M. Kirsch; Ali Sezgin (Conf. Computing Frontiers, 2013)

BigActors: a model for structure-aware computation. - Eloi Pereira; Christoph M. Kirsch; João Borges de Sousa; Raja Sengupta 002 (ICCPS, 2013)

ACDC: towards a universal mutator for benchmarking heap management systems. - Martin Aigner 003; Christoph M. Kirsch (ISMM, 2013)

Fast and Scalable, Lock-Free k-FIFO Queues. - Christoph M. Kirsch; Michael Lippautz; Hannes Payer (PaCT, 2013)

Quantitative relaxation of concurrent data structures. - Thomas A. Henzinger; Christoph M. Kirsch; Hannes Payer; Ali Sezgin; Ana Sokolova (POPL, 2013)

Analysis of Portfolio-Style Parallel SAT Solving on Current Multi-Core Architectures. - Martin Aigner 003; Armin Biere; Christoph M. Kirsch; Aina Niemetz; Mathias Preiner (POS@SAT, 2013)

Modeling and controlling the structure of heterogeneous mobile robotic systems: A bigactor approach. - Eloi Pereira; Camille Potiron; Christoph M. Kirsch; Raja Sengupta 002 (SysCon, 2013)

Temporal isolation in real-time systems: the VBS approach. - Silviu S. Craciunas; Christoph M. Kirsch; Hannes Payer; Harald Röck; Ana Sokolova (Int. J. Softw. Tools Technol. Transf., 2013)

Introduction to Special Section on Probabilistic Embedded Computing. - Christoph M. Kirsch; Vincent John Mooney (ACM Trans. Embed. Comput. Syst., 2013)

Cyber-physical cloud computing implemented as PaaS. - Clemens Krainer; Christoph M. Kirsch (CyPhy, 2014)

ACDC-JS: explorative benchmarking of javascript memory management. - Martin Aigner 003; Thomas Hütter; Christoph M. Kirsch; Alexander Miller; Hannes Payer; Mario Preishuber (DLS, 2014)

Concurrency and Scalability versus Fragmentation and Compaction with Compact-fit. - Silviu S. Craciunas; Christoph M. Kirsch; Hannes Payer; Harald Röck; Ana Sokolova (CoRR, 2014)

A runtime system for logical-space programming. - Eloi Pereira; Clemens Krainer; Pedro Marques da Silva; Christoph M. Kirsch; Raja Sengupta 002 (SWEC@CPSWeek, 2015)

Scal: A Benchmarking Suite for Concurrent Data Structures. - Andreas Haas; Thomas Hütter; Christoph M. Kirsch; Michael Lippautz; Mario Preishuber; Ana Sokolova (NETYS, 2015)

Fast, multicore-scalable, low-fragmentation memory allocation through large virtual memory and global data structures. - Martin Aigner 003; Christoph M. Kirsch; Michael Lippautz; Ana Sokolova (OOPSLA, 2015)

A Scalable, Correct Time-Stamped Stack. - Mike Dodds; Andreas Haas; Christoph M. Kirsch (POPL, 2015)

Local Linearizability. - Andreas Haas; Thomas A. Henzinger; Andreas Holzer; Christoph M. Kirsch; Michael Lippautz; Hannes Payer; Ali Sezgin; Ana Sokolova; Helmut Veith (CoRR, 2015)

Cloud Computing in Space. - Jiangchuan Huang; Christoph M. Kirsch; Raja Sengupta 002 (INFORMS J. Comput., 2015)

Local Linearizability for Concurrent Container-Type Data Structures. - Andreas Haas; Thomas A. Henzinger; Andreas Holzer; Christoph M. Kirsch; Michael Lippautz; Hannes Payer; Ali Sezgin; Ana Sokolova; Helmut Veith (CONCUR, 2016)

Selfie and the basics. - Christoph M. Kirsch (Onward!, 2017)

Work-in-Progress: Adaptive Scheduling with Approximate Computing for Audio Graphs. - Pierre Donat-Bouillud; Christoph M. Kirsch (RTSS, 2017)

You Can Program What You Want but You Cannot Compute What You Want. - Alireza S. Abyaneh; Christoph M. Kirsch (Principles of Modeling, 2018)

On the self in selfie (invited talk). - Christoph M. Kirsch (VMIL@SPLASH, 2018)

ASE: A Value Set Decision Procedure for Symbolic Execution. - Alireza S. Abyaneh; Christoph M. Kirsch (ASE, 2021)

Quantum Advantage for All. - Christoph M. Kirsch; Stefanie Muroya Lei (CoRR, 2021)

What we eval in the shadows: a large-scale study of eval in R programs. - Aviral Goel; Pierre Donat-Bouillud; Filip Krikava; Christoph M. Kirsch; Jan Vitek (Proc. ACM Program. Lang., 2021)

PRL-PRG/evalr-experiment: OOPSLA 2021 artifact. - Aviral Goel; Pierre Donat-Bouillud; Filip Krikava; Christoph M. Kirsch; Jan Vitek (Zenodo, 2021)

Why We Eval in the Shadows (Dataset). - Aviral Goel; Pierre Donat-Bouillud; Filip Krikava; Christoph M. Kirsch; Jan Vitek (Zenodo, 2021)

JEDI: These aren't the JSON documents you're looking for? - Thomas Hütter; Nikolaus Augsten; Christoph M. Kirsch; Michael J. Carey 001; Chen Li 001 (SIGMOD Conference, 2022)

JEDI: These aren't the JSON documents you're looking for... (Extended Version*). - Thomas Hütter; Nikolaus Augsten; Christoph M. Kirsch; Michael J. Carey 001; Chen Li 001 (CoRR, 2022)

Bounded Model Checking of RISC-V Machine Code with Context-Free-Language Ordered Binary Decision Diagrams. - Anna Bolotina; Christoph M. Kirsch; Stefanie Muroya Lei; Matthias Pleschinger (CoRR, 2025)