Home Introduction Courses Research Publications Download Links Help Discuss Chinese
next up previous

Pao-Ann Hsiung's Publication List (PDF)


Last Updated on October 10, 2008.

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 (27) Books & Chapters (11) Int'l Conference Papers (70) Local Conference Papers (28) Others (20)

    International Journal Papers

  1. 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), Springer, accepted for publication (September 2008) (SCI journal).

  2. 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), accepted for publication (July 2008).

  3. 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)

  4. 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), to appear, IOS Press, The Netherlands, 2008 (to be published). (an EUC'2005 special issue, out of 376 submissions and 114 paper presentations, only 7 papers were invited for publication in this special issue)

  5. 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).

  6. 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)

  7. 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.

  8. 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)

  9. 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)

  10. 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.

  11. 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.

  12. 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.

  13. 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.

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

  15. 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.

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

  17. 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.

  18. 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.

  19. 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.

  20. 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.

  21. 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.

  22. 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.

  23. 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.

  24. 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.

  25. 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.

  26. 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.

    27. Local Journal Papers

  27. 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)

    28. Books and Chapters

  28. P.-A. Hsiung and M. D. Santambrogio, Reconfigurable System Design and Verification, CRC Press, USA, to be published in February 2009.

  29. J.-S. Shen and P.-A. Hsiung, Dynamic Reconfigurable Network-on-Chip Design: Innovations for Computational Processing and Communication, IGI Global, USA, to be published in 2009.

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

  31. 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/).

  32. 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 Innovations and Perspectives, American Scientific Publishers, USA, 2007 (invited for EUC'2004 special issue).

  33. 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.

  34. 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.

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

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

  37. 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.

  38. 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, ]

    39. International Conference Papers

  39. 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.

  40. 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.

  41. J.-S. Sheng, 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.

  42. 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.

  43. 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.

  44. 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.

  45. 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%)

  46. 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%)

  47. 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%)

  48. 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).

  49. 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.

  50. 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% )

  51. 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 )

  52. 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)

  53. 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.

  54. 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)

  55. 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.

  56. 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.

  57. 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.

  58. 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)

  59. 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.).

  60. 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.

  61. 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%).

  62. 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)

  63. 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.

  64. 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.

  65. 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%).

  66. 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.

  67. 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.

  68. 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.

  69. 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.

  70. 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.

  71. 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.

  72. 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.

  73. 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.

  74. 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,

  75. 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,

  76. 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.

  77. 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.

  78. 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.

  79. 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.

  80. 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.

  81. 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.

  82. 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%).

  83. 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.

  84. 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.

  85. 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.

  86. 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.

  87. 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.

  88. 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.

  89. 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.

  90. 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.

  91. 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.

  92. 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.

  93. 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.

  94. 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.

  95. 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.

  96. 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.

  97. 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.

  98. 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.

  99. 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.

  100. 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).

  101. 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.

  102. 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.

  103. 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.

  104. 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.

  105. 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.

  106. 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.

  107. 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.

  108. 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.

    109. Local Conference Papers

  109. 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)

  110. 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.

  111. 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.

  112. 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.

  113. 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).

  114. 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.

  115. 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)

  116. 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.

  117. 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.

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

  119. 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.

  120. 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 (accepted as poster paper).

  121. 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.

  122. 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.

  123. 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.

  124. 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.

  125. 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.

  126. 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.

  127. 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.

  128. 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.

  129. 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.

  130. 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.

  131. 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.

  132. 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.

  133. 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.

  134. 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.

  135. 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) ****

  136. 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.

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

  137. 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)]

  138. 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)]

  139. 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)]

  140. 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.

  141. 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)

  142. 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)

  143. 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)

  144. 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)

  145. 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)

  146. 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)

  147. 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)

  148. 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)

  149. 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)

  150. 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)

  151. 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)

  152. 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)

  153. 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)

  154. 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)

  155. 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)

  156. 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 Monday, 10-Nov-2008 15:14:42 CST.