Collaborations and top research areas from the last five years
-
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 AccessFile -
The SLEEC Framework for Normative Requirements Engineering
Ribeiro, P., Calinescu, R. C., CAVALCANTI, A. L. C., Chechik, M., Getir Yaman, S., Marsso, L., STANDEN, I. & TOWNSEND, B., 22 May 2026, Formal Methods - 27th International Symposium, FM 2026. Sampaio, A. & Stoelinga, M. (eds.). Springer Nature Switzerland, (Lecture notes in computer science).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Projects
- 1 Finished
-
A Calculus for Software Engineering of Mobile and Autonomous Robots
CAVALCANTI, A. L. C. (Principal investigator), TIMMIS, J. (Co-investigator), Woodcock, J. C. P. (Co-investigator), FOSTER, S. D. (Researcher), LI, W. (Researcher), Miyazawa, A. H. (Researcher) & Ribeiro, P. F. (Researcher)
1/09/15 → 30/06/21
Project: Research project (funded) › Research
Activities
-
26th TAROS Conference
Ribeiro, P. F. (Committee member)
22 Aug 2026Activity: Participating in or organising an event › Conference
-
14th International Conference on Formal Methods in Software Engineering (Event)
Ribeiro, P. F. (Chair)
1 Sept 2025 → Dec 2025Activity: Publication peer-review and editorial work › Membership of peer review panel or committee
-
York-Maastricht Robotics Doctoral Summer School 2025
Ribeiro, P. F. (Presenter)
18 Aug 2025 → 22 Aug 2025Activity: Participating in or organising an event › Seminar/workshop/course