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