| 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 | 123 | 2019 |
| 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 | 103 | 2012 |
| 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 | 55 | 2017 |
| Verified simulation for robotics A Cavalcanti, A Sampaio, A Miyazawa, P Ribeiro, M Conserva Filho, ... Science of Computer Programming 174, 1-37, 2019 | 47 | 2019 |
| 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 | 37 | 2014 |
| 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 | 36 | 2012 |
| 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 | 34 | 2018 |
| 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 | 28 | 2017 |
| 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 | 26 | 2021 |
| 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 | 25 | 2022 |
| 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 | 22 | 2018 |
| Robochart reference manual A Miyazawa, A Cavalcanti, P Ribeiro, W Li, J Woodcock, J Timmis Technical report, University of York, 2017 | 22 | 2017 |
| Refinement-oriented models of Stateflow charts A Miyazawa, A Cavalcanti Science of Computer Programming 77 (10-11), 1151-1177, 2012 | 21 | 2012 |
| 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 | 20 | 2017 |
| 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 | 19 | 2016 |
| Formal refinement in SysML A Miyazawa, A Cavalcanti International Conference on Integrated Formal Methods, 155-170, 2014 | 14 | 2014 |
| CML definition 0 J Woodcock, A Cavalcanti, J Coleman, A Didier, PG Larsen, A Miyazawa, ... Public Document. Deliverable, 3-1, 2012 | 14 | 2012 |
| 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 | 12 | 2018 |
| 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 | 11 | 2014 |
| 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 | 9 | 2013 |
