James Baxter - RankMe

24 papers B 4C 1Journal 12Unranked 4

Year	Rank	Type	Title / 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