Bernhard Reus

Jan Schwinghammer, Lars Birkedal, François Pottier, Bernhard Reus, Kristian Støvring, Hongseok Yang: A step-indexed Kripke model of hidden state. Mathematical Structures in Computer Science 23(1): 1-54 (2013)

Bernhard Reus, Thomas Streicher: A synthetic theory of sequential domains. Ann. Pure Appl. Logic 163(8): 1062-1074 (2012)

Nathaniel Charlton, Ben Horsfall, Bernhard Reus: Crowfoot: A Verifier for Higher-Order Store Programs. VMCAI 2012: 136-151

Jan Schwinghammer, Lars Birkedal, Bernhard Reus, Hongseok Yang: Nested Hoare Triples and Frame Rules for Higher-order Store. Logical Methods in Computer Science 7(3) (2011)

Bernhard Reus, Thomas Streicher: Relative Completeness for Logics of Functional Programs. CSL 2011: 470-480

Nathaniel Charlton, Bernhard Reus: Specification Patterns and Proofs for Recursion through the Store. FCT 2011: 310-321

Nathaniel Charlton, Ben Horsfall, Bernhard Reus: Formal reasoning about runtime code update. ICDE Workshops 2011: 134-138

Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Kristian Støvring, Jacob Thamsborg, Hongseok Yang: Step-indexed kripke models over recursive worlds. POPL 2011: 119-132

Bernhard Reus, Achim Jung, Klaus Keimel, Thomas Streicher: Preface for the special issue on domains. Mathematical Structures in Computer Science 20(2): 105-106 (2010)

Jan Schwinghammer, Hongseok Yang, Lars Birkedal, François Pottier, Bernhard Reus: A Semantic Foundation for Hidden State. FOSSACS 2010: 2-17

Nathaniel Charlton, Bernhard Reus: A decidable class of verification conditions for programs with higher order store. ECEASST 23 (2009)

Jan Schwinghammer, Lars Birkedal, Bernhard Reus, Hongseok Yang: Nested Hoare Triples and Frame Rules for Higher-Order Store. CSL 2009: 440-454

Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Hongseok Yang: A Simple Model of Separation Logic for Higher-Order Store. ICALP (2) 2008: 348-360

Bernhard Reus, Jan Schwinghammer: Denotational semantics for a program logic of objects. Mathematical Structures in Computer Science 16(2): 313-358 (2006)

Bernhard Reus, Jan Schwinghammer: Separation Logic for Higher-Order Store. CSL 2006: 575-590

Bernhard Reus, Jan Schwinghammer: Denotational Semantics for Abadi and Leino's Logic of Objects. ESOP 2005: 263-278

Dirk Pattinson, Bernhard Reus: A Complete Temporal and Spatial Logic for Distributed Systems. FroCoS 2005: 122-137

Bernhard Reus, Thomas Streicher: About Hoare Logics for Higher-Order Store. ICALP 2005: 1337-1348

Bernhard Reus, Thomas Streicher: Semantics and logic of object calculi. Theor. Comput. Sci. 316(1): 191-213 (2004)

Bernhard Reus: Modular Semantics and Logics of Classes. CSL 2003: 456-469

Bernhard Reus: Class-Based versus Object-Based: A Denotational Comparison. AMAST 2002: 473-488

Bernhard Reus, Thomas Streicher: Semantics and Logic of Object Calculi. LICS 2002: 113-

Ulrich Berger, Karl-Heinz Niggl, Bernhard Reus: Preface. Theor. Comput. Sci. 264(2): 169 (2001)

Bernhard Reus, Martin Wirsing, Rolf Hennicker: A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models. FASE 2001: 300-317

Bernhard Reus, Tatjana Hein: Towards a Machine-Checked Java Specification Book. TPHOLs 2000: 480-497

Bernhard Reus: Extensional Sigma-Spaces in Type Theory. Applied Categorical Structures 7(1-2): 159-183 (1999)

Bernhard Reus: Realizability Models for Type Theories. Electr. Notes Theor. Comput. Sci. 23(1): 128-158 (1999)

Bernhard Reus: Formalizing Synthetic Domain Theory. J. Autom. Reasoning 23(3-4): 411-444 (1999)

Bernhard Reus, Thomas Streicher: General synthetic domain theory - a logical approach. Mathematical Structures in Computer Science 9(2): 177-223 (1999)

Thorsten Altenkirch, Bernhard Reus: Monadic Presentations of Lambda Terms Using Generalized Inductive Types. CSL 1999: 453-468

Bernhard Reus: A Logic of Recursive Objects. ECOOP Workshops 1999: 107

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: 157-200

Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus (Eds.): Types for Proofs and Programs, International Workshop TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers. Lecture Notes in Computer Science 1657, Springer 1999, isbn 3-540-66537-4

Thomas Streicher, Bernhard Reus: Classical Logic, Continuation Semantics and Abstract Machines. J. Funct. Program. 8(6): 543-572 (1998)

Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing: From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics. AMAST 1997: 75-90

Bernhard Reus, Thomas Streicher: General Synthetic Domain Theory - A Logical Approach. Category Theory and Computer Science 1997: 293-313

Bernhard Reus, Alexander Knapp, Pietro Cenciarelli, Martin Wirsing: Verifying a compiler optimization for Multi-Threaded Java. WADT 1997: 402-417

Bernhard Reus: Synthetic Domain Theory in Type Theory: Another Logic of Computable Functions. TPHOLs 1996: 365-380

Bernhard Reus, Thomas Streicher: Verifying Properties of Module Construction in Type Theory. MFCS 1993: 660-670

Bernhard Reus: Implementing Higher-Order Functions in an Algebraic Specification Language with Narrowing. PLILP 1992: 483-484