James Baxter
James Baxter
Verified email at york.ac.uk
Title
Cited by
Cited by
Year
Automating verification of state machines with reactive designs and Isabelle/UTP
S Foster, J Baxter, A Cavalcanti, A Miyazawa, J Woodcock
International Conference on Formal Aspects of Component Software, 137-155, 2018
182018
Unifying semantic foundations for automated verification tools in Isabelle/UTP
S Foster, J Baxter, A Cavalcanti, J Woodcock, F Zeyda
Science of Computer Programming 197, 102510, 2020
162020
Modelling and verifying a priority scheduler for an SCJ runtime environment
L Freitas, J Baxter, A Cavalcanti, A Wellings
International Conference on Integrated Formal Methods, 63-78, 2016
52016
Safety-critical Java virtual machine services
J Baxter, A Cavalcanti, A Wellings, L Freitas
Proceedings of the 13th International Workshop on Java Technologies for Real …, 2015
52015
Requirements for Safety-Critical Java Virtual Machines
J Baxter
Technical report, University of York, 2015
52015
Automated algebraic reasoning for collections and local variables with lenses
S Foster, J Baxter
Relational and Algebraic Methods in Computer Science 12062, 100, 2020
32020
Testing robots using CSP
A Cavalcanti, J Baxter, RM Hierons, R Lefticaru
International Conference on Tests and Proofs, 21-38, 2019
32019
Sound reasoning in tock-CSP
J Baxter, P Ribeiro, A Cavalcanti
Acta Informatica, 2021
22021
An Approach to verification of Safety-Critical Java Virtual Machines with Ahead-of-time compilation
J Baxter
Tech. rep., University of York, 2017
22017
Automated system and method for prediction of device settings for stocks
C Dickinson, JE Baxter
US Patent 10,628,092, 2020
12020
Reactive Designs in Isabelle/UTP
SD Foster, JE Baxter, ALC Cavalcanti, JCP Woodcock, SJ Canham
York, 2018
12018
Correction to: Sound reasoning in tock-CSP
J Baxter, P Ribeiro, A Cavalcanti
Acta Informatica, 1-1, 2021
2021
RoboStar Technology: A Roboticist’s Toolbox for Combined Proof, Simulation, and Testing
A Cavalcanti, W Barnett, J Baxter, G Carvalho, M Conserva Filho, ...
Software Engineering for Robotics, 249-293, 2021
2021
Automated stock evaluation system and method
C Dickinson, JE Baxter
US Patent 10,599,086, 2020
2020
Priorities in tock-CSP
P Ribeiro, J Baxter, A Cavalcanti
arXiv preprint arXiv:1907.07974, 2019
2019
Ahead-of-Time Algebraic Compilation for Safety-Critical Java (Extended Version)
J Baxter
2018
Ahead-of-Time Algebraic Compilation for Safety-Critical Java
J Baxter
University of York, 2018
2018
Algebraic Compilation of Safety-Critical Java Bytecode
J Baxter, A Cavalcanti
International Conference on Integrated Formal Methods, 161-176, 2017
2017
Automated Algebraic Reasoning for Collections and Local Variables with Lenses
S FosterORCiD, J Baxter
Automating Verification of State Machines with Reactive Designs and Isabelle/UTP
S FosterORCiD, J Baxter, A Cavalcanti, A Miyazawa, J Woodcock
The system can't perform the operation now. Try again later.
Articles 1–20