| 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, 3097-3149, 2019 | 131 | 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 | 55 | 2017 |
| Verified simulation for robotics A Cavalcanti, A Sampaio, A Miyazawa, P Ribeiro, M Conserva Filho, ... Science of Computer Programming 174, 1-37, 2019 | 51 | 2019 |
| Sound reasoning in tock-CSP J Baxter, P Ribeiro, A Cavalcanti Acta Informatica, 1-38, 2021 | 35 | 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 | 30 | 2021 |
| RoboChart reference manual A Miyazawa, A Cavalcanti, P Ribeiro, W Li, J Woodcock, J Timmis Technical report, University of York, 2017 | 24 | 2017 |
| 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 | 22 | 2018 |
| Isabelle/UTP: mechanised theory engineering for unifying theories of programming SD Foster, F Zeyda, Y Nemouchi, PFDOS Ribeiro, B Wolff Archive of Formal Proofs, 2019 | 21* | 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 | 21 | 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 | 19 | 2016 |
| 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 | 15 | 2022 |
| 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 | 13 | 2018 |
| Designs with angelic nondeterminism P Ribeiro, A Cavalcanti 2013 International Symposium on Theoretical Aspects of Software Engineering …, 2013 | 11 | 2013 |
| Angelicism in the Theory of Reactive Processes P Ribeiro, A Cavalcanti Unifying Theories of Programming: 5th International Symposium, UTP 2014 …, 2015 | 6 | 2015 |
| 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 | 5 | 2020 |
| RoboSim Reference Manual A Cavalcanti, P Ribeiro, A Sampaio, A Didier | 5 | 2018 |
| UTP Designs for Binary Multirelations P Ribeiro, A Cavalcanti Theoretical Aspects of Computing–ICTAC 2014: 11th International Colloquium …, 2014 | 5 | 2014 |
| 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 | 4 | 2021 |
| Specification, Validation and Verification Of Social, Legal, Ethical, Empathetic and Cultural Requirements For Autonomous Agents S Getir Yaman, P Ribeiro, A Cavalcanti, R Calinescu, C Paterson, ... Empathetic and Cultural Requirements For Autonomous Agents, 2024 | 3* | 2024 |
| Angelic processes for CSP via the UTP P Ribeiro, A Cavalcanti Theoretical Computer Science 756, 19-63, 2019 | 3 | 2019 |
Ana CavalcantiUniversity of YorkAdresse e-mail validée de cs.york.ac.uk
