Alvaro Miyazawa

PROFILE

Homepage
No homepage is listed.
ORCID
No ORCID is listed.
Affiliations
No affiliations are listed.
Aliases
No aliases are listed.
Publication record
43 papers · 576 citations · H-index 13

PAPERS

A model-based approach for co-simulation-driven digital twins in robotics
20261 citationsauthor #3
Application of FMI 3.0 Synchronous Clocks to Co-simulation of Robotic Systems
20260 citationsauthor #2
Correction: Diagrammatic physical robot models
20250 citationsauthor #1
Diagrammatic physical robot models
20252 citationsauthor #1
Software engineering for robotics
20241 citationsauthor #2
A Tour Through the Programming Choices: Semantics and Applications
20240 citationsauthor #4
Formal design, verification and implementation of robotic controller software via RoboChart and RoboTool
20246 citationsauthor #3
Bringing RoboStar and RT-Tester Together
20231 citationsauthor #2
Architectural modelling for robotics: RoboArch and the CorteX example
20224 citationsauthor #3
Probabilistic modelling and verification using RoboChart and PRISM
202127 citationsauthor #4
Model-Based Engineering for Robotics with RoboChart and RoboTool
20211 citationsauthor #4
RoboStar Technology: A Roboticist’s Toolbox for Combined Proof, Simulation, and Testing
202019 citationsauthor #6
SCJ-Circus: Specification and refinement of Safety-Critical Java programs
20191 citationsauthor #1
Verified simulation for robotics
201935 citationsauthor #3
RoboChart: modelling and verification of the functional behaviour of robotic applications
2019102 citationsauthor #1
Modelling and Verification for Swarm Robotics
20188 citationsauthor #2
Automating Verification of State Machines with Reactive Designs and Isabelle/UTP
201830 citationsauthor #4
Integrated Formal Methods
201715 citationsauthor #2
Sound Simulation and Co-simulation for Robotics
20175 citationsauthor #2
Automatic property checking of robotic applications
201751 citationsauthor #1
From Formalised State Machines to Implementations of Robotic Controllers
201715 citationsauthor #2
Chapter 1 Sound Simulation and Co-simulation for Robotics
20170 citationsauthor #2
SCJ-Circus: a refinement-oriented formal notation for Safety-Critical Java
20168 citationsauthor #1
Java in the Safety-Critical Domain
20164 citationsauthor #2
An integrated semantics for reasoning about SysML design models using refinement
201519 citationsauthor #2
Refinement strategy for Safety-Critical Java
20151 citationsauthor #1
Refinement Strategies for Safety-Critical Java
20153 citationsauthor #1
Project: COMPASS Grant Agreement: 287829 Comprehensive Modelling for Advanced Systems of Systems
20151 citationsauthor #2
Formal Refinement in SysML
201410 citationsauthor #1
An approach for managing semantic heterogeneity in Systems of Systems Engineering
20149 citationsauthor #2
Assurance Cases for Block-Configurable Software
20145 citationsauthor #2
SysML contracts for systems of systems
201427 citationsauthor #4
Comprehensive Modelling for Advanced Systems of Systems Refinement in CML and SysML Document Number : Document Number Version : 0 . 0
20141 citationsauthor #1
Refinement-based verification of implementations of Stateflow charts
20144 citationsauthor #1
Project : COMPASS Grant Agreement : 287829 Comprehensive Modelling for Advanced Systems of Systems SysML State Machines : a formal model for refinement COMPASS
20130 citationsauthor #1
Formal Models of SysML Blocks
20139 citationsauthor #1
Refinement-based verification of implementations of Stateflow charts
20130 citationsauthor #1
COMPASS tool vision for a system of systems Collaborative Development Environment
201236 citationsauthor #9
Formal verification of implementations of Stateflow charts
20124 citationsauthor #1
Features of CML: A formal modelling language for Systems of Systems
201281 citationsauthor #5
Refinement-oriented models of Stateflow charts
201225 citationsauthor #1
Refinement-based verification of sequential implementations of Stateflow charts
20114 citationsauthor #1
Comprehensive Modelling for Advanced Systems of Systems Authors: Sysml Blocks in Cml
year unknown1 citationsauthor #2
Third York Doctoral Symposium on Computing Scope of the Symposium Ii Technical Session I: Software Engineering Generating Formal Mt Specification Using a Template-based Approach . . 3
year unknown0 citationsauthor #1

TIMELINE

2011 4 citations

2012 146 citations

2013 9 citations

2014 56 citations

2015 24 citations

2016 12 citations

2017 86 citations

2018 38 citations

2019 138 citations

2020 19 citations

2021 28 citations

2022 4 citations

2023 1 citations

2024 7 citations

2025 2 citations

2026 1 citations

Unknown 1 citations

Alvaro Miyazawa

PROFILE

PAPERS

TIMELINE

COAUTHOR MAP

CONCEPT FOOTPRINT