| |
| 2008 | ||
|---|---|---|
| 2 | EE | Eyad Alkassar, Norbert Schirmer, Artem Starostin: Formal Pervasive Verification of a Paging Mechanism. TACAS 2008: 109-123 |
| 2007 | ||
| 1 | EE | Eyad Alkassar, Mark A. Hillebrand, Steffen Knapp, Rostislav Rusev, Sergey Tverdyshev: Formal Device and Programming Model for a Serial Interface. VERIFY 2007 |
| 1 | Mark A. Hillebrand | [1] |
| 2 | Steffen Knapp | [1] |
| 3 | Rostislav Rusev | [1] |
| 4 | Norbert Schirmer | [2] |
| 5 | Artem Starostin | [2] |
| 6 | Sergey Tverdyshev | [1] |