Kaiqiang Duan

According to our database, Kaiqiang Duan authored at least 4 papers between 2015 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

An Automatic Proving Approach to Parameterized Verification.

Yongjian Li, Kaiqiang Duan, David N. Jansen, Jun Pang, Lijun Zhang, Yi Lv, Shaowei Cai

ACM Trans. Comput. Log., 2018

An Automatic Parameterized Verification of FLASH Cache Coherence Protocol.

Yongjian Li, Jialun Cao, Kaiqiang Duan

Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

2016

A novel approach to parameterized verification of cache coherence protocols.

Yongjian Li, Kaiqiang Duan, Yi Lv, Jun Pang, Shaowei Cai

Proceedings of the 34th IEEE International Conference on Computer Design, 2016

2015

ParaVerifier: An Automatic Framework for Proving Parameterized Cache Coherence Protocols.

Yongjian Li, Jun Pang, Yi Lv, Dongrui Fan, Shen Cao, Kaiqiang Duan

Proceedings of the Automated Technology for Verification and Analysis, 2015