Safety-Critical Java Virtual Machine Services. - James Baxter 001; Ana Cavalcanti 001; Andy J. Wellings; Leo Freitas (JTRES, 2015)

Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment. - Leo Freitas; James Baxter 001; Ana Cavalcanti 001; Andy J. Wellings (IFM, 2016)

Algebraic Compilation of Safety-Critical Java Bytecode. - James Baxter 001; Ana Cavalcanti 001 (IFM, 2017)

Automating Verification of State Machines with Reactive Designs and Isabelle/UTP. - Simon Foster 001; James Baxter 001; Ana Cavalcanti 001; Alvaro Miyazawa; Jim Woodcock 001 (FACS, 2018)

Ahead-of-time algebraic compilation for safety-critical Java. - James Baxter 001 (2018)

Testing Robots Using CSP. - Ana Cavalcanti 001; James Baxter 001; Robert M. Hierons; Raluca Lefticaru (TAP@FM, 2019)

Priorities in tock-CSP. - Pedro Ribeiro 002; James Baxter 001; Ana Cavalcanti 001 (CoRR, 2019)

Automated Algebraic Reasoning for Collections and Local Variables with Lenses. - Simon Foster 001; James Baxter 001 (RAMiCS, 2020)

Unifying semantic foundations for automated verification tools in Isabelle/UTP. - Simon Foster 001; James Baxter 001; Ana Cavalcanti 001; Jim Woodcock 001; Frank Zeyda (Sci. Comput. Program., 2020)

Model-Based Engineering for Robotics with RoboChart and RoboTool. - Ana Cavalcanti 001; Ziggy Attala; James Baxter 001; Alvaro Miyazawa; Pedro Ribeiro 002 (ICTAC Summmer School, 2021)

RoboWorld: Where Can My Robot Work? - Ana Cavalcanti 001; James Baxter 001; Gustavo Carvalho (SEFM, 2021)

Sound reasoning in tock-CSP. - James Baxter 001; Pedro Ribeiro 002; Ana Cavalcanti 001 (Acta Informatica, 2022)

Correction to: Sound reasoning in tock-CSP. - James Baxter 001; Pedro Ribeiro 002; Ana Cavalcanti 001 (Acta Informatica, 2022)

Testing using CSP Models: Time, Inputs, and Outputs. - James Baxter 001; Ana Cavalcanti 001; Maciej Gazda; Robert M. Hierons (ACM Trans. Comput. Log., 2023)

RoboWorld: Verification of Robotic Systems with Environment in the Loop. - James Baxter 001; Gustavo Carvalho; Ana Cavalcanti 001; Francisco Rodrigues Júnior (Formal Aspects Comput., 2023)

The Elementary Theory of the Category of Sets. - James Baxter 001; Dustin Bryant (Arch. Formal Proofs, 2024)

Formal Architectural Patterns for Adaptive Robotic Software. - James Baxter 001; Bert Van Acker; Morten Haahr Kristensen; Thomas Wright; Ana Cavalcanti 001; Cláudio Gomes 001 (FASE, 2025)