New Developments in WCET Analysis. - Christian Ferdinand; Florian Martin 001; Christoph Cullmann; Marc Schlickling; Ingmar Stein; Stephan Thesing; Reinhold Heckmann (Program Analysis and Compilation, 2006)

Data-Flow Based Detection of Loop Bounds. - Christoph Cullmann; Florian Martin 001 (WCET, 2007)

Integrating Abstract Caches with Symbolic Pipeline Analysis. - Stephan Wilhelm; Christoph Cullmann (WCET, 2010)

Software Structure and WCET Predictability. - Gernot Gebhard; Christoph Cullmann; Reinhold Heckmann (PPES, 2011)

Cache persistence analysis: a novel approachtheory and practice. - Christoph Cullmann (LCTES, 2011)

Hybrid source-level simulation of data caches using abstract cache models. - Stefan Stattelmann; Gernot Gebhard; Christoph Cullmann; Oliver Bringmann 001; Wolfgang Rosenstiel (DATE, 2012)

Meeting Real-Time Requirements with Multi-core Processors. - Daniel Kästner; Marc Schlickling; Markus Pister 002; Christoph Cullmann; Gernot Gebhard; Reinhold Heckmann; Christian Ferdinand (SAFECOMP Workshops, 2012)

Cache persistence analysis: Theory and practice. - Christoph Cullmann (ACM Trans. Embed. Comput. Syst., 2013)

Cache persistence analysis for embedded real-time systems. - Christoph Cullmann (2013)

Using polyhedral techniques to tighten WCET estimates of optimized code: A case study with array contraction. - Thomas Lefeuvre; Imen Fassi; Christoph Cullmann; Gernot Gebhard; Emin-Koray Kasnakli; Isabelle Puaut; Steven Derrien (DATE, 2018)

Fine-Grain Iterative Compilation for WCET Estimation. - Isabelle Puaut; Mickaël Dardaillon; Christoph Cullmann; Gernot Gebhard; Steven Derrien (WCET, 2018)

Embedded Program Annotations for WCET Analysis. - Bernhard Schommer; Christoph Cullmann; Gernot Gebhard; Xavier Leroy; Michael Schmidt 007; Simon Wegener (WCET, 2018)

Safety-Critical Software Development in C++. - Daniel Kästner; Christoph Cullmann; Gernot Gebhard; Sebastian Hahn 001; Thomas Karos; Laurent Mauborgne; Stephan Wilhelm; Christian Ferdinand (SAFECOMP Workshops, 2020)

Sound Non-interference Analysis for C/C++. - Daniel Kästner; Laurent Mauborgne; Sebastian Hahn 001; Stephan Wilhelm; Jörg Herter; Christoph Cullmann; Christian Ferdinand (SAFECOMP, 2024)