Search the dblp DataBase

Publications of Author

1. Matthias Daum, Stefan Maus, Norbert Schirmer, M. Nassim Seghir
   Integration of a Software Model Checker into Isabelle. [Citation Graph (0, 0)][DBLP]
   LPAR, 2005, pp:381-395 [Conf]
   
2. Norbert Schirmer
   A Verification Environment for Sequential Imperative Programs in Isabelle/HOL. [Citation Graph (0, 0)][DBLP]
   LPAR, 2004, pp:398-414 [Conf]
   
3. Veronika Ortner, Norbert Schirmer
   Verification of BDD Normalization. [Citation Graph (0, 0)][DBLP]
   TPHOLs, 2005, pp:261-277 [Conf]
   
4. Norbert Schirmer
   Analysing the Java package/access concepts in Isabelle/HOL. [Citation Graph (0, 0)][DBLP]
   Concurrency - Practice and Experience, 2004, v:16, n:7, pp:689-706 [Journal]
   
5. 
   Pervasive Theory of Memory. [Citation Graph (, )][DBLP]
   
   
6. 
   Invariants, Modularity, and Rights. [Citation Graph (, )][DBLP]
   
   
7. 
   Implementation Correctness of a Real-Time Operating System. [Citation Graph (, )][DBLP]
   
   
8. 
   Formal Pervasive Verification of a Paging Mechanism. [Citation Graph (, )][DBLP]
   
   
9. 
   The Verisoft Approach to Systems Verification. [Citation Graph (, )][DBLP]
   
   
10. 
    A Better Reduction Theorem for Store Buffers [Citation Graph (, )][DBLP]
    
    
11. 
    State Spaces - The Locale Way. [Citation Graph (, )][DBLP]