Pao-Ann Hsiung

188 papers A 8B 23C 24Misc 12Journal 68Unranked 50

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A Unified Theoretical and Deep Learning Framework for Temporal Link Prediction in Dynamic Networks. IEEE Access Jo Cheriyan, Lekshmi S. Nair, Pao-Ann Hsiung
2026	J	`jnl`	When explainable artificial intelligence meets data governance: Enhancing trustworthiness in multimodal gas classification. Inf. Fusion Sapdo Utomo, Ayush Pratap, Periyasami Karthikeyan, John Ayeelyan, Hsiu-Chun Hsu, Pao-Ann Hsiung
2025	J	`jnl`	Federated learning design and functional models: survey. Artif. Intell. Rev. John Ayeelyan, Sapdo Utomo, Adarsh Rouniyar, Hsiu-Chun Hsu, Pao-Ann Hsiung
2025	J	`jnl`	LightMOT: Lightweight and anchor-free solution for tracking multiple objects in dense populations. Future Gener. Comput. Syst. P. Karthikeyan, Yong-hong Liu, Pao-Ann Hsiung
2025	B	`conf`	SegMAgNet: A Comparative Study of Segmentation Models for Defect Detection in Additively Manufactured Mg Alloys. AVSS Ayush Pratap, Nidhi Sharma, Tao Wu, P. Karthikeyan, Neha Sardana, Pao-Ann Hsiung
2025	J	`jnl`	TDPM-CNN: a comprehensive daytime and nighttime PM2.5 estimation method using multi-kernel convolutional neural networks. Earth Sci. Informatics Chih-Chun Chang, Velliangiri Sarveshwaran, P. Karthikeyan, Pao-Ann Hsiung
2024	C	`conf`	ACNNE: An Adaptive Convolution Engine for CNNs Acceleration Exploiting Partial Reconfiguration on FPGAs. ISCAS Chun-Hsian Huang, Shao-Wei Tang, Pao-Ann Hsiung
2024	J	`jnl`	Deep neural network-based spatiotemporal heterogeneous data reconstruction for landslide detection. Int. J. Data Sci. Anal. Darmawan Utomo, Liang-Cheng Hu, Pao-Ann Hsiung
2024	J	`jnl`	Movement Disorder Evaluation of Parkinson's Disease Severity Based on Deep Neural Network Models. IEEE Access Yung-Chu Hsu, Yu-Hsiang Su, Bo-Ren Cheng, Sheng-Feng Sung, Jia-Xin Liu, Hsiu-Chun Hsu, Pao-Ann Hsiung
2024	J	`jnl`	Multimodal Labor Exploitation Detections for Taiwan Distant Water Fishing Industry. SN Comput. Sci. P. Karthikeyan, Pao-Ann Hsiung
2023	—	`conf`	AIX Implementation in Image-Based PM2.5 Estimation: Toward an AI Model for Better Understanding. KST Sapdo Utomo, A. John, Ayush Pratap, Zhi-Sheng Jiang, P. Karthikeyan, Pao-Ann Hsiung
2023	—	`conf`	Analysis of Defect Associated with Powder Bed Fusion with Deep Learning and Explainable AI. KST Ayush Pratap, Neha Sardana, Sapdo Utomo, A. John, P. Karthikeyan, Pao-Ann Hsiung
2023	J	`jnl`	Analysis of Fisherman Exploitation in Taiwan Distant Water Fishing. IEEE Technol. Soc. Mag. Periyasami Karthikeyan, Ayush Pratap, William Cheng-Chung Chu, Pao-Ann Hsiung
2023	—	`conf`	Eff-AQI: An Efficient CNN-Based Model for Air Pollution Estimation: A Study Case in India. GoodIT Sapdo Utomo, Adarsh Rouniyar, Guo Hao Jiang, Chun-Hao Chang, Kai Chun Tang, Hsiu-Chun Hsu, Pao-Ann Hsiung
2023	J	`jnl`	Federated Adversarial Training Strategies for Achieving Privacy and Security in Sustainable Smart City Applications. Future Internet Sapdo Utomo, Adarsh Rouniyar, Hsiu-Chun Hsu, Pao-Ann Hsiung
2023	—	`conf`	From 5-Stars to Real Insight: Geospatial Detection of Campaigned Reviews with Google Maps and Mobility Data. TAAI (2) Ying-Zhe Hung, Ming-Hung Wang, Pao-Ann Hsiung
2023	J	`jnl`	Labor exploitation investigation using statistical and multiple object tracking assessment methods. Multim. Tools Appl. P. Karthikeyan, Chih-Chun Chang, Pao-Ann Hsiung
2023	C	`conf`	Peer to Peer Energy Transaction Market Prediction in Smart Grids using Blockchain and LSTM. ICCE I. Chien, P. Karthikeyan, Pao-Ann Hsiung
2023	J	`jnl`	Prediction-based peer-to-peer energy transaction market design for smart grids. Eng. Appl. Artif. Intell. I. Chien, P. Karthikeyan, Pao-Ann Hsiung
2023	—	`conf`	Tackling Labour Exploitation in Taiwan Distant Water Fishing Industry through Automated Exploitation Detection System. GoodIT P. Karthikeyan, Yuan-Huai Chang, Jia-Jun Qiu, Chih-Chun Chang, Pao-Ann Hsiung
2023	A	`conf`	Take Expert Advice Judiciously: Combining Groupwise Calibrated Model Probabilities with Expert Predictions. ECAI Sumeet Gupta, Shweta Jain, Shashi Shekhar Jha, Pao-Ann Hsiung, Ming-Hung Wang
2023	C	`conf`	depthUNet: A Dehazing Model with Adaptive Depth Attention for Natural Images. VCIP Kai-Yu Wang, Yu-Hsiang Lin, Pao-Ann Hsiung
2022	—	`conf`	A Smart and Private Blockchain-enabled Framework for Digital Assets. ICBTA Wei-Shan Lee, John A, Hsiu-Chun Hsu, Pao-Ann Hsiung
2022	J	`jnl`	A Synergic Approach of Deep Learning towards Digital Additive Manufacturing: A Review. Algorithms Ayush Pratap, Neha Sardana, Sapdo Utomo, John Ayeelyan, P. Karthikeyan, Pao-Ann Hsiung
2022	J	`jnl`	Autonomous Intersection Management by Using Reinforcement Learning. Algorithms P. Karthikeyan, Wei-Lun Chen, Pao-Ann Hsiung
2022	—	`conf`	Federated Trustworthy AI Architecture for Smart Cities. ISC2 Sapdo Utomo, A. John, Adarsh Rouniyar, Hsiu-Chun Hsu, Pao-Ann Hsiung
2022	—	`conf`	Maritime UAV Patrol Tasks Based on YOLOv4 Object Detection. CSCI Yi-Yu Chang, John Ayeelyan, Pao-Ann Hsiung
2022	J	`jnl`	SPChain: A Smart and Private Blockchain-Enabled Framework for Combining GDPR-Compliant Digital Assets Management With AI Models. IEEE Access Wei-Shan Lee, John A, Hsiu-Chun Hsu, Pao-Ann Hsiung
2022	—	`conf`	Smart Observer for Distant Water Fishing in Taiwan. CSCI P. Karthikeyan, Tan-Khang Luong, Jui-An Ku, Chih-Chun Chang, Hsiu-Chun Hsu, Pao-Ann Hsiung
2020	J	`jnl`	A Multitiered Solution for Anomaly Detection in Edge Computing for Smart Meters. Sensors Darmawan Utomo, Pao-Ann Hsiung
2020	C	`conf`	Deep Neural Network-Based Data Reconstruction for Landslide Detection. IGARSS Darmawan Utomo, Liang-Cheng Hu, Pao-Ann Hsiung
2020	J	`jnl`	Special issue on networking technologies for sustainable computing. Sustain. Comput. Informatics Syst. Pradeep Kumar Singh, Bharat K. Bhargava, Pao-Ann Hsiung, Wei-Chiang Hong
2019	—	`conf`	Anomaly Detection at the IoT Edge using Deep Learning. ICCE-TW Darmawan Utomo, Pao-Ann Hsiung
2019	J	`jnl`	Artificial Intelligence of Things in Sports Science: Weight Training as an Example. Computer William Cheng-Chung Chu, Chihhsiong Shih, Wen-Yi Chou, Sheikh Iqbal Ahamed, Pao-Ann Hsiung
2019	C	`conf`	Data Reconstruction for Cyber-Physical Landslide Detection System. CloudCom Pao-Ann Hsiung, Chih-Chen Lin
2019	—	`conf`	Driver Fatigue Prediction Using Different Sensor Data with Deep Learning. ICPS Darmawan Utomo, Tzu-Hsuan Yang, Dao Thi Thanh, Pao-Ann Hsiung
2019	—	`conf`	Intersection Crossing for Autonomous Vehicles based on Deep Reinforcement Learning. ICCE-TW Wei-Lun Chen, Kwan-Hung Lee, Pao-Ann Hsiung
2018	—	`conf`	Improving Accuracy in Fatigue Detection/Prediction by Dynamic Weighted Moving Average of Heart-Rate Variabilities. DSP Pao-Ann Hsiung, Yu-Yao Lin, Hsiu-Chun Hsu, Darmawan Utomo
2018	J	`jnl`	Vehicle Collision Prediction under Reduced Visibility Conditions. Sensors Keng-Pin Chen, Pao-Ann Hsiung
2017	J	`jnl`	Elastic superposition task mapping for NoC-based reconfigurable systems. Microprocess. Microsystems Chun-Hsian Huang, Chien-Yu Wang, Pao-Ann Hsiung
2017	—	`conf`	Innovative Project-Based Learning. SETE@ICWL Ren-Hung Hwang, Pao-Ann Hsiung, Yau-Jane Chen, Chin-Feng Lai
2017	—	`conf`	Landslide prediction with model switching. DSC Shi-Feng Chen, Pao-Ann Hsiung
2017	C	`conf`	Performance and security oriented Software-Defined Network Interface design. ICCE Ken-Shin Huang, Hung-Lin Chao, Tsung-Tien Wu, Pao-Ann Hsiung
2016	J	`jnl`	A fair energy resource allocation strategy for micro grid. Microprocess. Microsystems Hung-Lin Chao, Pao-Ann Hsiung
2016	Misc	`conf`	An efficient and robust method for solving multi-objective constraint-satisfaction problems in Cognitive Radio systems. ITNAC Ken-Shin Huang, Yi-Luen Chang, Pao-Ann Hsiung
2016	J	`jnl`	Auto-tuning for GPGPU applications using performance and energy model. J. Syst. Archit. Chih-Sheng Lin, Shih-Meng Teng, Pao-Ann Hsiung
2016	J	`jnl`	Dynamic Task Mapping with Congestion Speculation for Reconfigurable Network-on-Chip. ACM Trans. Reconfigurable Technol. Syst. Hung-Lin Chao, Sheng-Ya Tung, Pao-Ann Hsiung
2016	—	`conf`	Dynamic traffic light optimization and Control System using model-predictive control method. ITSC You-Ren Chen, Keng-Pin Chen, Pao-Ann Hsiung
2016	C	`conf`	Feedback Control Optimization for Performance and Energy Efficiency on CPU-GPU Heterogeneous Systems. ICA3PP Feng-Sheng Lin, Po-Ting Liu, Ming-Hua Li, Pao-Ann Hsiung
2016	J	`jnl`	Introduction to the special issue on reconfigurable cyber-physical and embedded system design. J. Syst. Archit. Pao-Ann Hsiung, Tei-Wei Kuo, Yuan-Hao Chang, Chun-Hsian Huang
2016	J	`jnl`	Introduction to the special issue on smart reconfigurable system modeling, design, and implementation. Microprocess. Microsystems Pao-Ann Hsiung, Yuan-Hao Chang, Chun-Hsian Huang, Tei-Wei Kuo
2016	C	`conf`	Model Predictive Optimization for distribution management in smart grids. IECON Hung-Lin Chao, Pei-Chi Hsieh, Tsai-Chen Yang, Pao-Ann Hsiung
2016	J	`jnl`	SysML-Based Requirement Management to Improve Software Development. Int. J. Softw. Eng. Knowl. Eng. Chih-Hung Chang, Chih-Wei Lu, William Cheng-Chung Chu, Pao-Ann Hsiung, Dong-Meau Chang
2015	—	`ed.`	39th Annual Computer Software and Applications Conference, COMPSAC Workshops 2015, Taichung, Taiwan, July 1-5, 2015 COMPSAC Workshops Sheikh Iqbal Ahamed, Carl K. Chang, William C. Chu, Ivica Crnkovic, Pao-Ann Hsiung, Gang Huang, Jingwei Yang
2015	—	`ed.`	39th IEEE Annual Computer Software and Applications Conference, COMPSAC 2015, Taichung, Taiwan, July 1-5, 2015. Volume 1 COMPSAC (Stephen S. Yau Academic Symposium) Sheikh Iqbal Ahamed, Carl K. Chang, William C. Chu, Ivica Crnkovic, Pao-Ann Hsiung, Gang Huang, Jingwei Yang
2015	B	`ed.`	39th IEEE Annual Computer Software and Applications Conference, COMPSAC 2015, Taichung, Taiwan, July 1-5, 2015. Volume 2 COMPSAC Sheikh Iqbal Ahamed, Carl K. Chang, William C. Chu, Ivica Crnkovic, Pao-Ann Hsiung, Gang Huang, Jingwei Yang
2015	J	`jnl`	Virtualization Architecture for NoC-based Reconfigurable Systems. CoRR Chun-Hsian Huang, Kwuan-Wei Tseng, Chih-Cheng Lin, Fang-Yu Lin, Pao-Ann Hsiung
2014	—	`conf`	A SysML Based Requirement Modeling Automatic Transformation Approach. COMPSAC Workshops Chih-Hung Chang, Chih-Wei Lu, Wen Pin Yang, William Cheng-Chung Chu, Chao-Tung Yang, Ching-Tsorng Tsai, Pao-Ann Hsiung
2014	J	`jnl`	Accelerating Coverage Estimation Through Partial Model Checking. IEEE Trans. Computers Yean-Ru Chen, Jia-Jen Yeh, Pao-Ann Hsiung, Sao-Jie Chen
2014	A	`conf`	Auto-Tuning for GPGPU Applications Using Performance and Energy Model. ICS Chih-Sheng Lin, Shih-Meng Teng, Pao-Ann Hsiung
2014	B	`conf`	Compositional Synthesis of Concurrent Systems through Causal Model Checking and Learning. FM Shang-Wei Lin, Pao-Ann Hsiung
2014	J	`jnl`	Design Issues in a Performance Monitor for Embedded Multi-core Systems. J. Signal Process. Syst. Chao-Sheng Lin, Chih-Sheng Lin, Pao-Ann Hsiung, William C. Chu
2014	J	`jnl`	Dynamic partially reconfigurable architecture for fast Fourier transform computation. Int. J. Embed. Syst. Hung-Lin Chao, Cheng-Chien Wu, Chun-Yang Peng, Chun-Hsien Lu, Jih-Sheng Shen, Pao-Ann Hsiung
2014	A	`conf`	Micro-grid Design Modeling and Prototyping. ICS Hung-Lin Chao, Pao-Ann Hsiung
2014	J	`jnl`	Reasoning and Learning-Based Dynamic Codec Reconfiguration for Varying Processing Requirements in Network-on-Chip. IEEE Trans. Very Large Scale Integr. Syst. Jih-Sheng Shen, Pao-Ann Hsiung
2014	—	`conf`	Reconfigurable Network-on-chip design for heterogeneous multi-core system architecture. HPCS Jih-Sheng Shen, Pao-Ann Hsiung, Juin-Ming Lu
2014	—	`conf`	Timing Optimization and Control for Smart Traffic. iThings/GreenCom/CPSCom Pei-Chi Hsieh, You-Ren Chen, Wen-Hao Wu, Pao-Ann Hsiung
2014	—	`conf`	Unified Security and Safety Risk Assessment - A Case Study on Nuclear Power Plant. TSA Yean-Ru Chen, Sao-Jie Chen, Pao-Ann Hsiung, I-Hsin Chou
2013	—	`conf`	Backward probing deadlock detection for networks-on-chip. NOCS Yean-Ru Chen, Zi-Rong Wangt, Pao-Ann Hsiung, Sao-Jie Chen, Meng-Hsun Tsai
2013	J	`jnl`	Embedded multicore systems: Architecture, performance and application. Microprocess. Microsystems J. Morris Chang, Marco D. Santambrogio, Pao-Ann Hsiung
2013	J	`jnl`	Learning-based adaptation to applications and environments in a reconfigurable network-on-chip for reducing crosstalk and dynamic power consumption. Comput. Electr. Eng. Jih-Sheng Shen, Pao-Ann Hsiung, Chun-Hsian Huang
2013	J	`jnl`	Multi-objective exploitation of pipeline parallelism using clustering, replication and duplication in embedded multi-core systems. J. Syst. Archit. Chih-Sheng Lin, Chao-Sheng Lin, Yu-Shin Lin, Pao-Ann Hsiung, Chihhsiong Shih
2013	Misc	`conf`	Real-Time Object Detection for Multi-Camera on Heterogeneous Parallel Processing Systems. CISIS Chih-Sheng Lin, Shih-Meng Teng, Yen-Ting Chen, Pao-Ann Hsiung
2013	—	`conf`	Spatio-Temporally-Shared Reconfigurable Fast Fourier Transform architecture design. FPT Hung-Lin Chao, Chun-Yang Peng, Cheng-Chien Wu, Ken-Shin Huang, Chun-Hsien Lu, Jih-Sheng Shen, Pao-Ann Hsiung
2013	Misc	`conf`	The Architecture of Parallelized Cloud-Based Automatic Testing System. CISIS Chorng-Shiuh Koong, Chihhsiong Shih, Chang-Chung Wu, Pao-Ann Hsiung
2013	J	`jnl`	Virtualizable hardware/software design infrastructure for dynamically partially reconfigurable systems. ACM Trans. Reconfigurable Technol. Syst. Chun-Hsian Huang, Pao-Ann Hsiung
2012	—	`conf`	An Integrated Development Environment to Support the Multi-core Embedded Systems Development. QSIC Chih-Hung Chang, Chih-Wei Lu, William C. Chu, Pao-Ann Hsiung, Nien-Lin Hsueh, Chorng-Shiuh Koong, Chao-Tung Yang
2012	C	`conf`	Automatic Generation of Provably Correct Embedded Systems. ICFEM Shang-Wei Lin, Yang Liu, Pao-Ann Hsiung, Jun Sun, Jin Song Dong
2012	J	`jnl`	Automatic testing environment for multi-core embedded software - ATEMES. J. Syst. Softw. Chorng-Shiuh Koong, Chihhsiong Shih, Pao-Ann Hsiung, Hung-Jui Lai, Chih-Hung Chang, William C. Chu, Nien-Lin Hsueh, Chao-Tung Yang
2012	J	`jnl`	Billiard Combat Modeling and Simulation Based on Optimal Cue Placement Control and Strategic Planning. J. Intell. Robotic Syst. Chihhsiong Shih, Chorng-Shiuh Koong, Pao-Ann Hsiung
2012	J	`jnl`	Cloud Computing in Taiwan. Computer William Cheng-Chung Chu, Chao-Tung Yang, Chih-Wei Lu, Chih-Hung Chang, Juei-Nan Chen, Pao-Ann Hsiung, Hahn-Ming Lee
2012	A	`conf`	Congestion-aware scheduling for NoC-based reconfigurable systems. DATE Hung-Lin Chao, Yean-Ru Chen, Sheng-Ya Tong, Pao-Ann Hsiung, Sao-Jie Chen
2012	J	`jnl`	Model Checking Prioritized Timed Systems. IEEE Trans. Computers Shang-Wei Lin, Pao-Ann Hsiung
2012	—	`conf`	Synchronization-Aware Dynamic Thread Scheduling for Improving Performance and Saving Energy in Multi-core Embedded Systems. PAAP Chih-Sheng Lin, Bo-Hsuan Wang, Pao-Ann Hsiung
2011	—	`conf`	A SysML-Based Requirement Supporting Tool for Embedded Software. SSIRI (Companion) Chih-Hung Chang, Chih-Wei Lu, Kuo-Fong Kao, William C. Chu, Chao-Tung Yang, Nien-Lin Hsueh, Pao-Ann Hsiung, Chorng-Shiuh Koong
2011	J	`jnl`	A low-power 64-point pipeline FFT/IFFT processor for OFDM applications. IEEE Trans. Consumer Electron. Chu Yu, Mao-Hsu Yen, Pao-Ann Hsiung, Sao-Jie Chen
2011	Misc	`conf`	A pattern-based verification approach for a multi-core system development. SAC Peng-Hua Chu, Nien-Lin Hsueh, Chien-Ching Lee, Min-Ju Chuang, Pao-Ann Hsiung, William C. Chu
2011	—	`conf`	Adaptive Performance Monitoring for Embedded Multicore Systems. ICPP Workshops Chun-Yi Shih, Ming-Chih Li, Chao-Sheng Lin, Pao-Ann Hsiung, Chih-Hung Chang, William C. Chu, Nien-Lin Hsueh, Chihhsiong Shih, Chao-Tung Yang, Chorng-Shiuh Koong
2011	B	`ed.`	Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings ATVA Tevfik Bultan, Pao-Ann Hsiung
2011	J	`jnl`	Counterexample-Guided Assume-Guarantee Synthesis through Learning. IEEE Trans. Computers Shang-Wei Lin, Pao-Ann Hsiung
2011	J	`jnl`	Model-Based Verification and Estimation Framework for Dynamically Partially Reconfigurable Systems. IEEE Trans. Ind. Informatics Chun-Hsian Huang, Pao-Ann Hsiung
2011	—	`conf`	Network-on-Chip router design with Buffer-Stealing. ASP-DAC Wan-Ting Su, Jih-Sheng Shen, Pao-Ann Hsiung
2011	J	`jnl`	Pattern-based framework for modularized software development and evolution robustness. Inf. Softw. Technol. Chih-Hung Chang, Chih-Wei Lu, Pao-Ann Hsiung
2011	J	`jnl`	Real-Time Services for Special Education. IT Prof. Shu-Hui Yang, Pao-Ann Hsiung
2011	J	`jnl`	VERTAF/Multi-Core: A SysML-Based Application Framework for Multi-Core Embedded Software Development. J. Comput. Sci. Technol. Chao-Sheng Lin, Chun-Hsien Lu, Shang-Wei Lin, Yean-Ru Chen, Pao-Ann Hsiung
2011	—	`conf`	XML-Based Reusable Component Repository for Embedded Software. COMPSAC Workshops Chih-Hung Chang, Chih-Wei Lu, William C. Chu, Chao-Tung Yang, Pao-Ann Hsiung, Nien-Lin Hsueh, Chorng-Shiuh Koong, Kuei-Kai Shao
2010	C	`conf`	A Self-Adaptive Hardware/Software System Architecture for Ubiquitous Computing Applications. UIC Chun-Hsian Huang, Jih-Sheng Shen, Pao-Ann Hsiung
2010	—	`conf`	ARAL-CR: An adaptive reasoning and learning cognitive radio platform. ICSAMOS Sao-Jie Chen, Pao-Ann Hsiung, Chu Yu, Mao-Hsu Yen, Sakir Sezer, Michael J. Schulte, Yu Hen Hu
2010	—	`book`	Dynamic Reconfigurable Network-on-Chip Design - Innovations for Computational Processing and Communication. Jih-Sheng Shen, Pao-Ann Hsiung
2010	—	`conf`	Innovative Application of RFID Systems to Special Education Schools. NAS Shu-Hui Yang, Pao-Ann Hsiung
2010	A	`conf`	Learning-based adaptation to applications and environments in a reconfigurable Network-on-Chip. DATE Jih-Sheng Shen, Chun-Hsian Huang, Pao-Ann Hsiung
2010	J	`jnl`	Model-based platform-specific co-design methodology for dynamically partially reconfigurable systems with hardware virtualization and preemption. J. Syst. Archit. Chun-Hsian Huang, Pao-Ann Hsiung, Jih-Sheng Shen
2010	J	`jnl`	Multi-objective placement of reconfigurable hardware tasks in real-time system. Int. J. Embed. Syst. Chun-Hsien Lu, Hsiao-Win Liao, Pao-Ann Hsiung
2010	J	`jnl`	Real-Time Embedded Software Design for Mobile and Ubiquitous Systems. J. Signal Process. Syst. Pao-Ann Hsiung, Shang-Wei Lin, Chao-Sheng Lin
2010	J	`jnl`	Scheduling and Placement of Hardware/Software Real-Time Relocatable Tasks in Dynamically Partially Reconfigurable Systems. ACM Trans. Reconfigurable Technol. Syst. Pao-Ann Hsiung, Chun-Hsian Huang, Jih-Sheng Shen, Cheng-Chi Chiang
2010	B	`conf`	Supporting Design Enhancement by Pattern-Based Transformation. COMPSAC Nien-Lin Hsueh, Peng-Hua Chu, Pao-Ann Hsiung, Min-Ju Chuang, William C. Chu, Chih-Hung Chang, Chorng-Shiuh Koong, Chihhsiong Shih
2010	—	`conf`	Supporting Tool for Embedded Software Testing. QSIC Chorng-Shiuh Koong, Hung-Jui Lai, Chih-Hung Chang, William C. Chu, Nien-Lin Hsueh, Pao-Ann Hsiung, Chihhsiong Shih, Chao-Tung Yang
2010	Misc	`conf`	SysML-based requirement modeling environment for multicore embedded system. SAC Chih-Hung Chang, Chih-Wei Lu, Nien-Lin Hsueh, William C. Chu, Chihhsiong Shih, Chao-Tung Yang, Pao-Ann Hsiung, Chorng-Shiuh Koong
2010	J	`jnl`	UML-based hardware/software co-design platform for dynamically partially reconfigurable network security systems. J. Syst. Archit. Chun-Hsian Huang, Pao-Ann Hsiung, Jih-Sheng Shen
2009	C	`conf`	A 900 MHz to 5.2 GHz Dual-loop Feedback Multi-band LNA. ISCAS Jia-Wei Lin, Da-Tong Yen, Wei-Yi Hu, Chu Yu, Mao-Hsu Yen, Pao-Ann Hsiung, Sao-Jie Chen
2009	—	`conf`	A Model-Driven Multicore Software Development Environment for Embedded System. COMPSAC (2) Chihhsiong Shih, Chien-Ting Wu, Cheng-Yao Lin, Pao-Ann Hsiung, Nien-Lin Hsueh, Chih-Hung Chang, Chorng-Shiuh Koong, William C. Chu
2009	—	`conf`	Compositional Automata Reduction with Non-critical Path Slicing. FCS Yean-Ru Chen, To-Yu Chen, Pao-Ann Hsiung, Sao-Jie Chen, Yu Hen Hu
2009	J	`jnl`	Hardware Resource Virtualization for Dynamically Partially Reconfigurable Systems. IEEE Embed. Syst. Lett. Chun-Hsian Huang, Pao-Ann Hsiung
2009	J	`jnl`	Hardware task scheduling and placement in operating systems for dynamically reconfigurable SoC. J. Embed. Comput. Pao-Ann Hsiung, Chun-Hsian Huang, Yuan-Hsiu Chen
2009	—	`conf`	Model-driven development of multi-core embedded software. IWMSE@ICSE 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
2009	J	`jnl`	Modeling and verification of real-time embedded systems with urgency. J. Syst. Softw. Pao-Ann Hsiung, Shang-Wei Lin, Yean-Ru Chen, Chun-Hsian Huang, Chihhsiong Shih, William C. Chu
2009	—	`conf`	Multi-objective Placement of Reconfigurable Hardware Tasks in Real-Time System. CSE (2) Chun-Hsien Lu, Hsiao-Win Liao, Pao-Ann Hsiung
2009	C	`conf`	On the Use of a UML-Based HW/SW Co-Design Platform for Reconfigurable Cryptographic Systems. ISCAS Chun-Hsian Huang, Pao-Ann Hsiung
2009	—	`conf`	Parallel implementation of convolution encoder for software defined radio on DSP architecture. ICSAMOS Jui-Chieh Lin, Chu Yu, Mao-Hsu Yen, Pao-Ann Hsiung, Sao-Jie Chen, Yu Hen Hu
2009	—	`conf`	Quality-of-Service Optimization for Multiple Multimedia Tasks in Real-Time Embedded Systems. ISPAN Kai-Jung Shih, Yi-Hsun Lin, Pao-Ann Hsiung
2009	C	`conf`	VERTAF/Multi-Core: A SysML-Based Application Framework for Multi-Core Embedded Software Development. ICA3PP 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
2008	A	`conf`	A novel spatio-temporal adaptive bus encoding for reducing crosstalk interferences with trade-offs between performance and reliability. ACSAC Jih-Sheng Shen, Pao-Ann Hsiung, Kuei-Chung Chang
2008	J	`jnl`	Automatic synthesis and verification of real-time embedded software for mobile and ubiquitous systems. Comput. Lang. Syst. Struct. Pao-Ann Hsiung, Shang-Wei Lin
2008	J	`jnl`	Perfecto: A systemc-based design-space exploration framework for dynamically reconfigurable architectures. ACM Trans. Reconfigurable Technol. Syst. Pao-Ann Hsiung, Chao-Sheng Lin, Chih-Feng Liao
2008	J	`jnl`	Software-Controlled Dynamically Swappable Hardware Design in Partially Reconfigurable Systems. EURASIP J. Embed. Syst. Chun-Hsian Huang, Pao-Ann Hsiung
2008	A	`conf`	UML-based hardware/software co-design platform for dynamically partially reconfigurable network security systems. ACSAC Chun-Hsian Huang, Pao-Ann Hsiung
2007	J	`jnl`	Automatic Failure Analysis Using Safecharts. Int. J. Softw. Eng. Knowl. Eng. Yean-Ru Chen, Pao-Ann Hsiung
2007	C	`conf`	Dynamically Swappable Hardware Design in Partially Reconfigurable Systems. ISCAS Chun-Hsian Huang, Kai-Jung Shih, Chao-Sheng Lin, Shih-Shiue Chang, Pao-Ann Hsiung
2007	Misc	`conf`	Energy efficient co-scheduling in dynamically reconfigurable systems. CODES+ISSS Pao-Ann Hsiung, Pin-Hsien Lu, Chih-Wen Liu
2007	B	`conf`	Exploiting Hardware and Software Low Power Techniques for Energy Efficient Co-scheduling in Dynamically Reconfigurable Systems. FPL Pao-Ann Hsiung, Chih-Wen Liu
2007	B	`conf`	From ISA to application design via RTOS - a course design framework for embedded software. ICPADS Pao-Ann Hsiung, Shang-Wei Lin
2007	J	`jnl`	Model Checking Safety-Critical Systems Using Safecharts. IEEE Trans. Computers Pao-Ann Hsiung, Yean-Ru Chen, Yen-Hung Lin
2007	B	`conf`	Modeling and Automatic Failure Analysis of Safety-Critical Systems Using Extended Safecharts. SAFECOMP Yean-Ru Chen, Pao-Ann Hsiung, Sao-Jie Chen
2007	C	`conf`	Real-Time Embedded Software Design for Mobile and Ubiquitous Systems. EUC 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	—	`conf`	Reconfigurable Hardware Module Sequencer - A Tradeoff Between Networked and Data Flow Architectures. FPT Kai-Jung Shih, Chin-Chieh Hung, Pao-Ann Hsiung
2006	B	`conf`	Model Checking Timed Systems with Urgencies. ATVA 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	B	`conf`	Perfecto: A Systemc-Based Performance Evaluation Framework for Dynamically Partially Reconfigurable Systems. FPL Pao-Ann Hsiung, Chun-Hsian Huang, Chih-Feng Liao
2005	J	`jnl`	Device-Centric Low-Power Scheduling for Real-Time Embedded Systems. Int. J. Softw. Eng. Knowl. Eng. Pao-Ann Hsiung, Hsin-Chieh Kao
2005	C	`conf`	Hardware Task Scheduling and Placement in Operating Systems for Dynamically Reconfigurable SoC. EUC Yuan-Hsiu Chen, Pao-Ann Hsiung
2005	B	`conf`	Model Checking Prioritized Timed Automata. ATVA Shang-Wei Lin, Pao-Ann Hsiung, Chun-Hsian Huang, Yean-Ru Chen
2005	B	`conf`	Model Checking Timed Systems with Priorities. RTCSA Pao-Ann Hsiung, Shang-Wei Lin
2005	C	`conf`	Model-based Verification of Safety-Critical Systems. SEKE Pao-Ann Hsiung, Yen-Hung Lin
2005	C	`conf`	Modeling and Verification of Safety-Critical Systems Using Safecharts. FORTE Pao-Ann Hsiung, Yen-Hung Lin
2005	J	`jnl`	SESAG: an object-oriented application framework for real-time systems. Softw. Pract. Exp. Pao-Ann Hsiung, Trong-Yen Lee, Jih-Ming Fu, Win-Bin See
2005	C	`conf`	UML-Based Design Flow and Partitioning Methodology for Dynamically Reconfigurable Computing Systems. EUC Chih-Hao Tseng, Pao-Ann Hsiung
2004	C	`conf`	Automatic Synthesis and Verification of Real-Time Embedded Software. EUC Pao-Ann Hsiung, Shang-Wei Lin
2004	J	`jnl`	Embedded software synthesis and prototyping. IEEE Trans. Consumer Electron. Trong-Yen Lee, Pao-Ann Hsiung
2004	B	`conf`	Formal Design and Verification of Real-Time Embedded Software. APLAS Pao-Ann Hsiung, Shang-Wei Lin
2004	B	`conf`	Mutation Coverage Estimation for Model Checking. ATVA Te-Chang Lee, Pao-Ann Hsiung
2004	J	`jnl`	VERTAF: An Application Framework for the Design and Verification of Embedded Real-Time Software. IEEE Trans. Software Eng. Pao-Ann Hsiung, Shang-Wei Lin, Chih-Hao Tseng, Trong-Yen Lee, Jih-Ming Fu, Win-Bin See
2003	Misc	`conf`	Automating Formal Modular Verification of Asynchronous Real-Time Embedded Systems. VLSI Design Pao-Ann Hsiung, Shu-Yu Cheng
2003	B	`conf`	Quasi-Dynamic Scheduling for the Synthesis of Real-Time Embedded Software with Local and Global Deadlines. RTCSA Pao-Ann Hsiung, Cheng-Yi Lin, Trong-Yen Lee
2003	B	`conf`	RESS: Real-Time Embedded Software Synthesis and Prototyping Methodology. RTCSA Trong-Yen Lee, Pao-Ann Hsiung, I-Mu Wu, Feng-Shi Su
2003	B	`conf`	Software Platform for Embedded Software Development. RTCSA Win-Bin See, Pao-Ann Hsiung, Trong-Yen Lee, Sao-Jie Chen
2003	Misc	`conf`	Synthesis of Real-Time Embedded Software by Timed Quasi-Static Scheduling. VLSI Design Pao-Ann Hsiung, Feng-Shi Su
2003	Misc	`conf`	Synthesis of real-time embedded software with local and global deadlines. CODES+ISSS Pao-Ann Hsiung, Cheng-Yi Lin
2002	J	`jnl`	Efficient and User-Friendly Verification. IEEE Trans. Computers Farn Wang, Pao-Ann Hsiung
2002	—	`conf`	Extended quasi-static scheduling for formal synthesis and code generation of embedded software. CODES Feng-Shi Su, Pao-Ann Hsiung
2002	C	`conf`	Formal Synthesis and Code Generation of Real-Time Embedded Software using Time-Extended Quasi-Static Scheduling. APSEC Pao-Ann Hsiung, Trong-Yen Lee, Feng-Shi Su
2002	—	`conf`	Formal Synthesis of Real-Time Embedded Software by Time-Memory Scheduling of Colored Time Petri Nets. Theory and Practice of Timed Systems @ ETAPS Pao-Ann Hsiung, Chuen-Hau Gao
2002	B	`conf`	TCN: Scalable Hierarchical Hypercubes. ICPADS Trong-Yen Lee, Pao-Ann Hsiung, Sao-Jie Chen
2002	—	`conf`	VERTAF: An Object-Oriented Application Framework for Embedded Real-Time Systems. Symposium on Object-Oriented Real-Time Distributed Computing Pao-Ann Hsiung, Trong-Yen Lee, Win-Bin See, Jih-Ming Fu, Sao-Jie Chen
2001	C	`conf`	Formal Synthesis and Control of Soft Embedded Real-Time Systems. FORTE Pao-Ann Hsiung
2001	C	`conf`	Formal Verification of Embedded Real-Time Software in Component-Based Application Frameworks. APSEC Pao-Ann Hsiung, Win-Bin See, Trong-Yen Lee, Jih-Ming Fu, Sao-Jie Chen
2001	—	`conf`	Formal synthesis and code generation of embedded real-time software. CODES Pao-Ann Hsiung
2001	J	`jnl`	POSE: a parallel object-oriented synthesis environment. ACM Trans. Design Autom. Electr. Syst. Pao-Ann Hsiung
2001	—	`conf`	Verifiable Embedded Real-Time Application Framework. IEEE Real Time Technology and Applications Symposium Pao-Ann Hsiung, Feng-Shi Su, Chuen-Hau Gao, Shu-Yu Cheng, Yu-Ming Chang
2000	—	`conf`	A Java-Based Distributed System Framework for Real-Time Development. ICDCS Workshop on Distributed Real-Time Systems Jih-Ming Fu, Win-Bin See, Pao-Ann Hsiung, Jen-Ming Chao, Sao-Jie Chen
2000	J	`jnl`	CMAPS: a cosynthesis methodology for application-oriented parallel systems. ACM Trans. Design Autom. Electr. Syst. Pao-Ann Hsiung
2000	B	`conf`	Concurrent Embedded Real-Time Software Verification. COMPSAC Pao-Ann Hsiung
2000	J	`jnl`	Embedded software verification in hardware-software codesign. J. Syst. Archit. Pao-Ann Hsiung
2000	B	`conf`	On the verification of Wireless Transaction Protocol using SGM and RED. RTCSA Pao-Ann Hsiung, Farn Wang, Ruey-Cheng Chen
1999	Misc	`conf`	A Case Study in Hardware-Software Codesign of Distributed Systems - Vehicle Parking Management System. PDPTA Trong-Yen Lee, Pao-Ann Hsiung, Sao-Jie Chen
1999	B	`conf`	Hardware-software coverification of concurrent embedded real-time systems. ECRTS Pao-Ann Hsiung
1999	Misc	`conf`	High Level Design Reuse through Fuzzy Learning. IC-AI Pao-Ann Hsiung
1999	Misc	`conf`	Parallel Object-Oriented Synthesis Methodology. PDPTA Pao-Ann Hsiung
1999	A	`conf`	Scheduling System Verification. TACAS Pao-Ann Hsiung, Farn Wang, Yue-Sun Kuo
1999	—	`conf`	Timing coverification of concurrent embedded real-time systems. CODES Pao-Ann Hsiung
1999	C	`conf`	User-Friendly Verification. FORTE Pao-Ann Hsiung, Farn Wang
1999	B	`conf`	Verification of Concurrent Client-Server Real-Time Scheduling Systems. RTCSA Pao-Ann Hsiung, Farn Wang, Yue-Sun Kuo
1998	B	`conf`	A State Graph Manipulator Tool for Real-Time System Specification and Verification. RTCSA Pao-Ann Hsiung, Farn Wang
1998	—	`conf`	Automatic Verification on the Large. HASE Farn Wang, Pao-Ann Hsiung
1998	J	`jnl`	ICOS: an intelligent concurrent object-oriented synthesis methodology for multiprocessor systems. ACM Trans. Design Autom. Electr. Syst. Pao-Ann Hsiung, Chung-Hwang Chen, Trong-Yen Lee, Sao-Jie Chen
1998	—	`conf`	Parallel Object-Oriented Synthesis Environment Based On Message-Passing. TOOLS (27) Pao-Ann Hsiung
1998	—	`conf`	RTFrame: An Object-Oriented Application Framework for Real-Time Applications. TOOLS (27) Pao-Ann Hsiung
1997	—	`conf`	Object-Oriented Technology Transfer to Multiprocessor System-Level Synthesis. TOOLS (24) Pao-Ann Hsiung, Trong-Yen Lee, Sao-Jie Chen
1997	—	`conf`	Parametric Analysis of Computer Systems. AMAST Farn Wang, Pao-Ann Hsiung
1996	J	`jnl`	PSM: an object-oriented synthesis approach to multiprocessor system design. IEEE Trans. Very Large Scale Integr. Syst. Pao-Ann Hsiung, Sao-Jie Chen, Tsung-Chien Hu, Shih-Chiang Wang