James Baxter
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2016–2026
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ITP | Automated Verification of Robot Software Models with Assume-Guarantee Reasoning in Isabelle/HOL. | Fang Yan, Benot Ballenghien, Simon Foster, Ana Cavalcanti, James Baxter, Burkhart Wolff |
| 2025 | FASE | Formal Architectural Patterns for Adaptive Robotic Software. | James Baxter, Bert Van Acker, Morten Haahr Kristensen, Thomas Wright, Ana Cavalcanti, Cludio Gomes |
| 2021 | ICTAC | Model-Based Engineering for Robotics with RoboChart and RoboTool. | Ana Cavalcanti, Ziggy Attala, James Baxter, Alvaro Miyazawa, Pedro Ribeiro |
| 2021 | SEFM | RoboWorld: Where Can My Robot Work? | Ana Cavalcanti, James Baxter, Gustavo Carvalho |
| 2019 | TAP | Testing Robots Using CSP. | Ana Cavalcanti, James Baxter, Robert M. Hierons, Raluca Lefticaru |
| 2017 | IFM | Algebraic Compilation of Safety-Critical Java Bytecode. | James Baxter, Ana Cavalcanti |
| 2016 | IFM | Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment. | Leo Freitas, James Baxter, Ana Cavalcanti, Andy J. Wellings |