Hong-Yi Chen

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 7

Top Topics

Theorem Proving

Termination Analysis

Top Venues

Publications

Yan-Hao Wang, Hao-Ping Tsai, Hong-Yi Chen, Van-Linh Nguyen, Ren-Hung Hwang
Efficient AutoDL for Generating Denial-of-Service Defense Models in the Internet of Things. GLOBECOM (2023)
Hsiao-Ping Yu, Hong-Yi Chen, Yuya Wu, Wangsheng Su
The Process of Constructing the Concept Map of Autonomous Learning Mapping in the Permanent Exhibition Area of the National Taiwan Science Education Center in Taiwan. ICEBT (2022)
Wenwu Lian, Lei Zhang, Kun-Chieh Wang, Hong-Yi Chen, Chi-Hsin Yang
A Novel Two-Mode Integral Approach for Thermal Error Modeling in CNC Milling-Turning Machining Center. IEEE Access 10 (2022)
Hong-Yi Chen, Cristina David, Daniel Kroening, Peter Schrammel, Björn Wachter
Bit-Precise Procedure-Modular Termination Analysis. ACM Trans. Program. Lang. Syst. 40 (1) (2018)
Hsien-Pei Kao, Tzu-Chia Tung, Hong-Yi Chen, Cheng-Shih Wong, Chiou-Shann Fuh
Pin Defect Inspection with X-ray Images. ISNN (2) (2017)
Hong-Yi Chen, Cristina David, Daniel Kroening, Peter Schrammel, Björn Wachter
Synthesising Interprocedural Bit-Precise Termination Proofs (T). ASE (2015)
Hong-Yi Chen, Cristina David, Daniel Kroening, Peter Schrammel, Björn Wachter
Synthesising Interprocedural Bit-Precise Termination Proofs (extended version). CoRR (2015)