Photo of Bernhard Reus

Bernhard Reus
Senior Lecturer in Computer Science & Artificial Intelligence (Informatics)
T: +44 (0)1273 877477

Selected publications


Reus, Bernhard, Charlton, Nathaniel and Horsfall, Ben (2015) Symbolic execution proofs for higher order store programs. Journal of Automated Reasoning, 54 (3). pp. 199-284. ISSN 0168-7433

Charlton, Nathaniel and Reus, Bernhard (2013) Specification patterns for reasoning about recursion through the store. Information and Computation, 231. pp. 167-203. ISSN 0890-5401

Schwinghammer, Jan, Birkedal, Lars, Pottier, Francois, Reus, Bernhard, Stovring, Kristian and Yang, Hongseok (2012) A step-indexed Kripke model of hidden state. Mathematical Structures in Computer Science, 23 (1). pp. 1-54. ISSN 0960-1295

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

Reus, Bernhard (1999) Formalizing synthetic domain theory - the basic definitions. Journal of Automated Reasoning, 23 (3-4). pp. 411-444. ISSN 01687433

Reus, Bernhard (1999) Extensional Σ-spaces in type theory. Applied Categorical Structures, 7 (1-2). pp. 159-183. ISSN 0927-2852

Streicher, Th and Reus, B (1998) Classical logic, continuation semantics and abstract machines. Journal of Functional Programming, 8 (6). pp. 543-572. ISSN 0956-7968

Book Section

Charlton, Nathaniel, Horsfall, Ben and Reus, Bernhard (2012) Crowfoot: a verifier for higher-order store programs. In: Verification, Model Checking, and Abstract Interpretation. Lecture Notes in Computer Science, 7148 . Springer, pp. 136-151. ISBN 978-3-642-27940-9

Birkedal, Lars, Reus, Bernhard, Schwinghammer, Jan, Stovring, Kristian, Thamsborg, Jacob and Yang, Hongseok (2011) Step-indexed kripke models over recursive worlds. In: Thomas, B and Mooly, S (eds.) POPL '11 Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. ACM, pp. 119-132. ISBN 978-1-4503-0490-0

Pattinson, Dirk and Reus, Bernhard (2005) A complete temporal and spatial logic for distributed dystems. In: Gramlich, Bernhard (ed.) Frontiers of Combining Systems: Proceedings of the 5th International Workshop, FroCoS 2005, Vienna, Austria. Lecture Notes in Computer Science, 3717 . Springer, pp. 122-137. ISBN 9783540290513

Reus, Bernhard (2002) Class-based versus object-based: a denotational comparison. In: Kirchner, Helene and Ringeissen, Christophe (eds.) Algebraic Methodology and Software Technology: Proceedings of the 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France. Lecture Notes in Computer Science, 2422 . Springer-Verlag, London, UK., pp. 45-88. ISBN 3540441441

Reus, Bernhard, Wirsing, Martin and Hennicker, Rolf (2001) A Hoare calculus for verifying Java realizations of OCL-constrained design models. In: Hussmann, Heinrich (ed.) Proceedings in Fundamental Approaches to Software Engineering: 4th International Conference, FASE 2001, Genova, Italy. Lecture Notes in Computer Science, 2029 . Springer Berlin / Heidelberg, pp. 300-317. ISBN 9783540418634

Conference or Workshop Item

Reus, Bernhard and Streicher, Thomas (2011) Relative Completeness for Logics of Functional Programs. In: Computer Science Logic, 25th International Workshop / 20th Annual Conference of the EACSL, CSL 2011, Bergen (Norway).

Schwinghammer, Jan, Yang, Hongseok, Birkedal, Lars, Pottier, Francois and Reus, Bernhard (2010) A semantic foundation for hidden state. In: FOSSACS 2010, March 20-28, 2010., Paphos.