James Baxter

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 16

Top Topics

Robotic Systems

Virtual Machine

Top Venues

Acta Informatica

Publications

James Baxter, Gustavo Carvalho, Ana Cavalcanti, Francisco Rodrigues Júnior
RoboWorld: Verification of Robotic Systems with Environment in the Loop. Formal Aspects Comput. 35 (4) (2023)
James Baxter, Ana Cavalcanti, Maciej Gazda, Robert M. Hierons
Testing using CSP Models: Time, Inputs, and Outputs. ACM Trans. Comput. Log. 24 (2) (2023)
James Baxter, Pedro Ribeiro, Ana Cavalcanti
Sound reasoning in tock-CSP. Acta Informatica 59 (1) (2022)
James Baxter, Pedro Ribeiro, Ana Cavalcanti
Correction to: Sound reasoning in tock-CSP. Acta Informatica 59 (2-3) (2022)
Ana Cavalcanti, James Baxter, Gustavo Carvalho
RoboWorld: Where Can My Robot Work? SEFM (2021)
Ana Cavalcanti, Ziggy Attala, James Baxter, Alvaro Miyazawa, Pedro Ribeiro
Model-Based Engineering for Robotics with RoboChart and RoboTool. ICTAC Summmer School (2021)
Simon Foster, James Baxter, Ana Cavalcanti, Jim Woodcock, Frank Zeyda
Unifying semantic foundations for automated verification tools in Isabelle/UTP. Sci. Comput. Program. 197 (2020)
Simon Foster, James Baxter
Automated Algebraic Reasoning for Collections and Local Variables with Lenses. RAMiCS (2020)
Ana Cavalcanti, James Baxter, Robert M. Hierons, Raluca Lefticaru
Testing Robots Using CSP. TAP@FM (2019)
Simon Foster, James Baxter, Ana Cavalcanti, Jim Woodcock, Frank Zeyda
Unifying Semantic Foundations for Automated Verification Tools in Isabelle/UTP. CoRR (2019)
Pedro Ribeiro, James Baxter, Ana Cavalcanti
Priorities in tock-CSP. CoRR (2019)
Simon Foster, James Baxter, Ana Cavalcanti, Alvaro Miyazawa, Jim Woodcock
Automating Verification of State Machines with Reactive Designs and Isabelle/UTP. FACS (2018)
Simon Foster, James Baxter, Ana Cavalcanti, Alvaro Miyazawa, Jim Woodcock
Automating Verification of State Machines with Reactive Designs and Isabelle/UTP. CoRR (2018)
James Baxter, Ana Cavalcanti
Algebraic Compilation of Safety-Critical Java Bytecode. IFM (2017)
Leo Freitas, James Baxter, Ana Cavalcanti, Andy J. Wellings
Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment. IFM (2016)
James Baxter, Ana Cavalcanti, Andy J. Wellings, Leo Freitas
Safety-Critical Java Virtual Machine Services. JTRES (2015)