 | 2009 |
|---|
| 9 |       | Ulan Degenbaev,
Wolfgang J. Paul,
Norbert Schirmer:
Pervasive Theory of Memory.
Efficient Algorithms 2009: 74-98 |
| 8 | | Ernie Cohen,
Norbert Schirmer:
A Better Reduction Theorem for Store Buffers
CoRR abs/0909.4637: (2009) |
| 7 | | 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 |
|---|
| 6 | | Eyad Alkassar,
Norbert Schirmer,
Artem Starostin:
Formal Pervasive Verification of a Paging Mechanism.
TACAS 2008: 109-123 |
| 5 | | Eyad Alkassar,
Mark A. Hillebrand,
Dirk Leinenbach,
Norbert Schirmer,
Artem Starostin:
The Verisoft Approach to Systems Verification.
VSTTE 2008: 209-224 |
| 2005 |
|---|
| 4 | | Matthias Daum,
Stefan Maus,
Norbert Schirmer,
M. Nassim Seghir:
Integration of a Software Model Checker into Isabelle.
LPAR 2005: 381-395 |
| 3 | | Veronika Ortner,
Norbert Schirmer:
Verification of BDD Normalization.
TPHOLs 2005: 261-277 |
| 2004 |
|---|
| 2 | | Norbert Schirmer:
A Verification Environment for Sequential Imperative Programs in Isabelle/HOL.
LPAR 2004: 398-414 |
| 1 | | Norbert Schirmer:
Analysing the Java package/access concepts in Isabelle/HOL.
Concurrency - Practice and Experience 16(7): 689-706 (2004) |
