James Baxter

According to our database, James Baxter authored at least 15 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

RoboWorld: Verification of Robotic Systems with Environment in the Loop.

James Baxter, Gustavo Carvalho, Ana Cavalcanti, Francisco Rodrigues Júnior

Formal Aspects Comput., December, 2023

Testing using CSP Models: Time, Inputs, and Outputs.

James Baxter, Ana Cavalcanti, Maciej Gazda, Robert M. Hierons

ACM Trans. Comput. Log., April, 2023

2022

Correction to: Sound reasoning in tock-CSP.

James Baxter, Pedro Ribeiro, Ana Cavalcanti

Acta Informatica, 2022

Sound reasoning in tock-CSP.

James Baxter, Pedro Ribeiro, Ana Cavalcanti

Acta Informatica, 2022

2021

RoboWorld: Where Can My Robot Work?

Ana Cavalcanti, James Baxter, Gustavo Carvalho

Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

Model-Based Engineering for Robotics with RoboChart and RoboTool.

Ana Cavalcanti, Ziggy Attala, James Baxter, Alvaro Miyazawa, Pedro Ribeiro

Proceedings of the Formal Methods for an Informal World, 2021

2020

Unifying semantic foundations for automated verification tools in Isabelle/UTP.

Simon Foster, James Baxter, Ana Cavalcanti, Jim Woodcock, Frank Zeyda

Sci. Comput. Program., 2020

Automated Algebraic Reasoning for Collections and Local Variables with Lenses.

Simon Foster, James Baxter

Proceedings of the Relational and Algebraic Methods in Computer Science, 2020

2019

Priorities in tock-CSP.

Pedro Ribeiro, James Baxter, Ana Cavalcanti

CoRR, 2019

Testing Robots Using CSP.

Ana Cavalcanti, James Baxter, Robert M. Hierons, Raluca Lefticaru

Proceedings of the Tests and Proofs - 13th International Conference, 2019

2018

Ahead-of-time algebraic compilation for safety-critical Java.

James Baxter

PhD thesis, 2018

Automating Verification of State Machines with Reactive Designs and Isabelle/UTP.

Simon Foster, James Baxter, Ana Cavalcanti, Alvaro Miyazawa, Jim Woodcock

Proceedings of the Formal Aspects of Component Software - 15th International Conference, 2018

2017

Algebraic Compilation of Safety-Critical Java Bytecode.

James Baxter, Ana Cavalcanti

Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

2016

Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment.

Leo Freitas, James Baxter, Ana Cavalcanti, Andy J. Wellings

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

2015

Safety-Critical Java Virtual Machine Services.

James Baxter, Ana Cavalcanti, Andy J. Wellings, Leo Freitas

Proceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems, 2015