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
1112019
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
542017
Verified simulation for robotics
A Cavalcanti, A Sampaio, A Miyazawa, P Ribeiro, M Conserva Filho, ...
Science of Computer Programming 174, 1-37, 2019
442019
Sound reasoning in tock-CSP
J Baxter, P Ribeiro, A Cavalcanti
Acta Informatica, 1-38, 2021
262021
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
222021
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
202017
RoboChart reference manual
A Miyazawa, A Cavalcanti, P Ribeiro, W Li, J Woodcock, J Timmis
Technical report, University of York, 2017
202017
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
19*2019
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
192018
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
182016
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
122018
Designs with angelic nondeterminism
P Ribeiro, A Cavalcanti
2013 International Symposium on Theoretical Aspects of Software Engineering …, 2013
112013
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
92022
Angelicism in the Theory of Reactive Processes
P Ribeiro, A Cavalcanti
Unifying Theories of Programming: 5th International Symposium, UTP 2014 …, 2015
52015
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
42020
RoboSim Reference Manual
A Cavalcanti, P Ribeiro, A Sampaio, A Didier
42018
UTP Designs for Binary Multirelations
P Ribeiro, A Cavalcanti
Theoretical Aspects of Computing–ICTAC 2014: 11th International Colloquium …, 2014
42014
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, 2023
3*2023
Angelic Processes
P Ribeiro
Ph. D. dissertation (extended version), University of York, 2014
32014
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
22021
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20