Kailiang Ji

Publication Activity (10 Years)

Years Active: 2015-2019
Publications (10 Years): 6

Top Topics

Transition Systems

Automated Verification

Computation Tree Logic

Top Venues

Paris Diderot University, France (PHD)

Education History

Paris Diderot University, France

PHD

Publications

Ying Jiang, Jian Liu, Gilles Dowek, Kailiang Ji
Towards Combining Model Checking and Proof Checking. Comput. J. 62 (9) (2019)
Ahmed Bouajjani, Constantin Enea, Kailiang Ji, Shaz Qadeer
On the Completeness of Verifying Message Passing Programs Under Bounded Asynchrony. CAV (2) (2018)
Ahmed Bouajjani, Constantin Enea, Kailiang Ji, Shaz Qadeer
On the Completeness of Verifying Message Passing Programs under Bounded Asynchrony. CoRR (2018)
Sylvain Conchon, Mohamed Iguernelala, Kailiang Ji, Guillaume Melquiond, Clément Fumex
A Three-Tier Strategy for Reasoning About Floating-Point Numbers in SMT. CAV (2) (2017)
Jian Liu, Gilles Dowek, Kailiang Ji, Ying Jiang
SCTL: Towards Combining Model Checking and Proof Checking. CoRR (2016)
Kailiang Ji
Resolution in Solving Graph Problems. VSTTE (2016)
Kailiang Ji
CTL Model Checking in Deduction Modulo. CADE (2015)