| |
| 2008 | ||
|---|---|---|
| 4 | EE | Marcus Völp: Statically Checking Confidentiality of Shared Memory Programs with Dynamic Labels. ARES 2008: 268-275 |
| 3 | EE | Marcus Völp, Claude-Joachim Hamann, Hermann Härtig: Avoiding timing channels in fixed-priority schedulers. ASIACCS 2008: 44-55 |
| 2 | EE | Hendrik Tews, Tjark Weber, Marcus Völp: A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System Code. Electr. Notes Theor. Comput. Sci. 217: 79-96 (2008) |
| 2000 | ||
| 1 | EE | Jochen Liedtke, Marcus Völp, Kevin Elphinstone: Preliminary thoughts on memory-bus scheduling. ACM SIGOPS European Workshop 2000: 207-210 |
| 1 | Kevin Elphinstone | [1] |
| 2 | Claude-Joachim Hamann | [3] |
| 3 | Hermann Härtig (Hermann Haertig) | [3] |
| 4 | Jochen Liedtke | [1] |
| 5 | Hendrik Tews | [2] |
| 6 | Tjark Weber | [2] |