| 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 | 34 | 2020 |
| 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 | 28 | 2018 |
| Sound reasoning in tock-CSP J Baxter, P Ribeiro, A Cavalcanti Acta Informatica 59 (1), 125-162, 2022 | 22 | 2022 |
| 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 | 18 | 2021 |
| 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 | 14 | 2019 |
| RoboWorld: Where can my robot work? A Cavalcanti, J Baxter, G Carvalho Software Engineering and Formal Methods: 19th International Conference, SEFM …, 2021 | 10 | 2021 |
| Automated algebraic reasoning for collections and local variables with lenses S Foster, J Baxter Relational and Algebraic Methods in Computer Science: 18th International …, 2020 | 6 | 2020 |
| 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 | 5 | 2022 |
| 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 | 5 | 2016 |
| 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 | 5 | 2015 |
| Requirements for Safety-Critical Java Virtual Machines J Baxter Technical report, University of York, 2015 | 5 | 2015 |
| 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 | 4 | 2023 |
| 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 | 4 | 2023 |
| RoboWorld Reference Manual J Baxter, ALC Cavalcanti, G Carvalho, F Rodrigues Jr Technical Report. RoboStar Centre on Software Engineering for Robotics …, 2022 | 2 | 2022 |
| 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 | 2 | 2021 |
| An Approach to verification of Safety-Critical Java Virtual Machines with Ahead-of-time compilation J Baxter Tech. rep., University of York, 2017 | 2 | 2017 |
| 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 | 1 | 2022 |
| Reactive Designs in Isabelle/UTP SD Foster, JE Baxter, ALC Cavalcanti, JCP Woodcock, SJ Canham | 1 | 2018 |
| 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 |
Ana CavalcantiUniversity of YorkVerified email at cs.york.ac.uk
