Hung-Ming Huang

According to our database, Hung-Ming Huang authored at least 5 papers between 2000 and 2026.

Collaborative distances:

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

2026

SpecLoop: An Agentic RTL-to-Specification Framework with Formal Verification Feedback Loop.

Fu-Chieh Chang, Yu-Hsin Yang, Hung-Ming Huang, Yun-Chia Hsu, Yin-Yu Lin, Ming-Fang Tsai, Chun-Chih Yang, Pei-Yuan Wu

CoRR, March, 2026

2025

Assessing Large Language Models in Generating RTL Design Specifications.

Hung-Ming Huang, Yu-Hsin Yang, Fu-Chieh Chang, Yun-Chia Hsu, Yin-Yu Lin, Ming-Fang Tsai, Chun-Chih Yang, Pei-Yuan Wu

CoRR, December, 2025

2019

Transient Stability Enhancement of an Island Micro-grid with Battery Energy Storage System.

Cheng-Ting Hsu, Tsun-Jen Cheng, Hung-Ming Huang

Proceedings of the IEEE 2nd International Conference on Knowledge Innovation and Invention, 2019

2018

Operation of a Micro Off-Shore Island Considering PV Power Generation Ramp-Rates.

Cheng-Ting Hsu, Hung-Ming Huang, Tsun-Jen Cheng, Yih-Der Lee, Yung-Ruei Chang, Jheng-Lun Jiang

Proceedings of the 1st IEEE International Conference on Knowledge Innovation and Invention, 2018

2000

Adaptive pole-placement control of MIMO stochastic systems.

Wen-Shyong Yu, Hung-Ming Huang

Proceedings of the 39th IEEE Conference on Decision and Control, 2000