PSM: an object-oriented synthesis approach to multiprocessor system design. - Pao-Ann Hsiung; Sao-Jie Chen; Tsung-Chien Hu; Shih-Chiang Wang (IEEE Trans. Very Large Scale Integr. Syst., 1996)

Parametric Analysis of Computer Systems. - Farn Wang; Pao-Ann Hsiung (AMAST, 1997)

Object-Oriented Technology Transfer to Multiprocessor System-Level Synthesis. - Pao-Ann Hsiung; Trong-Yen Lee; Sao-Jie Chen (TOOLS (24), 1997)

Automatic Verification on the Large. - Farn Wang; Pao-Ann Hsiung (HASE, 1998)

A State Graph Manipulator Tool for Real-Time System Specification and Verification. - Pao-Ann Hsiung; Farn Wang (RTCSA, 1998)

RTFrame: An Object-Oriented Application Framework for Real-Time Applications. - Pao-Ann Hsiung (TOOLS (27), 1998)

Parallel Object-Oriented Synthesis Environment Based On Message-Passing. - Pao-Ann Hsiung (TOOLS (27), 1998)

ICOS: an intelligent concurrent object-oriented synthesis methodology for multiprocessor systems. - Pao-Ann Hsiung; Chung-Hwang Chen; Trong-Yen Lee; Sao-Jie Chen (ACM Trans. Design Autom. Electr. Syst., 1998)

Timing coverification of concurrent embedded real-time systems. - Pao-Ann Hsiung (CODES, 1999)

Hardware-software coverification of concurrent embedded real-time systems. - Pao-Ann Hsiung (ECRTS, 1999)

User-Friendly Verification. - Pao-Ann Hsiung; Farn Wang (FORTE, 1999)

High Level Design Reuse through Fuzzy Learning. - Pao-Ann Hsiung (IC-AI, 1999)

Parallel Object-Oriented Synthesis Methodology. - Pao-Ann Hsiung (PDPTA, 1999)

A Case Study in Hardware-Software Codesign of Distributed Systems - Vehicle Parking Management System. - Trong-Yen Lee; Pao-Ann Hsiung; Sao-Jie Chen (PDPTA, 1999)

Verification of Concurrent Client-Server Real-Time Scheduling Systems. - Pao-Ann Hsiung; Farn Wang; Yue-Sun Kuo (RTCSA, 1999)

Scheduling System Verification. - Pao-Ann Hsiung; Farn Wang; Yue-Sun Kuo (TACAS, 1999)

Concurrent Embedded Real-Time Software Verification. - Pao-Ann Hsiung (COMPSAC, 2000)

A Java-Based Distributed System Framework for Real-Time Development. - Jih-Ming Fu; Win-Bin See; Pao-Ann Hsiung; Jen-Ming Chao; Sao-Jie Chen (ICDCS Workshop on Distributed Real-Time Systems, 2000)

On the verification of Wireless Transaction Protocol using SGM and RED. - Pao-Ann Hsiung; Farn Wang; Ruey-Cheng Chen (RTCSA, 2000)

Embedded software verification in hardware-software codesign. - Pao-Ann Hsiung (J. Syst. Archit., 2000)

CMAPS: a cosynthesis methodology for application-oriented parallel systems. - Pao-Ann Hsiung (ACM Trans. Design Autom. Electr. Syst., 2000)

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 (APSEC, 2001)

Formal synthesis and code generation of embedded real-time software. - Pao-Ann Hsiung (CODES, 2001)

Formal Synthesis and Control of Soft Embedded Real-Time Systems. - Pao-Ann Hsiung (FORTE, 2001)

Verifiable Embedded Real-Time Application Framework. - Pao-Ann Hsiung; Feng-Shi Su; Chuen-Hau Gao; Shu-Yu Cheng; Yu-Ming Chang (IEEE Real Time Technology and Applications Symposium, 2001)

POSE: a parallel object-oriented synthesis environment. - Pao-Ann Hsiung (ACM Trans. Design Autom. Electr. Syst., 2001)

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 (APSEC, 2002)

Extended quasi-static scheduling for formal synthesis and code generation of embedded software. - Feng-Shi Su; Pao-Ann Hsiung (CODES, 2002)

TCN: Scalable Hierarchical Hypercubes. - Trong-Yen Lee; Pao-Ann Hsiung; Sao-Jie Chen (ICPADS, 2002)

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 (Symposium on Object-Oriented Real-Time Distributed Computing, 2002)

Formal Synthesis of Real-Time Embedded Software by Time-Memory Scheduling of Colored Time Petri Nets. - Pao-Ann Hsiung; Chuen-Hau Gao (Theory and Practice of Timed Systems @ ETAPS, 2002)

Efficient and User-Friendly Verification. - Farn Wang; Pao-Ann Hsiung (IEEE Trans. Computers, 2002)

Synthesis of real-time embedded software with local and global deadlines. - Pao-Ann Hsiung; Cheng-Yi Lin (CODES+ISSS, 2003)

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 (RTCSA, 2003)

RESS: Real-Time Embedded Software Synthesis and Prototyping Methodology. - Trong-Yen Lee; Pao-Ann Hsiung; I-Mu Wu; Feng-Shi Su (RTCSA, 2003)

Software Platform for Embedded Software Development. - Win-Bin See; Pao-Ann Hsiung; Trong-Yen Lee; Sao-Jie Chen (RTCSA, 2003)

Automating Formal Modular Verification of Asynchronous Real-Time Embedded Systems. - Pao-Ann Hsiung; Shu-Yu Cheng (VLSI Design, 2003)

Synthesis of Real-Time Embedded Software by Timed Quasi-Static Scheduling. - Pao-Ann Hsiung; Feng-Shi Su (VLSI Design, 2003)

Formal Design and Verification of Real-Time Embedded Software. - Pao-Ann Hsiung; Shang-Wei Lin 001 (APLAS, 2004)

Mutation Coverage Estimation for Model Checking. - Te-Chang Lee; Pao-Ann Hsiung (ATVA, 2004)

Automatic Synthesis and Verification of Real-Time Embedded Software. - Pao-Ann Hsiung; Shang-Wei Lin 001 (EUC, 2004)

Embedded software synthesis and prototyping. - Trong-Yen Lee; Pao-Ann Hsiung (IEEE Trans. Consumer Electron., 2004)

VERTAF: An Application Framework for the Design and Verification of Embedded Real-Time Software. - Pao-Ann Hsiung; Shang-Wei Lin 001; Chih-Hao Tseng; Trong-Yen Lee; Jih-Ming Fu; Win-Bin See (IEEE Trans. Software Eng., 2004)

Model Checking Prioritized Timed Automata. - Shang-Wei Lin 001; Pao-Ann Hsiung; Chun-Hsian Huang; Yean-Ru Chen (ATVA, 2005)

Hardware Task Scheduling and Placement in Operating Systems for Dynamically Reconfigurable SoC. - Yuan-Hsiu Chen; Pao-Ann Hsiung (EUC, 2005)

UML-Based Design Flow and Partitioning Methodology for Dynamically Reconfigurable Computing Systems. - Chih-Hao Tseng; Pao-Ann Hsiung (EUC, 2005)

Modeling and Verification of Safety-Critical Systems Using Safecharts. - Pao-Ann Hsiung; Yen-Hung Lin (FORTE, 2005)

Model Checking Timed Systems with Priorities. - Pao-Ann Hsiung; Shang-Wei Lin 001 (RTCSA, 2005)

Model-based Verification of Safety-Critical Systems. - Pao-Ann Hsiung; Yen-Hung Lin (SEKE, 2005)

Device-Centric Low-Power Scheduling for Real-Time Embedded Systems. - Pao-Ann Hsiung; Hsin-Chieh Kao (Int. J. Softw. Eng. Knowl. Eng., 2005)

SESAG: an object-oriented application framework for real-time systems. - Pao-Ann Hsiung; Trong-Yen Lee; Jih-Ming Fu; Win-Bin See (Softw. Pract. Exp., 2005)

Model Checking Timed Systems with Urgencies. - Pao-Ann Hsiung; Shang-Wei Lin 001; Yean-Ru Chen; Chun-Hsian Huang; Jia-Jen Yeh; Hong-Yu Sun; Chao-Sheng Lin; Hsiao-Win Liao (ATVA, 2006)

Perfecto: A Systemc-Based Performance Evaluation Framework for Dynamically Partially Reconfigurable Systems. - Pao-Ann Hsiung; Chun-Hsian Huang; Chih-Feng Liao (FPL, 2006)

Energy efficient co-scheduling in dynamically reconfigurable systems. - Pao-Ann Hsiung; Pin-Hsien Lu; Chih-Wen Liu (CODES+ISSS, 2007)

Real-Time Embedded Software Design for Mobile and Ubiquitous Systems. - Pao-Ann Hsiung; Shang-Wei Lin 001; Chin-Chieh Hung; Jih-Ming Fu; Chao-Sheng Lin; Cheng-Chi Chiang; Kuo-Cheng Chiang; Chun-Hsien Lu; Pin-Hsien Lu (EUC, 2007)

Exploiting Hardware and Software Low Power Techniques for Energy Efficient Co-scheduling in Dynamically Reconfigurable Systems. - Pao-Ann Hsiung; Chih-Wen Liu (FPL, 2007)

Reconfigurable Hardware Module Sequencer - A Tradeoff Between Networked and Data Flow Architectures. - Kai-Jung Shih; Chin-Chieh Hung; Pao-Ann Hsiung (FPT, 2007)

From ISA to application design via RTOS - a course design framework for embedded software. - Pao-Ann Hsiung; Shang-Wei Lin 001 (ICPADS, 2007)

Dynamically Swappable Hardware Design in Partially Reconfigurable Systems. - Chun-Hsian Huang; Kai-Jung Shih; Chao-Sheng Lin; Shih-Shiue Chang; Pao-Ann Hsiung (ISCAS, 2007)

Modeling and Automatic Failure Analysis of Safety-Critical Systems Using Extended Safecharts. - Yean-Ru Chen; Pao-Ann Hsiung; Sao-Jie Chen (SAFECOMP, 2007)

Automatic Failure Analysis Using Safecharts. - Yean-Ru Chen; Pao-Ann Hsiung (Int. J. Softw. Eng. Knowl. Eng., 2007)

Model Checking Safety-Critical Systems Using Safecharts. - Pao-Ann Hsiung; Yean-Ru Chen; Yen-Hung Lin (IEEE Trans. Computers, 2007)

UML-based hardware/software co-design platform for dynamically partially reconfigurable network security systems. - Chun-Hsian Huang; Pao-Ann Hsiung (ACSAC, 2008)

A novel spatio-temporal adaptive bus encoding for reducing crosstalk interferences with trade-offs between performance and reliability. - Jih-Sheng Shen; Pao-Ann Hsiung; Kuei-Chung Chang (ACSAC, 2008)

Automatic synthesis and verification of real-time embedded software for mobile and ubiquitous systems. - Pao-Ann Hsiung; Shang-Wei Lin 001 (Comput. Lang. Syst. Struct., 2008)

Software-Controlled Dynamically Swappable Hardware Design in Partially Reconfigurable Systems. - Chun-Hsian Huang; Pao-Ann Hsiung (EURASIP J. Embed. Syst., 2008)

Perfecto: A systemc-based design-space exploration framework for dynamically reconfigurable architectures. - Pao-Ann Hsiung; Chao-Sheng Lin; Chih-Feng Liao (ACM Trans. Reconfigurable Technol. Syst., 2008)

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 (COMPSAC (2), 2009)

Multi-objective Placement of Reconfigurable Hardware Tasks in Real-Time System. - Chun-Hsien Lu; Hsiao-Win Liao; Pao-Ann Hsiung (CSE (2), 2009)

Compositional Automata Reduction with Non-critical Path Slicing. - Yean-Ru Chen; To-Yu Chen; Pao-Ann Hsiung; Sao-Jie Chen; Yu Hen Hu (FCS, 2009)

VERTAF/Multi-Core: A SysML-Based Application Framework for Multi-Core Embedded Software Development. - Pao-Ann Hsiung; Chao-Sheng Lin; Shang-Wei Lin 001; 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 (ICA3PP, 2009)

Model-driven development of multi-core embedded software. - Pao-Ann Hsiung; Shang-Wei Lin 001; 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 (IWMSE@ICSE, 2009)

On the Use of a UML-Based HW/SW Co-Design Platform for Reconfigurable Cryptographic Systems. - Chun-Hsian Huang; Pao-Ann Hsiung (ISCAS, 2009)

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 (ISCAS, 2009)

Quality-of-Service Optimization for Multiple Multimedia Tasks in Real-Time Embedded Systems. - Kai-Jung Shih; Yi-Hsun Lin; Pao-Ann Hsiung (ISPAN, 2009)

Parallel implementation of convolution encoder for software defined radio on DSP architecture. - Jui-Chieh Lin; Chu Yu; Mao-Hsu Yen; Pao-Ann Hsiung; Sao-Jie Chen; Yu Hen Hu (ICSAMOS, 2009)

Hardware Resource Virtualization for Dynamically Partially Reconfigurable Systems. - Chun-Hsian Huang; Pao-Ann Hsiung (IEEE Embed. Syst. Lett., 2009)

Hardware task scheduling and placement in operating systems for dynamically reconfigurable SoC. - Pao-Ann Hsiung; Chun-Hsian Huang; Yuan-Hsiu Chen (J. Embed. Comput., 2009)

Modeling and verification of real-time embedded systems with urgency. - Pao-Ann Hsiung; Shang-Wei Lin 001; Yean-Ru Chen; Chun-Hsian Huang; Chihhsiong Shih; William C. Chu (J. Syst. Softw., 2009)

Dynamic Reconfigurable Network-on-Chip Design - Innovations for Computational Processing and Communication. - Jih-Sheng Shen; Pao-Ann Hsiung (IGI Global, 2010)

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 (COMPSAC, 2010)

Learning-based adaptation to applications and environments in a reconfigurable Network-on-Chip. - Jih-Sheng Shen; Chun-Hsian Huang; Pao-Ann Hsiung (DATE, 2010)

Innovative Application of RFID Systems to Special Education Schools. - Shu-Hui Yang; Pao-Ann Hsiung (NAS, 2010)

Supporting Tool for Embedded Software Testing. - Chorng-Shiuh Koong; Hung-Jui Lai; Chih-Hung Chang; William C. Chu; Nien-Lin Hsueh; Pao-Ann Hsiung; Chihhsiong Shih; Chao-Tung Yang (QSIC, 2010)

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 (SAC, 2010)

ARAL-CR: An adaptive reasoning and learning cognitive radio platform. - Sao-Jie Chen; Pao-Ann Hsiung; Chu Yu; Mao-Hsu Yen; Sakir Sezer; Michael J. Schulte; Yu Hen Hu (ICSAMOS, 2010)

A Self-Adaptive Hardware/Software System Architecture for Ubiquitous Computing Applications. - Chun-Hsian Huang; Jih-Sheng Shen; Pao-Ann Hsiung (UIC, 2010)

UML-based hardware/software co-design platform for dynamically partially reconfigurable network security systems. - Chun-Hsian Huang; Pao-Ann Hsiung; Jih-Sheng Shen (J. Syst. Archit., 2010)

Model-based platform-specific co-design methodology for dynamically partially reconfigurable systems with hardware virtualization and preemption. - Chun-Hsian Huang; Pao-Ann Hsiung; Jih-Sheng Shen (J. Syst. Archit., 2010)

Scheduling and Placement of Hardware/Software Real-Time Relocatable Tasks in Dynamically Partially Reconfigurable Systems. - Pao-Ann Hsiung; Chun-Hsian Huang; Jih-Sheng Shen; Cheng-Chi Chiang (ACM Trans. Reconfigurable Technol. Syst., 2010)

Real-Time Embedded Software Design for Mobile and Ubiquitous Systems. - Pao-Ann Hsiung; Shang-Wei Lin 001; Chao-Sheng Lin (J. Signal Process. Syst., 2010)

Network-on-Chip router design with Buffer-Stealing. - Wan-Ting Su; Jih-Sheng Shen; Pao-Ann Hsiung (ASP-DAC, 2011)

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 (COMPSAC Workshops, 2011)

Adaptive Performance Monitoring for Embedded Multicore Systems. - 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 (ICPP Workshops, 2011)

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 (SAC, 2011)

A SysML-Based Requirement Supporting Tool for Embedded Software. - Chih-Hung Chang; Chih-Wei Lu; Kuo-Fong Kao; William C. Chu; Chao-Tung Yang; Nien-Lin Hsueh; Pao-Ann Hsiung; Chorng-Shiuh Koong (SSIRI (Companion), 2011)

Pattern-based framework for modularized software development and evolution robustness. - Chih-Hung Chang; Chih-Wei Lu; Pao-Ann Hsiung (Inf. Softw. Technol., 2011)

Real-Time Services for Special Education. - Shu-Hui Yang; Pao-Ann Hsiung (IT Prof., 2011)

VERTAF/Multi-Core: A SysML-Based Application Framework for Multi-Core Embedded Software Development. - Chao-Sheng Lin; Chun-Hsien Lu; Shang-Wei Lin 001; Yean-Ru Chen; Pao-Ann Hsiung (J. Comput. Sci. Technol., 2011)

Counterexample-Guided Assume-Guarantee Synthesis through Learning. - Shang-Wei Lin 001; Pao-Ann Hsiung (IEEE Trans. Computers, 2011)

A low-power 64-point pipeline FFT/IFFT processor for OFDM applications. - Chu Yu; Mao-Hsu Yen; Pao-Ann Hsiung; Sao-Jie Chen (IEEE Trans. Consumer Electron., 2011)

Model-Based Verification and Estimation Framework for Dynamically Partially Reconfigurable Systems. - Chun-Hsian Huang; Pao-Ann Hsiung (IEEE Trans. Ind. Informatics, 2011)

Congestion-aware scheduling for NoC-based reconfigurable systems. - Hung-Lin Chao; Yean-Ru Chen; Sheng-Ya Tong; Pao-Ann Hsiung; Sao-Jie Chen (DATE, 2012)

Automatic Generation of Provably Correct Embedded Systems. - Shang-Wei Lin 001; Yang Liu 003; Pao-Ann Hsiung; Jun Sun 001; Jin Song Dong (ICFEM, 2012)

Synchronization-Aware Dynamic Thread Scheduling for Improving Performance and Saving Energy in Multi-core Embedded Systems. - Chih-Sheng Lin; Bo-Hsuan Wang; Pao-Ann Hsiung (PAAP, 2012)

An Integrated Development Environment to Support the Multi-core Embedded Systems Development. - Chih-Hung Chang; Chih-Wei Lu; William C. Chu; Pao-Ann Hsiung; Nien-Lin Hsueh; Chorng-Shiuh Koong; Chao-Tung Yang (QSIC, 2012)

Cloud Computing in Taiwan. - William Cheng-Chung Chu; Chao-Tung Yang; Chih-Wei Lu; Chih-Hung Chang; Juei-Nan Chen; Pao-Ann Hsiung; Hahn-Ming Lee (Computer, 2012)

Billiard Combat Modeling and Simulation Based on Optimal Cue Placement Control and Strategic Planning. - Chihhsiong Shih; Chorng-Shiuh Koong; Pao-Ann Hsiung (J. Intell. Robotic Syst., 2012)

Automatic testing environment for multi-core embedded software - ATEMES. - Chorng-Shiuh Koong; Chihhsiong Shih; Pao-Ann Hsiung; Hung-Jui Lai; Chih-Hung Chang; William C. Chu; Nien-Lin Hsueh; Chao-Tung Yang (J. Syst. Softw., 2012)

Model Checking Prioritized Timed Systems. - Shang-Wei Lin 001; Pao-Ann Hsiung (IEEE Trans. Computers, 2012)

The Architecture of Parallelized Cloud-Based Automatic Testing System. - Chorng-Shiuh Koong; Chihhsiong Shih; Chang-Chung Wu; Pao-Ann Hsiung (CISIS, 2013)

Real-Time Object Detection for Multi-Camera on Heterogeneous Parallel Processing Systems. - Chih-Sheng Lin; Shih-Meng Teng; Yen-Ting Chen; Pao-Ann Hsiung (CISIS, 2013)

Spatio-Temporally-Shared Reconfigurable Fast Fourier Transform architecture design. - Hung-Lin Chao; Chun-Yang Peng; Cheng-Chien Wu; Ken-Shin Huang; Chun-Hsien Lu; Jih-Sheng Shen; Pao-Ann Hsiung (FPT, 2013)

Backward probing deadlock detection for networks-on-chip. - Yean-Ru Chen; Zi-Rong Wangt; Pao-Ann Hsiung; Sao-Jie Chen; Meng-Hsun Tsai (NOCS, 2013)

Learning-based adaptation to applications and environments in a reconfigurable network-on-chip for reducing crosstalk and dynamic power consumption. - Jih-Sheng Shen; Pao-Ann Hsiung; Chun-Hsian Huang (Comput. Electr. Eng., 2013)

Multi-objective exploitation of pipeline parallelism using clustering, replication and duplication in embedded multi-core systems. - Chih-Sheng Lin; Chao-Sheng Lin; Yu-Shin Lin; Pao-Ann Hsiung; Chihhsiong Shih (J. Syst. Archit., 2013)

Embedded multicore systems: Architecture, performance and application. - J. Morris Chang; Marco D. Santambrogio; Pao-Ann Hsiung (Microprocess. Microsystems, 2013)

Virtualizable hardware/software design infrastructure for dynamically partially reconfigurable systems. - Chun-Hsian Huang; Pao-Ann Hsiung (ACM Trans. Reconfigurable Technol. Syst., 2013)

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 (COMPSAC Workshops, 2014)

Compositional Synthesis of Concurrent Systems through Causal Model Checking and Learning. - Shang-Wei Lin 001; Pao-Ann Hsiung (FM, 2014)

Reconfigurable Network-on-chip design for heterogeneous multi-core system architecture. - Jih-Sheng Shen; Pao-Ann Hsiung; Juin-Ming Lu (HPCS, 2014)

Micro-grid Design Modeling and Prototyping. - Hung-Lin Chao; Pao-Ann Hsiung (ICS, 2014)

Auto-Tuning for GPGPU Applications Using Performance and Energy Model. - Chih-Sheng Lin; Shih-Meng Teng; Pao-Ann Hsiung (ICS, 2014)

Timing Optimization and Control for Smart Traffic. - Pei-Chi Hsieh; You-Ren Chen; Wen-Hao Wu; Pao-Ann Hsiung (iThings/GreenCom/CPSCom, 2014)

Unified Security and Safety Risk Assessment - A Case Study on Nuclear Power Plant. - Yean-Ru Chen; Sao-Jie Chen; Pao-Ann Hsiung; I-Hsin Chou (TSA, 2014)

Dynamic partially reconfigurable architecture for fast Fourier transform computation. - Hung-Lin Chao; Cheng-Chien Wu; Chun-Yang Peng; Chun-Hsien Lu; Jih-Sheng Shen; Pao-Ann Hsiung (Int. J. Embed. Syst., 2014)

Accelerating Coverage Estimation Through Partial Model Checking. - Yean-Ru Chen; Jia-Jen Yeh; Pao-Ann Hsiung; Sao-Jie Chen (IEEE Trans. Computers, 2014)

Reasoning and Learning-Based Dynamic Codec Reconfiguration for Varying Processing Requirements in Network-on-Chip. - Jih-Sheng Shen; Pao-Ann Hsiung (IEEE Trans. Very Large Scale Integr. Syst., 2014)

Design Issues in a Performance Monitor for Embedded Multi-core Systems. - Chao-Sheng Lin; Chih-Sheng Lin; Pao-Ann Hsiung; William C. Chu (J. Signal Process. Syst., 2014)

Virtualization Architecture for NoC-based Reconfigurable Systems. - Chun-Hsian Huang; Kwuan-Wei Tseng; Chih-Cheng Lin; Fang-Yu Lin; Pao-Ann Hsiung (CoRR, 2015)

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 (ICA3PP, 2016)

Model Predictive Optimization for distribution management in smart grids. - Hung-Lin Chao; Pei-Chi Hsieh; Tsai-Chen Yang; Pao-Ann Hsiung (IECON, 2016)

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 (ITNAC, 2016)

Dynamic traffic light optimization and Control System using model-predictive control method. - You-Ren Chen; Keng-Pin Chen; Pao-Ann Hsiung (ITSC, 2016)

SysML-Based Requirement Management to Improve Software Development. - Chih-Hung Chang; Chih-Wei Lu; William Cheng-Chung Chu; Pao-Ann Hsiung; Dong-Meau Chang (Int. J. Softw. Eng. Knowl. Eng., 2016)

Introduction to the special issue on reconfigurable cyber-physical and embedded system design. - Pao-Ann Hsiung; Tei-Wei Kuo; Yuan-Hao Chang 001; Chun-Hsian Huang (J. Syst. Archit., 2016)

A fair energy resource allocation strategy for micro grid. - Hung-Lin Chao; Pao-Ann Hsiung (Microprocess. Microsystems, 2016)

Introduction to the special issue on smart reconfigurable system modeling, design, and implementation. - Pao-Ann Hsiung; Yuan-Hao Chang 001; Chun-Hsian Huang; Tei-Wei Kuo (Microprocess. Microsystems, 2016)

Dynamic Task Mapping with Congestion Speculation for Reconfigurable Network-on-Chip. - Hung-Lin Chao; Sheng-Ya Tung; Pao-Ann Hsiung (ACM Trans. Reconfigurable Technol. Syst., 2016)

Landslide prediction with model switching. - Shi-Feng Chen; Pao-Ann Hsiung (DSC, 2017)

Performance and security oriented Software-Defined Network Interface design. - Ken-Shin Huang; Hung-Lin Chao; Tsung-Tien Wu; Pao-Ann Hsiung (ICCE, 2017)

Innovative Project-Based Learning. - Ren-Hung Hwang; Pao-Ann Hsiung; Yau-Jane Chen; Chin-Feng Lai (SETE@ICWL, 2017)

Elastic superposition task mapping for NoC-based reconfigurable systems. - Chun-Hsian Huang; Chien-Yu Wang; Pao-Ann Hsiung (Microprocess. Microsystems, 2017)

Improving Accuracy in Fatigue Detection/Prediction by Dynamic Weighted Moving Average of Heart-Rate Variabilities. - Pao-Ann Hsiung; Yu-Yao Lin; Hsiu-Chun Hsu; Darmawan Utomo (DSP, 2018)

Vehicle Collision Prediction under Reduced Visibility Conditions. - Keng-Pin Chen; Pao-Ann Hsiung (Sensors, 2018)

Data Reconstruction for Cyber-Physical Landslide Detection System. - Pao-Ann Hsiung; Chih-Chen Lin (CloudCom, 2019)

Intersection Crossing for Autonomous Vehicles based on Deep Reinforcement Learning. - Wei-Lun Chen; Kwan-Hung Lee; Pao-Ann Hsiung (ICCE-TW, 2019)

Anomaly Detection at the IoT Edge using Deep Learning. - Darmawan Utomo; Pao-Ann Hsiung (ICCE-TW, 2019)

Driver Fatigue Prediction Using Different Sensor Data with Deep Learning. - Darmawan Utomo; Tzu-Hsuan Yang; Dao Thi Thanh; Pao-Ann Hsiung (ICPS, 2019)

Artificial Intelligence of Things in Sports Science: Weight Training as an Example. - William Cheng-Chung Chu; Chihhsiong Shih; Wen-Yi Chou; Sheikh Iqbal Ahamed; Pao-Ann Hsiung (Computer, 2019)

Deep Neural Network-Based Data Reconstruction for Landslide Detection. - Darmawan Utomo; Liang-Cheng Hu; Pao-Ann Hsiung (IGARSS, 2020)

A Multitiered Solution for Anomaly Detection in Edge Computing for Smart Meters. - Darmawan Utomo; Pao-Ann Hsiung (Sensors, 2020)

Smart Observer for Distant Water Fishing in Taiwan. - P. Karthikeyan 004; Tan-Khang Luong; Jui-An Ku; Chih-Chun Chang; Hsiu-Chun Hsu; Pao-Ann Hsiung (CSCI, 2022)

Maritime UAV Patrol Tasks Based on YOLOv4 Object Detection. - Yi-Yu Chang; John Ayeelyan; Pao-Ann Hsiung (CSCI, 2022)

A Smart and Private Blockchain-enabled Framework for Digital Assets. - Wei-Shan Lee; John A 001; Hsiu-Chun Hsu; Pao-Ann Hsiung (ICBTA, 2022)

Federated Trustworthy AI Architecture for Smart Cities. - Sapdo Utomo; A. John 001; Adarsh Rouniyar; Hsiu-Chun Hsu; Pao-Ann Hsiung (ISC2, 2022)

SPChain: A Smart and Private Blockchain-Enabled Framework for Combining GDPR-Compliant Digital Assets Management With AI Models. - Wei-Shan Lee; John A 001; Hsiu-Chun Hsu; Pao-Ann Hsiung (IEEE Access, 2022)

Autonomous Intersection Management by Using Reinforcement Learning. - P. Karthikeyan 004; Wei-Lun Chen; Pao-Ann Hsiung (Algorithms, 2022)

A Synergic Approach of Deep Learning towards Digital Additive Manufacturing: A Review. - Ayush Pratap; Neha Sardana; Sapdo Utomo; John Ayeelyan; P. Karthikeyan 004; Pao-Ann Hsiung (Algorithms, 2022)

Take Expert Advice Judiciously: Combining Groupwise Calibrated Model Probabilities with Expert Predictions. - Sumeet Gupta; Shweta Jain 002; Shashi Shekhar Jha; Pao-Ann Hsiung; Ming-Hung Wang (ECAI, 2023)

Tackling Labour Exploitation in Taiwan Distant Water Fishing Industry through Automated Exploitation Detection System. - P. Karthikeyan 004; Yuan-Huai Chang; Jia-Jun Qiu; Chih-Chun Chang; Pao-Ann Hsiung (GoodIT, 2023)

Eff-AQI: An Efficient CNN-Based Model for Air Pollution Estimation: A Study Case in India. - Sapdo Utomo; Adarsh Rouniyar; Guo Hao Jiang; Chun-Hao Chang; Kai Chun Tang; Hsiu-Chun Hsu; Pao-Ann Hsiung (GoodIT, 2023)

Peer to Peer Energy Transaction Market Prediction in Smart Grids using Blockchain and LSTM. - I. Chien; P. Karthikeyan 004; Pao-Ann Hsiung (ICCE, 2023)

Analysis of Defect Associated with Powder Bed Fusion with Deep Learning and Explainable AI. - Ayush Pratap; Neha Sardana; Sapdo Utomo; A. John 001; P. Karthikeyan 004; Pao-Ann Hsiung (KST, 2023)

AIX Implementation in Image-Based PM2.5 Estimation: Toward an AI Model for Better Understanding. - Sapdo Utomo; A. John 001; Ayush Pratap; Zhi-Sheng Jiang; P. Karthikeyan 004; Pao-Ann Hsiung (KST, 2023)

From 5-Stars to Real Insight: Geospatial Detection of Campaigned Reviews with Google Maps and Mobility Data. - Ying-Zhe Hung; Ming-Hung Wang; Pao-Ann Hsiung (TAAI (2), 2023)

depthUNet: A Dehazing Model with Adaptive Depth Attention for Natural Images. - Kai-Yu Wang; Yu-Hsiang Lin; Pao-Ann Hsiung (VCIP, 2023)

Federated Adversarial Training Strategies for Achieving Privacy and Security in Sustainable Smart City Applications. - Sapdo Utomo; Adarsh Rouniyar; Hsiu-Chun Hsu; Pao-Ann Hsiung (Future Internet, 2023)

Analysis of Fisherman Exploitation in Taiwan Distant Water Fishing. - Periyasami Karthikeyan; Ayush Pratap; William Cheng-Chung Chu; Pao-Ann Hsiung (IEEE Technol. Soc. Mag., 2023)

Prediction-based peer-to-peer energy transaction market design for smart grids. - I. Chien; P. Karthikeyan 004; Pao-Ann Hsiung (Eng. Appl. Artif. Intell., 2023)

Labor exploitation investigation using statistical and multiple object tracking assessment methods. - P. Karthikeyan 004; Chih-Chun Chang; Pao-Ann Hsiung (Multim. Tools Appl., 2023)

ACNNE: An Adaptive Convolution Engine for CNNs Acceleration Exploiting Partial Reconfiguration on FPGAs. - Chun-Hsian Huang; Shao-Wei Tang; Pao-Ann Hsiung (ISCAS, 2024)

Movement Disorder Evaluation of Parkinson's Disease Severity Based on Deep Neural Network Models. - Yung-Chu Hsu; Yu-Hsiang Su; Bo-Ren Cheng; Sheng-Feng Sung; Jia-Xin Liu; Hsiu-Chun Hsu; Pao-Ann Hsiung (IEEE Access, 2024)

Deep neural network-based spatiotemporal heterogeneous data reconstruction for landslide detection. - Darmawan Utomo; Liang-Cheng Hu; Pao-Ann Hsiung (Int. J. Data Sci. Anal., 2024)

Multimodal Labor Exploitation Detections for Taiwan Distant Water Fishing Industry. - P. Karthikeyan 004; Pao-Ann Hsiung (SN Comput. Sci., 2024)

SegMAgNet: A Comparative Study of Segmentation Models for Defect Detection in Additively Manufactured Mg Alloys. - Ayush Pratap; Nidhi Sharma; Tao Wu; P. Karthikeyan 004; Neha Sardana; Pao-Ann Hsiung (AVSS, 2025)

LightMOT: Lightweight and anchor-free solution for tracking multiple objects in dense populations. - P. Karthikeyan; Yong-Hong Liu; Pao-Ann Hsiung (Future Gener. Comput. Syst., 2025)

Federated learning design and functional models: survey. - John Ayeelyan; Sapdo Utomo; Adarsh Rouniyar; Hsiu-Chun Hsu; Pao-Ann Hsiung (Artif. Intell. Rev., 2025)

TDPM-CNN: a comprehensive daytime and nighttime PM2.5 estimation method using multi-kernel convolutional neural networks. - Chih-Chun Chang; Velliangiri Sarveshwaran; P. Karthikeyan 004; Pao-Ann Hsiung (Earth Sci. Informatics, 2025)

When explainable artificial intelligence meets data governance: Enhancing trustworthiness in multimodal gas classification. - Sapdo Utomo; Ayush Pratap; Periyasami Karthikeyan; John Ayeelyan; Hsiu-Chun Hsu; Pao-Ann Hsiung (Inf. Fusion, 2026)