Kaiqiang Duan

Publication Activity (10 Years)

Years Active: 2015-2018
Publications (10 Years): 3

Top Topics

Formal Verification

Genetic Algorithm

Network Protocols

Top Venues

ACM Trans. Comput. Log.

Publications

Yongjian Li, Jialun Cao, Kaiqiang Duan
An Automatic Parameterized Verification of FLASH Cache Coherence Protocol. QRS (2018)
Yongjian Li, Kaiqiang Duan, David N. Jansen, Jun Pang, Lijun Zhang, Yi Lv, Shaowei Cai
An Automatic Proving Approach to Parameterized Verification. ACM Trans. Comput. Log. 19 (4) (2018)
Yongjian Li, Kaiqiang Duan, Yi Lv, Jun Pang, Shaowei Cai
A novel approach to parameterized verification of cache coherence protocols. ICCD (2016)
Yongjian Li, Jun Pang, Yi Lv, Dongrui Fan, Shen Cao, Kaiqiang Duan
ParaVerifier: An Automatic Framework for Proving Parameterized Cache Coherence Protocols. ATVA (2015)