| 2025 | HCI | Application of STEAM Approach and Fuzzy Analytic Hierarchy Process in Robotic Toy Product Design. | Jian-Jhong Wu, Hsin-Hung Lin, Chun-chen Huang |
| 2020 | HCI | Development and Technical Experience of Plastic Injection Machine for STEAM Education. | Jui-Hung Cheng, Hsin-Hung Lin |
| 2020 | HCI | Application of Fuzzy Decision Model Selection of Product in Human Factors Design. | Hsin-Hung Lin, Jui-Hung Cheng |
| 2020 | PLDI | Efficient handling of string-number conversion. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Julian Dolby, Petr Janku, Hsin-Hung Lin, Luks Holk, Wei-Cheng Wu |
| 2019 | APLAS | J-ReCoVer: Java Reducer Commutativity Verifier. | Yu-Fang Chen, Chang-Yi Chiang, Luks Holk, Wei-Tsung Kao, Hsin-Hung Lin, Toms Vojnar, Yean-Fu Wen, Wei-Cheng Wu |
| 2017 | APSEC | A Reusable Framework for Modeling and Verifying In-Vehicle Networking Systems in the Presence of CAN and FlexRay. | Xiaoyun Guo, Hsin-Hung Lin, Toshiaki Aoki, Yuki Chiba |
| 2017 | MEMOCODE | Releasing VDM proof obligations with SMT solvers. | Hsin-Hung Lin, Bow-Yaw Wang |
| 2014 | CCS | Verifying Curve25519 Software. | Yu-Fang Chen, Chang-Hong Hsu, Hsin-Hung Lin, Peter Schwabe, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang, Shang-Yi Yang |
| 2014 | ICSE | Generating supportive hypotheses in introducing formal methods using a software processes improvement model. | Shigeru Kusakabe, Hsin-Hung Lin, Yoichi Omori, Keijiro Araki |
| 2013 | AMIA | A Web-based Service for Patients in Taiwan with Chronic Kidney Disease. | Shu-Hui Hung, Hsin-Hung Lin, Chin-Hsian Wang |
| 2013 | APSEC | SMT-Based Bounded Model Checking for OSEK/VDX Applications. | Haitao Zhang, Toshiaki Aoki, Hsin-Hung Lin, Min Zhang, Yuki Chiba, Kenro Yatake |
| 2010 | ICCCI | A Distributed Sleep Scheduling Algorithm with Range Adjustment for Wireless Sensor Networks. | Kei-Chen Tung, Jonathan Chun-Hsien Lu, Hsin-Hung Lin |
| 2010 | ISORC | Non-regular Adaptation of Services Using Model Checking. | Hsin-Hung Lin, Toshiaki Aoki, Takuya Katayama |