Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Christoph Cullmann
Observed names:
C. Cullmann,
Cullmann, Christoph
Institution:
AbsInt (Germany)
Observed institution:
AbsInt (Germany)
OpenAlex ID:
A5068560097
Cache persistence analysis
2013
·
Christoph Cullmann
·
ACM Transactions on Embedded Computing Systems
·
41
Data-Flow Based Detection of Loop Bounds
2007
·
Cullmann, Christoph
, Martin, Florian
·
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)
·
41
PDF
New Developments in WCET Analysis
2007
·
Christian Ferdinand
, Florian Martin
, et al.
·
Springer eBooks
·
26
Hybrid source-level simulation of data caches using abstract cache models
2012
·
S. Stattelmann
, G. Gebhard
, et al.
·
Design, Automation, and Test in Europe
·
21
Cache persistence analysis
2011
·
Christoph Cullmann
·
ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES)
·
17
Meeting Real-Time Requirements with Multi-core Processors
2012
·
Daniel Kästner
, Marc Schlickling
, et al.
·
Lecture notes in computer science
·
16
Software Structure and WCET Predictability
2011
·
Gebhard, Gernot
, Cullmann, Christoph
, et al.
·
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)
·
12
PDF
Embedded Program Annotations for WCET Analysis
2018
·
Schommer, Bernhard
, Cullmann, Christoph
, et al.
·
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)
·
9
PDF
Cache persistence analysis for embedded real-time systems
2013
·
Cullmann, Christoph
·
Publications of the UdS (Saarland University)
·
5
Safety-Critical Software Development in C++
2020
·
Daniel Kästner
, Christoph Cullmann
, et al.
·
Lecture notes in computer science
·
3
Fine-Grain Iterative Compilation for WCET Estimation
2018
·
Puaut, Isabelle
, Dardaillon, Mickaël
, et al.
·
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)
·
2
PDF
Sound Non-interference Analysis for C/C++
2024
·
Daniel Kästner
, Laurent Mauborgne
, et al.
·
Lecture notes in computer science
·
1
Cache persistence analysis
2011
·
Christoph Cullmann
·
ACM SIGPLAN Notices
·
1
Integrating Abstract Caches with Symbolic Pipeline Analysis
2010
·
Wilhelm, Stephan
, Cullmann, Christoph
·
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)
·
1
PDF
Qualifying CompCert for Safety-Critical Avionics Software
2026
·
Pister, Markus
, Kaestner, Daniel
, et al.
·
HAL
Using polyhedral techniques to tighten WCET estimates of optimized code: A case study with array contraction
2018
·
Thomas Lefeuvre
, Imen Fassi
, et al.
·
Design, Automation, and Test in Europe
Cache persistence analysis
2012
·
Christoph Cullmann
·
ACM SIGPLAN Notices
Show more works
View as search
Works count:
26
Citation count:
341
H-index:
9
I10-index:
9
Year
Topic
Type
