Следене
James Baxter
James Baxter
Потвърден имейл адрес: york.ac.uk
Заглавие
Позовавания
Позовавания
Година
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
342020
Automating verification of state machines with reactive designs and Isabelle/UTP
S Foster, J Baxter, A Cavalcanti, A Miyazawa, J Woodcock
Formal Aspects of Component Software: 15th International Conference, FACS …, 2018
282018
Sound reasoning in tock-CSP
J Baxter, P Ribeiro, A Cavalcanti
Acta Informatica 59 (1), 125-162, 2022
232022
RoboStar technology: a roboticist’s toolbox for combined proof, simulation, and testing
A Cavalcanti, W Barnett, J Baxter, G Carvalho, MC Filho, A Miyazawa, ...
Software Engineering for Robotics, 249-293, 2021
192021
Testing robots using CSP
A Cavalcanti, J Baxter, RM Hierons, R Lefticaru
Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of …, 2019
142019
RoboWorld: Where can my robot work?
A Cavalcanti, J Baxter, G Carvalho
Software Engineering and Formal Methods: 19th International Conference, SEFM …, 2021
102021
Automated algebraic reasoning for collections and local variables with lenses
S Foster, J Baxter
Relational and Algebraic Methods in Computer Science: 18th International …, 2020
62020
Roboworld: Verification of robotic systems with environment in the loop
J Baxter, G Carvalho, A Cavalcanti, FR Júnior
Formal Aspects of Computing 35 (4), 1-46, 2023
52023
Testing using CSP models: time, inputs, and outputs–Extended version
J Baxter, ALC Cavalcanti, M Gazda, R Hierons
Technical Report. RoboStar Centre on Software Engineering for Robotics …, 2022
52022
Modelling and verifying a priority scheduler for an SCJ runtime environment
L Freitas, J Baxter, A Cavalcanti, A Wellings
Integrated Formal Methods: 12th International Conference, IFM 2016 …, 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
Testing using CSP models: Time, inputs, and outputs
J Baxter, A Cavalcanti, M Gazda, RM Hierons
ACM Transactions on Computational Logic 24 (2), 1-40, 2023
42023
RoboWorld Reference Manual
J Baxter, ALC Cavalcanti, G Carvalho, F Rodrigues Jr
Technical Report. RoboStar Centre on Software Engineering for Robotics …, 2022
22022
Model-Based Engineering for Robotics with RoboChart and RoboTool
A Cavalcanti, Z Attala, J Baxter, A Miyazawa, P Ribeiro
International Colloquium on Theoretical Aspects of Computing, 106-151, 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
Sound reasoning in tock-CSP (Apr, 10.1007/s00236-020-00394-3, 2021)
J Baxter, P Ribeiro, A Cavalcanti
ACTA INFORMATICA 59 (2-3), 283-283, 2022
12022
Reactive Designs in Isabelle/UTP
SD Foster, JE Baxter, ALC Cavalcanti, JCP Woodcock, SJ Canham
12018
Correction to: Sound reasoning in tock-CSP
J Baxter, P Ribeiro, A Cavalcanti
Acta Informatica 59 (2-3), 283-283, 2022
2022
Priorities in tock-CSP
P Ribeiro, J Baxter, A Cavalcanti
arXiv preprint arXiv:1907.07974, 2019
2019
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20