Research output per year
Research output per year
- 16 results
Search results
-
2024
A Tour Through the Programming Choices: Semantics and Applications
Ribeiro, P., Ye, K., Zeyda, F. & Miyazawa, A., 1 Sept 2024, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): The Application of Formal Methods. Foster, S. & Sampaio, A. (eds.). Springer Science and Business Media Deutschland GmbH, Vol. 14900. p. 261-305 45 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14900 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Chapter
Open AccessFile -
Formally verified animation for RoboChart using interaction trees
Ye, K., Woodcock, J. & Foster, S. D., 1 Feb 2024, In: Journal of Logical and Algebraic Methods in Programming. 137, 36 p., 100940.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Formally verified animation for RoboChart using interaction trees
Ye, K., Foster, S. & Woodcock, J., Feb 2024, In: Journal of Logical and Algebraic Methods in Programming. 137, 36 p., 100940.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2023
Formally Verified Animation for RoboChart using Interaction Trees
Ye, K., Foster, S. & Woodcock, J., 16 Mar 2023.Research output: Working paper › Preprint
File -
Probabilistic modelling and safety assurance of an agriculture robot providing light-treatment
Adam, M., Ye, K., Anisi, D. A., Cavalcanti, A., Woodcock, J. & Morris, R., 28 Sept 2023, 2023 IEEE 19th International Conference on Automation Science and Engineering, CASE 2023. IEEE, 7 p. 10260395. (IEEE International Conference on Automation Science and Engineering; vol. 2023-August).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
2022
Formally Verified Animation for RoboChart Using Interaction Trees
Ye, K., Foster, S. & Woodcock, J., 10 Oct 2022, Formal Methods and Software Engineering - 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Proceedings. Riesco, A. & Zhang, M. (eds.). Springer, p. 404-420 17 p. (Lecture Notes in Computer Science ; vol. 13478).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Probabilistic modelling and verification, and Animation in RoboChart
Ye, K., 11 Oct 2022.Research output: Contribution to conference › Poster
Open AccessFile -
2021
Automated Reasoning for Probabilistic Sequential Programs with Theorem Proving
Ye, K., Foster, S. & Woodcock, J., 22 Oct 2021, Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Proceedings. Fahrenberg, U., Gehrke, M., Santocanale, L. & Winter, M. (eds.). Springer, p. 465-482 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13027 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Automated verification of reactive and concurrent programs by calculation
Foster, S., Ye, K., Cavalcanti, A. & Woodcock, J., 14 Apr 2021, In: Journal of Logical and Algebraic Methods in Programming. 121, 100681.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Probabilistic modelling and verification using RoboChart and PRISM
Ye, K., Cavalcanti, A., Foster, S., Miyazawa, A. & Woodcock, J., 3 Oct 2021, In: Software and Systems Modeling.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Robostar technology: Modelling uncertainty in robochart using probability
Woodcock, J., Foster, S., Mota, A. & Ye, K., 5 Jul 2021, Software Engineering for Robotics. Springer International Publishing AG, p. 413-465 53 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter
-
2020
Automated Verification of Reactive and Concurrent Programs by Calculation
Foster, S., Ye, K., Cavalcanti, A. & Woodcock, J., 27 Jul 2020.Research output: Working paper › Preprint
File -
2019
Compositional Assume-Guarantee Reasoning of Control Law Diagrams Using UTP
Ye, K., Foster, S. D. & Woodcock, J. C. P., 30 May 2019, From Astrophysics to Unconventional Computation. Springer, p. 215-254 40 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter
-
2018
Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra
Foster, S. D., Ye, K., Cavalcanti, A. L. C. & Woodcock, J. C. P., 1 Nov 2018, Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Proceedings. Guttmann, W., Desharnais, J. & Joosten, S. (eds.). Springer, Vol. 11194. p. 205-224 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11194 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Compositional Assume-Guarantee Reasoning of Control Law Diagrams using UTP
Ye, K., Foster, S. D. & Woodcock, J. C. P., Apr 2018, (Unpublished) 202 p.Research output: Working paper
File -
2017
Model checking of state-rich formalism Circus by linking to CSP∥B
Ye, K. & Woodcock, J., 1 Feb 2017, In: International Journal on Software Tools for Technology Transfer. 19, 1, p. 73-96 24 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile