Folgen
Pedro Ribeiro
Pedro Ribeiro
Lecturer at the Department of Computer Science, University of York
Bestätigte E-Mail-Adresse bei york.ac.uk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
1312019
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
552017
Verified simulation for robotics
A Cavalcanti, A Sampaio, A Miyazawa, P Ribeiro, M Conserva Filho, ...
Science of Computer Programming 174, 1-37, 2019
502019
Sound reasoning in tock-CSP
J Baxter, P Ribeiro, A Cavalcanti
Acta Informatica, 1-38, 2021
352021
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
302021
RoboChart reference manual
A Miyazawa, A Cavalcanti, P Ribeiro, W Li, J Woodcock, J Timmis
Technical report, University of York, 2017
242017
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
222018
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
212017
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
192016
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
152022
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
132018
Designs with angelic nondeterminism
P Ribeiro, A Cavalcanti
2013 International Symposium on Theoretical Aspects of Software Engineering …, 2013
112013
Angelicism in the Theory of Reactive Processes
P Ribeiro, A Cavalcanti
Unifying Theories of Programming: 5th International Symposium, UTP 2014 …, 2015
62015
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
52020
RoboSim Reference Manual
A Cavalcanti, P Ribeiro, A Sampaio, A Didier
52018
UTP Designs for Binary Multirelations
P Ribeiro, A Cavalcanti
Theoretical Aspects of Computing–ICTAC 2014: 11th International Colloquium …, 2014
52014
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
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
32021
Angelic processes for CSP via the UTP
P Ribeiro, A Cavalcanti
Theoretical Computer Science 756, 19-63, 2019
32019
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20