2008 |
6 | EE | Eyad Alkassar,
Norbert Schirmer,
Artem Starostin:
Formal Pervasive Verification of a Paging Mechanism.
TACAS 2008: 109-123 |
5 | EE | Eyad Alkassar,
Mark A. Hillebrand,
Dirk Leinenbach,
Norbert Schirmer,
Artem Starostin:
The Verisoft Approach to Systems Verification.
VSTTE 2008: 209-224 |
2005 |
4 | EE | Matthias Daum,
Stefan Maus,
Norbert Schirmer,
M. Nassim Seghir:
Integration of a Software Model Checker into Isabelle.
LPAR 2005: 381-395 |
3 | EE | Veronika Ortner,
Norbert Schirmer:
Verification of BDD Normalization.
TPHOLs 2005: 261-277 |
2004 |
2 | EE | Norbert Schirmer:
A Verification Environment for Sequential Imperative Programs in Isabelle/HOL.
LPAR 2004: 398-414 |
1 | EE | Norbert Schirmer:
Analysing the Java package/access concepts in Isabelle/HOL.
Concurrency - Practice and Experience 16(7): 689-706 (2004) |