Pedro Ribeiro - York Research Database

Phone(01904) 326367
Emailpedro.ribeiroyork.acuk

Accepting PhD Students

PhD projects

https://www.findaphd.com/phds/project/albert-cdt-project-verification-of-human-robot-teamwork-in-chemical-experiments/?p166374

11 Conference contribution
11 Article
3 Chapter
3 Poster
More

Specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents
Getir Yaman, S., Ribeiro, P., Cavalcanti, A., Calinescu, R., Paterson, C. & Townsend, B., 1 Feb 2025, In: Journal of Systems and Software. 220, 21 p., 112229.
Research output: Contribution to journal › Article › peer-review

Open Access
File
Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents
Getir Yaman, S., Ribeiro, P., Cavalcanti, A. L. C., Calinescu, R., Paterson, C. & Townsend, B., 1 Feb 2025, In: Journal of Systems and Software. 220, 21 p., 112229.
Research output: Contribution to journal › Article › peer-review

Open Access
File
A Tour Through the Programming Choices: Semantics and Applications
Ribeiro, P., Ye, K., Zeyda, F. & Miyazawa, A., 1 Sept 2024, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): The Application of Formal Methods. Foster, S. & Sampaio, A. (eds.). Springer Science and Business Media Deutschland GmbH, Vol. 14900. p. 261-305 45 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14900 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Chapter

Open Access
File

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

1 Public engagement and outreach (general)
1 Invited talk
1 Workshop

Co-verification for robotics: from simulation to verification of hybrid systems
De Oliveira Salazar Ribeiro, P. F. (Speaker)
4 Sept 2023
Activity: Talk or presentation › Workshop
Co-verification for robotics: simulation and verification by proof
De Oliveira Salazar Ribeiro, P. F. (Invited speaker)
5 Jun 2023
Activity: Talk or presentation › Invited talk
RoboScience: can using robots add up to a safer world?
Alvaro Miyazawa (Presenter), Pedro Fernando De Oliveira Salazar Ribeiro (Presenter), Simon David Foster (Presenter) & Wei Li (Presenter)
16 May 2018
Activity: Other › Public engagement and outreach (general)