Follow
Alvaro Miyazawa
Alvaro Miyazawa
Research Associate, University of York
Verified email at york.ac.uk
Title
Cited by
Cited by
Year
RoboChart: modelling and verification of the functional behaviour of robotic applications
A Miyazawa, P Ribeiro, W Li, A Cavalcanti, J Timmis, J Woodcock
Software & Systems Modeling 18, 3097-3149, 2019
1072019
Features of CML: A formal modelling language for Systems of Systems
J Woodcock, A Cavalcanti, J Fitzgerald, P Larsen, A Miyazawa, S Perry
2012 7th International conference on system of systems engineering (SoSE), 1-6, 2012
1022012
Automatic property checking of robotic applications
A Miyazawa, P Ribeiro, W Li, A Cavalcanti, J Timmis
2017 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2017
532017
Verified simulation for robotics
A Cavalcanti, A Sampaio, A Miyazawa, P Ribeiro, M Conserva Filho, ...
Science of Computer Programming 174, 1-37, 2019
432019
SysML contracts for systems of systems
J Bryans, J Fitzgerald, R Payne, A Miyazawa, K Kristensen
2014 9th International Conference on System of Systems Engineering (SOSE), 73-78, 2014
372014
COMPASS tool vision for a system of systems collaborative development environment
JW Coleman, AK Malmos, PG Larsen, J Peleska, R Hains, Z Andrews, ...
2012 7th International Conference on System of Systems Engineering (SoSE …, 2012
362012
Automating verification of state machines with reactive designs and Isabelle/UTP
S Foster, J Baxter, A Cavalcanti, A Miyazawa, J Woodcock
Formal Aspects of Component Software: 15th International Conference, FACS …, 2018
282018
An integrated semantics for reasoning about SysML design models using refinement
L Lima, A Miyazawa, A Cavalcanti, M Cornélio, J Iyoda, A Sampaio, ...
Software & Systems Modeling 16, 875-902, 2017
262017
Refinement-oriented models of Stateflow charts
A Miyazawa, A Cavalcanti
Science of Computer Programming 77 (10-11), 1151-1177, 2012
212012
Probabilistic modelling and verification using RoboChart and PRISM
K Ye, A Cavalcanti, S Foster, A Miyazawa, J Woodcock
Software and Systems Modeling, 1-50, 2022
192022
Modelling and verification of timed robotic controllers
P Ribeiro, A Miyazawa, W Li, A Cavalcanti, J Timmis
Integrated Formal Methods: 13th International Conference, IFM 2017, Turin …, 2017
192017
Robochart reference manual
A Miyazawa, A Cavalcanti, P Ribeiro, W Li, J Woodcock, J Timmis
Technical report, University of York, 2017
192017
RoboStar technology: a roboticist’s toolbox for combined proof, simulation, and testing
A Cavalcanti, W Barnett, J Baxter, G Carvalho, MC Filho, A Miyazawa, ...
Software Engineering for Robotics, 249-293, 2021
182021
Robochart: a state-machine notation for modelling and verification of mobile and autonomous robots
A Miyazawa, P Ribeiro, W Li, A Cavalcanti, J Timmis, J Woodcock
University of York, Department of Computer Science, York, UK, Tech. Rep, 2016
182016
From formalised state machines to implementations of robotic controllers
W Li, A Miyazawa, P Ribeiro, A Cavalcanti, J Woodcock, J Timmis
Distributed Autonomous Robotic Systems: the 13th International Symposium …, 2018
172018
Formal refinement in SysML
A Miyazawa, A Cavalcanti
International Conference on Integrated Formal Methods, 155-170, 2014
142014
CML definition 0
J Woodcock, A Cavalcanti, J Coleman, A Didier, PG Larsen, A Miyazawa, ...
Public Document. Deliverable, 3-1, 2012
142012
An approach for managing semantic heterogeneity in systems of systems engineering
S Foster, A Miyazawa, J Woodcock, A Cavalcanti, J Fitzgerald, PG Larsen
2014 9th International Conference on System of Systems Engineering (SOSE …, 2014
122014
Modelling and verification for swarm robotics
A Cavalcanti, A Miyazawa, A Sampaio, W Li, P Ribeiro, J Timmis
Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth …, 2018
112018
Formal models of sysml blocks
A Miyazawa, L Lima, A Cavalcanti
Formal Methods and Software Engineering: 15th International Conference on …, 2013
92013
The system can't perform the operation now. Try again later.
Articles 1–20