Bernhard Reus

According to our database, Bernhard Reus authored at least 45 papers between 1992 and 2023.

Collaborative distances:

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

2023

Interpreting Knowledge-based Programs (Extended Version with Proofs).

Alexander Knapp, Heribert Mühlberger, Bernhard Reus

CoRR, 2023

Interpreting Knowledge-based Programs.

Alexander Knapp, Heribert Mühlberger, Bernhard Reus

Proceedings of the Programming Languages and Systems, 2023

2020

Model Checking Software-Defined Networks with Flow Entries that Time Out.

Vasileios Klimis, George Parisis, Bernhard Reus

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

Towards Model Checking Real-World Software-Defined Networks.

Vasileios Klimis, George Parisis, Bernhard Reus

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2016

Limits of Computation - From a Programming Perspective

Bernhard Reus

Undergraduate Topics in Computer Science, Springer, ISBN: 978-3-319-27889-6, 2016

2015

Symbolic Execution Proofs for Higher Order Store Programs.

Bernhard Reus, Nathaniel Charlton, Ben Horsfall

J. Autom. Reason., 2015

2013

A step-indexed Kripke model of hidden state.

Jan Schwinghammer, Lars Birkedal, François Pottier, Bernhard Reus, Kristian Støvring, Hongseok Yang

Math. Struct. Comput. Sci., 2013

Specification patterns for reasoning about recursion through the store.

Nathaniel Charlton, Bernhard Reus

Inf. Comput., 2013

2012

A synthetic theory of sequential domains.

Bernhard Reus, Thomas Streicher

Ann. Pure Appl. Log., 2012

Crowfoot: A Verifier for Higher-Order Store Programs.

Nathaniel Charlton, Ben Horsfall, Bernhard Reus

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

Verifying the reflective visitor pattern.

Ben Horsfall, Nathaniel Charlton, Bernhard Reus

Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs, 2012

2011

Nested Hoare Triples and Frame Rules for Higher-order Store

Jan Schwinghammer, Lars Birkedal, Bernhard Reus, Hongseok Yang

Log. Methods Comput. Sci., 2011

Step-indexed kripke models over recursive worlds.

Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Kristian Støvring, Jacob Thamsborg, Hongseok Yang

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

Formal reasoning about runtime code update.

Nathaniel Charlton, Ben Horsfall, Bernhard Reus

Proceedings of the Workshops Proceedings of the 27th International Conference on Data Engineering, 2011

Specification Patterns and Proofs for Recursion through the Store.

Nathaniel Charlton, Bernhard Reus

Proceedings of the Fundamentals of Computation Theory - 18th International Symposium, 2011

Relative Completeness for Logics of Functional Programs.

Bernhard Reus, Thomas Streicher

Proceedings of the Computer Science Logic, 2011

2010

Preface for the special issue on domains.

Bernhard Reus, Achim Jung, Klaus Keimel, Thomas Streicher

Math. Struct. Comput. Sci., 2010

A Semantic Foundation for Hidden State.

Jan Schwinghammer, Hongseok Yang, Lars Birkedal, François Pottier, Bernhard Reus

Proceedings of the Foundations of Software Science and Computational Structures, 2010

2009

A decidable class of verification conditions for programs with higher order store.

Nathaniel Charlton, Bernhard Reus

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

2008

A Simple Model of Separation Logic for Higher-Order Store.

Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Hongseok Yang

Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008

2006

Denotational semantics for a program logic of objects.

Bernhard Reus, Jan Schwinghammer

Math. Struct. Comput. Sci., 2006

Separation Logic for Higher-Order Store.

Bernhard Reus, Jan Schwinghammer

Proceedings of the Computer Science Logic, 20th International Workshop, 2006

2005

About Hoare Logics for Higher-Order Store.

Bernhard Reus, Thomas Streicher

Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005

A Complete Temporal and Spatial Logic for Distributed Systems.

Dirk Pattinson, Bernhard Reus

Proceedings of the Frontiers of Combining Systems, 5th International Workshop, 2005

Denotational Semantics for Abadi and Leino's Logic of Objects.

Bernhard Reus, Jan Schwinghammer

Proceedings of the Programming Languages and Systems, 2005

2004

Semantics and logic of object calculi.

Bernhard Reus, Thomas Streicher

Theor. Comput. Sci., 2004

2003

Modular Semantics and Logics of Classes.

Bernhard Reus

Proceedings of the Computer Science Logic, 17th International Workshop, 2003

2002

Class-Based versus Object-Based: A Denotational Comparison.

Bernhard Reus

Proceedings of the Algebraic Methodology and Software Technology, 2002

2001

Preface.

Ulrich Berger, Karl-Heinz Niggl, Bernhard Reus

Theor. Comput. Sci., 2001

A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models.

Bernhard Reus, Martin Wirsing, Rolf Hennicker

Proceedings of the Fundamental Approaches to Software Engineering, 2001

2000

Towards a Machine-Checked Java Specification Book.

Bernhard Reus, Tatjana Hein

Proceedings of the Theorem Proving in Higher Order Logics, 13th International Conference, 2000

1999

General synthetic domain theory - a logical approach.

Bernhard Reus, Thomas Streicher

Math. Struct. Comput. Sci., 1999

Formalizing Synthetic Domain Theory.

Bernhard Reus

J. Autom. Reason., 1999

Realizability Models for Type Theories.

Bernhard Reus

Proceedings of the Tutorial Workshop on Realizability Semantics and Applications, associated to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, June 30, 1999

Extensional Sigma-Spaces in Type Theory.

Bernhard Reus

Appl. Categorical Struct., 1999

An Event-Based Structural Operational Semantics of Multi-Threaded Java.

Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing

Proceedings of the Formal Syntax and Semantics of Java, 1999

A Logic of Recursive Objects.

Bernhard Reus

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

Monadic Presentations of Lambda Terms Using Generalized Inductive Types.

Thorsten Altenkirch, Bernhard Reus

Proceedings of the Computer Science Logic, 13th International Workshop, 1999

1998

Classical Logic, Continuation Semantics and Abstract Machines.

Thomas Streicher, Bernhard Reus

J. Funct. Program., 1998

1997

Verifying a compiler optimization for Multi-Threaded Java.

Bernhard Reus, Alexander Knapp, Pietro Cenciarelli, Martin Wirsing

Proceedings of the Recent Trends in Algebraic Development Techniques, 1997

From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics.

Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing

Proceedings of the Algebraic Methodology and Software Technology, 1997

1996

Program verification in synthetic domain theory.

Bernhard Reus

PhD thesis, 1996

Synthetic Domain Theory in Type Theory: Another Logic of Computable Functions.

Bernhard Reus

Proceedings of the Theorem Proving in Higher Order Logics, 9th International Conference, 1996

1993

Verifying Properties of Module Construction in Type Theory.

Bernhard Reus, Thomas Streicher

Proceedings of the Mathematical Foundations of Computer Science 1993, 1993

1992

Implementing Higher-Order Functions in an Algebraic Specification Language with Narrowing.

Bernhard Reus

Proceedings of the Programming Language Implementation and Logic Programming, 1992