Pedro Ribeiro
Pedro Ribeiro
Research Associate at Department of Computer Science, University of York
Verified email at york.ac.uk - Homepage
Title
Cited by
Cited by
Year
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
532019
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
462017
Verified simulation for robotics
A Cavalcanti, A Sampaio, A Miyazawa, P Ribeiro, M Conserva Filho, ...
Science of Computer Programming 174, 1-37, 2019
222019
Modelling and Verification of Timed Robotic Controllers
P Ribeiro, A Miyazawa, W Li, A Cavalcanti, J Timmis
International Conference on Integrated Formal Methods, 18-33, 2017
172017
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
14*2019
RoboChart reference manual
A Miyazawa, A Cavalcanti, P Ribeiro, W Li, J Woodcock, J Timmis
Technical report, University of York, 2017
132017
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
112016
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, 517-529, 2018
102018
Designs with angelic nondeterminism
P Ribeiro, A Cavalcanti
2013 International Symposium on Theoretical Aspects of Software Engineering …, 2013
102013
Modelling and Verification for Swarm Robotics
A Cavalcanti, A Miyazawa, A Sampaio, W Li, P Ribeiro, J Timmis
International Conference on Integrated Formal Methods, 1-19, 2018
82018
UTP Designs for Binary Multirelations
P Ribeiro, A Cavalcanti
International Colloquium on Theoretical Aspects of Computing, 388-405, 2014
42014
Angelic Processes
P Ribeiro
Ph. D. dissertation (extended version), University of York, 2014
32014
Angelicism in the Theory of Reactive Processes
P Ribeiro, A Cavalcanti
International Symposium on Unifying Theories of Programming, 42-61, 2014
32014
Sound reasoning in tock-CSP
J Baxter, P Ribeiro, A Cavalcanti
Acta Informatica, 1-38, 2021
22021
RoboSim Reference Manual
A Cavalcanti, P Ribeiro, A Sampaio, A Didier
22018
A Stepwise Approach to Linking Theories
P Ribeiro, A Cavalcanti, J Woodcock
International Symposium on Unifying Theories of Programming, 134-154, 2016
22016
Modelling Ada implementations of control law diagrams in Circus
PF Ribeiro, A Cavalcanti
MasterĒs thesis, University of York, United Kingdom, 2011
22011
Reactive angelic processes
P Ribeiro
Technical report, University of York (February 2014). http://www-users. cs …, 2014
12014
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
2021
Safety Assurance of a High Voltage Controller for an Industrial Robotic System
Y Murray, DA Anisi, M Sirevåg, P Ribeiro, RS Hagag
Brazilian Symposium on Formal Methods, 45-63, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–20