Foundations of Software Systems (FoSS)

Bernhard Reus

Selected Publications

Article

Reus, Bernhard, Caserta, Stefano, Larsen, Martin, Morrow, George, Bano, Aalia, Hallensleben, Michael, Rajkumar, Chakravarthi, Pera, Alejandra and Kern, Florian (2021) In-depth profiling of T-cell responsiveness to commonly recognized CMV antigens in older people reveals important sex differences. Frontiers in Immunology, 12. a707830 1-21. ISSN 1664-3224

Kirkham, Frances, Pera, Alejandra, Simanek, Amanda M, Bano, Aalia, Morrow, George, Reus, Bernhard, Caserta, Stefano, Smith, Helen E, Davies, Kevin A, Rajkumar, Chakravarthi and Kern, Florian (2021) Cytomegalovirus infection is associated with an increase in aortic stiffness in older men which may be mediated in part by CD4 memory T-cells. Theranostics. ISSN 1838-7640

Pera Rojas, Alejandra, Caserta, Stefano, Albanese, Fabio, Blowers, Pinar, Morrow, George, Terrazzini, Nadia, Smith, Helen E, Rajkumar, Chakravarthi, Reus, Bernhard, Msonda, James R, Verboom, Murielle, Hallenensleben, Michael, Blasczyk, Rainer, Davies, Kevin A and Kern, Florian (2018) CD28null pro-atherogenic CD4 T-cells explain the link between CMV infection and an increased risk of Cardiovascular death. Theranostics, 8 (16). pp. 4509-4519. ISSN 1838-7640

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

Reus, Bernhard and Streicher, Thomas (1999) General synthetic domain theory – a logical approach. Mathematical Structures in Computer Science, 9 (2). pp. 177-223. ISSN 0960-1295

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

Reus, Bernhard and Streicher, Thomas (2005) About Hoare logics for higher-order store. In: Caires, L., Italiano, G.F., Monteiro, L., Palamidessi, C. and Yung, M. (eds.) Automata, Languages and Programming: Proceedings of the 32nd International Colloquim, ICALP 2005, Lisbon, Portugal. Lecture Notes in Computer Science, 3580 . Springer Verlag, Berlin, Germany, pp. 1337-1348. ISBN 9783540275800

Reus, Bernhard and Schwinghammer, Jan (2005) Denotational semantics for Abadi and Leino's logic of objects. In: Sagiv, Mooly (ed.) Programming Languages and Systems: Proceedings of the 14th European Symposium on Programming, ESOP 2005, Edinburgh, UK. Lecture Notes in Computer Science, 3444 . Springer, pp. 263-278. ISBN 9783540254355

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 (2003) Modular semantics and logics of classes. In: Baaz, Matthias and Makowsky, Johann A. (eds.) Computer Science Logic. Lecture Notes in Computer Science, 2803 . Springer Berlin / Heidelberg, pp. 456-469. ISBN 9783540408017

Reus, Bernhard and Streicher, T. (2002) Semantics and logic of object calculi. In: Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science. IEEE Publications, pp. 113-122.

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

Reus, Bernhard and Hein, Tatjana (2000) Towards a machine-checked Java specification book. In: Aagaard, Mark and Harrison, John (eds.) Theorem Proving in Higher Order Logics: Proceedings of the 13th International Conference, TPHOLs 2000 Portland, OR, USA. Lecture Notes in Computer Science, 1869 . Springer-Verlag, pp. 480-497. ISBN 9783540678632

Altenkirch, Thorsten and Reus, Bernhard (1999) Monadic presentations of Lambda terms using generalized inductive types. In: Flum, Jörg and Rodriguez-Artalejo, Mario (eds.) Computer Science Logic: Proceedings of the 13th International Workshop CSL '99, 8th Annual Conference of the EACSL, Madrid, Spain. Lecture Notes in Computer Science, 1863 . Springer-Verlag, pp. 453-468. ISBN 9783540665366

Cenciarelli, Pietro, Knapp, Alexander, Reus, Bernhard and Wirsing, Martin (1999) An event-based structural operational semantics of multi-threaded Java. In: Alves-Foss, Jim (ed.) Formal Syntax and Semantics of Java. Lecture Notes in Computer Science, 1523 . Springer-Verlag, Berlin, Germany, pp. 157-200. ISBN 9783540661580

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.

Conference Proceedings

Reus, Bernhard, Knapp, Alexander and Mühlberger, Heribert (2023) Interpreting knowledge-based programs. ESOP 32nd European Symposium on Programming, Paris, France, 22-27 April 2023. Published in: ESOP 2023 : 32st European Symposium on Programming. 13990 Springer ISBN 9783031300431 (Accepted)

Klimis, Vasileios, Parisis, George and Reus, Bernhard (2020) Model checking software-defined networks with flow entries that time out. Formal Methods in Computer-Aided Design (FMCAD 2020), Online, Sep. 21 - 24, 2020. Published in: Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020. 1 179-184. IEEE, Wien. ISSN 2708-7824 ISBN 9783854480426

Klimis, Vassilis, Parisis, George and Reus, Bernhard (2020) Towards model checking real-world software-defined networks. 32nd International Conference on Computer-Aided Verification, Los Angeles, California, USA, July 19-24, 2020. Published in: Computer Aided Verification. CAV 2020. Lecture Notes in Computer Science. 12225 126-148. Springer Verlag ISBN 9783030532901