| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 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 |
| 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
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page