| 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 | 19 | 2022 |
| Probabilistic semantics for RoboChart: A weakest completion approach J Woodcock, A Cavalcanti, S Foster, A Mota, K Ye Unifying Theories of Programming: 7th International Symposium, UTP 2019 …, 2019 | 14 | 2019 |
| Calculational verification of reactive programs with reactive relations and Kleene algebra S Foster, K Ye, A Cavalcanti, J Woodcock Relational and Algebraic Methods in Computer Science: 17th International …, 2018 | 11 | 2018 |
| Model checking of state-rich formalism by linking to CSP\, ‖\, B CSP‖ B K Ye, J Woodcock International Journal on Software Tools for Technology Transfer 19, 73-96, 2017 | 11 | 2017 |
| Automated reasoning for probabilistic sequential programs with theorem proving K Ye, S Foster, J Woodcock Relational and Algebraic Methods in Computer Science: 19th International …, 2021 | 10 | 2021 |
| Formally verified animation for RoboChart using interaction trees K Ye, S Foster, J Woodcock International Conference on Formal Engineering Methods, 404-420, 2022 | 8 | 2022 |
| Compositional assume-guarantee reasoning of control law diagrams using UTP K Ye, S Foster, J Woodcock From Astrophysics to Unconventional Computation: Essays Presented to Susan …, 2020 | 8 | 2020 |
| Automated verification of reactive and concurrent programs by calculation S Foster, K Ye, A Cavalcanti, J Woodcock Journal of Logical and Algebraic Methods in Programming 121, 100681, 2021 | 7 | 2021 |
| RoboChart: Modelling, verification and simulation for robotics A Miyazawa, P Ribeiro, K Ye, ALC Cavalcanti, W Li, J Timmis, ... University of York, Department of Computer Science, York, UK, Tech. Rep, 2020 | 6 | 2020 |
| RoboStar Technology: Modelling Uncertainty in RoboChart Using Probability J Woodcock, S Foster, A Mota, K Ye Software Engineering for Robotics, 413-465, 2021 | 2 | 2021 |
| Probabilistic modelling and safety assurance of an agriculture robot providing light-treatment M Adam, K Ye, DA Anisi, A Cavalcanti, J Woodcock, R Morris 2023 IEEE 19th International Conference on Automation Science and …, 2023 | 1 | 2023 |
| RoboCertProb: Property Specification for Probabilistic RoboChart Models K Ye, J Woodcock arXiv preprint arXiv:2403.08136, 2024 | | 2024 |
| Quantitative Assurance and Synthesis of Controllers from Activity Diagrams K Ye, F Yan, S Gerasimou arXiv preprint arXiv:2403.00169, 2024 | | 2024 |
| Formally verified animation for RoboChart using interaction trees K Ye, S Foster, J Woodcock Journal of Logical and Algebraic Methods in Programming 137, 100940, 2024 | | 2024 |
| Probabilistic relations for modelling epistemic and aleatoric uncertainty: its semantics and automated reasoning with theorem proving K Ye, J Woodcock, S Foster arXiv preprint arXiv:2303.09692, 2023 | | 2023 |
| Probabilistic modelling and verification, and Animation in RoboChart K Ye, J Woodcock, S Foster YorRobots and RoboStar Industry Exhibition, 2022 | | 2022 |
| Model checking of state-rich formalism [FORMULA] by linking to [FORMULA] K Ye, J Woodcock International journal on software tools for technology transfer 19 (1), 73-96, 2017 | | 2017 |
| Model Checking of State-Rich Formalisms (By Linking to Combination of State-based Formalism and Process Algebra) K Ye University of York, 2016 | | 2016 |
| RoboTool Developer’s Manual A Miyazawa, P Ribeiro, K Ye, A Cavalcanti, W Li, J Woodcock, J Timmis | | |
| Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra S FosterORCiD, K Ye, A Cavalcanti, J Woodcock | | |
Jim WoodcockProfessor of Software Engineering, University of YorkVerified email at york.ac.uk
