[an error occurred while processing this directive]  next up previous

Pao-Ann Hsiung's Publication List (PDF)


Last Updated on June 9, 2012.

NOTICE: All articles downloadable from this page are COPYRIGHTED materials of the respective organizations and persons! Anyone downloading them must do so only for their PERSONAL STUDY and abide by the copyrights thereof!
This page is listed in the SoC Hardware-Software Codesign Section of EG3.com. (updated: October 29, 2007)


Journal Papers (53) Books & Chapters (14) Int'l Conference Papers (109) Local Conference Papers (36) Others (20)


    International Journal Papers

  1. C.-S. Lin, C.-S. Lin, P.-A. Hsiung, and W.C. Chu, "Design Issues in a Performance Monitor for Multi-core Embedded Software," Journal of Signal Processing Systems, (to be published, accepted in May 2013).
  2. C.-S. Lin, C.-S. Lin, Y.-S. Lin, P.-A. Hsiung, and C. Shih, "Multi-Objective Exploitation of Pipeline Parallelism using Clustering, Replication and Duplication in Embedded Multi-core Systems," Journal of System Architectures, (to be published, accepted in May 2013).
  3. J.-S. Shen and P.-A. Hsiung, "Reasoning and Learning-based Dynamic Codec Reconfiguration for Varying Processing Requirements in Network-on-Chip," IEEE Transactions on Very Large Scale Integration (VLSI) Systems, (to be published, accepted in July 2013).
  4. H.-L. Chao, C.-C. Wu, C.-Y. Peng, C.-H. Lu, J.-S. Shen, and P.-A. Hsiung, "Dynamic Partially Reconfigurable Architecture for Fast Fourier Transform Computation," International Journal of Embedded Systems, Special Issue for EUC'2013, Indersicence Publishers, accepted for publication, 2013. (EI)
  5. C.-H. Huang and P.-A. Hsiung, "Virtualizable Hardware/Software Design Infrastructure for Dynamically Partially Reconfigurable Systems," ACM Transactions on Reconfigurable Technology and Systems, 2013 (accepted in April 2013).
  6. Y.-R. Chen, C.-C. Yeh, P.-A. Hsiung, and S.-J. Chen, "Accelerating Coverage Estimation through Partial Model Checking," IEEE Transactions on Computers, 2013. (accepted in February 2013)
  7. J.-S. Shen, P.-A. Hsiung, and C.-H. Huang, "Learning-based Adaptation to Applications and Environments in a Reconfugirable Network-on-Chip for Reducing Crosstalk and Dynamic Power Consumption," Computers & Electrical Engineering, Elsevier, 2012. (accepted for publication, SCI IF=0.837)
  8. W. C.-C. Chu, C.-T. Yang, C.-W. Lu, C.-H. Chang, J.-N. Chen, P.-A. Hsiung, H.-M. Lee, "Cloud Computing in Taiwan," IEEE Computer, Vol. 45, No. 6 pp. 42-50, June 2012. (SCI, IF=1.812)
  9. C. Shih, C.S. Koong, and P.-A. Hsiung, "Billiard Combat Modeling and Simulation Based on Optimal Cue Placement Control and Strategic Planning," Journal of Intelligent and Robotic Systems, Vol. 67, No. 1, pp. 25-41, July 2012.
  10. S.-W. Lin and P.-A. Hsiung, "Model Checking Prioritized Timed Systems," IEEE Transactions on Computers, Vol. 61, No. 6, pp. 843-856, June 2012. (SCI)
  11. C.S. Koong*, C.H. Shih, P.A. Hsiung, H. J. Lai, C. H. Chang, William C. Chu, N. L. Hsueh, C. T. Yang, "Automatic Testing Environment for Multi-core Embedded Software - ATEMES," Journal of Systems and Software, Vol. 85, No. 1, pp. 43-60, January 2012. (SCI)
  12. N.-L. Hsueh, P.-H. Chu, P.-A. Hsiung, M.-J. Chuang, W. Chu, C.-H. Chang, C.-S. Koong, C.-H. Shih, and C.-T. Yang, "A Pattern-based Refactoring Approach for Multi-Core System Design," International Journal of Advancements in Computing Technology, AICIT, Vol. 3, No. 9, pp. 196-209, October 2011. (EI)
  13. C.-H. Huang and P.-A. Hsiung, "Model-based Verification and Estimation Framework for Dynamically Partially Reconfigurable Systems", IEEE Transactions on Industrial Informatics, Vol. 7, No. 2, pp. 287-301, May 2011.
  14. C. Yu, M.-H. Yen, P.-A. Hsiung, and S.-J, Chen, "A Low-Power 64-point Pipeline FFT/IFFT Processor for OFDM Applications," IEEE Transactions on Consumer Electronics, Vol. 57, No. 1, pp. 40, February 2011.
  15. S.-W. Lin and P.-A. Hsiung, "Counterexample-Guided Assume-Guarantee Synthesis Through Learning," IEEE Transactions on Computers, Vol. 60, No. 5, pp. 734-750, January 2011.
  16. C.-S. Lin, C.-H. Lu, S.-W. Lin, Y.-R. Chen, and P.-A. Hsiung, "VERTAF/Multi-Core: A SysML-Based Application Framework for Multi-Core Embedded Software Development," Journal of Computer Science and Technology, Vol. 26, No. 3, pp. 448-461, May 2011 (SCI journal).
  17. S.-H. Yang and P.-A. Hsiung, "Using RFID in Real-Time Services for Special Education Schools," IEEE IT Professional, IEEE Press, Vol. 13, No. 2, pp. 14-19, March/April 2011.
  18. C.-H. Chang, C.-W. Lu, and P.-A. Hsiung, "Pattern-based Framework for Modularized Software Development and Evolution Robustness," Information and Software Technology (IST), Vol. 53, No. 4, pp. 307-316, April 2011. (SCI impact factor: 1.821)
  19. P.-A. Hsiung, C.-H. Huang, J.-S. Shen, and C.-C. Chiang, "Scheduling and Placement of Hardware/Software Real-Time Relocatable Tasks in Dynamically Partially Reconfigurable Systems," ACM Transactions on Reconfigurable Technology and Systems (TRETS), Vol. 4, No. 1, Article 9, December 2010.
  20. C.-H. Huang, P.-A. Hsiung, and J.-S. Shen, "Model-Based Platform-Specific Co-Design Methodology for Dynamically Partially Reconfigurable Systems with Hardware Virtualization and Preemption," Journal of Systems Architecture (DOI), Vol. 56, No. 11, pp. 545-560, November 2010.

  21. C.-H. Lu, H.-W. Liao, and P.-A. Hsiung, "Multi-objective placement of reconfigurable hardware tasks in real-time system," International Journal of Embedded Systems (IJES), Vol. 4, Nos. 3/4, pp. 195-203, Inderscience Publishers, 2010.
  22. C.-H. Huang, J.-S. Shen, and P.-A. Hsiung, "UML-Based Hardware/Software Co-Design Platform for Dynamically Partially Reconfigurable Network Security Systems," Journal of Systems Architecture (DOI), Vol. 56, No. 2-3, pp. 88-102, February 2010.

  23. P.-A. Hsiung, S.-W. Lin, and C.-S. Lin, "Real-Time Embedded Software Design for Mobile and Ubiquitous Systems," Journal of Signal Processing Systems (JSPS), Vol. 59, pp. 13-32, Springer, April 2010. (SCI journal)
  24. C.-S. Lin, P.-A. Hsiung, S.-W. Lin, Y.-R. Chen, C.-H. Lu, S.-Y. Tong, W.-T. Su, W. C. Chu, C.-H. Shih, N.-L. Hsueh, C.-H. Chang, and C.-S. Koong, "VERTAF/Multi-Core: A SysML-based Application Framework for Multi-Core Embedded Software Development," Journal of the Chinese Institute of Engineers, Vol. 32, No. 7, pp. 985-991, November 2009 (SCI).
  25. C.-H. Huang and P.-A. Hsiung, "Hardware Resource Virtualization for Dynamically Partially Reconfigurable Systems," Embedded Systems Letters, Volume 1, Issue 1, IEEE Press, USA, 2009.

  26. P.-A. Hsiung, S.-W. Lin, Y.-R. Chen, C.-H. Huang, C. Shih, and W.C. Chu, "Modeling and Verification of Real-Time Embedded Systems with Urgency," Journal of Systems and Software, Volume 82, No. 10, pp. 1627-1641, Elsevier Inc., October 2009. (DOI: http://dx.doi.org/10.1016/j.jss.2009.03.013)

  27. C. Shih, P.-A. Hsiung, T.-K. Liu, Y. Yang, C.-H. Lin, C.-H. Wan, C.-S. Koong, and W. C. Chu, "The Integration of a Vision based Tracking Platform, Visual Instruction and Error Analysis Models for an Efficient Billiard Training System," Optical Engineering, 2009 (SCI).

  28. P.-A. Hsiung, C.-H. Huang, and Y.-H. Chen, "Hardware Task Scheduling and Placement in Operating Systems for Dynamically Reconfigurable SoC," Journal of Embedded Computing (JEC), Vol. 3, No. 1, IOS Press, The Netherlands, 2009. (an EUC'2005 special issue, out of 376 submissions and 114 paper presentations, only 7 papers were invited for publication in this special issue)

  29. P.-A. Hsiung, C.-S. Lin, and C.-F. Liao, "Perfecto: A SystemC-based Design Space Exploration Framework for Dynamically Reconfigurable Architectures," ACM Transactions on Reconfigurable Technology and Systems (TRETS), Vol. 1, No. 3, Article 17, September 2008.
  30. K.-J. Shih, C.-C. Hung, and P.-A. Hsiung, "Reconfigurable Hardware Module Sequencer for Dynamically Partially Reconfigurable Systems," International Journal of Electrical Engineering (IJEE), Vol. 15, No. 2, pp. 87-96, April 2008. (invited for publication in this VLSI Design/CAD Symposium 2007 special issue) (EI)

  31. C.-H. Huang and P.-A. Hsiung, "Software-Controlled Dynamically Swappable Hardware Design in Partially Reconfigurable Systems," EURASIP Journal on Embedded Systems, Special Issue on Reconfigurable Computing and Hardware-Software Codesign, Volume 2008, Article ID 231940, 2008. (doi:10.1155/2008/231940).

  32. P.-A. Hsiung and S.-W. Lin, "Automatic Synthesis and Verification of Real-Time Embedded Software for Mobile and Ubiquitous Systems," Computer Languages, Systems & Structures, Vol. 34, No. 4, pp. 153-169, Elsevier, The Netherlands, December 2008. (SCI journal) (DOI Link)

  33. P.-A. Hsiung, Y.-R. Chen, and Y.-H. Lin, " Model Checking Safety-Critical Systems using Safecharts," IEEE Transactions on Computers, Vol. 56, No. 5, pp. 692-705, May 2007.

  34. Y.-R. Chen and P.-A. Hsiung, "Automatic Failure Analysis using Safecharts," International Journal of Software Engineering and Knowledge Engineering (IJSEKE), Vol. 17, No. 1, pp. 57-78, World Scientific Publishing, Singapore, February 2007.
    (an SEKE'2005 special issue, out of 225 submissions and 115 paper presentations, only 5 papers were published in this special issue)

  35. C.-H. Huang, S.-S. Chang, and P.-A. Hsiung, "Generic Wrapper Design for Dynamic Swappable Hardware IP in Partially Reconfigurable Systems," International Journal of Electrical Engineering (IJEE), Vol. 14, No. 3, pp. 229-238, June 2007. (invited for publication in this VLSI Design/CAD Symposium 2006 special issue) (EI)

  36. P.-A. Hsiung and H.-C. Kao, "Device-Centric Low-Power Scheduling for Real-Time Embedded Systems," International Journal of Software Engineering and Knowledge Engineering (IJSEKE), Vol. 15, No. 2, pp. 461-466, World Scientific Publishing, Singapore, April 2005.

  37. P.-A. Hsiung, T.-Y. Lee, J.-M. Fu, and W.-B. See, "SESAG: An Object-Oriented Application Framework for Real-Time Systems," Software --- Practice and Experience, Vol. 35, No. 10, pp. 899-921, John Wiley & Sons, Ltd., August 2005.

  38. P.-A. Hsiung, T.-Y. Lee, J.-M. Fu, and W.-B. See, "Formal Verification of Real-Time Embedded Software in an Object-Oriented Application Framework," IEE Proceedings --- Computers and Digital Techniques, Vol. 151, No. 6, pp. 417-434, November 2004.

  39. P.-A. Hsiung, S.-W. Lin, C.-H. Tseng, T.-Y. Lee, J.-M. Fu, and W.-B. See, "VERTAF: An Application Framework for the Design and Verification of Embedded Real-Time Software," IEEE Transactions on Software Engineering, Vol. 30, No. 10, pp. 656-674, October 2004.

  40. P.-A. Hsiung, " Synthesis and Control of Soft Embedded Real-Time Systems," Annual Review of Communications , International Engineering Consortium , USA, Vol. 57, November 2004.

  41. T.-Y. Lee and P.-A. Hsiung, " Embedded Software Synthesis and Prototyping," IEEE Transactions on Consumer Electronics , Vol. 50, No. 1, pp. 386-392, February 2004.

  42. F. Wang and P.-A. Hsiung, " Efficient and User-Friendly Verification," IEEE Transactions on Computers , Vol. 51, No. 1, pp. 61-83, January 2002.

  43. T.-Y. Lee, P.-A. Hsiung, and S.-J. Chen, " DESC: A Hardware-Software Codesign Methodology for Distributed Embedded Systems ," IEICE Transactions on Information and Systems, Vol. E84-D, No. 3, pp. 326-339, March 2001.

  44. T.-Y. Lee, P.-A. Hsiung, and S.-J. Chen, " Hardware-Software Multi-Level Partitioning for Distributed Embedded Multiprocessor Systems ," IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Vol. E84-A, No. 2, pp. 614-626, February 2001.

  45. P.-A. Hsiung, " POSE: A Parallel Object-Oriented Synthesis Environment, " ACM Transactions on Design Automation of Electronic Systems, Vol. 6, No. 1, pp. 67-92, January 2001.

  46. P.-A. Hsiung, " Embedded Software Verification in Hardware-Software Codesign, " Journal of Systems Architecture --- the Euromicro Journal, Vol. 46, No. 15, pp. 1435 - 1450, Elsevier Science, the Netherlands, December 2000.

  47. J.-M. Fu, T.-Y. Lee, P.-A. Hsiung, and S.-J. Chen, " Hardware-Software Timing Coverification of Distributed Embedded Systems ," IEICE Transactions on Information and Systems, Vol. E83-D, No. 9, pp. 1731 - 1740, September 2000.

  48. P.-A. Hsiung, " Hardware-Software Timing Coverification of Concurrent Embedded Real-Time Systems," IEE Proceedings on Computers and Digital Techniques, Vol. 147, No. 2, pp. 83 - 92, March 2000.

  49. P.-A. Hsiung, " CMAPS: A Cosynthesis Methodology for Application-Oriented Parallel Systems , " ACM Transactions on Design Automation of Electronic Systems, Vol. 5, No. 1, pp. 51-81, January 2000.

  50. P.-A. Hsiung, C.-H. Chen, T.-Y. Lee, and S.-J. Chen, " ICOS: An Intelligent Concurrent Object-Oriented Synthesis Methodology for Multiprocessor Systems," ACM Transactions on Design Automation of Electronic Systems, Vol. 3, No. 2, pp. 109-135, April 1998.

  51. P.-A. Hsiung, T.-Y. Lee, and S.-J. Chen, " MOBnet: An Extended Petri Net Model for the Distributed Object-oriented System-level Synthesis of Multiprocessor Systems," IEICE Transactions on Information and Systems, Vol. E80-D, No. 2, pp. 232-242, February 1997.

  52. P.-A. Hsiung, S.-J. Chen, T.-C. Hu, and S.-C. Wang, " PSM: An Object-Oriented Synthesis Approach to Multiprocessor System Design," IEEE Transactions on VLSI Systems, Vol. 4, No. 1, pp. 83-97, March 1996.

  53. Local Journal Papers

  54. Trong-Yen Lee, I-Mu Wu, Chien-Pin Chang, Pao-Ann Hsiung, Chia-Chun Tsai, and Wen-Ta Lee, "Design of a Software Synthesis Tool for Real-Time Embedded System," Journal of National Taipei University of Technology, Vol. 37-1, pp.179-196, March 2004. (in Chinese)

  55. Books and Chapters

  56. J.-S. Shen and P.-A. Hsiung, Dynamic Reconfigurable Network-on-Chip Design: Innovations for Computational Processing and Communication, IGI Global, USA, 2010.

  57. W.-W. Lin, J.-S. Shen, and P.-A. Hsiung, ``An Efficient Hardware-Software Communication Mechanism for Reconfigurable Network-on-Chip,'' Dynamic Reconfigurable Network-on-Chip Design: Innovations for Computational Processing and Communication, IGI Global, USA, 2010.

  58. C.-S. Lin, S.-W. Lin, C.-H. Lu, Y.-R. Chen, and P.-A. Hsiung, "Model-Driven Development of Multi-Core Embedded Software," Modern Software Engineering Concepts and Practices: Advanced Approaches, Editors: Ali H. Dogru and Veli Bicer, IGI Global, USA, 2010.
  59. C.-H. Lin, K.-S. Hwang, P.-A. Hsiung, M.-H. Yen, Y. Chu, S.-J. Chen, W. C. Chu, "An Adaptive Reasoning and Learning Framework for Mobile Cognitive Radio Systems," Handbook of Research on Mobile Software Engineering, IGI Global, May 2012.(DOI: 10.4018/978-1-61520-655-1, ISBN13: 9781615206551, ISBN10: 1615206558, EISBN13: 9781615206568)

  60. P.-A. Hsiung and M. D. Santambrogio, Reconfigurable System Design and Verification, CRC Press, USA, February 2009.

  61. S.-J. Chen, G.-H. Lin, P.-A. Hsiung, and Y.-H. Hu, Hardware-Software Co-design of a Multimedia SoC Platform, Springer, USA, 2009.

  62. K.-J. Shih and P.-A. Hsiung, "Reconfigurable Computing Technologies Overview," Encyclopedia of Information Science and Technology, 2nd ed., Volume VII, IGI Global, USA, July 2008 (Order: http://www.igi-global.com/).

  63. P.-A. Hsiung and S.-W. Lin, "Automatic Synthesis and Verification of Real-Time Embedded Software for Mobile and Ubiquitous Systems," in Handbook on Mobile and Ubiquitous Computing: Status and Perspectives, CRC Press, USA, October 2012. (invited for EUC'2004 special issue).

  64. P.-A. Hsiung, Y.-H. Lin, Y.-R. Chen, "Safecharts Model Checking for the Verification of Safety-Critical Systems," in Verification, Validation and Testing in Software Engineering, editors Aristides Dasso, Ana Funes, IDEA Group, Inc., USA, ISBN: 1-59140-851-2, 2007.

  65. P.-A. Hsiung, " Real-Time Constraints," Encyclopedia of Computer Science and Technology, Allen Kent and James G. Williams, Editors, Volume 45 - Supplement 30, (ISBN: 0-8247-2298-1) pp. 285-309, Marcel Dekker, Inc., New York, USA, 2002.

  66. P.-A. Hsiung, Program Chair, Proc. of the International Workshop on Distributed System Validation and Verification (DSVV'2000, Taipei, Taiwan, ROC), April 2000.

  67. P.-A. Hsiung and F. Wang, Editors, Proc. of the International Workshop on Real-Time Constraints (RTC'99, Alexandria, Virginia, USA), October 1999.

  68. H. Arabnia (Editor), P.-A. Hsiung, et al (Associate Editors), Proc. of the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'99), Vol. I-VI, CSREA Press, USA, June 1999.

  69. P.-A. Hsiung, System Level Synthesis for Parallel Computers, Ph.D. Dissertation, Graduate Institute of Electrical Engineering, National Taiwan University, June 1996.
    [Table of Contents ( TEXT, ]


  70. International Conference Papers

  71. Y.-R. Chen, Z.-R. Wang, P.-A. Hsiung, S.-J. Chen, and M.-H. Tsai, "Backward Probing Deadlock Detection for Networks-on-Chip," Proceedings of the 7th International Symposium on Networks-on-Chip (NOCS), Tempe, Arizona, April, 2013.
  72. C.-T. Ye, T.-D. Wu, Y.-R. Chen, P.-A. He, P.-Q. Xie, Y.-Y. Zhang, S.-M. Teng, Y.-T. Chen, P.-A. Hsiung, "Smart Video Camera Design - Real-Time Automatic Person Identification," Proceedings of the International Computer Symposium (ICS), Hualien Taiwan, December 2012.
  73. C.-S. Lin, B.-H. Wang, C.-S. Lin, and P.-A. Hsiung, "Synchronization-Aware Dynamic Thread Scheduling for Improving Performance and Saving Energy in Multi-Core Embedded Systems," Proceedings of the International Symposium on Parallel Architectures, Algorithms and Programming (PAAP), Taipei, Taiwan, December 2012.
  74. S.-W. Lin, Y. Liu, P.-A. Hsiung, J. Sun, and J. S. Dong, "Automatic Generation of Provably Correct Embedded Systems," Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM), Kyoto, Japan, November 2012.
  75. H.-L. Chao, Y.-R. Chen, P.-A. Hsiung, and S.-J. Chen, "Congestion-Aware Scheduling for NoC-based Reconfigurable Systems," Proceedings of the the Design, Automation \& Test in Europe (DATE), Dresden, Germany, March 2012.
  76. C.-Y. Shih, M.-C. Li, C.-S. Lin, P.-A. Hsiung, C.-H. Chang, W.C. Chu, N.-L. Hsueh, C. Shih, C.-T. Yang, C.-S. Koong, "Adaptive Performance Monitoring for Embedded Multicore Systems," Proceedings of the International Workshop on Embedded Multicore Systems (ICPP-EMS), September 2011.
  77. C.-S. Lin, W.-L. Liu, W.-T. Yeh, L.-W. Chang, W.-M. Hwu, S.-J. Chen, and P.-A. Hsiung, "A Tiling-Scheme Viterbi Decoder in Software-Defined Radio for GPUs," Proceedings of the International Conference on Wireless Communications, Networking and Mobile Computing, (WiCOM), September 2011.
  78. P.-A. Hsiung and C.-H. Huang, "SAHA: A Self-Adaptive Hardware-Software System Architecture for Ubiquitous Computing Applications," Proceedings of the International Conference on Reconfigurable Systems and Algorithms (ERSA, Las Vegas, USA), pp. 263-272, CSREA Press, July 2011.
  79. Y.-R. Chen, J.-L. Yao, C.-S. Lin, S.-W. Lin, C.-H. Huang, Y.-P. Hu, P.-A. Hsiung, S.-J. Chen, and I.-H. Chou, "SAT-based Verification of Data-Independent Access Control Security Systems," Proceedings of the International Conference on Security and Management (SAM'2011), pp. 126-131, CSREA Press, July 2011.
  80. C.-H. Chang, C.-W. Lu, W.C. Chu, C.-T. Yang, P.-A. Hsiung, N.-L. Hsueh, and C.-S. Koong, "XML-based Reusable Component Repository for Embedded Software," Proceedings of the 5th IEEE International Workshop on Quality Oriented Reuse of Software, (QUORS, Munich, Germany), July 2011.
  81. C.H. Chang; C.W. Lu; C.W. Chu; C.T. Yang; N.L. Hsueh, P.A. Hsiung, C.S. Koong, "A SysML-based Requirement Supporting Tool for Embedded Software," Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement Companion (SSIRI-C, Jeju Island, Korea), IEEE CS Press, June 2011.
  82. P.-H. Chu, N.-L. Hsueh, C.-C. Lee, M.-J. Chuang, P.-A. Hsiung, and W. Chu, "A Pattern-based Verification Approach for a Multi-Core System Development," Proceedings of the 26th ACM Symposium on Applied Computing (SAC, Taichung, Taiwan), ACM Press, March 2011.
  83. J.-S. Shen, W.-T. Su, and P.-A. Hsiung, "Network-on-Chip Router Design with Buffer-Stealing," Proceedings of the Asia and South Pacific Design Automation Conference (ASP-DAC, Yokohama, Japan), January 2011.

  84. Y. Chu, Y.-T. Liao, M.-H. Yen, P.-A. Hsiung, and S.-J. Chen, "A Novel Low-Power 64-Point Pipelined FFT/IFFT Processor for OFDM Applications," Proceedings of the IEEE International Conference on Consumer Electronics (ICCE, Las Vegas, USA), January 2011.

  85. C.-H. Huang, J.-S. Shen, and P.-A. Hsiung, "A Self-Adaptive Hardware/Software System Architecture for Ubiquitous Computing Applications," Proceedings of the 7th International Conference on Ubiquitous Intelligence and Computing, (UIC 2010, Xi'an, China), LNCS Volume No. 6406, pp. 382-396, Springer Verlag, October 2010.

  86. S. J. Chen, P. A. Hsiung, C. Yu, M.-H. Yen, S. Sezer, M. Schulte, and Y. H. Hu, "ARAL-CR: An Adaptive Reasoning And Learning Cognitive Radio Platform," International Symposium on Systems: Architectures, Modeling, and Simulation (SAMOS), Greece, July 2010.

  87. K.-J. Shih, H.-Y. Sun, and P.-A. Hsiung, "Dynamic Hardware-Software Task Switching and Relocation Mechanisms for Reconfigurable Systems," Proceedings of the IET International Conference on Frontier Computing -- Theory, Technologies and Applications, Taichung, Taiwan, August 2010.

  88. S.-S. Lu, C.-H. Lu, and P.-A. Hsiung, "Congestion- and Energy-aware Run-Time Mapping for Tile-Based Network-On-Chip Architecture," Proceedings of the IET International Conference on Frontier Computing -- Theory, Technologies and Applications, Taichung, Taiwan, August 2010.

  89. K.-S. Huang, C.-H. Lin, and P.-A. Hsiung, "A Space-Efficient and Multi-Objective Case-Based Reasoning in Cognitive Radio," Proceedings of the IET International Conference on Frontier Computing -- Theory, Technologies and Applications, Taichung, Taiwan, August 2010.

  90. S.-H. Yang and P.-A. Hsiung, "Innovative Application of RFID Systems to Special Education Schools," Procs. of the 5th IEEE International Conference on Networking, Architecture, and Storage (NAS), Macau SAR, China, July 2010.
  91. N.-L. Hsueh, P.-H. Chu, P.-A. Hsiung, M.-J. Chuang, W. Chu, C.-H. Chang, C.-S. Koong, C.-H. Shih "Supporting Design Enhancement by Pattern-based Transformation," Proceedings of the IEEE Computer Software and Applications Conference (COMPSAC), July 2010.
  92. C.-S. Koong, H.-J. Lai, C.-H. Chang, W.C. Chu, N.-L. Hsueh, P.-A. Hsiung, C. Shih, C.-T. Yang, "Supporting Tool for Embedded Software Testing," Proceedings of the 2010 10th International Conference on Quality Software, IEEE CS Press, July 2010.
  93. Y.-R. Chen, W.-T. Su, P.-A. Hsiung, Y.-C. Lan, Y.-H. Hu, and S.-J. Chen, "Formal Modeling and Verification of Network-on-Chip," Proceedings of the International Conference on Green Circuits and Systems, (ICGCS), June 2010.
  94. C.-J. Chen, C. Yu, M.-H. Yen, P.-A. Hsiung, and S.-J. Chen, "Design of a Low Power Viterbi Decoder for Wireless Communication Applications," Proceedings of the 14th IEEE International Symposium on Consumer Electronics (ISCE, Braunschweig, Germany), June 2010.
  95. J.-S. Shen, C.-H. Huang, and P.-A. Hsiung, "Learning-based Adaptation to Applications and Environments in a Reconfigurable Network-on-Chip," Proceedings of the Design, Automation & Test in Europe (DATE), Dresden, Germany, March 2010.
  96. C.-H. Chang, C.-W. Lu, W. C. Chu, C.-H. Shih, C.-T. Yang, P.-A. Hsiung, N.-L. Hsueh, and C.-S. Koong, "SysML-based Requirement Modeling Environment for Mulicore Embedded System," Proceedings of the 25th ACM Symposium on Applied Computing (SAC, Sierre, Switzerland), ACM Press, March 2010.
  97. S.-H. Yang and P.-A. Hsiung, "RFID Campus for Special Education Schools," Proceedings of the Asian Pacific International Conference on RFID, Taipei, Taiwan, December 2009.
  98. C. Shih, C.-T. Wu, C.-Y. Lin, P.-A. Hsiung, N.-L. Hsueh, C.-H. Chang, C.-S. Koong, and W. C. Chu, "A Model-Driven Multicore Software Development Environment for Embedded System," Proceedings of the 33rd IEEE International Computer Software and Applications Conference, Washington, USA, IEEE CS Press, July 2009.
  99. J.-S. Shen, C.-H. Huang, and P.-A. Hsiung, "PRESSNoC: Power-Aware and Reliable Encoding Schemes Supported Reconfigurable Network-on-Chip Architecture," Proceedings of the Fourth International Conference on Embedded and Multimedia Computing, (EM-Com), Jeju, Korea, December 2009. (Best Paper Award)
  100. C.-H. Lu, K.-C. Chiang, and P.-A. Hsiung, "Round-based Priority Arbitration for Predictable and Reconfigurable Network-on-Chip," Proceedings of the International Conference on Field-Programmable Technology (FPT), December 2009.
  101. K.-J. Shih, Y.-H. Lin, and P.-A. Hsiung, "Quality-of-Service Optimization for Multiple Multimedia Tasks in Real-Time Embedded Systems," Proceedings of the 10th International Symposium on Pervasive Systems, Algorithms and Networks (I-SPAN), Kaohsiung, Taiwan, December 2009.
  102. C.-H. Lu, H.-W.Liao, and P.-A. Hsiung, "Multi-Objective Placement of Reconfigurable Hardware Tasks in Real-Time System," Proceedings of the International Workshop on Reconfigurable and Multicore Embedded Systems, (WoRMES, Vancouver, Canada), IEEE CS Press, August 2009.

  103. C. Shih, P.-A. Hsiung, N.-L. Hsueh, C.-H. Chang, C.-S. Koong, and W.C. Chu, "A Model-Driven Multicore Software Development Environment for Embedded Systems," Proceedings of the 3rd IEEE International Workshop Quality-Oriented Reuse of Software (QUORS, Seattle, USA), IEEE CS Press, July 2009.

  104. Y.-R. Chen, T.-Y. Chen, P.-A. Hsiung, S.-J. Chen, and Y.-H. Hu, "Compositional Automata Reduction with Non-critical Path Slicing," Proceedings of the International Conference on Foundations of Computer Science (FCS), July 2009.

  105. J. C. Lin, C. Yu, M. S. Yen, P. A. Hsiung, S. J. Chen, and Y. H. Hu, "Parallel Implementation of Convolution Encoder for Software Defined Radio on DSP Architecture," International Symposium on Systems, Architectures, Modeling, and Simulation (SAMOS), Greece, pp.~180--186, July 2009.

  106. P.-A. Hsiung, C.-S. Lin, S.-W. Lin, Y.-R. Chen, C.-H. Lu, S.-Y. Tong, W.-T. Su, C. Shih, C.-S. Koong, N.-L. Hsueh, C.-H. Chang, William C. Chu, "VERTAF/Multi-Core: A SysML-based Application Framework for Multi-Core Embedded Software Development," Proceedings of the International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP), LNCS, Springer Verlag, June 2009.

  107. P.-A. Hsiung, S.-W. Lin, Y.-R. Chen, N.-L. Hsueh, C.-H. Chang, C.-H. Shih, C.-S. Koong, C.-S. Lin, C.-H. Lu, S.-Y. Tong, W.-T. Sun, and W. C. Chu, "Model-Driven Development of Multi-Core Embedded Software," Proceedings of the 2nd International Workshop on Multicore Software Engineering (IWMSE), May 2009.

  108. C.-H. Huang and P.-A. Hsiung, "On the Use of a UML-Based HW/SW Co-Design Platform for Reconfigurable Cryptographic Systems," Proceedings of the IEEE International Symposium on Circuits and Systems, Taipei, Taiwan, May 2009.

  109. J.W. Lin, D.-T. Yen, W.-Y. Hu, C. Yu, M.-H. Yen, P.-A. Hsiung, and S.-J. Chen, "A 900 MHz to 5.2 GHz Dual-Loop Feedback Multi-band LNA," Proceedings of the IEEE International Symposium on Circuits and Systems (ISCAS), Taipei, Taiwan, May 2009.

  110. Y. Chu, M.-H. Yen, P.-A. Hsiung, and S.-J. Chen, "Design of a High-Speed Block Interleaving/Deinterleaving Architecture for Wireless Communication Applications," Proceedings of the 27th IEEE International Conference on Consumer Electronics (ICCE), January 2009.
  111. C.-H. Huang and P.-A. Hsiung, "UML-Based Hardware/Software Co-Design for Partially Reconfigurable Systems," Proceedings of the 13th IEEE Asia-Pacific Computer Systems Architecture Conference (ACSAC), August 2008.

  112. J.-S. Shen, P.-A. Hsiung, and K.-C. Chang, "A Novel Spatio-Temporal Adaptive Bus Encoding for Reducing Crosstalk Interferences with Trade-Offs Between Performance and Reliability," Proceedings of the 13th IEEE Asia-Pacific Computer Systems Architecture Conference (ACSAC), August 2008.

  113. K.-J. Shih, C.-C. Hung, and P.-A. Hsiung, "Reconfigurable Hardware Module Sequencer - A Tradeoff Between Networked and Data Flow Architectures," Proceedings of the IEEE International Conference on Field-Programmable Technology (ICFPT'07, Japan), pp. 237-240, December 2007.

  114. P.-A. Hsiung and S.-W. Lin, "From ISA to Application Design via RTOS --- A Course Design Framework for Embedded Software," Proceedings of the 1st Asia-Pacific Workshop on Embedded System Education and Research (APESER'07, Hsinchu, Taiwan), December 2007.

  115. P.-A. Hsiung, S.-W. Lin, C.-C. Hung, J.-M. Fu, C.-S. Lin, C.-C. Chiang, K.-C. Chiang, C.-H. Lu, and P.-H. Lu "Real-Time Embedded Software Design for Mobile and Ubiquitous Systems," Proceedings of the IFIP International Conference on Embedded and Ubiquitous Computing (EUC'07, Taipei, Taiwan), Lecture Notes in Computer Science (LNCS) Vol. 4808, pp. 718-729, Springer Verlag, December 2007.

  116. P.-A. Hsiung and C.-W. Liu, "Energy Efficient Hardware-Software Co-scheduling in Dynamically Reconfigurable Systems," Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS'2007, Salzburg, Austria), pp. 87-92, ACM Press, September 2007. (Acceptance Rate: 40/127 = 31%)

  117. Y.-R. Chen, P.-A. Hsiung, S.-J. Chen, "Modeling and Automatic Failure Analysis of Safety-Critical Systems using Extended Safecharts," Proceedings of the International Conference on Computer Safety, Reliability and Security (SAFECOMP, Nuremberg, Germany), Lecture Notes in Computer Science (LNCS), Vol. 4680, pp. 451-464, Springer Verlag, September 2007. (Acceptance Rate = 33/136 = 24.26%)

  118. P.-A. Hsiung and C.-W. Liu, "Exploiting Hardware and Software Low Power Techniques for Energy Efficient Co-scheduling in Dynamically Reconfigurable Systems," Proceedings of the 17th International Conference on Field Programmable Logic and Applications (FPL'2007, Amsterdam, Netherlands), pp. 165-170, IEEE CS Press, August 2007. (Acceptance Rate: 67/302 = 23%)

  119. C.-H. Huang, K.-J. Shih, C.-S. Lin, S.-S. Chang, and P.-A. Hsiung, "Dynamically Swappable Hardware Design in Partially Reconfigurable Systems," Proceedings of the IEEE International Symposium on Circuits and Systems (ISCAS, New Orleans, USA), pp. 2742-2745, IEEE Press, May 2007 (invited as regular paper).

  120. J.-Y. Chien, C.-Y. Wu, K.-H. Lin, P.-A. Hsiung, "RFID-based Automatic Airport Baggage Handling System," Proceedings of the International Computer Symposium, (ICS), Volume 1, pp. 62-67, December 2006.

  121. P.-A. Hsiung, S.-W. Lin, Y.-R. Chen, C.-H. Huang, J.-J. Yeh, H.-Y. Sun, C.-S. Lin, and H.-W. Liao, "Model Checking Timed Systems with Urgencies," Proceedings of the 4th International Symposium on Automated Technology for Verification and Analysis (ATVA, Beijing, China), LNCS Vol. 4218, pp. 67-81, Springer-Verlag, October 2006. Acceptance Rate = 35/137 = 25.6% )

  122. P.-A. Hsiung, C.-H. Huang, and C.-F. Liao, "Perfecto: A SystemC-based Performance Evaluation Framework for Dynamically Partially Reconfigurable Systems," Proceedings of the 16th IEEE International Conference on Field Programmable Logic and Applications, (FPL'2006, Madrid, Spain), pp. 190-198, IEEE CS Press, August 2006. (Acceptance Rate = 85/307 = 27.7% for full papers )

  123. C.-H. Tseng and P.-A. Hsiung, "A UML-Based Design Flow and Partitioning Methodology for Dynamically Reconfigurable Systems," Proceedings of the 3rd International DAC Workshop, UML for SoC Design (UML-SOC'2006, San Francisco, CA, USA), 23 July 2006. (Invited)

  124. C.-H. Tseng and P.-A. Hsiung, "UML-Based Design Flow and Partitioning Methodology for Dynamically Reconfigurable Computing Systems," Proceedings of the 2005 IFIP International Conference on Embedded and Ubiquitous Computing (EUC'2005, Nagasaki, Japan), Lecture Notes in Computer Science (LNCS), Vol. 3824, pp. 479-488, Springer Verlag, December 2005.

  125. Y.-H. Chen and P.-A. Hsiung, "Hardware Task Scheduling and Placement in Operating Systems for Dynamically Reconfigurable SoC," Proceedings of the 2005 IFIP International Conference on Embedded and Ubiquitous Computing (EUC'2005, Nagasaki, Japan), Lecture Notes in Computer Science (LNCS), Vol. 3824, pp. 489-498, Springer Verlag, December 2005. (Invited for Journal Publication in Journal of Embedded Computing, 7 invited out of 115 conference papers)

  126. S.-W. Lin, P.-A. Hsiung, C.-H. Huang, and Y.-R. Chen, "Model Checking Prioritized Timed Automata," Proceedings of the 3rd International Symposium on Automated Technology for Verification and Analysis (ATVA, Taipei, Taiwan), LNCS Vol. 3707, pp. 370-384, Springer Verlag, October 2005.

  127. P.-A. Hsiung and Y.-H. Lin, "Modeling and Verification of Safety-Critical Systems using Safecharts," Proceedings of the 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, (FORTE, Taipei, Taiwan), LNCS Vol. 3731, pp. 290-304, Springer-Verlag, October 2005.

  128. P.-A. Hsiung and S.-W. Lin, "Model Checking Timed Systems with Priorities," Proceedings of the International Conference on Real-Time and Embedded Computing Systems and Applications (RTCSA, Hong-Kong, China), pp. 539-544, August 2005.

  129. P.-A. Hsiung and Y.-H. Lin, "Model-based Verification of Safety-Critical Systems," Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE, Taiwan, ROC), pp. 596-601, Knowledge Systems Institute Graduate School, July 2005. (Invited for Journal Publication in IJSEKE)

  130. P.-A. Hsiung and H.-C. Kao, "Device-Centric Low-Power Scheduling for Real-Time Embedded Systems," Proceedings of the International Embedded and Hybrid Systems Conference (IEHSC, Singapore), May 2005 (also appeared in a Special issue of the International Journal of Software Engineering and Knowledge Engineering (IJSEKE), Vol. 15, No. 2, pp. 461-466, World Scientific, April 2005.).

  131. T.-C. Lee and P.-A. Hsiung, "Mutation Coverage Estimation for Model Checking," Proceedings of 2nd International Symposium on Automated Technology for Verification and Analysis (ATVA, Taipei, Taiwan), LNCS Vol. 3299, pp. 354-368, Springer Verlag, October 2004.

  132. P.-A. Hsiung and S.-W. Lin, "Formal Design and Verification of Real-Time Embedded Software," Proceedings of the 2nd Asian Symposium on Programming Languages and Systems (APLAS, Taipei, Taiwan), LNCS Vol. 3302, pp. 382-397, Springer Verlag, November 2004 (Acceptance Rate = 26/97 = 26.8%).

  133. P.-A. Hsiung and S.-W. Lin, "Automatic Synthesis and Verification of Real-Time Embedded Software," Proceedings of the International Conference on Embedded and Ubiquitous Computing, LNCS, Vol. 3207, pp. 12-21, Springer Verlag, (EUC'2004, Aizu-Wakamatsu, Japan), August 2004. (One of 4 Best Paper Candidates among 104 accepted papers; Nominated for Book Chapter publication in 2006)

  134. T.-Y. Lee, P.-A. Hsiung, I.-M. Wu, C.-C. Tsai, and W.-T. Lee, " The Design of a Synthesis Tool for Interrupt-based Real-Time Embedded Software," Proc. of the 2003 International Conference on Informatics, Cybernetics, and Systems (ICICS 2003), pp. 1284-1289, December 2003.

  135. W.-S. Liao and P.-A. Hsiung, " Creating a Formal Verification Platform for IBM CoreConnect-based SoC ," Proc. of the 1st International Workshop on Automated Technology for Verification and Analysis (ATVA 2003), pp. 7--18, December 2003.

  136. P.-A. Hsiung and C.-Y. Lin, " Synthesis of Real-Time Embedded Software with Local and Global Deadlines ," Proc. of the IEEE/ACM International Symposium on Hardware-Software Codesign and System Synthesis (CODES-ISSS 2003), pp. 114-119, ACM Press, California, USA, October 2003 (acceptance rate = 30/143 = 21%).

  137. W.-B. See, P.-A. Hsiung, and S.-J. Chen, " An Affordable Dispatching System for Logistic Applications," 6th Asia-Pacific Intelligent Transportation Systems Forum, pp. 283, Taipei, Taiwan, October 2003.

  138. W.-B. See, P.-A. Hsiung, and S.-J. Chen, " Framework Approach for System on Chip Software Development," International Symposium on VLSI Technology, Systems, and Applications (VLSI-TSA, Hsinchu, Taiwan), pp. 196-199, October 2003.

  139. W.-S. Liao and P.-A. Hsiung, " FVP: A Formal Verification Platform for SoC," Proc. of the 16th IEEE International SoC Conference, Portland, Oregon, USA, pp. 21-24, September 2003.

  140. P.-A. Hsiung, C.-Y. Lin, and T.-Y. Lee, " Quasi-Dynamic Scheduling for the Synthesis of Real-Time Embedded Software with Local and Global Deadlines," Proc. of the 9th International Conference on Real-Time and Embedded Computing Systems and Applications (RTCSA'2003, Tainan, Taiwan), LNCS Vol. 2968, pp. 229-243, Springer-Verlag, February 2003.

  141. T.-Y. Lee, P.-A. Hsiung, I-M. Wu, and F.-S. Su, " RESS: Real-Time Embedded Software Synthesis and Prototyping Methodology ," Proc. of the 9th International Conference on Real-Time and Embedded Computing Systems and Applications (RTCSA'2003, Tainan, Taiwan), LNCS Vol. 2968, pp. 529-544, Springer-Verlag, February 2003.

  142. W.-B. See, P.-A. Hsiung, S.-J. Chen, " Software Platform for Embedded Software Development," Proc. of the 9th International Conference on Real-Time and Embedded Computing Systems and Applications (RTCSA'2003, Tainan, Taiwan), LNCS Vol. 2968, pp. 545-557, Springer-Verlag, February 2003.

  143. P.-A. Hsiung and S.-Y. Cheng, " Automating Formal Modular Verification of Asynchronous Real-Time Embedded Systems," Proc. of the 16th International Conference on VLSI Design, (VLSI'2003, New Delhi, India), pp. 249-254, IEEE CS Press, January 2003.

  144. P.-A. Hsiung and F.-S. Su, " Synthesis of Real-Time Embedded Software by Timed Quasi-Static Scheduling," Proc. of the 16th International Conference on VLSI Design, (VLSI'2003, New Delhi, India), pp. 579-584, IEEE CS Press, January 2003.

  145. P.-A. Hsiung and S.-Y. Cheng, "Automating Formal Modular Verification of Asynchronous Real-Time Embedded Systems," Proc. of the International Computer Symposium, (ICS'2002, NDHU, Taiwan), pp. 173-179, December 2002,

  146. T.-Y. Lee, P.-A. Hsiung, I-Mu Wu, and Feng-Shi Su "ESSP: An Embedded Software Synthesis and Prototyping Methodology ," Proc. of the International Computer Symposium, (ICS'2002, NDHU, Taiwan), pp. 150-157, December 2002,

  147. P.-A. Hsiung, T.-Y. Lee, and F.-S. Su, " Formal Synthesis and Code Generation of Real-Time Embedded Software using Time-Extended Quasi-Static Scheduling," Proc. of the 9th Asia-Pacific Software Engineering Conference (APSEC'2002, Queensland, Australia), IEEE CS Press, pp. 395-404, December 2002.

  148. T.-Y. Lee, P.-A. Hsiung, and S.-J. Chen, "TCN: Scalable Hierarchical Hypercubes," Proc. of the 2002 International Conference on Parallel and Distributed Systems (ICPADS'2002, NCU, Taiwan), pp. 11-16, IEEE CS Press, December 2002.

  149. F.-S. Su and P.-A. Hsiung, "Extended Quasi-Static Scheduling for Formal Synthesis and Code Generation of Embedded Software," Proc. of the 10th IEEE/ACM International Symposium on Hardware/Software Codesign (CODES'02, Colorado, USA), pp. 211-216, ACM Press, May 2002.

  150. P.-A. Hsiung, T.-Y. Lee, W.-B. See, J.-M. Fu, and S.-J. Chen, " VERTAF: An Object-Oriented Application Framework for Embedded Real-Time Systems," Proc. of the 5th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'2002, Washington, D.C., USA), pp. 322-329, IEEE Computer Society Press, April 29-May 1, 2002.

  151. P.-A. Hsiung and C.-H. Gau, " Formal Synthesis of Real-Time Embedded Software by Time-Memory Scheduling of Colored Time Petri Nets," Proc. of the Workshop on Theory and Practice of Timed Systems (TPTS'2002, Grenoble, France), Electronic Notes in Theoretical Computer Science (ENTCS), Vol. 65, No. 6, pp. 1-20, Elsevier, April 2002.

  152. C.-H. Gau and P.-A. Hsiung, " Time-Memory Scheduling and Code Generation of Real-Time Embedded Software ," Proc. of the 8th International Conference on Real-Time Computing Systems and Applications (RTCSA'02, Tokyo, Japan), pp. 19-27, March 18-20, 2002.

  153. P.-A. Hsiung, Win-Bin See, Trong-Yen Lee, Jih-Ming Fu, and Sao-Jie Chen, " Formal Verification of Embedded Real-Time Software in Component-Based Application Frameworks," Proc. 8th Asia-Pacific Software Engineering Conference (APSEC'01) , (Macau SAR, China), pp. 71-78, IEEE CS Press, December 4-7, 2001 (acceptance rate for regular papers: 44/145 = 30%).

  154. P.-A. Hsiung, "Formal Synthesis and Control of Soft Embedded Real-Time Systems," Proc. 21st IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'01), (Cheju Island, Korea), pp. 35-50, Kluwer Academic Publishers, August 2001.

  155. P.-A. Hsiung, Feng-Shi Su, Chuen-Hau Gau, Shu-Yu Jeng, and Yu-Ming Chang, " Verifiable Embedded Real-Time Application Framework, " Proc. IEEE International Real-Time Technology and Applications Symposium (RTAS'01), Work-In-Progress Session, (Taipei, Taiwan), pp. 109-110, IEEE Computer Society Press, May 2001.

  156. P.-A. Hsiung, " Formal Synthesis and Code Generation of Embedded Real-Time Software, " Proc. ACM/IEEE 9th International Symposium on Hardware/Software Codesign (CODES'01), (Copenhagen, Denmark), pp. 208-213, ACM Press, New York, USA, April 2001.

  157. P.-A. Hsiung, F. Wang, R.-C. Chen, " On the Verification of Wireless Transaction Protocol Using SGM and RED ," Proc. the 7th IEEE International Conference on Real-Time Computing Systems and Applications (RTCSA'00, Korea), pp. 379-383, IEEE Computer Society Press, USA, December 2000.

  158. P.-A. Hsiung, " Synthesis of Parametric Embedded Real-Time Software, " Proc. International Computer Symposium (ICS'00), Workshop on Computer Architecture, pp. 144-151, (Chiayi, Taiwan), ISBN 957-02-7308-9, December 2000.

  159. P.-A. Hsiung, " Concurrent Embedded Real-Time Software Verification," Proc. the 24th IEEE Computer Society International Computer Software and Applications Conference (COMPSAC'00, Taipei), pp. 516-521, IEEE Computer Society Press, USA, October 2000.

  160. J.-M. Fu, W.-B. See, P.-A. Hsiung, J.-M. Chao, and S.-J. Chen, " A Java-Based Distributed System Framework for Real-Time Development ," Proc. of the International Workshop on Distributed Real-Time Systems (IWDRS'2000, Taipei, Taiwan, ROC), pp. B-31 - B-36, April 2000.

  161. P.-A. Hsiung, F. Wang, and Y. S. Kuo, " Verification of Concurrent Client-Server Real-Time Scheduling Systems, " Proc. the 6th International Conference on Real-Time Computing Systems and Applications, (RTCSA'99, Hong Kong), pp. 228 - 235, IEEE Computer Society Press, USA, December 1999.

  162. P.-A. Hsiung and F. Wang, " User Friendly Verification," Proc. 1999 IFIP TC6/WG6.1 Joint International Conference on Formal Description Techniques For Distributed Systems and Communication Protocols & Protocol Specification, Testing, And Verification, (FORTE/PSTV '99) Beijing, China, pp. 279-294, October 1999.

  163. P.-A. Hsiung and F. Wang, "State Graph Manipulators," In Proc. of the International Workshop on Real-Time Constraints, (RTC'99, Alexandria, Virginia, USA), pp. 40 - 52, October 1999.

  164. P.-A. Hsiung, " Parallel Object-Oriented Synthesis Methodology," Proc. the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'99), CSREA Press, USA, Vol. IV, pp. 2073-2076, June 1999.

  165. P.-A. Hsiung, " High Level Design Reuse Through Fuzzy Learning ," Proc. the International Conference on Artificial Intelligence (IC-AI'99), CSREA Press, USA, Vol. II, pp. 658-661, June 1999.

  166. T.-Y. Lee, P.-A. Hsiung, and S.-J. Chen, " A Case Study in Codesign of Distributed Systems -- Vehicle Parking Management System , " Proc. the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'99), CSREA Press, USA, Vol. VI, pp. 2982-2987, June 1999.

  167. P.-A. Hsiung, " Hardware-Software Coverification of Concurrent Embedded Real-Time Systems , " Proc. the 11th Euromicro Conference on Real-Time Systems (ECRTS'99, York, England), pp. 216-223, IEEE CS Press, June 1999.

  168. P.-A. Hsiung, " Timing Coverification of Concurrent Embedded Real-Time Systems, " Proc. the 7th IEEE/ACM International Workshop on Hardware-Software Codesign (CODES'99, Rome, Italy), pp. 110-114, ACM Press, New York, USA, May 1999.

  169. P.-A. Hsiung, F. Wang, and Y. S. Kuo, " Scheduling System Verification, " Proc. the 5th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, (TACAS'99), Lecture Notes in Computer Science (LNCS), Vol. 1579, pp. 19-33, Amsterdam, the Netherlands, March 1999.

  170. P.-A. Hsiung, " MISSE: A Multi-Level Intelligent Synthesis and Simulation Environment, " Proc. International Computer Symposium (ICS'98), Workshop on Computer Architecture, Tainan, Taiwan, pp. 52-59, December 1998.

  171. F. Wang and P.-A. Hsiung, " Automatic Verification on the Large, " Proc. 3rd IEEE High-Assurance Systems Engineering Symposium (HASE'98), IEEE CS Press, pp. 134-141, Washington D.C., USA, November 1998, (invited paper).

  172. P.-A. Hsiung and F. Wang, " A State Graph Manipulator Tool for Real-Time System Specification and Verification ," Proc. 4th International Conference on Real-Time Computing Systems and Applications (RTCSA'98), IEEE Computer Society Press, pp. 181-188, Hiroshima, Japan, October 1998.

  173. P.-A. Hsiung, " Object-Oriented Application Framework Design for Real-Time Systems ," Proc. 4th International Symposium on Real-Time and Media Systems (RAMS'98), pp. 221-227, Taipei, Taiwan, September 1998.

  174. P.-A. Hsiung, " Parallel Object-Oriented Synthesis Environment Based on Message-Passing ," Proc. 27th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS'98), pp. 251-255, IEEE Computer Society Press, Beijing, China, September 1998.

  175. P.-A. Hsiung, " RTFrame: An Object-Oriented Application Framework for Real-Time Applications ," Proc. 27th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS'98), pp. 138-147, IEEE Computer Society Press, Beijing, China, September 1998.

  176. P.-A. Hsiung, " Parallel Design Automation of Computer Systems, " Proc. International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'98), Vol. 1, pp. 183-190, Las Vegas, Nevada, USA, July 1998.

  177. P.-A. Hsiung, T.-Y. Lee, and S.-J. Chen, " CMAPS: A Cosynthesis Methodology for Application-Oriented General-Purpose Parallel Systems, " Proc. 2nd IMACS-IEEE International Multiconference on Computational Engineering in Systems Applications (CESA'98), Special Session on System Level Hardware/Software Codesign, Vol. 1, pp. 1222-1227, Tunisia, April 1998.

  178. F. Wang and P.-A. Hsiung, " Parametric Analysis of Computer Systems," Proc. 6th International AMAST Conference, Lecture Notes in Computer Science (LNCS) Vol. 1349, pp. 539-553, Springer-Verlag, Sidney, Australia, December 1997.

  179. P.-A. Hsiung, T.-Y. Lee, and S.-J. Chen, " Object-Oriented Technology Transfer to Multiprocessor System-Level Synthesis," Proc. 24th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS'97), Beijing, China, pp. 284-293, IEEE Computer Society Press, September 1997.

  180. Local Conference Papers

  181. C.-H. Huang and P.-A. Hsiung, "Virtualizable Hardware/Software Design Infrastructure for Dynamically Partially Reconfigurable Systems," Proceedings of the VLSI Design / CAD Symposium, August 2012.
  182. H.-L. Chao, S.-Y. Tung, P.-A. Hsiung, "Congestion-Aware Scheduling for NoC-based Reconfigurable Systems," Proceedings of the VLSI Design / CAD Symposium, August 2011.
  183. P.-Y. Tsai, H.-Y. Yeh, T.-S. Hsu, S.-Y. Pan, L.-W. Sung, B. Kumar, and P.-A. Hsiung, "A Multicore System Design for Basketball Detection and Tracking in Sports Competition Video Streaming," Proceedings of the Workshop on Consumer Electronics, Taiwan, November 2011.
  184. C.-H. Huang, J.-S. Shen, and P.-A. Hsiung, "Self-Adaptive Hardware-Software Architecture for Embedded and Ubiquitous Systems," Proceedings of the VLSI Design / CAD Symposium, August 2010.

  185. S.-S. Lu, C.-H. Lu, and P.-A. Hsiung, "Congestion- and Energy-Aware Run-Time Mapping for Tile-Based Network-on-Chip Architecture," Proceedings of the VLSI Design / CAD Symposium, August 2010.

  186. B.-H. Wang and P.-A. Hsiung, "Dynamic Thread Scheduling on MP-SoC using Game Theory," Proceedings of the VLSI Design / CAD Symposium, August 2010.

  187. Y.H. Lin, S.W. Lin, C.S. Lin, C.H. Lu, S.Y. Tong, B.H. Wang, C.C. Ho, Y.L. Chang, and P.-A. Hsiung, "Synthesis and Code Generation of Multi-Core Embedded Software," Joint Conference on Object-Oriented Technology and Applications (OOTA) and Software Engineering (TCSE), July 2010.

  188. C.-H. Huang, J.-S. Shen, and P.-A. Hsiung, "Model-Based Verification and Estimation Framework for Dynamically Partially Reconfigurable System," Proceedings of the National Computer Symposium (NCS, Taiwan), December 2009. (Best Paper Award in the Workshop on Computer Architecture, Embedded Systems, and VLSI/EDA)
  189. J.-S. Shen, W.-W. Lin, and P.-A. Hsiung, "Efficiently Reconfigurable NoC with Operating System Support," Proceedings of the Conference on Innovative Applications of System Prototyping and Circuit Design, October 2008.Best Paper Award (3 best paper awards out of 77 submissions)

  190. C. Yu, M.-H. Yen, P.-A. Hsiung, and S.-J. Chen, "A Unified Block Interleaving/Deinterleaving Architecture for Wireless Communication Applications," Proceedings of the VLSI Design / CAD Symposium, August 2008.

  191. P.-H. Lu and P.-A. Hsiung, "Dynamically Switching Between Hardware Abstraction Models for Rapid Embedded Software Development," Proceedings of the VLSI Design / CAD Symposium, August 2008.

  192. C.-H. Lu, H.-W. Liao, and P.-A. Hsiung, "Multi-Objective Placement of Reconfigurable Hardware Tasks in Real-Time Systems," Proceedings of the VLSI Design / CAD Symposium, August 2008.

  193. S.-W. Lin, K.-C. Chiang, and P.-A. Hsiung, "Verifiable Embedded Real-Time Application Framework," Proceedings of the Workshop on Open-Source Technology and Applications (Taipei, Taiwan), November 2007 (invited for presentation).

  194. C.-C. Hung and P.-A. Hsiung, "Reconfigurable Hardware Module Sequencer for Dynamically Partially Reconfigurable Systems," Proceedings of the VLSI Design / CAD Symposium August 2007.

  195. C.-H. Huang, S.-S. Chang, and P.-A. Hsiung, "Generic Wrapper Design for Dynamic Swappable Hardware IP in Partially Reconfigurable Systems," Proceedings of the VLSI Design / CAD Symposium, August 2006. (Invited for Journal Publication in the International Journal of Electrical Engineering)

  196. C.-H. Tseng and P.-A. Hsiung, "UML-based Rapid Prototyping Design Flow for Dynamically Reconfigurable Computing Systems," Proceedings of the VLSI Design / CAD Symposium, August 2005.

  197. C.-F. Liao and P.-A. Hsiung, "A SystemC-based Performance Evaluation Framework for Dynamically Reconfigurable SoC," Proceedings of the VLSI Design / CAD Symposium, August 2005.

  198. P.-A. Hsiung, "Real-Time Embedded Software Engineering," Proceedings of the 1st Taiwan Software Engineering Conference (TSEC'2005), pp. 347-352, June 2005.

  199. P.-A. Hsiung, C.-F. Liao, C.-H. Tseng, S.-W. Lin, Y.-H. Chen, and K.-L. Chiu, "Hardware-Software Codesign and Coverification Methodology for Dynamically Reconfigurable System-on-Chips," Proceedings of the 15th Workshop on Object-Oriented Technology and Applications (OOTA'2004), September 2004.

  200. W.-S. Liao, Ming-Hwang Sun, Wei-Cheng Chao, Chan-Chi Wu, Te-Chang Li, Wei-Yu Tsai, and P.-A. Hsiung, " A Formal Verification Platform for AMBA-based SoCs", Proc. of the VLSI Design / CAD Symposium, Taiwan, August 2004.

  201. W.-B. See, J.-W. Yang, P.-A. Hsiung, and S.-J. Chen, "Multiple-Protocol Mobile Data Terminal for Logistic Dispatching Applications," Proc. of the 2003 Annual Conference on National Defense Integrated Logistics Support, pp. 348-353, October 2003.

  202. H.-C. Kao, P.-A. Hsiung, T.-Y. Lee, J.-M. Fu, and W.-B. See, "A UML-Based Synthesis and Verification Framework for Real-Time Embedded Software," Proc. of the 14th Workshop on Object-Oriented Technology and Applications, pp. 25-32, September 2003.

  203. T.-Y. Lee, I.-M. Wu, P.-A. Hsiung, C.-P. Chang, C.-C. Tsai, and W.-T. Lee, "Design of a Software Synthesis Tool for Real-Time Embedded Systems, " Proc. of the 14th Workshop on Object-Oriented Technology and Applications, pp. 609-616, September 2003.

  204. W.-S. Liao and P.-A. Hsiung, " Modeling Hardware Systems with Complex Clock Synchronizations in the SGM Formal Verifier", Proc. of the VLSI Design / CAD Symposium, pp. 177-180, Hwalien, Taiwan, August 2003.

  205. P.-A. Hsiung, W.-B. See, and T.-Y. Lee, " An Object-Oriented Application Framework for Verifiable Embedded Real-Time Software," Proc. of the 13th Workshop on Object-Oriented Technology and Applications (OOTSIG'2002, Taichung, Taiwan), pp. 273-280, September 2002.

  206. W.-B. See, P.-A. Hsiung, T.-Y. Lee, and S.-J. Chen, "Verification of Embedded Object-Oriented Software," Proc. of the 13th Workshop on Object-Oriented Technology and Applications (OOTSIG'2002, Taichung, Taiwan), pp. 281-284, September 2002.

  207. P.-A. Hsiung, S.-Y. Cheng, and T.-Y. Lee, "Compositional Verification of Synchronous Real-Time Embedded Systems, " Proc. of the 2002 VLSI Design / CAD Symposium (VLSI'02, Taitung, Taiwan), pp. 187-190, August 2002.

  208. W.-B. See, P.-A. Hsiung, T.-Y. Lee, and S.-J. Chen, "Modular Mobile Dispatching System (MMDS) and Logistics," Proc. of the 2002 Annual Conference on National Defense Integrated Logistics Support (ILS, Taipei, Taiwan), pp. 365-371, August 2002.

  209. W.-B. See, P.-A. Hsiung, and S.-J. Chen, "Tunable Embedded System Development Platform," Proc. of the 2002 VLSI Design / CAD Symposium (VLSI'02, Taitung, Taiwan), pp. 532-535, August 2002.

  210. W.-B. See, S.-J. Chen, P.-A. Hsiung, and T.-Y. Lee, "Tunable Embedded Software Development Platform," Proc. of the National Computer Symposium (NCS'01, Taiwan), Workshop on Database and Software Engineering, pp. G110-G116, December 2001.

  211. P.-A. Hsiung, " Object-Oriented Technology Transfer to Hardware-Software Codesign of Embedded Real-Time Systems," Proc. of the 11th OOTSIG Workshop on Object-Oriented Technology and Applications (THU, Taiwan), pp. C-14 - C-21, September 2000.

  212. P.-A. Hsiung, " MRASM: A Multi-Level Rule-Based Architectural Synthesis Methodology for Hierarchically Clustered Parallel Systems," Proc. National Computer Symposium (NCS'99, Taiwan), Vol. A, pp. A-487 - A-494, December 1999.

  213. S.-K. Huang, P.-A. Hsiung, F. Wang, Y.-S. Kuo, S.-C. Pan, " Verification of Object-Oriented Real-Time Scheduling Systems, " Proc. of the 10th OOTSIG Workshop on Object-Oriented Technology and Applications (NCTU, Taiwan), pp. 112-117, October 1999.

  214. P.-A. Hsiung, " Formalizing Hardware-Software Codesign Space Exploration, " Proc. 10th VLSI/CAD Symposium (VLSI/CAD'99), pp. 19-22, Nantou, Taiwan, R.O.C., August 1999.

  215. P.-A. Hsiung, T.-Y. Lee, and S.-J. Chen, " CMAPS: A Cosynthesis Methodology for Application-Oriented General-Purpose Parallel Systems, " Proc. National Computer Symposium (NCS'97), Vol. 2, pp. C76-C81, Taiwan, December 1997.
    **** Gzipped PostScript file of full paper (cmaps-ncs97.ps.gz, 141K) ****

  216. P.-A. Hsiung and S.-J. Chen, "Object-Oriented Synthesis Application Tool," Proc. of the Fourth Workshop on Object-Oriented Technology, Taipei, Taiwan, September 1994.


  217. Others (Chinese Articles, Technical Reports, ...)

  218. P.-A. Hsiung, F. Wang, and Y.-S. Kuo, " Scheduling System Verification ," Technical Report TR-IIS-98-014, Insitute of Information Science, Academia Sinica, Taiwan, 1998.
    [Gzipped Postscript file of full report (tr98014.ps.gz, 107K)]

  219. F. Wang and P.-A. Hsiung, " Iterative Refinement and Condensation for State-Graph Construction ," Technical Report TR-IIS-98-009, Insitute of Information Science, Academia Sinica, Taiwan, 1998.
    [Gzipped Postscript file of full report (tr98009.ps.gz, 121K)]

  220. F. Wang and P.-A. Hsiung, " Parametric Analysis of Computer Systems," Technical Report TR-IIS-97-010, Insitute of Information Science, Academia Sinica, Taiwan, 1997.
    [Gzipped Postscript file of full report (tr97010.ps.gz, 149K)]

  221. P.-A. Hsiung, J.-M. Fu, T.-Y. Shen, C.-Y. Lin, L.-M. Chen, and H.-C. Gao, "A Verifiable Embedded Real-Time Application Framework," In Proc. of the Annual Workshop on Intelligent Wireless Mobile Applications, Chinese Military Academy, Taiwan, May 2003.

  222. P.-A. Hsiung, J.-M. Fu, T.-Y. Shen, C.-Y. Lin, L.-M. Chen, and H.-C. Gao, "VERTAF: Verifiable Embedded Real-Time Application Framework," Electron Technology Information Magazine, Volume 33, Gal-Lant Co. Ltd., Taiwan, September 2003. (in Chinese)

  223. C.-H. Tseng and P.-A. Hsiung, "Hardware-Software Codesign of Reconfigurable Computing Systems using Java and UML," Electron Technology Information Magazine, Volume 53, pp. 21-26, Gal-Lant Co. Ltd., Taiwan, May 2005. (in Chinese)

  224. C.-H. Huang, S.-H. Chang, and P.-A. Hsiung, "Reconfigurable Digital Camera Design," Electron Technology Information Magazine, Volume 56, pp. 19-23, Gal-Lant Co. Ltd., Taiwan, August 2005. (in Chinese)

  225. S.-W. Lin, C.-H. Huang, C.-H. Tseng, C.-F. Liao, and P.-A. Hsiung, "Hardware-Software Codesign of Reconfigurable Systems-on-Chip," Electron Technology Information Magazine, Volume 57, pp. 38-43, Gal-Lant Co. Ltd., Taiwan, September 2005. (in Chinese)

  226. C.-W. Liu, C.-H. Huang, H.-C. Kao, and P.-A. Hsiung, "Low-Power Scheduling for Real-Time Embedded Systems," Electron Technology Information Magazine, Volume 60, pp. 16-20, Gal-Lant Co. Ltd., Taiwan, December 2005. (in Chinese)

  227. C.-H. Huang, and P.-A. Hsiung, "Hardware-Software Codesign of SoC," Electron Technology Information Magazine, Volume 60, pp. 37-41, Gal-Lant Co. Ltd., Taiwan, December 2005. (in Chinese)

  228. S.-H. Chang, and P.-A. Hsiung, "Operating System Design for Reconfigurable Systems," Electron Technology Information Magazine, Volume 64, pp. 20-26, Gal-Lant Co. Ltd., Taiwan, April 2006. (in Chinese)

  229. C.-W. Liu, C.-F. Liao, and P.-A. Hsiung, "SystemC-based Performance Evaluation Framework for Dynamically Reconfigurable System-on-Chip," Electron Technology Information Magazine, Volume 64, pp. 40-44, Gal-Lant Co. Ltd., Taiwan, April 2006. (in Chinese)

  230. H.-W. Liao and P.-A. Hsiung, "Configurable Real-Time Embedded Operating System," Electron Technology Information Magazine, Volume 65, pp. 40-44, Gal-Lant Co. Ltd., Taiwan, May 2006. (in Chinese)

  231. Y.-R. Chen, Y.-H. Lin, and P.-A. Hsiung, "Model Checking Safety-Critical Systems using Safecharts," Electron Technology Information Magazine, Volume 66, pp. 41-45, Gal-Lant Co. Ltd., Taiwan, June 2006. (in Chinese)

  232. P.-A. Hsiung, J.-Y. Chien, C.-Y. Wu, and G.-H. Lin, "RFID-based Automation of Airport Baggage Handling," Electron Technology Information Magazine, Volume 68, pp. 36-40, Gal-Lant Co. Ltd., Taiwan, August 2006. (in Chinese)

  233. P.-A. Hsiung, "Real-Time Embedded Software Tool Design," Engineering Science and Technology Bulletin, Vol. 87, pp. 38-41, National Science Council, Taiwan, August 2006. (in Chinese)

  234. S.-J. Chen, P.-A. Hsiung, T.-Y. Lee, J.-S. Cherng, and M.-H. Yen, "Tunable SoC Hardware-Software Development Platform," Engineering Science and Technology Bulletin, Vol. 87, pp. 107-117, National Science Council, Taiwan, August 2006. (in Chinese)

  235. P.-A. Hsiung, "Design and Implementation of a Real-Time Operating System for Scalable Low-Power Customized Embedded Systems," Engineering Science and Technology Bulletin, Vol. 94, pp. 89-93, National Science Council, Taiwan, October 2007. (in Chinese)

  236. C.-Y. Hsu, M.-C. Chiu, S.-C. Lee, K.-C. Chiang, C.-C. Tsao, P.-A. Hsiung, "Postal R Generation --- RFID-based Postal Revolution," RFID Workshop, Taipei, Taiwan, January 2008. (in Chinese)
  237. C.-T. Ho, N.-F. H, C.-J. Lin, M.-M. Chao, K.-C. Chiang, C.-C. Tsao, and P.-A. Hsiung, "RFID-based Traffic Control System," RFID Workshop, Taipei, Taiwan, January 2008. (in Chinese)

(Click here for PDF version)

Last Updated on Saturday, 19-Oct-2013 05:11:23 UTC.
[an error occurred while processing this directive] [an error occurred while processing this directive]