Folgen
Alvaro Miyazawa
Alvaro Miyazawa
Research Associate, University of York
Bestätigte E-Mail-Adresse bei york.ac.uk
Titel
Zitiert von
Zitiert von
Jahr
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
1312019
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
1032012
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
552017
Verified simulation for robotics
A Cavalcanti, A Sampaio, A Miyazawa, P Ribeiro, M Conserva Filho, ...
Science of Computer Programming 174, 1-37, 2019
502019
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
332018
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
302021
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
292017
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
262022
Robochart reference manual
A Miyazawa, A Cavalcanti, P Ribeiro, W Li, J Woodcock, J Timmis
Technical report, University of York, 2017
242017
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
222018
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
212017
Refinement-oriented models of Stateflow charts
A Miyazawa, A Cavalcanti
Science of Computer Programming 77 (10-11), 1151-1177, 2012
212012
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
192016
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
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
132018
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
112014
Report on modelling patterns for sos architectures
S Perry, J Holt, R Payne, C Ingram, A Miyazawa, FO Hansen, LD Couto, ...
COMPASS Deliverable D 32, 2013
92013
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20