Norbert Schirmer

According to our database, Norbert Schirmer authored at least 25 papers between 2004 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2019

A Reduction Theorem for Store Buffers.

Ernie Cohen, Norbert Schirmer

Arch. Formal Proofs, 2019

2015

Secure Partitioning of Application Logic In a Trustworthy Cloud.

Ammar Alkassar, Michael Gröne, Norbert Schirmer

Proceedings of the ISSE 2015, 2015

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

Privacy for Cloud Storage.

Anders Andersen, Trygve Hardersen, Norbert Schirmer

Proceedings of the ISSE 2014, 2014

2013

The TClouds platform: concept, architecture and instantiations.

Alysson Bessani, Leucio Antonio Cutillo, Gianluca Ramunno, Norbert Schirmer, Paolo Smiraglia

Proceedings of the 2nd International Workshop on Dependability Issues in Cloud Computing, 2013

Safe Browsing.

Norbert Schirmer

Proceedings of the ISSE 2013, 2013

2011

TClouds - Herausforderungen und erste Schritte zur sicheren und datenschutzkonformen Cloud.

Ninja Marnau, Norbert Schirmer, Eva Schlehahn, Matthias Schunter

Datenschutz und Datensicherheit, 2011

2010

From Total Store Order to Sequential Consistency: A Practical Reduction Theorem.

Ernie Cohen, Bert Schirmer

Proceedings of the Interactive Theorem Proving, First International Conference, 2010

From Operating-System Correctness to Pervasively Verified Applications.

Matthias Daum, Norbert Schirmer, Mareike Schmidt

Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

2009

Balancing the Load.

Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin, Alexandra Tsyban

J. Autom. Reason., 2009

State Spaces - The Locale Way.

Norbert Schirmer, Makarius Wenzel

Proceedings of the 4th International Workshop on Systems Software Verification, 2009

A Better Reduction Theorem for Store Buffers

Ernie Cohen, Norbert Schirmer

CoRR, 2009

Implementation Correctness of a Real-Time Operating System.

Matthias Daum, Norbert Schirmer, Mareike Schmidt

Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 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, Elena Petrova, Thomas Santen, Norbert Schirmer, Sabine Schmaltz, Wolfram Schulte, Andrey Shadrin, Stephan Tobies, Alexandra Tsyban, Sergey Tverdyshev

Proceedings of the Perspectives of Systems Informatics, 2009

Pervasive Theory of Memory.

Ulan Degenbaev, Wolfgang J. Paul, Norbert Schirmer

Proceedings of the Efficient Algorithms, 2009

2008

A Sequential Imperative Programming Language Syntax, Semantics, Hoare Logics and Verification Environment.

Norbert Schirmer

Arch. Formal Proofs, 2008

BDD Normalisation.

Veronika Ortner, Norbert Schirmer

Arch. Formal Proofs, 2008

The Verisoft Approach to Systems Verification.

Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin

Proceedings of the Verified Software: Theories, 2008

Formal Pervasive Verification of a Paging Mechanism.

Eyad Alkassar, Norbert Schirmer, Artem Starostin

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

2006

Verification of sequential imperative programs in Isabelle-HOL.

Norbert Schirmer

PhD thesis, 2006

2005

Jive Data and Store Model.

Nicole Rauch, Norbert Schirmer

Arch. Formal Proofs, 2005

Verification of BDD Normalization.

Veronika Ortner, Norbert Schirmer

Proceedings of the Theorem Proving in Higher Order Logics, 18th International Conference, 2005

Integration of a Software Model Checker into Isabelle.

Matthias Daum, Stefan Maus, Norbert Schirmer, Mohamed Nassim Seghir

Proceedings of the Logic for Programming, 2005

2004

Analysing the Java package/access concepts in Isabelle/HOL.

Norbert Schirmer

Concurr. Pract. Exp., 2004

A Verification Environment for Sequential Imperative Programs in Isabelle/HOL.

Norbert Schirmer

Proceedings of the Logic for Programming, 2004