Author Info
Name
Affiliation
Papers
ALVARO MIYAZAWA
Univ York, Dept Comp Sci, York YO10 5DD, N Yorkshire, England
20
Collaborators
Citations 
PageRank 
39
91
9.33
Referers 
Referees 
References 
146
444
257
Search Limit
100444
Title
Citations
PageRank
Year
Verified simulation for robotics.10.412019
: Specification and refinement of Safety-Critical Java programs.00.342019
RoboChart: modelling and verification of the functional behaviour of robotic applications20.372019
Automating Verification of State Machines with Reactive Designs and Isabelle/UTP.10.342018
Modelling And Verification For Swarm Robotics20.372018
Modelling and Verification of Timed Robotic Controllers.40.402017
An integrated semantics for reasoning about SysML design models using refinement40.422017
From Formalised State Machines to Implementations of Robotic Controllers30.382016
Java in the Safety-Critical Domain.00.342016
Refinement Strategies for Safety-Critical Java.00.342015
Scj-Circus: A Refinement-Oriented Formal Notation For Safety-Critical Java00.342015
SysML contracts for systems of systems100.722014
Assurance Cases for Block-Configurable Software00.342014
An approach for managing semantic heterogeneity in Systems of Systems Engineering30.412014
Refinement-based verification of implementations of Stateflow charts.00.342014
Formal Models of SysML Blocks.40.472013
COMPASS tool vision for a system of systems Collaborative Development Environment.100.572012
Features of CML: A formal modelling language for Systems of Systems361.552012
Refinement-oriented models of Stateflow charts90.532012
Refinement-Based Verification Of Sequential Implementations Of Stateflow Charts20.372011