Hongyu Fan

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 9

Top Topics

Computation Tree Logic

Breast Cancer Detection

Top Venues

Proc. ACM Program. Lang.

Comput. Aided Des.

Publications

Hongyu Fan, Fei He
Leveraging Datapath Propagation in IC3 for Hardware Model Checking. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43 (7) (2024)
Hongyu Fan, Fei He
Leveraging Datapath Propagation in IC3 for Hardware Model Checking. CoRR (2023)
Hongyu Fan, Zhihang Sun, Fei He
Satisfiability Modulo Ordering Consistency Theory for SC, TSO, and PSO Memory Models. ACM Trans. Program. Lang. Syst. 45 (1) (2023)
Pengbo Bo, Hongyu Fan, Michael Barton
Efficient 5-axis CNC trochoidal flank milling of 3D cavities using custom-shaped cutting tools. Comput. Aided Des. 151 (2022)
Fei He, Zhihang Sun, Hongyu Fan
Deagle: An SMT-based Verifier for Multi-threaded Programs (Competition Contribution). TACAS (2) (2022)
Hongyu Fan, Weiting Liu, Fei He
Interference relation-guided SMT solving for multi-threaded program verification. PPoPP (2022)
Zhihang Sun, Hongyu Fan, Fei He
Consistency-preserving propagation for SMT solving of concurrent program verification. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Fei He, Zhihang Sun, Hongyu Fan
Satisfiability modulo ordering consistency theory for multi-threaded program verification. PLDI (2021)
Hong Fang, Hongyu Fan, Shan Lin, Zhang Qing, Fatima Rashid Sheykhahmad
Automatic breast cancer detection based on optimized neural network using whale optimization algorithm. Int. J. Imaging Syst. Technol. 31 (1) (2021)
Shigang Feng, Wei Wang, Liang Chen, Hongyu Fan, Ajith Abraham, Jianlin Wu
The influence of depression on deactivation and neural correlates during mental arithmetic tasks. ISDA (2013)