Alvaro Miyazawa

University of York

Papers

17

Total Citations

336

H-Index

9

About

No biography available yet.

Research Focus

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

Key Achievements

9
H-Index
17
Papers
336
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: 2017 (3 Papers)
🤝 Key Collaborators: 29
🏛 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
    Automating Verification of State Machines with Reactive Designs and Isabelle/UTP
    27 citations · 2018
  6. 6
    Probabilistic modelling and verification using RoboChart and PRISM
    26 citations · 2021
  7. 7
    From Formalised State Machines to Implementations of Robotic Controllers
    14 citations · 2018
  8. 8
    Modelling and Verification of Timed Robotic Controllers
    13 citations · 2017
  9. 9
    Modelling and Verification for Swarm Robotics
    10 citations · 2018
  10. 10
    Software engineering for robotics
    6 citations · 2024

Key Collaborators

ACAna Cavalcanti17 shared papersPRPedro Ribeiro10 shared papersJTJon Timmis10 shared papersJWJim Woodcock5 shared papersJBJames Baxter4 shared papersASAugusto Sampaio3 shared papersMCMadiel Conserva Filho2 shared papersWBWill Barnett2 shared papersSFSimon Foster2 shared papersWLWei Li2 shared papersKAKieran Alden1 shared papersGCGustavo Carvalho1 shared papersWLWei Li1 shared papersRRRichard Redpath1 shared papersWLWei Li1 shared papersWLWei Li1 shared papersZAZiggy Attala1 shared papersPGPeter Gorm Larsen1 shared papersSASara Ahmadi1 shared papersKYKangfeng Ye1 shared papers
Not generated yet