Pedro Ribeiro

University of York

论文数

15

总引用数

298

H-Index

8

关于

暂无简介。

研究焦点

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

主要成就

8
H 指数
15
论文
298
总引用数
20
篇均引用
🏆 最高被引论文
RoboChart: modelling and verification of the functional behaviour of robotic applications
113 次引用 · 2019
📈 最高产年份: 2024 (4 论文)
🤝 主要合作者: 41
🏛 所属机构: University of York

代表论文

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

主要合作者

ACAna Cavalcanti14 篇合著论文AMAlvaro Miyazawa10 篇合著论文JTJon Timmis8 篇合著论文JWJim Woodcock3 篇合著论文RCRadu Călinescu3 篇合著论文SGSinem Getir Yaman3 篇合著论文JBJames Baxter3 篇合著论文ASAugusto Sampaio3 篇合著论文BTBeverley Townsend2 篇合著论文MCMadiel Conserva Filho2 篇合著论文CPColin Paterson2 篇合著论文WLWei Li2 篇合著论文CBCharlie Burholt1 篇合著论文DADavid A. Anisi1 篇合著论文SDShival Dubey1 篇合著论文RRRob Richardson1 篇合著论文MPMark Post1 篇合著论文BKBilal Kaddouh1 篇合著论文MRMohammad Reza Mousavi1 篇合著论文WLWei Li1 篇合著论文
尚未生成