Concepedia

Alvaro Miyazawa

AM

Statistics

Publications

9

Citations

379

H-Index

9

Active since

2011

Affiliations

University of York(Current)

Universidade Federal de Pernambuco

Newcastle University

Aarhus University

Alvaro Miyazawa is an author at University of York specializing in engineering, systems engineering, and formal methods.

Top concepts

EngineeringSystems EngineeringFormal MethodsSoftware DesignFormal VerificationVerificationComputer ScienceSoftware EngineeringRoboticsAutomation

Publications per year

2011–2021

9

Publications

9

RoboChart: modelling and verification of the functional behaviour of robotic applications

Alvaro Miyazawa, Pedro Ribeiro, Wei Li et al. · Software & Systems Modeling · 2019 · 107 citations · Full text

Robot Kinematics, Present Robochart, Robotic Systems +28

Features of CML: A formal modelling language for Systems of Systems

Jim Woodcock, Ana Cavalcanti, John Fitzgerald et al. · 2012 · 74 citations

Engineering, Verification, Software Engineering +20

Verified simulation for robotics

Ana Cavalcanti, Augusto Sampaio, Alvaro Miyazawa et al. · Science of Computer Programming · 2019 · 40 citations

Robot Kinematics, Engineering, Network Robotics +6

Automatic property checking of robotic applications

Alvaro Miyazawa, Pedro Ribeiro, Wei Li et al. · 2017 · 34 citations

Engineering, Verification, Field Robotics +21

COMPASS tool vision for a system of systems Collaborative Development Environment

Joey W. Coleman, Anders Kaels Malmos, Peter Gorm Larsen et al. · 2012 · 30 citations

Software Maintenance, Engineering, Collaborative Design +22

1–5 of 9