Alvaro Miyazawa
Alvaro Miyazawa
Research Associate, University of York
Verified email at york.ac.uk
Title
Cited by
Cited by
Year
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
992012
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 (5), 3097-3149, 2019
552019
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
462017
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
322012
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
292014
Verified simulation for robotics
A Cavalcanti, A Sampaio, A Miyazawa, P Ribeiro, M Conserva Filho, ...
Science of Computer Programming 174, 1-37, 2019
222019
Refinement-oriented models of Stateflow charts
A Miyazawa, A Cavalcanti
Science of Computer Programming 77 (10-11), 1151-1177, 2012
192012
Automating verification of state machines with reactive designs and Isabelle/UTP
S Foster, J Baxter, A Cavalcanti, A Miyazawa, J Woodcock
International Conference on Formal Aspects of Component Software, 137-155, 2018
182018
Modelling and verification of timed robotic controllers
P Ribeiro, A Miyazawa, W Li, A Cavalcanti, J Timmis
International Conference on Integrated Formal Methods, 18-33, 2017
172017
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 (3), 875-902, 2017
162017
CML definition 0
J Woodcock, A Cavalcanti, J Coleman, A Didier, PG Larsen, A Miyazawa, ...
Public Document. Deliverable, 3-1, 2012
142012
Robochart reference manual
A Miyazawa, A Cavalcanti, P Ribeiro, W Li, J Woodcock, J Timmis
Technical report, University of York, 2017
132017
Robochart: a state-machine notation for modelling and verification of mobile and autonomous robots
A Miyazawa, P Ribeiro, W Li, ALC Cavalcanti, J Timmis, JCP Woodcock
Tech. Rep., 2016
112016
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, 517-529, 2018
102018
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
102014
Formal models of sysml blocks
A Miyazawa, L Lima, A Cavalcanti
International Conference on Formal Engineering Methods, 249-264, 2013
92013
Modelling and verification for swarm robotics
A Cavalcanti, A Miyazawa, A Sampaio, W Li, P Ribeiro, J Timmis
International Conference on Integrated Formal Methods, 1-19, 2018
82018
Formal refinement in SysML
A Miyazawa, A Cavalcanti
International Conference on Integrated Formal Methods, 155-170, 2014
82014
SCJ-Circus: a refinement-oriented formal notation for Safety-Critical Java
A Miyazawa, A Cavalcanti
arXiv preprint arXiv:1606.02021, 2016
72016
Final report on combining SysML and CML
A Miyazawa, L Albertins, J Iyoda, M CornÚlio, R Payne, A Cavalcanti
COMPASS Deliverable D 22, 2013
72013
The system can't perform the operation now. Try again later.
Articles 1–20