Reachability analysis in RTL circuits using k-induction bounded model checking. - Tonmoy Roy; Michael Hsiao (HLDVT, 2017)

Converting Natural Language Text to ROS-Compatible Instruction Base. - Takondwa Kakusa; Michael Hsiao (AIVR, 2018)

A Natural Language Programming Application for Lego Mindstorms EV3. - Yue Zhan; Michael Hsiao (AIVR, 2018)

Guiding RTL Test Generation Using Relevant Potential Invariants. - Tania Khanna; Michael Hsiao (ICCD, 2018)

RTL Test Generation on Multi-core and Many-Core Architectures. - Aravind Krishnan Varadarajan; Michael Hsiao (VLSID, 2019)

A Hybrid Multi-Agent Prompting Approach for Simplifying Complex Sentences. - Pratibha Zunjare; Michael Hsiao (CoRR, 2025)