CTL Model Checking in Deduction Modulo. - Kailiang Ji (CADE, 2015)

Model Checking and Theorem Proving. (Le model Checking et la émonstration de théorèmes). - Kailiang Ji (2015)

Resolution in Solving Graph Problems. - Kailiang Ji (VSTTE, 2016)

SCTL: Towards Combining Model Checking and Proof Checking. - Jian Liu; Gilles Dowek; Kailiang Ji; Ying Jiang 001 (CoRR, 2016)

A Three-Tier Strategy for Reasoning About Floating-Point Numbers in SMT. - Sylvain Conchon; Mohamed Iguernelala; Kailiang Ji; Guillaume Melquiond; Clément Fumex (CAV (2), 2017)

On the Completeness of Verifying Message Passing Programs Under Bounded Asynchrony. - Ahmed Bouajjani; Constantin Enea; Kailiang Ji; Shaz Qadeer (CAV (2), 2018)

Towards Combining Model Checking and Proof Checking. - Ying Jiang 001; Jian Liu; Gilles Dowek; Kailiang Ji (Comput. J., 2019)

CryptoPyt: Unraveling Python Cryptographic APIs Misuse with Precise Static Taint Analysis. - Xiangxin Guo; Shijie Jia 001; Jingqiang Lin 001; Yuan Ma; Fangyu Zheng; Guangzheng Li; Bowen Xu; Yueqiang Cheng; Kailiang Ji (ACSAC, 2024)