Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 10.

Article

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) (2019) Unifying Theories of Reactive Design Contracts. Theoretical Computer Science. 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.

Monograph

Foster, Simon orcid.org/0000-0002-9889-9514, Baxter, James, Cavalcanti, Ana orcid.org/0000-0002-0831-1976 et al. (2 more authors) (2019) Unifying Semantic Foundations for Automated Verification Tools in Isabelle/UTP. Working Paper. arXiv .

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

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

Proceedings Paper

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 Verlag , 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. , pp. 1-20. (In Press)

This list was generated on Sat Oct 12 20:01:53 2019 BST.