James Baxter

24 papers B 4C 1Journal 12Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
Correction: Diagrammatic physical robot models.
Softw. Syst. Model.
Alvaro Miyazawa, Sharar Ahmadi, Ana Cavalcanti, James Baxter, Mark Post, Pedro Ribeiro, Jon Timmis, Thomas Wright
2026 J jnl
Formal Evidence Generation for Assurance Cases for Robotic Software Models.
CoRR
Fang Yan, Simon Foster, Ana Cavalcanti, Ibrahim Habli, James Baxter
2025 J jnl
Diagrammatic physical robot models.
Softw. Syst. Model.
Alvaro Miyazawa, Sharar Ahmadi, Ana Cavalcanti, James Baxter, Mark Post, Pedro Ribeiro, Jon Timmis, Thomas Wright
2025 B conf
Formal Architectural Patterns for Adaptive Robotic Software.
FASE
James Baxter, Bert Van Acker, Morten Haahr Kristensen, Thomas Wright, Ana Cavalcanti, Cláudio Gomes
2024 J jnl
The Elementary Theory of the Category of Sets.
Arch. Formal Proofs
James Baxter, Dustin Bryant
2024 — book
The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part I
The Practice of Formal Methods (I)
Ana Cavalcanti, James Baxter
2024 — book
The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part II
The Practice of Formal Methods (II)
Ana Cavalcanti, James Baxter
2023 J jnl
RoboWorld: Verification of Robotic Systems with Environment in the Loop.
Formal Aspects Comput.
James Baxter, Gustavo Carvalho, Ana Cavalcanti, Francisco Rodrigues Júnior
2023 J jnl
Testing using CSP Models: Time, Inputs, and Outputs.
ACM Trans. Comput. Log.
James Baxter, Ana Cavalcanti, Maciej Gazda, Robert M. Hierons
2022 J jnl
Correction to: Sound reasoning in tock-CSP.
Acta Informatica
James Baxter, Pedro Ribeiro, Ana Cavalcanti
2022 J jnl
Sound reasoning in tock-CSP.
Acta Informatica
James Baxter, Pedro Ribeiro, Ana Cavalcanti
2021 — conf
Model-Based Engineering for Robotics with RoboChart and RoboTool.
ICTAC Summmer School
Ana Cavalcanti, Ziggy Attala, James Baxter, Alvaro Miyazawa, Pedro Ribeiro
2021 B conf
RoboWorld: Where Can My Robot Work?
SEFM
Ana Cavalcanti, James Baxter, Gustavo Carvalho
2020 C conf
Automated Algebraic Reasoning for Collections and Local Variables with Lenses.
RAMiCS
Simon Foster, James Baxter
2020 J jnl
Unifying semantic foundations for automated verification tools in Isabelle/UTP.
Sci. Comput. Program.
Simon Foster, James Baxter, Ana Cavalcanti, Jim Woodcock, Frank Zeyda
2019 J jnl
Priorities in tock-CSP.
CoRR
Pedro Ribeiro, James Baxter, Ana Cavalcanti
2019 — conf
Testing Robots Using CSP.
TAP@FM
Ana Cavalcanti, James Baxter, Robert M. Hierons, Raluca Lefticaru
2019 J jnl
Unifying Semantic Foundations for Automated Verification Tools in Isabelle/UTP.
CoRR
Simon Foster, James Baxter, Ana Cavalcanti, Jim Woodcock, Frank Zeyda
2018 — —
Ahead-of-time algebraic compilation for safety-critical Java.
James Baxter
2018 — conf
Automating Verification of State Machines with Reactive Designs and Isabelle/UTP.
FACS
Simon Foster, James Baxter, Ana Cavalcanti, Alvaro Miyazawa, Jim Woodcock
2018 J jnl
Automating Verification of State Machines with Reactive Designs and Isabelle/UTP.
CoRR
Simon Foster, James Baxter, Ana Cavalcanti, Alvaro Miyazawa, Jim Woodcock
2017 B conf
Algebraic Compilation of Safety-Critical Java Bytecode.
IFM
James Baxter, Ana Cavalcanti
2016 B conf
Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment.
IFM
Leo Freitas, James Baxter, Ana Cavalcanti, Andy J. Wellings
2015 — conf
Safety-Critical Java Virtual Machine Services.
JTRES
James Baxter, Ana Cavalcanti, Andy J. Wellings, Leo Freitas