| |
| 2008 | ||
|---|---|---|
| 4 | EE | Eyad Alkassar, Norbert Schirmer, Artem Starostin: Formal Pervasive Verification of a Paging Mechanism. TACAS 2008: 109-123 |
| 3 | EE | Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin: The Verisoft Approach to Systems Verification. VSTTE 2008: 209-224 |
| 2 | EE | Artem Starostin, Alexandra Tsyban: Verified Process-Context Switch for C-Programmed Kernels. VSTTE 2008: 240-254 |
| 1 | EE | Artem Starostin, Alexandra Tsyban: Correct Microkernel Primitives. Electr. Notes Theor. Comput. Sci. 217: 169-185 (2008) |
| 1 | Eyad Alkassar | [3] [4] |
| 2 | Mark A. Hillebrand | [3] |
| 3 | Dirk Leinenbach | [3] |
| 4 | Norbert Schirmer | [3] [4] |
| 5 | Alexandra Tsyban | [1] [2] |