| [1] | James Baxter, Ana Cavalcanti, Maciej Gazda, and Robert M Hierons. Testing using csp models: time, inputs, and outputs. ACM Transactions on Computational Logic, 24(2):1--40, 2023. [ bib ] |
| [2] | James Baxter, Pedro Ribeiro, and Ana Cavalcanti. Sound reasoning in tock-csp. Acta Informatica, 59(1):125--162, 2022. [ bib ] |
| [3] | Ana Cavalcanti, James Baxter, and Gustavo Carvalho. RoboWorld: Where can my robot work? In R. Calinescu and C. S. Pasareanu, editors, Software Engineering and Formal Methods - 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings, volume 13085 of Lecture Notes in Computer Science, pages 3--22. Springer, 2021. [ bib | DOI ] |
| [4] | Ana Cavalcanti, Will Barnett, James Baxter, Gustavo Carvalho, Alvaro Miyazawa, Pedro Ribeiro, and Augusto Sampaio. RoboStar Technology: A Roboticist's Toolbox for Combined Proof, Simulation, and Testing, pages 249--293. Springer International Publishing, 2021. [ bib | DOI | .pdf ] |
| [5] | Simon Foster, James Baxter, Ana Cavalcanti, Jim Woodcock, and Frank Zeyda. Unifying semantic foundations for automated verification tools in isabelle/utp. Sci. Comput. Program., 197:102510, 2020. [ bib | DOI | http ] |
| [6] | Simon Foster and James Baxter. Automated algebraic reasoning for collections and local variables with lenses. In Relational and Algebraic Methods in Computer Science, 2020. [ bib ] |
| [7] | Ana Cavalcanti, James Baxter, Robert M. Hierons, and Raluca Lefticaru. Testing robots using csp. In Dirk Beyer and Chantal Keller, editors, Tests and Proofs, pages 21--38, Cham, 2019. Springer International Publishing. [ bib ] |
| [8] | Simon Foster, James Baxter, Ana Cavalcanti, Alvaro Miyazawa, and Jim Woodcock. Automating verification of state machines with reactive designs and isabelle/utp. In Kyungmin Bae and Peter Csaba Ölveczky, editors, Formal Aspects of Component Software, pages 137--155, Cham, 2018. Springer International Publishing. [ bib ] |
| [9] | James Baxter. Ahead-of-time Algebraic Compliation for Safety-Critical Java. PhD thesis, University of York, 2018. [ bib | http ] |
| [10] | James Baxter and Ana Cavalcanti. Algebraic Compilation of Safety-Critical Java Bytecode. In Nadia Polikarpova and Steve Schneider, editors, Integrated Formal Methods: 13th International Conference, iFM 2017, pages 161--176. Springer International Publishing, 2017. [ bib | DOI ] |
| [11] | Leo Freitas, James Baxter, Ana Cavalcanti, and Andy Wellings. Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment, pages 63--78. Springer International Publishing, Cham, 2016. [ bib | DOI ] |
| [12] | James Baxter, Ana Cavalcanti, Andy Wellings, and Leo Freitas. Safety-critical java virtual machine services. In Proceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES '15, pages 7:1--7:10, New York, NY, USA, 2015. ACM. [ bib | DOI ] |
This file was generated by bibtex2html 1.99.