Kangfeng Ye

According to our database1, Kangfeng Ye authored at least 5 papers between 2016 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Automated verification of reactive and concurrent programs by calculation.
J. Log. Algebraic Methods Program., 2021

2019
Probabilistic Semantics for RoboChart - A Weakest Completion Approach.
Proceedings of the Unifying Theories of Programming - 7th International Symposium, 2019

2018
Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2018

2017
Model checking of state-rich formalism <i>Circus</i> by linking to CSP ‖ B.
Int. J. Softw. Tools Technol. Transf., 2017

2016
Model checking of state-rich formalisms (by linking to combination of state-based formalism and process algebra).
PhD thesis, 2016


  Loading...