Cheng-Hao Cai

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 9

Top Topics

Abstract Machine

Logical Reasoning

Transition Model

Formal Verification

Top Venues

Formal Aspects Comput.

Sci. Comput. Program.

Publications

Cheng-Hao Cai, Jing Sun, Gillian Dobbie
Automatic refactoring of conditions and substitutions for B state transition models. Softw. Pract. Exp. 53 (11) (2023)
Cheng-Hao Cai, Jing Sun, Gillian Dobbie, Zhé Hóu, Hadrien Bride, Jin Song Dong, Scott Uk-Jin Lee
Fast Automated Abstract Machine Repair Using Simultaneous Modifications and Refactoring. Formal Aspects Comput. 34 (2) (2022)
Cheng-Hao Cai, Alan Bundy
Repairing Numerical Equations in Analogically Blended Theories Using Reformation. HLC (2022)
Cheng-Hao Cai, Jing Sun, Gillian Dobbie
B model quality assessments on automated reachability repair with ISO/IEC 25010. Sci. Comput. Program. 214 (2022)
Hadrien Bride, Cheng-Hao Cai, Jie Dong, Jin Song Dong, Zhé Hóu, Seyedali Mirjalili, Jing Sun
Silas: A high-performance machine learning foundation for logical reasoning and verification. Expert Syst. Appl. 176 (2021)
Hadrien Bride, Cheng-Hao Cai, Jin Song Dong, Rajeev Goré, Zhé Hóu, Brendan P. Mahony, Jim McCarthy
N-PAT: A Nested Model-Checker - (System Description). IJCAR (2) (2020)
Hadrien Bride, Cheng-Hao Cai, Jin Song Dong, Rajeev Goré, Zhé Hóu, Brendan P. Mahony, Jim McCarthy
N-PAT: A Nested Model-Checker. CoRR (2020)
Jiang-jian Xie, Chang-qing Ding, Wen-bin Li, Cheng-Hao Cai
Audio-only Bird Species Automated Identification Method with Limited Training Data Based on Multi-Channel Deep Convolutional Neural Networks. CoRR (2018)
Cheng-Hao Cai
SLDR-DL: A Framework for SLD-Resolution with Deep Learning. CoRR (2017)