Concepedia

Pedro Ribeiro

PR

Statistics

Publications

6

Citations

256

H-Index

6

Active since

2017

Affiliations

University of York(Current)

Pedro Ribeiro is an author at University of York specializing in formal methods, computing, and computer science.

Publications per year

2017–2022

6

Publications

6

RoboChart: modelling and verification of the functional behaviour of robotic applications

Alvaro Miyazawa, Pedro Ribeiro, Wei Li et al. · Software & Systems Modeling · 2019 · 113 citations · Full text

Computing, Computer Science, Robotics Engineering +17

Verified simulation for robotics

Ana Cavalcanti, Augusto Sampaio, Alvaro Miyazawa et al. · Science of Computer Programming · 2019 · 45 citations

Engineering, Robotics Engineering, Robot Control +4

Automatic property checking of robotic applications

Alvaro Miyazawa, Pedro Ribeiro, Wei Li et al. · 2017 · 35 citations

Computing, Computer Science, Robotics Engineering +15

Sound reasoning in tock-CSP

James Baxter, Pedro Ribeiro, Ana Cavalcanti · Acta Informatica · 2021 · 32 citations · Full text

Computing, Computer Science, Computer Systems +17

Safety assurance of an industrial robotic control system using hardware/software co-verification

Yvonne Murray, Martin Sirevåg, Pedro Ribeiro et al. · Science of Computer Programming · 2022 · 17 citations · Full text

Engineering, Robotics Engineering, Systems Engineering +17

1–5 of 6