| 2025 | AVSS | SegMAgNet: A Comparative Study of Segmentation Models for Defect Detection in Additively Manufactured Mg Alloys. | Ayush Pratap, Nidhi Sharma, Tao Wu, P. Karthikeyan, Neha Sardana, Pao-Ann Hsiung |
| 2024 | ISCAS | ACNNE: An Adaptive Convolution Engine for CNNs Acceleration Exploiting Partial Reconfiguration on FPGAs. | Chun-Hsian Huang, Shao-Wei Tang, Pao-Ann Hsiung |
| 2023 | ECAI | Take Expert Advice Judiciously: Combining Groupwise Calibrated Model Probabilities with Expert Predictions. | Sumeet Gupta, Shweta Jain, Shashi Shekhar Jha, Pao-Ann Hsiung, Ming-Hung Wang |
| 2023 | VCIP | depthUNet: A Dehazing Model with Adaptive Depth Attention for Natural Images. | Kai-Yu Wang, Yu-Hsiang Lin, Pao-Ann Hsiung |
| 2020 | IGARSS | Deep Neural Network-Based Data Reconstruction for Landslide Detection. | Darmawan Utomo, Liang-Cheng Hu, Pao-Ann Hsiung |
| 2019 | CloudCom | Data Reconstruction for Cyber-Physical Landslide Detection System. | Pao-Ann Hsiung, Chih-Chen Lin |
| 2016 | ICA3PP | Feedback Control Optimization for Performance and Energy Efficiency on CPU-GPU Heterogeneous Systems. | Feng-Sheng Lin, Po-Ting Liu, Ming-Hua Li, Pao-Ann Hsiung |
| 2016 | IECON | Model Predictive Optimization for distribution management in smart grids. | Hung-Lin Chao, Pei-Chi Hsieh, Tsai-Chen Yang, Pao-Ann Hsiung |
| 2016 | ITNAC | An efficient and robust method for solving multi-objective constraint-satisfaction problems in Cognitive Radio systems. | Ken-Shin Huang, Yi-Luen Chang, Pao-Ann Hsiung |
| 2014 | COMPSAC | A SysML Based Requirement Modeling Automatic Transformation Approach. | Chih-Hung Chang, Chih-Wei Lu, Wen Pin Yang, William Cheng-Chung Chu, Chao-Tung Yang, Ching-Tsorng Tsai, Pao-Ann Hsiung |
| 2014 | FM | Compositional Synthesis of Concurrent Systems through Causal Model Checking and Learning. | Shang-Wei Lin, Pao-Ann Hsiung |
| 2013 | CISIS | The Architecture of Parallelized Cloud-Based Automatic Testing System. | Chorng-Shiuh Koong, Chihhsiong Shih, Chang-Chung Wu, Pao-Ann Hsiung |
| 2013 | CISIS | Real-Time Object Detection for Multi-Camera on Heterogeneous Parallel Processing Systems. | Chih-Sheng Lin, Shih-Meng Teng, Yen-Ting Chen, Pao-Ann Hsiung |
| 2012 | DATE | Congestion-aware scheduling for NoC-based reconfigurable systems. | Hung-Lin Chao, Yean-Ru Chen, Sheng-Ya Tong, Pao-Ann Hsiung, Sao-Jie Chen |
| 2012 | ICFEM | Automatic Generation of Provably Correct Embedded Systems. | Shang-Wei Lin, Yang Liu, Pao-Ann Hsiung, Jun Sun, Jin Song Dong |
| 2011 | ASPDAC | Network-on-Chip router design with Buffer-Stealing. | Wan-Ting Su, Jih-Sheng Shen, Pao-Ann Hsiung |
| 2011 | COMPSAC | XML-Based Reusable Component Repository for Embedded Software. | Chih-Hung Chang, Chih-Wei Lu, William C. Chu, Chao-Tung Yang, Pao-Ann Hsiung, Nien-Lin Hsueh, Chorng-Shiuh Koong, Kuei-Kai Shao |
| 2011 | SAC | A pattern-based verification approach for a multi-core system development. | Peng-Hua Chu, Nien-Lin Hsueh, Chien-Ching Lee, Min-Ju Chuang, Pao-Ann Hsiung, William C. Chu |
| 2010 | COMPSAC | Supporting Design Enhancement by Pattern-Based Transformation. | Nien-Lin Hsueh, Peng-Hua Chu, Pao-Ann Hsiung, Min-Ju Chuang, William C. Chu, Chih-Hung Chang, Chorng-Shiuh Koong, Chihhsiong Shih |
| 2010 | DATE | Learning-based adaptation to applications and environments in a reconfigurable Network-on-Chip. | Jih-Sheng Shen, Chun-Hsian Huang, Pao-Ann Hsiung |
| 2010 | SAC | SysML-based requirement modeling environment for multicore embedded system. | Chih-Hung Chang, Chih-Wei Lu, Nien-Lin Hsueh, William C. Chu, Chihhsiong Shih, Chao-Tung Yang, Pao-Ann Hsiung, Chorng-Shiuh Koong |
| 2010 | UIC | A Self-Adaptive Hardware/Software System Architecture for Ubiquitous Computing Applications. | Chun-Hsian Huang, Jih-Sheng Shen, Pao-Ann Hsiung |
| 2009 | COMPSAC | A Model-Driven Multicore Software Development Environment for Embedded System. | Chihhsiong Shih, Chien-Ting Wu, Cheng-Yao Lin, Pao-Ann Hsiung, Nien-Lin Hsueh, Chih-Hung Chang, Chorng-Shiuh Koong, William C. Chu |
| 2009 | ICA3PP | VERTAF/Multi-Core: A SysML-Based Application Framework for Multi-Core Embedded Software Development. | Pao-Ann Hsiung, Chao-Sheng Lin, Shang-Wei Lin, Yean-Ru Chen, Chun-Hsien Lu, Sheng-Ya Tong, Wan-Ting Su, Chihhsiong Shih, Chorng-Shiuh Koong, Nien-Lin Hsueh, Chih-Hung Chang, William C. Chu |
| 2009 | ISCAS | On the Use of a UML-Based HW/SW Co-Design Platform for Reconfigurable Cryptographic Systems. | Chun-Hsian Huang, Pao-Ann Hsiung |
| 2009 | ISCAS | A 900 MHz to 5.2 GHz Dual-loop Feedback Multi-band LNA. | Jia-Wei Lin, Da-Tong Yen, Wei-Yi Hu, Chu Yu, Mao-Hsu Yen, Pao-Ann Hsiung, Sao-Jie Chen |
| 2009 | ICSE | Model-driven development of multi-core embedded software. | Pao-Ann Hsiung, Shang-Wei Lin, Yean-Ru Chen, Nien-Lin Hsueh, Chih-Hung Chang, Chihhsiong Shih, Chorng-Shiuh Koong, Chao-Sheng Lin, Chun-Hsien Lu, Sheng-Ya Tong, Wan-Ting Su, William C. Chu |
| 2007 | EUC | Real-Time Embedded Software Design for Mobile and Ubiquitous Systems. | Pao-Ann Hsiung, Shang-Wei Lin, Chin-Chieh Hung, Jih-Ming Fu, Chao-Sheng Lin, Cheng-Chi Chiang, Kuo-Cheng Chiang, Chun-Hsien Lu, Pin-Hsien Lu |
| 2007 | FPL | Exploiting Hardware and Software Low Power Techniques for Energy Efficient Co-scheduling in Dynamically Reconfigurable Systems. | Pao-Ann Hsiung, Chih-Wen Liu |
| 2007 | ICPADS | From ISA to application design via RTOS - a course design framework for embedded software. | Pao-Ann Hsiung, Shang-Wei Lin |
| 2007 | ISCAS | Dynamically Swappable Hardware Design in Partially Reconfigurable Systems. | Chun-Hsian Huang, Kai-Jung Shih, Chao-Sheng Lin, Shih-Shiue Chang, Pao-Ann Hsiung |
| 2007 | SAFECOMP | Modeling and Automatic Failure Analysis of Safety-Critical Systems Using Extended Safecharts. | Yean-Ru Chen, Pao-Ann Hsiung, Sao-Jie Chen |
| 2006 | ATVA | Model Checking Timed Systems with Urgencies. | Pao-Ann Hsiung, Shang-Wei Lin, Yean-Ru Chen, Chun-Hsian Huang, Jia-Jen Yeh, Hong-Yu Sun, Chao-Sheng Lin, Hsiao-Win Liao |
| 2006 | FPL | Perfecto: A Systemc-Based Performance Evaluation Framework for Dynamically Partially Reconfigurable Systems. | Pao-Ann Hsiung, Chun-Hsian Huang, Chih-Feng Liao |
| 2005 | ATVA | Model Checking Prioritized Timed Automata. | Shang-Wei Lin, Pao-Ann Hsiung, Chun-Hsian Huang, Yean-Ru Chen |
| 2005 | EUC | Hardware Task Scheduling and Placement in Operating Systems for Dynamically Reconfigurable SoC. | Yuan-Hsiu Chen, Pao-Ann Hsiung |
| 2005 | EUC | UML-Based Design Flow and Partitioning Methodology for Dynamically Reconfigurable Computing Systems. | Chih-Hao Tseng, Pao-Ann Hsiung |
| 2005 | FORTE | Modeling and Verification of Safety-Critical Systems Using Safecharts. | Pao-Ann Hsiung, Yen-Hung Lin |
| 2005 | SEKE | Model-based Verification of Safety-Critical Systems. | Pao-Ann Hsiung, Yen-Hung Lin |
| 2005 | RTCSA | Model Checking Timed Systems with Priorities. | Pao-Ann Hsiung, Shang-Wei Lin |
| 2004 | APLAS | Formal Design and Verification of Real-Time Embedded Software. | Pao-Ann Hsiung, Shang-Wei Lin |
| 2004 | ATVA | Mutation Coverage Estimation for Model Checking. | Te-Chang Lee, Pao-Ann Hsiung |
| 2004 | EUC | Automatic Synthesis and Verification of Real-Time Embedded Software. | Pao-Ann Hsiung, Shang-Wei Lin |
| 2003 | VLSID | Automating Formal Modular Verification of Asynchronous Real-Time Embedded Systems. | Pao-Ann Hsiung, Shu-Yu Cheng |
| 2003 | VLSID | Synthesis of Real-Time Embedded Software by Timed Quasi-Static Scheduling. | Pao-Ann Hsiung, Feng-Shi Su |
| 2003 | RTCSA | Quasi-Dynamic Scheduling for the Synthesis of Real-Time Embedded Software with Local and Global Deadlines. | Pao-Ann Hsiung, Cheng-Yi Lin, Trong-Yen Lee |
| 2003 | RTCSA | RESS: Real-Time Embedded Software Synthesis and Prototyping Methodology. | Trong-Yen Lee, Pao-Ann Hsiung, I-Mu Wu, Feng-Shi Su |
| 2003 | RTCSA | Software Platform for Embedded Software Development. | Win-Bin See, Pao-Ann Hsiung, Trong-Yen Lee, Sao-Jie Chen |
| 2002 | APSEC | Formal Synthesis and Code Generation of Real-Time Embedded Software using Time-Extended Quasi-Static Scheduling. | Pao-Ann Hsiung, Trong-Yen Lee, Feng-Shi Su |
| 2002 | ICPADS | TCN: Scalable Hierarchical Hypercubes. | Trong-Yen Lee, Pao-Ann Hsiung, Sao-Jie Chen |
| 2002 | ISORC | VERTAF: An Object-Oriented Application Framework for Embedded Real-Time Systems. | Pao-Ann Hsiung, Trong-Yen Lee, Win-Bin See, Jih-Ming Fu, Sao-Jie Chen |
| 2001 | APSEC | Formal Verification of Embedded Real-Time Software in Component-Based Application Frameworks. | Pao-Ann Hsiung, Win-Bin See, Trong-Yen Lee, Jih-Ming Fu, Sao-Jie Chen |
| 2001 | FORTE | Formal Synthesis and Control of Soft Embedded Real-Time Systems. | Pao-Ann Hsiung |
| 2001 | RTAS | Verifiable Embedded Real-Time Application Framework. | Pao-Ann Hsiung, Feng-Shi Su, Chuen-Hau Gao, Shu-Yu Cheng, Yu-Ming Chang |
| 2000 | COMPSAC | Concurrent Embedded Real-Time Software Verification. | Pao-Ann Hsiung |
| 2000 | RTCSA | On the verification of Wireless Transaction Protocol using SGM and RED. | Pao-Ann Hsiung, Farn Wang, Ruey-Cheng Chen |
| 1999 | ECRTS | Hardware-software coverification of concurrent embedded real-time systems. | Pao-Ann Hsiung |
| 1999 | FORTE | User-Friendly Verification. | Pao-Ann Hsiung, Farn Wang |
| 1999 | PDPTA | Parallel Object-Oriented Synthesis Methodology. | Pao-Ann Hsiung |
| 1999 | PDPTA | A Case Study in Hardware-Software Codesign of Distributed Systems - Vehicle Parking Management System. | Trong-Yen Lee, Pao-Ann Hsiung, Sao-Jie Chen |
| 1999 | RTCSA | Verification of Concurrent Client-Server Real-Time Scheduling Systems. | Pao-Ann Hsiung, Farn Wang, Yue-Sun Kuo |
| 1999 | TACAS | Scheduling System Verification. | Pao-Ann Hsiung, Farn Wang, Yue-Sun Kuo |
| 1998 | RTCSA | A State Graph Manipulator Tool for Real-Time System Specification and Verification. | Pao-Ann Hsiung, Farn Wang |