| RoboChart: modelling and verification of the functional behaviour of robotic applications A Miyazawa, P Ribeiro, W Li, A Cavalcanti, J Timmis, J Woodcock Software & Systems Modeling 18 (5), 3097-3149, 2019 | 78 | 2019 |
| Automatic property checking of robotic applications A Miyazawa, P Ribeiro, W Li, A Cavalcanti, J Timmis 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2017 | 50 | 2017 |
| Verified simulation for robotics A Cavalcanti, A Sampaio, A Miyazawa, P Ribeiro, M Conserva Filho, ... Science of Computer Programming 174, 1-37, 2019 | 32 | 2019 |
| Modelling and verification of timed robotic controllers P Ribeiro, A Miyazawa, W Li, A Cavalcanti, J Timmis Integrated Formal Methods: 13th International Conference, IFM 2017, Turin …, 2017 | 19 | 2017 |
| Isabelle/UTP: Mechanised Theory Engineering for Unifying Theories of Programming SD Foster, F Zeyda, Y Nemouchi, PF De Oliveira Salazar Ribeiro, B Wolff Archive of Formal Proofs, 2019 | 16* | 2019 |
| RoboChart reference manual A Miyazawa, A Cavalcanti, P Ribeiro, W Li, J Woodcock, J Timmis Technical report, University of York, 2017 | 16 | 2017 |
| RoboChart: a state-machine notation for modelling and verification of mobile and autonomous robots A Miyazawa, P Ribeiro, W Li, ALC Cavalcanti, J Timmis, JCP Woodcock Tech. Rep., 2016 | 15 | 2016 |
| From formalised state machines to implementations of robotic controllers W Li, A Miyazawa, P Ribeiro, A Cavalcanti, J Woodcock, J Timmis Distributed Autonomous Robotic Systems: the 13th International Symposium …, 2018 | 14 | 2018 |
| Sound reasoning in tock-CSP J Baxter, P Ribeiro, A Cavalcanti Acta Informatica, 1-38, 2021 | 11 | 2021 |
| Modelling and verification for swarm robotics A Cavalcanti, A Miyazawa, A Sampaio, W Li, P Ribeiro, J Timmis Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth …, 2018 | 10 | 2018 |
| Designs with angelic nondeterminism P Ribeiro, A Cavalcanti 2013 International Symposium on Theoretical Aspects of Software Engineering …, 2013 | 10 | 2013 |
| 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 | 7 | 2021 |
| Angelicism in the Theory of Reactive Processes P Ribeiro, A Cavalcanti Unifying Theories of Programming: 5th International Symposium, UTP 2014 …, 2015 | 4 | 2015 |
| UTP Designs for Binary Multirelations P Ribeiro, A Cavalcanti Theoretical Aspects of Computing–ICTAC 2014: 11th International Colloquium …, 2014 | 4 | 2014 |
| RoboSim Reference Manual A Cavalcanti, P Ribeiro, A Sampaio, A Didier | 3 | 2018 |
| Angelic Processes P Ribeiro Ph. D. dissertation (extended version), University of York, 2014 | 3 | 2014 |
| Safety assurance of an industrial robotic control system using hardware/software co-verification Y Murray, M Sirevåg, P Ribeiro, DA Anisi, M Mossige Science of Computer Programming 216, 102766, 2022 | 2 | 2022 |
| Safety assurance of a high voltage controller for an industrial robotic system Y Murray, DA Anisi, M Sirevåg, P Ribeiro, RS Hagag Formal Methods: Foundations and Applications: 23rd Brazilian Symposium, SBMF …, 2020 | 2 | 2020 |
| A stepwise approach to linking theories P Ribeiro, A Cavalcanti, J Woodcock Unifying Theories of Programming: 6th International Symposium, UTP 2016 …, 2017 | 2 | 2017 |
| Modelling Ada implementations of control law diagrams in Circus PF Ribeiro, A Cavalcanti Master’s thesis, University of York, United Kingdom, 2011 | 2 | 2011 |
Ana CavalcantiUniversity of YorkVerified email at cs.york.ac.uk
