Pedro Ribeiro
Pedro Ribeiro
Research Fellow at School of Physics, Engineering and Technology, University of York
Verified email at - Homepage
Cited by
Cited by
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
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
Verified simulation for robotics
A Cavalcanti, A Sampaio, A Miyazawa, P Ribeiro, M Conserva Filho, ...
Science of Computer Programming 174, 1-37, 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
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
RoboChart reference manual
A Miyazawa, A Cavalcanti, P Ribeiro, W Li, J Woodcock, J Timmis
Technical report, University of York, 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
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
Sound reasoning in tock-CSP
J Baxter, P Ribeiro, A Cavalcanti
Acta Informatica, 1-38, 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
Designs with angelic nondeterminism
P Ribeiro, A Cavalcanti
2013 International Symposium on Theoretical Aspects of Software Engineering …, 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
Angelicism in the Theory of Reactive Processes
P Ribeiro, A Cavalcanti
Unifying Theories of Programming: 5th International Symposium, UTP 2014 …, 2015
UTP Designs for Binary Multirelations
P Ribeiro, A Cavalcanti
Theoretical Aspects of Computing–ICTAC 2014: 11th International Colloquium …, 2014
RoboSim Reference Manual
A Cavalcanti, P Ribeiro, A Sampaio, A Didier
Angelic Processes
P Ribeiro
Ph. D. dissertation (extended version), University of York, 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
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
A stepwise approach to linking theories
P Ribeiro, A Cavalcanti, J Woodcock
Unifying Theories of Programming: 6th International Symposium, UTP 2016 …, 2017
Modelling Ada implementations of control law diagrams in Circus
PF Ribeiro, A Cavalcanti
Master’s thesis, University of York, United Kingdom, 2011
The system can't perform the operation now. Try again later.
Articles 1–20