A Verification Environment for Sequential Imperative Programs in Isabelle/HOL. - Norbert Schirmer (LPAR, 2004)

Analysing the Java package/access concepts in Isabelle/HOL. - Norbert Schirmer (Concurr. Pract. Exp., 2004)

Integration of a Software Model Checker into Isabelle. - Matthias Daum 001; Stefan Maus; Norbert Schirmer; Mohamed Nassim Seghir (LPAR, 2005)

Verification of BDD Normalization. - Veronika Ortner; Norbert Schirmer (TPHOLs, 2005)

Jive Data and Store Model. - Nicole Rauch; Norbert Schirmer (Arch. Formal Proofs, 2005)

Verification of sequential imperative programs in Isabelle-HOL. - Norbert Schirmer (2006)

Formal Pervasive Verification of a Paging Mechanism. - Eyad Alkassar; Norbert Schirmer; Artem Starostin (TACAS, 2008)

The Verisoft Approach to Systems Verification. - Eyad Alkassar; Mark A. Hillebrand; Dirk Leinenbach; Norbert Schirmer; Artem Starostin (VSTTE, 2008)

BDD Normalisation. - Veronika Ortner; Norbert Schirmer (Arch. Formal Proofs, 2008)

A Sequential Imperative Programming Language Syntax, Semantics, Hoare Logics and Verification Environment. - Norbert Schirmer (Arch. Formal Proofs, 2008)

Pervasive Theory of Memory. - Ulan Degenbaev; Wolfgang J. Paul; Norbert Schirmer (Efficient Algorithms, 2009)

Invariants, Modularity, and Rights. - Ernie Cohen; Eyad Alkassar; Vladimir Boyarinov; Markus Dahlweid; Ulan Degenbaev; Mark A. Hillebrand; Bruno Langenstein; Dirk Leinenbach; Michal Moskal; Steven Obua; Wolfgang J. Paul; Hristo Pentchev; et al. (Ershov Memorial Conference, 2009)

Implementation Correctness of a Real-Time Operating System. - Matthias Daum 001; Norbert Schirmer; Mareike Schmidt (SEFM, 2009)

A Better Reduction Theorem for Store Buffers - Ernie Cohen; Norbert Schirmer (CoRR, 2009)

State Spaces - The Locale Way. - Norbert Schirmer; Makarius Wenzel (SSV, 2009)

Balancing the Load. - Eyad Alkassar; Mark A. Hillebrand; Dirk Leinenbach; Norbert Schirmer; Artem Starostin; Alexandra Tsyban (J. Autom. Reason., 2009)

From Operating-System Correctness to Pervasively Verified Applications. - Matthias Daum 001; Norbert Schirmer; Mareike Schmidt (IFM, 2010)

From Total Store Order to Sequential Consistency: A Practical Reduction Theorem. - Ernie Cohen; Bert Schirmer (ITP, 2010)

TClouds - Herausforderungen und erste Schritte zur sicheren und datenschutzkonformen Cloud. - Ninja Marnau; Norbert Schirmer; Eva Schlehahn; Matthias Schunter (Datenschutz und Datensicherheit, 2011)

Safe Browsing. - Norbert Schirmer (ISSE, 2013)

The TClouds platform: concept, architecture and instantiations. - Alysson Bessani; Leucio Antonio Cutillo; Gianluca Ramunno; Norbert Schirmer; Paolo Smiraglia (DISCCO@SRDS, 2013)

Privacy for Cloud Storage. - Anders Andersen; Trygve Hardersen; Norbert Schirmer (ISSE, 2014)

The TClouds Platform: From the Concept to the Implementation of Benchmark Scenarios. - Alysson Bessani; Leucio Antonio Cutillo; Gianluca Ramunno; Norbert Schirmer; Paolo Smiraglia (ACM SIGOPS Oper. Syst. Rev., 2014)

Secure Partitioning of Application Logic In a Trustworthy Cloud. - Ammar Alkassar; Michael Gröne; Norbert Schirmer (ISSE, 2015)

A Reduction Theorem for Store Buffers. - Ernie Cohen; Norbert Schirmer (Arch. Formal Proofs, 2019)

AutoCorres2. - Matthew Brecknell; David Greenaway; Johannes Hölzl; Fabian Immler; Gerwin Klein; Rafal Kolanski; Japheth Lim; Michael Norrish; Norbert Schirmer; Salomon Sickert; Thomas Sewell; Harvey Tuch; et al. (Arch. Formal Proofs, 2024)