Pedro Ribeiro

A Verification Methodology for Safety Assurance of RAS
Adam, M., Anisi, D. A. & Ribeiro, P., 2026, Towards Autonomous Robotic Systems (TAROS 2025). p. 281-294 14 p. (Lecture Notes in Computer Science; vol. 16045).
Research output: Chapter in Book/Report/Conference proceeding › Chapter
Engineering safe robotics software from simulation models via RoboSim
Ribeiro, P., Almeida, D., E. R. Bezerra, P., CAVALCANTI, A. L. C., Lecomte, T. & Oliveira, M., 14 Jan 2026, (Accepted/In press) The 7th International School on Engineering Trustworthy Software Systems (SETSS 2025). Springer, (Lecture notes in computer science; vol. 16481).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File
Predictive Varanus: Combining CSP Conformance Monitoring with Predictive LTL Runtime Verification
Ferrando, A., LUCKCUCK, M. & Ribeiro, P., 9 Sept 2026, 27th Towards Autonomous Robotic Systems. 8 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File

A Calculus for Software Engineering of Mobile and Autonomous Robots
Cavalcanti, A. (Principal investigator), TIMMIS, J. (Co-investigator), WOODCOCK, J. (Co-investigator), Foster, S. (Researcher), LI, W. (Researcher), Miyazawa, A. (Researcher) & Ribeiro, P. (Researcher)
EPSRC
1/09/15 → 30/06/21
Project: Research project (funded) › Research

15th International Conference on Formal Methods in Software Engineering (Event)
Ribeiro, P. (Chair)
1 Sept 2026 → 27 Apr 2027
Activity: Publication peer-review and editorial work › Committee
29th Brazilian Symposium on Formal Methods (Event)
Ribeiro, P. (Chair)
1 Mar 2026 → 4 Dec 2026
Activity: Publication peer-review and editorial work › Membership of peer review panel or committee
Fourth Summer School on Robotic Mission Engineering
Ribeiro, P. (Keynote/plenary speaker)
23 Feb 2026
Activity: Participating in or organising an event › Seminar/workshop/course

Collaborations and top research areas from the last five years