Παρακολούθηση
James Baxter
James Baxter
University of York
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα 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
472020
Sound reasoning in tock-CSP
J Baxter, P Ribeiro, A Cavalcanti
Acta Informatica 59 (1), 125-162, 2022
352022
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
332018
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
312021
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
132021
Automated algebraic reasoning for collections and local variables with lenses
S Foster, J Baxter
Relational and Algebraic Methods in Computer Science: 18th International …, 2020
82020
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
72023
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
62016
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
62015
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
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
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
52021
Requirements for Safety-Critical Java Virtual Machines
J Baxter
Technical report, University of York, 2015
52015
RoboWorld Reference Manual
J Baxter, ALC Cavalcanti, G Carvalho, F Rodrigues Jr
Technical Report. RoboStar Centre on Software Engineering for Robotics …, 2022
22022
An Approach to verification of Safety-Critical Java Virtual Machines with Ahead-of-time compilation
J Baxter
Tech. rep., University of York, 2017
22017
The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part I
A Cavalcanti, J Baxter
Springer Nature, 2024
12024
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
Priorities in tock-CSP
P Ribeiro, J Baxter, A Cavalcanti
arXiv preprint arXiv:1907.07974, 2019
12019
Reactive Designs in Isabelle/UTP
SD Foster, JE Baxter, ALC Cavalcanti, JCP Woodcock, SJ Canham
12018
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20