Bernhard Reus - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

2010

Preface for the special issue on domainsBernhard Reus, Achim Jung, Klaus Keimel, Thomas Streicher. mscs, 20(2):105-106, 2010. [doi]

A Semantic Foundation for Hidden StateJan Schwinghammer, Hongseok Yang, Lars Birkedal, FranÃ§ois Pottier, Bernhard Reus. fossacs 2010: 2-17 [doi]

2009

A decidable class of verification conditions for programs with higher order storeNathaniel Charlton, Bernhard Reus. eceasst, 23, 2009. [doi]

Nested Hoare Triples and Frame Rules for Higher-Order StoreJan Schwinghammer, Lars Birkedal, Bernhard Reus, Hongseok Yang. csl 2009: 440-454 [doi]

2008

A Simple Model of Separation Logic for Higher-Order StoreLars Birkedal, Bernhard Reus, Jan Schwinghammer, Hongseok Yang. icalp 2008: 348-360 [doi]

2006

Separation Logic for Higher-Order StoreBernhard Reus, Jan Schwinghammer. csl 2006: 575-590 [doi]

Denotational semantics for a program logic of objectsBernhard Reus, Jan Schwinghammer. mscs, 16(2):313-358, 2006. [doi]

2005

A Complete Temporal and Spatial Logic for Distributed SystemsDirk Pattinson, Bernhard Reus. frocos 2005: 122-137 [doi]

About Hoare Logics for Higher-Order StoreBernhard Reus, Thomas Streicher. icalp 2005: 1337-1348 [doi]

Denotational Semantics for Abadi and Leino s Logic of ObjectsBernhard Reus, Jan Schwinghammer. ESOP 2005: 263-278 [doi]

2004

Semantics and logic of object calculiBernhard Reus, Thomas Streicher. TCS, 316(1):191-213, 2004. [doi]

2003

Modular Semantics and Logics of ClassesBernhard Reus. csl 2003: 456-469 [doi]

2002

Class-Based versus Object-Based: A Denotational ComparisonBernhard Reus. amast 2002: 473-488 [doi]

Semantics and Logic of Object CalculiBernhard Reus, Thomas Streicher. lics 2002: 113 [doi]

2001

PrefaceUlrich Berger, Karl-Heinz Niggl, Bernhard Reus. TCS, 264(2):169, 2001. [doi]

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

2000

Towards a Machine-Checked Java Specification BookBernhard Reus, Tatjana Hein. tphol 2000: 480-497

1999

Types for Proofs and Programs, International Workshop TYPES 98, Kloster Irsee, Germany, March 27-31, 1998, Selected PapersThorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus, editors, Volume 1657 of Lecture Notes in Computer Science, Springer, 1999.

Monadic Presentations of Lambda Terms Using Generalized Inductive TypesThorsten Altenkirch, Bernhard Reus. csl 1999: 453-468

An Event-Based Structural Operational Semantics of Multi-Threaded JavaPietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing. java 1999: 157-200 [doi]

Formalizing Synthetic Domain TheoryBernhard Reus. JAR, 23(3-4):411-444, 1999.

Extensional Sigma-Spaces in Type TheoryBernhard Reus. acs, 7(1-2):159-183, 1999. [doi]

General synthetic domain theory - a logical approachBernhard Reus, Thomas Streicher. mscs, 9(2):177-223, 1999.

A Logic of Recursive ObjectsBernhard Reus. ECOOPW 1999: 107

Realizability Models for Type TheoriesBernhard Reus. ENTCS, 23(1), 1999. [doi]

1998

Classical Logic, Continuation Semantics and Abstract MachinesThomas Streicher, Bernhard Reus. JFP, 8(6):543-572, 1998.

1997

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

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

General Synthetic Domain Theory - A Logical ApproachBernhard Reus, Thomas Streicher. ctcs 1997: 293-313

1996

Synthetic Domain Theory in Type Theory: Another Logic of Computable FunctionsBernhard Reus. tphol 1996: 365-380

1993

Verifying Properties of Module Construction in Type TheoryBernhard Reus, Thomas Streicher. mfcs 1993: 660-670

1992

Implementing Higher-Order Functions in an Algebraic Specification Language with NarrowingBernhard Reus. plilp 1992: 483-484