Items where authors include "Zeyda, Frank"

Article

Foster, Simon David orcid.org/0000-0002-9889-9514, Baxter, James, Cavalcanti, Ana Lucia Caneca orcid.org/0000-0002-0831-1976 et al. (2 more authors) (2020) Unifying Semantic Foundations for Automated Verification Tools in Isabelle/UTP. Science of Computer Programming. 102510. ISSN 0167-6423

Foster, Simon David orcid.org/0000-0002-9889-9514, Cavalcanti, Ana Lucia Caneca orcid.org/0000-0002-0831-1976, Canham, Samuel James et al. (2 more authors) (2020) Unifying Theories of Reactive Design Contracts. Theoretical Computer Science. pp. 105-140. ISSN 0304-3975

Foster, Simon David orcid.org/0000-0002-9889-9514, Zeyda, Frank, Nemouchi, Yakoub et al. (2 more authors) (2019) Isabelle/UTP : Mechanised Theory Engineering for Unifying Theories of Programming. Archive of Formal Proofs. ISSN 2150-914x

Foster, Simon David orcid.org/0000-0002-9889-9514, Cavalcanti, Ana Lucia Caneca orcid.org/0000-0002-0831-1976, Woodcock, JAMES Charles Paul orcid.org/0000-0001-7955-2702 et al. (1 more author) (2018) Unifying Theories of Time with Generalised Reactive Processes. Information Processing Letters. pp. 47-52. ISSN 0020-0190

Foster, Simon David orcid.org/0000-0002-9889-9514 and Zeyda, Frank (2017) Optics in Isabelle/HOL. Archive of Formal Proofs. pp. 1-28.

Book Section

Foster, Simon orcid.org/0000-0002-9889-9514, Zeyda, Frank and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2015) Isabelle/UTP : A Mechanised Theory Engineering Framework. In: Naumann, David, (ed.) Unifying Theories of Programming. Lecture Notes in Computer Science . Springer , pp. 21-41.

Monograph

Foster, Simon David orcid.org/0000-0002-9889-9514, Zeyda, Frank, Nemouchi, Yakoub et al. (2 more authors) Isabelle/UTP: Mechanised Theory Engineering for the UTP. Working Paper. (Unpublished)

Foster, Simon David orcid.org/0000-0002-9889-9514, Nemouchi, Yakoub and Zeyda, Frank Theory of Designs in Isabelle/UTP. Working Paper. (Unpublished)

Proceedings Paper

Woodcock, Jim orcid.org/0000-0001-7955-2702, Cavalcanti, Ana orcid.org/0000-0002-0831-1976, Foster, Simon orcid.org/0000-0002-9889-9514 et al. (3 more authors) (2023) UTP, Circus, and Isabelle. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). UNSPECIFIED. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer Science and Business Media Deutschland GmbH , pp. 19-51.

Zeyda, Frank, Ouy, Julian, Foster, Simon David orcid.org/0000-0002-9889-9514 et al. (1 more author) (2017) Formalising Cosimulation Models. In: 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems (CoSim-CPS 2017). UNSPECIFIED. .

Foster, Simon orcid.org/0000-0002-9889-9514, Zeyda, Frank and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2016) Unifying heterogeneous state-spaces with lenses. In: Wang, Farn and Sampaio, Augusto, (eds.) Theoretical Aspects of Computing - ICTAC 2016, 13th International Colloquium, Proceedings. 13th International Colloquium on Theoretical Aspects of Computing, ICTAC 2016, 24-31 Oct 2016. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer , TWN , pp. 295-314.

Zeyda, Frank, Foster, Simon David orcid.org/0000-0002-9889-9514 and Freitas, Leo (2016) An Axiomatic Value Model for Isabelle/UTP. In: 6th International Symposium on Unifying Theories of Programming. 6th International Symposium on Unifying Theories of Programming, 04-05 Jun 2016. , ISL , pp. 1-20. (In Press)