![]() | ![]() |
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] |