Dr. Kangfeng Ye

Contact details

Type of address	Postal address
Postal code	YO10 5GH
Country	United Kingdom
Address lines	Computer Science University of York Deramore Lane York YO10 5GH

Phone: (01904) 325428

Find related publications, people, projects, datasets and more using interactive charts.

Research Associate - RoboCalc

1 - 5 out of 5Page size: 25

Sort by: Publication date

2020
Automated Verification of Reactive and Concurrent Programs by Calculation
Foster, S., Ye, K., Cavalcanti, A. & Woodcock, J., 27 Jul 2020
Article in ArXiv e-prints
2019
Compositional Assume-Guarantee Reasoning of Control Law Diagrams Using UTP
Ye, K., Foster, S. D. & Woodcock, JAMES. 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, JAMES. 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.). Lecture Notes in Computer Science, 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
Compositional Assume-Guarantee Reasoning of Control Law Diagrams using UTP
Ye, K., Foster, S. D. & Woodcock, JAMES. C. P., Apr 2018, (Unpublished) 202 p.
Research output: Working paper
2017
Model checking of state-rich formalism Circus by linking to CSP∥B
Ye, K. & Woodcock, J., 1 Feb 2017
Article in International Journal on Software Tools for Technology Transfer