Christoph Berg

	2007
5		Jan Reineke, Daniel Grund, Christoph Berg, Reinhard Wilhelm: Timing predictability of cache replacement policies. Real-Time Systems 37(2): 99-122 (2007)
	2006
4		Christoph Berg: PLRU Cache Domino Effects. WCET 2006
	2005
3		Christian Jacobi, Christoph Berg: Formal Verification of the VAMP Floating Point Unit. Formal Methods in System Design 26(3): 227-266 (2005)
	2004
2		Christoph Berg, Jakob Engblom, Reinhard Wilhelm: Requirements for and Design of a Processor with Predictable Timing. Design of Systems with Predictable Behaviour 2004
	2001
1		Christoph Berg, Christian Jacobi: Formal Verification of the VAMP Floating Point Unit. CHARME 2001: 325-339

Coauthor Index

1	Jakob Engblom	[2]
2	Daniel Grund	[5]
3	Christian Jacobi	[1] [3]
4	Jan Reineke	[5]
5	Reinhard Wilhelm	[2] [5]

Colors in the list of coauthors