Kevin Kai-Chun Chang

According to our database, Kevin Kai-Chun Chang authored at least 4 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Multi-Corner Timing Macro Modeling With Neural Collaborative Filtering From Recommendation Systems Perspective.

Kevin Kai-Chun Chang, Guan-Ting Liu, Chun-Yao Chiang, Pei-Yu Lee, Iris Hui-Ru Jiang

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., October, 2024

Dynamic, Multi-objective Specification and Falsification of Autonomous CPS.

Kevin Kai-Chun Chang, Kaifei Xu, Edward Kim, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia

Proceedings of the Runtime Verification - 24th International Conference, 2024

2023

A Safety-Guaranteed Framework for Neural-Network-Based Planners in Connected Vehicles under Communication Disturbance.

Kevin Kai-Chun Chang, Xiangguo Liu, Chung-Wei Lin, Chao Huang, Qi Zhu

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

2022

Timing macro modeling with graph neural networks.

Kevin Kai-Chun Chang, Chun-Yao Chiang, Pei-Yu Lee, Iris Hui-Ru Jiang

Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022