Norbert Schirmer

E-Mails 📧

• moc.elppa @remrihcsn
• ed.bew @remrihcs.trebron

Entries

2024

AutoCorres2

by 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 and Simon Wimmer

Apr 17

2019

A Reduction Theorem for Store Buffers

by Ernie Cohen 📧 and Norbert Schirmer 📧

Jan 07

2008

BDD Normalisation

by Veronika Ortner and Norbert Schirmer

Feb 29

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

by Norbert Schirmer

Feb 29

2005

Jive Data and Store Model

by Nicole Rauch 📧 and Norbert Schirmer

Jun 20