Christoph Berg

Publication Activity (10 Years)

Years Active: 2001-2007
Publications (10 Years): 0

Publications

Jan Reineke, Daniel Grund, Christoph Berg, Reinhard Wilhelm
Timing predictability of cache replacement policies. Real Time Syst. 37 (2) (2007)
Christoph Berg
PLRU Cache Domino Effects. WCET (2006)
Christian Jacobi, Christoph Berg
Formal Verification of the VAMP Floating Point Unit. Formal Methods Syst. Des. 26 (3) (2005)
Christoph Berg, Jakob Engblom, Reinhard Wilhelm
Requirements for and Design of a Processor with Predictable Timing. Design of Systems with Predictable Behaviour (2004)
Christoph Berg, Christian Jacobi
Formal Verification of the VAMP Floating Point Unit. CHARME (2001)