Christoph Cullmann

According to our database, Christoph Cullmann authored at least 14 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Sound Non-interference Analysis for C/C++.

Daniel Kästner, Laurent Mauborgne, Sebastian Hahn, Stephan Wilhelm, Jörg Herter, Christoph Cullmann, Christian Ferdinand

Proceedings of the Computer Safety, Reliability, and Security, 2024

2020

Safety-Critical Software Development in C++.

Daniel Kästner, Christoph Cullmann, Gernot Gebhard, Sebastian Hahn, Thomas Karos, Laurent Mauborgne, Stephan Wilhelm, Christian Ferdinand

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops, 2020

2018

Embedded Program Annotations for WCET Analysis.

Bernhard Schommer, Christoph Cullmann, Gernot Gebhard, Xavier Leroy, Michael Schmidt, Simon Wegener

Proceedings of the 18th International Workshop on Worst-Case Execution Time Analysis, 2018

Fine-Grain Iterative Compilation for WCET Estimation.

Isabelle Puaut, Mickaël Dardaillon, Christoph Cullmann, Gernot Gebhard, Steven Derrien

Proceedings of the 18th International Workshop on Worst-Case Execution Time Analysis, 2018

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

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

2013

Cache persistence analysis for embedded real-time systems.

Christoph Cullmann

PhD thesis, 2013

Cache persistence analysis: Theory and practice.

Christoph Cullmann

ACM Trans. Embed. Comput. Syst., 2013

2012

Meeting Real-Time Requirements with Multi-core Processors.

Daniel Kästner, Marc Schlickling, Markus Pister, Christoph Cullmann, Gernot Gebhard, Reinhold Heckmann, Christian Ferdinand

Proceedings of the Computer Safety, Reliability, and Security, 2012

Hybrid source-level simulation of data caches using abstract cache models.

Stefan Stattelmann, Gernot Gebhard, Christoph Cullmann, Oliver Bringmann, Wolfgang Rosenstiel

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

2011

Cache persistence analysis: a novel approachtheory and practice.

Christoph Cullmann

Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, 2011

Software Structure and WCET Predictability.

Gernot Gebhard, Christoph Cullmann, Reinhold Heckmann

Proceedings of the Bringing Theory to Practice: Predictability and Performance in Embedded Systems, 2011

2010

Integrating Abstract Caches with Symbolic Pipeline Analysis.

Stephan Wilhelm, Christoph Cullmann

Proceedings of the 10th International Workshop on Worst-Case Execution Time Analysis, 2010

2007

Data-Flow Based Detection of Loop Bounds.

Christoph Cullmann, Florian Martin

Proceedings of the 7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2007

2006

New Developments in WCET Analysis.

Christian Ferdinand, Florian Martin, Christoph Cullmann, Marc Schlickling, Ingmar Stein, Stephan Thesing, Reinhold Heckmann

Proceedings of the Program Analysis and Compilation, 2006