Pedro Ribeiro

University of York

Papers

15

Total Citations

298

H-Index

8

About

No biography available yet.

Research Focus

Computer science15 · 298 citations
Programming language12 · 283 citations
Software9 · 254 citations
Artificial intelligence10 · 253 citations
Software engineering8 · 247 citations
Robot7 · 194 citations
Semantics (computer science)4 · 173 citations
Unified Modeling Language3 · 167 citations
Model checking3 · 165 citations
Domain (mathematical analysis)4 · 153 citations
Process (computing)2 · 115 citations
Consistency (knowledge bases)1 · 113 citations

Key Achievements

8
H-Index
15
Papers
298
Total Citations
20
Avg Citations/Paper
🏆 Most Cited Paper
RoboChart: modelling and verification of the functional behaviour of robotic applications
113 citations · 2019
📈 Most Prolific Year: 2024 (4 Papers)
🤝 Key Collaborators: 41
🏛 Institutions: University of York

Top Papers

  1. 1
    RoboChart: modelling and verification of the functional behaviour of robotic applications
    113 citations · 2019
  2. 2
    Verified simulation for robotics
    44 citations · 2019
  3. 3
    Automatic property checking of robotic applications
    35 citations · 2017
  4. 4
    RoboStar Technology: A Roboticist’s Toolbox for Combined Proof, Simulation, and Testing
    28 citations · 2020
  5. 5
    Safety assurance of an industrial robotic control system using hardware/software co-verification
    17 citations · 2022
  6. 6
    From Formalised State Machines to Implementations of Robotic Controllers
    14 citations · 2018
  7. 7
    Modelling and Verification of Timed Robotic Controllers
    13 citations · 2017
  8. 8
    Modelling and Verification for Swarm Robotics
    10 citations · 2018
  9. 9
    Specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents
    7 citations · 2024
  10. 10
    Toolkit for specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents
    6 citations · 2024

Key Collaborators

ACAna Cavalcanti14 shared papersAMAlvaro Miyazawa10 shared papersJTJon Timmis8 shared papersJWJim Woodcock3 shared papersRCRadu Călinescu3 shared papersSGSinem Getir Yaman3 shared papersJBJames Baxter3 shared papersASAugusto Sampaio3 shared papersBTBeverley Townsend2 shared papersMCMadiel Conserva Filho2 shared papersCPColin Paterson2 shared papersWLWei Li2 shared papersCBCharlie Burholt1 shared papersDADavid A. Anisi1 shared papersSDShival Dubey1 shared papersRRRob Richardson1 shared papersMPMark Post1 shared papersBKBilal Kaddouh1 shared papersMRMohammad Reza Mousavi1 shared papersWLWei Li1 shared papers
Not generated yet