Chenghao Cai
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2014–2020
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | TASE | Measuring the Quality of B Abstract Machines with ISO/IEC 25010. | Chenghao Cai, Jing Sun, Gillian Dobbie |
| 2019 | APSEC | Achieving Abstract Machine Reachability with Learning-Based Model Fulfilment. | Chenghao Cai, Jing Sun, Gillian Dobbie, Scott Uk-Jin Lee |
| 2019 | ICFEM | Design Model Repair with Formal Verification. | Chenghao Cai, Jing Sun, Gillian Dobbie |
| 2018 | ICECCS | B-Repair: Repairing B-Models Using Machine Learning. | Chenghao Cai, Jing Sun, Gillian Dobbie |
| 2017 | IJCNN | Symbolic manipulation based on deep neural networks and its application to axiom discovery. | Chenghao Cai, Dengfeng Ke, Yanyan Xu, Kaile Su |
| 2015 | IJCNN | A Combination of Multi-state Activation Functions, Mean-normalisation and Singular Value Decomposition for learning Deep Neural Networks. | Chenghao Cai, Dengfeng Ke, Yanyan Xu, Kaile Su |
| 2014 | PRICAI | Fast Learning of Deep Neural Networks via Singular Value Decomposition. | Chenghao Cai, Dengfeng Ke, Yanyan Xu, Kaile Su |