| |
| 2008 | ||
|---|---|---|
| 3 | EE | Artem Starostin, Alexandra Tsyban: Verified Process-Context Switch for C-Programmed Kernels. VSTTE 2008: 240-254 |
| 2 | EE | Thomas In der Rieden, Alexandra Tsyban: CVM - A Verified Framework for Microkernel Programmers. Electr. Notes Theor. Comput. Sci. 217: 151-168 (2008) |
| 1 | EE | Artem Starostin, Alexandra Tsyban: Correct Microkernel Primitives. Electr. Notes Theor. Comput. Sci. 217: 169-185 (2008) |
| 1 | Thomas In der Rieden | [2] |
| 2 | Artem Starostin | [1] [3] |