| 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 | 27 | 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 | 18 | 2019 |
| 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 | 14 | 2021 |
| Formally verified animation for RoboChart using interaction trees K Ye, S Foster, J Woodcock International Conference on Formal Engineering Methods, 404-420, 2022 | 11 | 2022 |
| 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 |
| 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 | 10 | 2021 |
| 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 | 10 | 2017 |
| 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 | 9 | 2020 |
| 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 | 7 | 2024 |
| 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 |
| 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 | 4 | 2023 |
| 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 |
| Robotool developer’s manual A Miyazawa, P Ribeiro, K Ye, A Cavalcanti, W Li, J Woodcock, J Timmis Sofware Engineering for Robotics, 2020 | 2 | 2020 |
| Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: Semantics and automated reasoning with theorem proving K Ye, J Woodcock, S Foster Theoretical Computer Science 1021, 114876, 2024 | 1 | 2024 |
| Probabilistic relations for modelling epistemic and aleatoric uncertainty: its semantics and automated reasoning with theorem proving. K Ye, J Woodcock, S Foster CoRR, 2023 | 1 | 2023 |
| Towards Achieving Energy Efficiency and Service Availability in O-RAN via Formal Verification R Metere, K Ye, Y Gu, Z Zhang, D Alrajeh, M Sevegnani, P Yadav arXiv preprint arXiv:2411.03943, 2024 | | 2024 |
| User-Guided Verification of Security Protocols via Sound Animation K Ye, R Metere, P Yadav International Conference on Software Engineering and Formal Methods, 33-51, 2024 | | 2024 |
| A tour through the programming choices: semantics and applications P Ribeiro, K Ye, F Zeyda, A Miyazawa The Application of Formal Methods: Essays Dedicated to Jim Woodcock on the …, 2024 | | 2024 |
| 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 |
Jim WoodcockProfessor of Software Engineering, University of YorkVerified email at york.ac.uk
