Christoph Cullmann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
2
Active years
2011–2024
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | SAFECOMP | Sound Non-interference Analysis for C/C++. | Daniel Kstner, Laurent Mauborgne, Sebastian Hahn, Stephan Wilhelm, Jrg Herter, Christoph Cullmann, Christian Ferdinand |
| 2020 | SAFECOMP | Safety-Critical Software Development in C++. | Daniel Kstner, Christoph Cullmann, Gernot Gebhard, Sebastian Hahn, Thomas Karos, Laurent Mauborgne, Stephan Wilhelm, Christian Ferdinand |
| 2018 | DATE | 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 |
| 2012 | DATE | Hybrid source-level simulation of data caches using abstract cache models. | Stefan Stattelmann, Gernot Gebhard, Christoph Cullmann, Oliver Bringmann, Wolfgang Rosenstiel |
| 2012 | SAFECOMP | Meeting Real-Time Requirements with Multi-core Processors. | Daniel Kstner, Marc Schlickling, Markus Pister, Christoph Cullmann, Gernot Gebhard, Reinhold Heckmann, Christian Ferdinand |
| 2011 | DATE | Software Structure and WCET Predictability. | Gernot Gebhard, Christoph Cullmann, Reinhold Heckmann |