Norbert Schirmer

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