Alvaro Miyazawa

University of York

论文数

17

总引用数

336

H-Index

9

关于

暂无简介。

研究焦点

Computer science16 · 334 次引用
Programming language16 · 334 次引用
Artificial intelligence13 · 277 次引用
Software11 · 252 次引用
Software engineering9 · 239 次引用
Robot11 · 220 次引用
Domain (mathematical analysis)7 · 211 次引用
Semantics (computer science)7 · 209 次引用
Model checking3 · 174 次引用
Unified Modeling Language4 · 171 次引用
Formal semantics (linguistics)2 · 140 次引用
Process (computing)3 · 119 次引用

主要成就

9
H 指数
17
论文
336
总引用数
20
篇均引用
🏆 最高被引论文
RoboChart: modelling and verification of the functional behaviour of robotic applications
113 次引用 · 2019
📈 最高产年份: 2017 (3 论文)
🤝 主要合作者: 29
🏛 所属机构: 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
    Automating Verification of State Machines with Reactive Designs and Isabelle/UTP
    27 次引用 · 2018
  6. 6
    Probabilistic modelling and verification using RoboChart and PRISM
    26 次引用 · 2021
  7. 7
    From Formalised State Machines to Implementations of Robotic Controllers
    14 次引用 · 2018
  8. 8
    Modelling and Verification of Timed Robotic Controllers
    13 次引用 · 2017
  9. 9
    Modelling and Verification for Swarm Robotics
    10 次引用 · 2018
  10. 10
    Software engineering for robotics
    6 次引用 · 2024

主要合作者

ACAna Cavalcanti17 篇合著论文PRPedro Ribeiro10 篇合著论文JTJon Timmis10 篇合著论文JWJim Woodcock5 篇合著论文JBJames Baxter4 篇合著论文ASAugusto Sampaio3 篇合著论文MCMadiel Conserva Filho2 篇合著论文WBWill Barnett2 篇合著论文SFSimon Foster2 篇合著论文WLWei Li2 篇合著论文KAKieran Alden1 篇合著论文GCGustavo Carvalho1 篇合著论文WLWei Li1 篇合著论文RRRichard Redpath1 篇合著论文WLWei Li1 篇合著论文WLWei Li1 篇合著论文ZAZiggy Attala1 篇合著论文PGPeter Gorm Larsen1 篇合著论文SASara Ahmadi1 篇合著论文KYKangfeng Ye1 篇合著论文
尚未生成