Pao-Ann Hsiung

Jih-Sheng Shen, Pao-Ann Hsiung, Chun-Hsian Huang: Learning-based adaptation to applications and environments in a reconfigurable network-on-chip for reducing crosstalk and dynamic power consumption. Computers & Electrical Engineering 39(2): 453-464 (2013)

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

Chihhsiong Shih, Chorng-Shiuh Koong, Pao-Ann Hsiung: Billiard Combat Modeling and Simulation Based on Optimal Cue Placement Control and Strategic Planning. Journal of Intelligent and Robotic Systems 67(1): 25-41 (2012)

Chorng-Shiuh Koong, Chihhsiong Shih, Pao-Ann Hsiung, Hung-Jui Lai, Chih-Hung Chang, William C. Chu, Nien-Lin Hsueh, Chao-Tung Yang: Automatic testing environment for multi-core embedded software - ATEMES. Journal of Systems and Software 85(1): 43-60 (2012)

Shang-Wei Lin, Pao-Ann Hsiung: Model Checking Prioritized Timed Systems. IEEE Trans. Computers 61(6): 843-856 (2012)

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

Shang-Wei Lin, Yang Liu, Pao-Ann Hsiung, Jun Sun, Jin Song Dong: Automatic Generation of Provably Correct Embedded Systems. ICFEM 2012: 214-229

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

Chih-Hung Chang, Chih-Wei Lu, Pao-Ann Hsiung: Pattern-based framework for modularized software development and evolution robustness. Information & Software Technology 53(4): 307-316 (2011)

Shu-Hui Yang, Pao-Ann Hsiung: Real-Time Services for Special Education. IT Professional 13(2): 14-19 (2011)

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

Shang-Wei Lin, Pao-Ann Hsiung: Counterexample-Guided Assume-Guarantee Synthesis through Learning. IEEE Trans. Computers 60(5): 734-750 (2011)

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

Chun-Hsian Huang, Pao-Ann Hsiung: Model-Based Verification and Estimation Framework for Dynamically Partially Reconfigurable Systems. IEEE Trans. Industrial Informatics 7(2): 287-301 (2011)

Wan-Ting Su, Jih-Sheng Shen, Pao-Ann Hsiung: Network-on-Chip router design with Buffer-Stealing. ASP-DAC 2011: 160-164

Chih-Hung Chang, Chih-Wei Lu, William C. Chu, Chao-Tung Yang, Pao-Ann Hsiung, Nien-Lin Hsueh, Chorng-Shiuh Koong, Kuei-Kai Shao: XML-Based Reusable Component Repository for Embedded Software. COMPSAC Workshops 2011: 345-350

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: Adaptive Performance Monitoring for Embedded Multicore Systems. ICPP Workshops 2011: 222-228

Peng-Hua Chu, Nien-Lin Hsueh, Chien-Ching Lee, Min-Ju Chuang, Pao-Ann Hsiung, William C. Chu: A pattern-based verification approach for a multi-core system development. SAC 2011: 49-53

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

Tevfik Bultan, Pao-Ann Hsiung (Eds.): Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings. Lecture Notes in Computer Science 6996, Springer 2011, isbn 978-3-642-24371-4

Chun-Hsien Lu, Hsiao-Win Liao, Pao-Ann Hsiung: Multi-objective placement of reconfigurable hardware tasks in real-time system. IJES 4(3/4): 195-203 (2010)

Chun-Hsian Huang, Pao-Ann Hsiung, Jih-Sheng Shen: UML-based hardware/software co-design platform for dynamically partially reconfigurable network security systems. Journal of Systems Architecture - Embedded Systems Design 56(2-3): 88-102 (2010)

Chun-Hsian Huang, Pao-Ann Hsiung, Jih-Sheng Shen: Model-based platform-specific co-design methodology for dynamically partially reconfigurable systems with hardware virtualization and preemption. Journal of Systems Architecture - Embedded Systems Design 56(11): 545-560 (2010)

Pao-Ann Hsiung, Chun-Hsian Huang, Jih-Sheng Shen, Cheng-Chi Chiang: Scheduling and Placement of Hardware/Software Real-Time Relocatable Tasks in Dynamically Partially Reconfigurable Systems. TRETS 4(1): 9 (2010)

Pao-Ann Hsiung, Shang-Wei Lin, Chao-Sheng Lin: Real-Time Embedded Software Design for Mobile and Ubiquitous Systems. Signal Processing Systems 59(1): 13-32 (2010)

Nien-Lin Hsueh, Peng-Hua Chu, Pao-Ann Hsiung, Min-Ju Chuang, William C. Chu, Chih-Hung Chang, Chorng-Shiuh Koong, Chihhsiong Shih: Supporting Design Enhancement by Pattern-Based Transformation. COMPSAC 2010: 462-467

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

Shu-Hui Yang, Pao-Ann Hsiung: Innovative Application of RFID Systems to Special Education Schools. NAS 2010: 299-304

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

Chih-Hung Chang, Chih-Wei Lu, Nien-Lin Hsueh, William C. Chu, Chihhsiong Shih, Chao-Tung Yang, Pao-Ann Hsiung, Chorng-Shiuh Koong: SysML-based requirement modeling environment for multicore embedded system. SAC 2010: 2224-2228

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

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

Chun-Hsian Huang, Pao-Ann Hsiung: Hardware Resource Virtualization for Dynamically Partially Reconfigurable Systems. Embedded Systems Letters 1(1): 19-23 (2009)

Pao-Ann Hsiung, Chun-Hsian Huang, Yuan-Hsiu Chen: Hardware task scheduling and placement in operating systems for dynamically reconfigurable SoC. J. Embedded Computing 3(1): 53-62 (2009)

Pao-Ann Hsiung, Shang-Wei Lin, Yean-Ru Chen, Chun-Hsian Huang, Chihhsiong Shih, William C. Chu: Modeling and verification of real-time embedded systems with urgency. Journal of Systems and Software 82(10): 1627-1641 (2009)

Chihhsiong Shih, Chien-Ting Wu, Cheng-Yao Lin, Pao-Ann Hsiung, Nien-Lin Hsueh, Chih-Hung Chang, Chorng-Shiuh Koong, William C. Chu: A Model-Driven Multicore Software Development Environment for Embedded System. COMPSAC (2) 2009: 261-268

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

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

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: VERTAF/Multi-Core: A SysML-Based Application Framework for Multi-Core Embedded Software Development. ICA3PP 2009: 303-314

Jia-Wei Lin, Da-Tong Yen, Wei-Yi Hu, Chu Yu, Mao-Hsu Yen, Pao-Ann Hsiung, Sao-Jie Chen: A 900 MHz to 5.2 GHz Dual-loop Feedback Multi-band LNA. ISCAS 2009: 1024-1027

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

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

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

Pao-Ann Hsiung, Shang-Wei Lin: Automatic synthesis and verification of real-time embedded software for mobile and ubiquitous systems. Computer Languages, Systems & Structures 34(4): 153-169 (2008)

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

Pao-Ann Hsiung, Chao-Sheng Lin, Chih-Feng Liao: Perfecto: A systemc-based design-space exploration framework for dynamically reconfigurable architectures. TRETS 1(3) (2008)

Yean-Ru Chen, Pao-Ann Hsiung: Automatic Failure Analysis Using Safecharts. International Journal of Software Engineering and Knowledge Engineering 17(1): 57-78 (2007)

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

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

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: Real-Time Embedded Software Design for Mobile and Ubiquitous Systems. EUC 2007: 718-729

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

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

Pao-Ann Hsiung, Shang-Wei Lin: From ISA to application design via RTOS - a course design framework for embedded software. ICPADS 2007: 1-6

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

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

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

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

Pao-Ann Hsiung, Hsin-Chieh Kao: Device-Centric Low-Power Scheduling for Real-Time Embedded Systems. International Journal of Software Engineering and Knowledge Engineering 15(2): 461-466 (2005)

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

Shang-Wei Lin, Pao-Ann Hsiung, Chun-Hsian Huang, Yean-Ru Chen: Model Checking Prioritized Timed Automata. ATVA 2005: 370-384

Chih-Hao Tseng, Pao-Ann Hsiung: UML-Based Design Flow and Partitioning Methodology for Dynamically Reconfigurable Computing Systems. EUC 2005: 479-488

Yuan-Hsiu Chen, Pao-Ann Hsiung: Hardware Task Scheduling and Placement in Operating Systems for Dynamically Reconfigurable SoC. EUC 2005: 489-498

Pao-Ann Hsiung, Yen-Hung Lin: Modeling and Verification of Safety-Critical Systems Using Safecharts. FORTE 2005: 290-304

Pao-Ann Hsiung, Shang-Wei Lin: Model Checking Timed Systems with Priorities. RTCSA 2005: 539-544

Pao-Ann Hsiung, Yen-Hung Lin: Model-based Verification of Safety-Critical Systems. SEKE 2005: 596-601

Trong-Yen Lee, Pao-Ann Hsiung: Embedded software synthesis and prototyping. IEEE Trans. Consumer Electronics 50(1): 386-392 (2004)

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

Pao-Ann Hsiung, Shang-Wei Lin: Formal Design and Verification of Real-Time Embedded Software. APLAS 2004: 382-397

Te-Chang Lee, Pao-Ann Hsiung: Mutation Coverage Estimation for Model Checking. ATVA 2004: 354-368

Pao-Ann Hsiung, Shang-Wei Lin: Automatic Synthesis and Verification of Real-Time Embedded Software. EUC 2004: 12-21

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

Pao-Ann Hsiung, Cheng-Yi Lin, Trong-Yen Lee: Quasi-Dynamic Scheduling for the Synthesis of Real-Time Embedded Software with Local and Global Deadlines. RTCSA 2003: 229-243

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

Win-Bin See, Pao-Ann Hsiung, Trong-Yen Lee, Sao-Jie Chen: Software Platform for Embedded Software Development. RTCSA 2003: 545-557

Pao-Ann Hsiung, Shu-Yu Cheng: Automating Formal Modular Verification of Asynchronous Real-Time Embedded Systems. VLSI Design 2003: 249-254

Pao-Ann Hsiung, Feng-Shi Su: Synthesis of Real-Time Embedded Software by Timed Quasi-Static Scheduling. VLSI Design 2003: 579-584

Pao-Ann Hsiung, Chuen-Hau Gao: Formal Synthesis of Real-Time Embedded Software by Time-Memory Scheduling of Colored Time Petri Nets. Electr. Notes Theor. Comput. Sci. 65(6): 140-159 (2002)

Farn Wang, Pao-Ann Hsiung: Efficient and User-Friendly Verification. IEEE Trans. Computers 51(1): 61-83 (2002)

Pao-Ann Hsiung, Trong-Yen Lee, Feng-Shi Su: Formal Synthesis and Code Generation of Real-Time Embedded Software using Time-Extended Quasi-Static Scheduling. APSEC 2002: 395-404

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

Trong-Yen Lee, Pao-Ann Hsiung, Sao-Jie Chen: TCN: Scalable Hierarchical Hypercubes. ICPADS 2002: 11-16

Pao-Ann Hsiung, Trong-Yen Lee, Win-Bin See, Jih-Ming Fu, Sao-Jie Chen: VERTAF: An Object-Oriented Application Framework for Embedded Real-Time Systems. Symposium on Object-Oriented Real-Time Distributed Computing 2002: 322-329

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

Pao-Ann Hsiung, Win-Bin See, Trong-Yen Lee, Jih-Ming Fu, Sao-Jie Chen: Formal Verification of Embedded Real-Time Software in Component-Based Application Frameworks. APSEC 2001: 71-78

Pao-Ann Hsiung: Formal synthesis and code generation of embedded real-time software. CODES 2001: 208-213

Pao-Ann Hsiung: Formal Synthesis and Control of Soft Embedded Real-Time Systems. FORTE 2001: 35-52

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

Pao-Ann Hsiung: Embedded software verification in hardware-software codesign. Journal of Systems Architecture 46(15): 1435-1450 (2000)

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

Pao-Ann Hsiung: Concurrent Embedded Real-Time Software Verification. COMPSAC 2000: 516-521

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

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

Pao-Ann Hsiung: Timing coverification of concurrent embedded real-time systems. CODES 1999: 110-114

Pao-Ann Hsiung: Hardware-software coverification of concurrent embedded real-time systems. ECRTS 1999: 216-223

Pao-Ann Hsiung, Farn Wang: User-Friendly Verification. FORTE 1999: 279-294

Pao-Ann Hsiung: High Level Design Reuse through Fuzzy Learning. IC-AI 1999: 658-661

Pao-Ann Hsiung: Parallel Object-Oriented Synthesis Methodology. PDPTA 1999: 2073-2076

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

Pao-Ann Hsiung, Farn Wang, Yue-Sun Kuo: Verification of Concurrent Client-Server Real-Time Scheduling Systems. RTCSA 1999: 228-235

Pao-Ann Hsiung, Farn Wang, Yue-Sun Kuo: Scheduling System Verification. TACAS 1999: 19-33

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

Farn Wang, Pao-Ann Hsiung: Automatic Verification on the Large. HASE 1998: 134-141

Pao-Ann Hsiung, Farn Wang: A State Graph Manipulator Tool for Real-Time System Specification and Verification. RTCSA 1998: 181-188

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

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

Farn Wang, Pao-Ann Hsiung: Parametric Analysis of Computer Systems. AMAST 1997: 539-553

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

Pao-Ann Hsiung, Sao-Jie Chen, Tsung-Chien Hu, Shih-Chiang Wang: PSM: an object-oriented synthesis approach to multiprocessor system design. IEEE Trans. VLSI Syst. 4(1): 83-97 (1996)