Requirements for and Design of a Processor with Predictable Timing. - Christoph Berg; Jakob Engblom; Reinhard Wilhelm (Design of Systems with Predictable Behaviour, 2004)

Formal Verification of the VAMP Floating Point Unit. - Christian Jacobi 002; Christoph Berg (Formal Methods Syst. Des., 2005)

PLRU Cache Domino Effects. - Christoph Berg (WCET, 2006)

Timing predictability of cache replacement policies. - Jan Reineke 001; Daniel Grund; Christoph Berg; Reinhard Wilhelm (Real Time Syst., 2007)