Bernhard Reus

ORCID

Publication Activity (10 Years)

Years Active: 1992-2023
Publications (10 Years): 6

Top Venues

CoRR

Math. Struct. Comput. Sci.

CAV (2)

Inf. Comput.

Ludwig Maximilians University Munich (PHD)

Education History

Ludwig Maximilians University Munich

PHD

Publications

Alexander Knapp, Heribert Mühlberger, Bernhard Reus
Interpreting Knowledge-based Programs. ESOP (2023)
Alexander Knapp, Heribert Mühlberger, Bernhard Reus
Interpreting Knowledge-based Programs (Extended Version with Proofs). CoRR (2023)
Vasileios Klimis, George Parisis, Bernhard Reus
Towards Model Checking Real-World Software-Defined Networks. CoRR (2020)
Vasileios Klimis, George Parisis, Bernhard Reus
Model Checking Software-Defined Networks with Flow Entries that Time Out. FMCAD (2020)
Vasileios Klimis, George Parisis, Bernhard Reus
Towards Model Checking Real-World Software-Defined Networks. CAV (2) (2020)
Vasileios Klimis, George Parisis, Bernhard Reus
Model Checking Software-Defined Networks with Flow Entries that Time Out. CoRR (2020)
Bernhard Reus, Nathaniel Charlton, Ben Horsfall
Symbolic Execution Proofs for Higher Order Store Programs. J. Autom. Reason. 54 (3) (2015)
Jan Schwinghammer, Lars Birkedal, François Pottier, Bernhard Reus, Kristian Støvring, Hongseok Yang
A step-indexed Kripke model of hidden state. Math. Struct. Comput. Sci. 23 (1) (2013)
Nathaniel Charlton, Bernhard Reus
Specification patterns for reasoning about recursion through the store. Inf. Comput. 231 (2013)
Bernhard Reus, Thomas Streicher
A synthetic theory of sequential domains. Ann. Pure Appl. Log. 163 (8) (2012)
Ben Horsfall, Nathaniel Charlton, Bernhard Reus
Verifying the reflective visitor pattern. FTfJP@ECOOP (2012)
Nathaniel Charlton, Ben Horsfall, Bernhard Reus
Crowfoot: A Verifier for Higher-Order Store Programs. VMCAI (2012)
Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Kristian Støvring, Jacob Thamsborg, Hongseok Yang
Step-indexed kripke models over recursive worlds. POPL (2011)
Nathaniel Charlton, Ben Horsfall, Bernhard Reus
Formal reasoning about runtime code update. ICDE Workshops (2011)
Nathaniel Charlton, Bernhard Reus
Specification Patterns and Proofs for Recursion through the Store. FCT (2011)
Bernhard Reus, Thomas Streicher
Relative Completeness for Logics of Functional Programs. CSL (2011)
Jan Schwinghammer, Lars Birkedal, Bernhard Reus, Hongseok Yang
Nested Hoare Triples and Frame Rules for Higher-order Store Log. Methods Comput. Sci. 7 (3) (2011)
Jan Schwinghammer, Hongseok Yang, Lars Birkedal, François Pottier, Bernhard Reus
A Semantic Foundation for Hidden State. FoSSaCS (2010)
Bernhard Reus, Achim Jung, Klaus Keimel, Thomas Streicher
Preface for the special issue on domains. Math. Struct. Comput. Sci. 20 (2) (2010)
Jan Schwinghammer, Lars Birkedal, Bernhard Reus, Hongseok Yang
Nested Hoare Triples and Frame Rules for Higher-Order Store. CSL (2009)
Nathaniel Charlton, Bernhard Reus
A decidable class of verification conditions for programs with higher order store. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 23 (2009)
Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Hongseok Yang
A Simple Model of Separation Logic for Higher-Order Store. ICALP (2) (2008)
Bernhard Reus, Jan Schwinghammer
Separation Logic for Higher-Order Store. CSL (2006)
Bernhard Reus, Jan Schwinghammer
Denotational semantics for a program logic of objects. Math. Struct. Comput. Sci. 16 (2) (2006)
Bernhard Reus, Thomas Streicher
About Hoare Logics for Higher-Order Store. ICALP (2005)
Bernhard Reus, Jan Schwinghammer
Denotational Semantics for Abadi and Leino's Logic of Objects. ESOP (2005)
Dirk Pattinson, Bernhard Reus
A Complete Temporal and Spatial Logic for Distributed Systems. FroCoS (2005)
Bernhard Reus, Thomas Streicher
Semantics and logic of object calculi. Theor. Comput. Sci. 316 (1) (2004)
Bernhard Reus
Modular Semantics and Logics of Classes. CSL (2003)
Bernhard Reus, Thomas Streicher
Semantics and Logic of Object Calculi. LICS (2002)
Bernhard Reus
Class-Based versus Object-Based: A Denotational Comparison. AMAST (2002)
Ulrich Berger, Karl-Heinz Niggl, Bernhard Reus
Preface. Theor. Comput. Sci. 264 (2) (2001)
Bernhard Reus, Martin Wirsing, Rolf Hennicker
A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models. FASE (2001)
Bernhard Reus, Tatjana Hein
Towards a Machine-Checked Java Specification Book. TPHOLs (2000)
Bernhard Reus, Thomas Streicher
General synthetic domain theory - a logical approach. Math. Struct. Comput. Sci. 9 (2) (1999)
Bernhard Reus
A Logic of Recursive Objects. ECOOP Workshops (1999)
Bernhard Reus
Realizability Models for Type Theories. Electron. Notes Theor. Comput. Sci. 23 (1) (1999)
Bernhard Reus
Formalizing Synthetic Domain Theory. J. Autom. Reason. 23 (3-4) (1999)
Thorsten Altenkirch, Bernhard Reus
Monadic Presentations of Lambda Terms Using Generalized Inductive Types. CSL (1999)
Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing
An Event-Based Structural Operational Semantics of Multi-Threaded Java. Formal Syntax and Semantics of Java (1999)
Bernhard Reus
Extensional Sigma-Spaces in Type Theory. Appl. Categorical Struct. 7 (1-2) (1999)
Thomas Streicher, Bernhard Reus
Classical Logic, Continuation Semantics and Abstract Machines. J. Funct. Program. 8 (6) (1998)
Bernhard Reus, Alexander Knapp, Pietro Cenciarelli, Martin Wirsing
Verifying a compiler optimization for Multi-Threaded Java. WADT (1997)
Bernhard Reus, Thomas Streicher
General Synthetic Domain Theory - A Logical Approach. Category Theory and Computer Science (1997)
Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing
From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics. AMAST (1997)
Bernhard Reus
Synthetic Domain Theory in Type Theory: Another Logic of Computable Functions. TPHOLs (1996)
Bernhard Reus, Thomas Streicher
Verifying Properties of Module Construction in Type Theory. MFCS (1993)
Bernhard Reus
Implementing Higher-Order Functions in an Algebraic Specification Language with Narrowing. PLILP (1992)

Bernhard Reus.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Bernhard Reus