Pao-Ann Hsiung
Title
Cited by
Cited by
Year
Efficient and user-friendly verification
F Wang, PA Hsiung
IEEE Transactions on Computers 51 (1), 61-83, 2002
782002
A low-power 64-point pipeline FFT/IFFT processor for OFDM applications
C Yu, MH Yen, PA Hsiung, SJ Chen
IEEE transactions on consumer electronics 57 (1), 40-40, 2011
722011
VERTAF: An application framework for the design and verification of embedded real-time software
PA Hsiung, SW Lin, CH Tseng, TY Lee, JM Fu, WB See
IEEE Transactions on Software Engineering 30 (10), 656-674, 2004
602004
Reconfigurable system design and verification
PA Hsiung, MD Santambrogio, CH Huang
CRC Press, 2018
542018
A state graph manipulator tool for real-time system specification and verification
PA Hsiung, F Wang
Proceedings Fifth International Conference on Real-Time Computing Systems …, 1998
531998
Dynamic Reconfigurable Network-on-Chip Design: Innovations for Computational Processing and Communication: Innovations for Computational Processing and Communication
JS Shen, PA Hsiung
IGI Global, 2010
432010
Hardware resource virtualization for dynamically partially reconfigurable systems
CH Huang, PA Hsiung
IEEE Embedded Systems Letters 1 (1), 19-23, 2009
432009
Formal synthesis and code generation of embedded real-time software
PA Hsiung
Proceedings of the ninth international symposium on Hardware/software …, 2001
372001
Perfecto: A systemc-based design-space exploration framework for dynamically reconfigurable architectures
PA Hsiung, CS Lin, CF Liao
ACM Transactions on Reconfigurable Technology and Systems (TRETS) 1 (3), 1-30, 2008
362008
PSM: An object-oriented synthesis approach to multiprocessor system design
PA Hsiung, SJ Chen, TC Hu, SC Wang
IEEE transactions on very large scale integration (VLSI) systems 4 (1), 83-97, 1996
351996
User-friendly verification
PA Hsiung, F Wang
Formal Methods for Protocol Engineering and Distributed Systems, 279-294, 1999
341999
Embedded software verification in hardware–software codesign
PA Hsiung
Journal of systems architecture 46 (15), 1435-1450, 2000
322000
Automatic verification on the large
F Wang, PA Hsiung
Proceedings Third IEEE International High-Assurance Systems Engineering …, 1998
321998
CMAPS: A cosynthesis methodology for application-oriented parallel systems
PA Hsiung
ACM Transactions on Design Automation of Electronic Systems (TODAES) 5 (1 …, 2000
302000
Model checking safety-critical systems using safecharts
PA Hsiung, YR Chen, YH Lin
IEEE Transactions on Computers 56 (5), 692-705, 2007
292007
Automatic testing environment for multi-core embedded software—ATEMES
CS Koong, C Shih, PA Hsiung, HJ Lai, CH Chang, WC Chu, NL Hsueh, ...
Journal of systems and software 85 (1), 43-60, 2012
282012
Formal modeling and verification for network-on-chip
YR Chen, WT Su, PA Hsiung, YC Lan, YH Hu, SJ Chen
The 2010 International Conference on Green Circuits and Systems, 299-304, 2010
282010
Extended quasi-static scheduling for formal synthesis and code generation of embedded software
FS Su, PA Hsiung
Proceedings of the tenth international symposium on Hardware/software …, 2002
282002
UML-based hardware/software co-design platform for dynamically partially reconfigurable network security systems
CH Huang, PA Hsiung, JS Shen
Journal of Systems Architecture 56 (2-3), 88-102, 2010
272010
A model-driven multicore software development environment for embedded system
C Shih, CT Wu, CY Lin, PA Hsiung, NL Hsueh, CH Chang, CS Koong, ...
2009 33rd Annual IEEE International Computer Software and Applications …, 2009
272009
The system can't perform the operation now. Try again later.
Articles 1–20