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: 8.

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 .

Cavalcanti, Ana orcid.org/0000-0002-0831-1976, Sampaio, Augusto, Miyazawa, Alvaro orcid.org/0000-0003-2233-9091 et al. (5 more authors) (2019) Verified simulation for robotics. Science of Computer Programming. ISSN 0167-6423

Foster, Simon orcid.org/0000-0002-9889-9514, Ye, Kangfeng, Cavalcanti, Ana orcid.org/0000-0002-0831-1976 et al. (1 more author) (2018) Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra. Working Paper. arXiv .

Foster, Simon orcid.org/0000-0002-9889-9514, Cavalcanti, Ana orcid.org/0000-0002-0831-1976, Canham, Samuel et al. (2 more authors) (2017) Unifying Theories of Reactive Design Contracts. Working Paper. arXiv .

Foster, Simon orcid.org/0000-0002-9889-9514, Thiele, Bernhard, Cavalcanti, Ana orcid.org/0000-0002-0831-1976 et al. (1 more author) (2017) Towards a UTP semantics for modelica. In: Bowen, Jonathan P. and Zhu, Huibiao, (eds.) Unifying Theories of Programming - 6th International Symposium, UTP 2016, Revised Selected Papers. 6th International Symposium on Unifying Theories of Programming, UTP 2016, 04-05 Jun 2016. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer Verlag , pp. 44-64.

Luckcuck, Matt, Wellings, Andy orcid.org/0000-0002-3338-0623 and Cavalcanti, Ana orcid.org/0000-0002-0831-1976 (2016) Safety-Critical Java: : level 2 in practice. Concurrency and Computation: Practice and Experience. pp. 1-27. ISSN 1532-0634

Miyazawa, Alvaro orcid.org/0000-0003-2233-9091 and Cavalcanti, Ana orcid.org/0000-0002-0831-1976 (2016) SCJ-Circus : a refinement-oriented formal notation for Safety-Critical Java. Electronic Proceedings in Theoretical Computer Science. pp. 71-86. ISSN 2075-2180

Miyazawa, Alvaro orcid.org/0000-0003-2233-9091 and Cavalcanti, Ana orcid.org/0000-0002-0831-1976 (2011) Refinement-based verification of sequential implementations of Stateflow charts. Electronic Proceedings in Theoretical Computer Science. pp. 65-83. ISSN 2075-2180

This list was generated on Sun Aug 18 23:14:31 2019 BST.