Items where authors include "Baxter, James"

Article

Baxter, James, Carvalho, Gustavo, Cavalcanti, Ana orcid.org/0000-0002-0831-1976 et al. (1 more author) (2023) RoboWorld : Verification of Robotic Systems with Environment in the Loop. Formal Aspects of Computing. 26. ISSN 1433-299X

Baxter, James, Ribeiro, Pedro orcid.org/0000-0003-4319-4872 and Cavalcanti, Ana orcid.org/0000-0002-0831-1976 (2021) Sound reasoning in tock-CSP. Acta Informatica. pp. 126-162. ISSN 0001-5903

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

Proceedings Paper

Foster, Simon David orcid.org/0000-0002-9889-9514 and Baxter, James (2020) Automated Algebraic Reasoning for Collections and Local Variables with Lenses. In: 18th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2020). UNSPECIFIED. Lecture Notes in Computer Science . Springer .

Freitas, Leo, Baxter, James, Cavalcanti, Ana Lucia Caneca orcid.org/0000-0002-0831-1976 et al. (1 more author) (2016) Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment. In: Integrated Formal Methods:12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. UNSPECIFIED. Lecture Notes in Computer Science . Springer , pp. 63-78.