Norbert Schirmer

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 2

Top Venues

ISSE

Arch. Formal Proofs

ACM SIGOPS Oper. Syst. Rev.

Technical University Munich, Germany (PHD)

Education History

Technical University Munich, Germany

PHD

Publications

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, Simon Wimmer
AutoCorres2. Arch. Formal Proofs 2024 (2024)
Ernie Cohen, Norbert Schirmer
A Reduction Theorem for Store Buffers. Arch. Formal Proofs 2019 (2019)
Ammar Alkassar, Michael Gröne, Norbert Schirmer
Secure Partitioning of Application Logic In a Trustworthy Cloud. ISSE (2015)
Alysson Bessani, Leucio Antonio Cutillo, Gianluca Ramunno, Norbert Schirmer, Paolo Smiraglia
The TClouds Platform: From the Concept to the Implementation of Benchmark Scenarios. ACM SIGOPS Oper. Syst. Rev. 48 (2) (2014)
Anders Andersen, Trygve Hardersen, Norbert Schirmer
Privacy for Cloud Storage. ISSE (2014)
Norbert Schirmer
Safe Browsing. ISSE (2013)
Alysson Bessani, Leucio Antonio Cutillo, Gianluca Ramunno, Norbert Schirmer, Paolo Smiraglia
The TClouds platform: concept, architecture and instantiations. DISCCO@SRDS (2013)
Ninja Marnau, Norbert Schirmer, Eva Schlehahn, Matthias Schunter
TClouds - Herausforderungen und erste Schritte zur sicheren und datenschutzkonformen Cloud. Datenschutz und Datensicherheit 35 (5) (2011)
Matthias Daum, Norbert Schirmer, Mareike Schmidt
From Operating-System Correctness to Pervasively Verified Applications. IFM (2010)
Ulan Degenbaev, Wolfgang J. Paul, Norbert Schirmer
Pervasive Theory of Memory. Efficient Algorithms (2009)
Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin, Alexandra Tsyban
Balancing the Load. J. Autom. Reason. 42 (2-4) (2009)
Matthias Daum, Norbert Schirmer, Mareike Schmidt
Implementation Correctness of a Real-Time Operating System. SEFM (2009)
Norbert Schirmer, Makarius Wenzel
State Spaces - The Locale Way. Electron. Notes Theor. Comput. Sci. 254 (2009)
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, Elena Petrova, Thomas Santen, Norbert Schirmer, Sabine Schmaltz, Wolfram Schulte, Andrey Shadrin, Stephan Tobies, Alexandra Tsyban, Sergey Tverdyshev
Invariants, Modularity, and Rights. Ershov Memorial Conference (2009)
Ernie Cohen, Norbert Schirmer
A Better Reduction Theorem for Store Buffers CoRR (2009)
Norbert Schirmer
A Sequential Imperative Programming Language Syntax, Semantics, Hoare Logics and Verification Environment. Arch. Formal Proofs 2008 (2008)
Eyad Alkassar, Norbert Schirmer, Artem Starostin
Formal Pervasive Verification of a Paging Mechanism. TACAS (2008)
Veronika Ortner, Norbert Schirmer
BDD Normalisation. Arch. Formal Proofs 2008 (2008)
Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin
The Verisoft Approach to Systems Verification. VSTTE (2008)
Veronika Ortner, Norbert Schirmer
Verification of BDD Normalization. TPHOLs (2005)
Nicole Rauch, Norbert Schirmer
Jive Data and Store Model. Arch. Formal Proofs 2005 (2005)
Matthias Daum, Stefan Maus, Norbert Schirmer, Mohamed Nassim Seghir
Integration of a Software Model Checker into Isabelle. LPAR (2005)
Norbert Schirmer
Analysing the Java package/access concepts in Isabelle/HOL. Concurr. Pract. Exp. 16 (7) (2004)
Norbert Schirmer
A Verification Environment for Sequential Imperative Programs in Isabelle/HOL. LPAR (2004)

Norbert Schirmer.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Norbert Schirmer