[an error occurred while processing this directive] 

Pao-Ann Hsiung's Publications on Design Automation

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!

    International Journal Papers

  1. P.-A. Hsiung, S.-W. Lin, Y.-R. Chen, C.-H. Huang, and W.C. Chu, "Modeling and Verification of Real-Time Embedded Systems with Urgency," Journal of Systems and Software, Elsevier, 2009. (accepted for publication)

  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), Vol. 1, No. 3, Article 17, September 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.

  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. (EI)

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

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

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

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

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

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

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

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

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

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

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

  24. Books and Chapters

  25. K.-J. Shih and P.-A. Hsiung, "Reconfigurable Computing Technologies Overview," Encyclopedia of Information Science and Technology, 2nd ed., IGI Global, USA, 2007. (accepted for publication)

  26. 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 (accepted for publication).

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

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

  29. 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, toc.ps.gz) ]

  30. International Conference Papers

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

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

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

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

  36. P.-A. Hsiung, P.-H. Lu, 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%) .

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

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

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

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

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

  42. 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 International Conference on Field Programmable Logic and Applications, (FPL'2006, Madrid, Spain), IEEE CS Press, August 2006. (accepted as full paper, Acceptance Rate = 85/307 = 27.7% for full papers)

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

  44. 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), December 2005 (accepted for presentation).

  45. 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), December 2005 (accepted for presentation).

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

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

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

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

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

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

  52. 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 (accepted for presentation, acceptance rate = 26/97 = 26.8%).

  53. 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. (accepted for presentation)

  54. 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), December 2003.

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

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

  57. 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, IEEE Computer Science Press, September 2003.

  58. W.-B. See, P.-A. Hsiung, and S.-J. Chen, " An Affordable Dispatching System for Logistic Applications," 6th Asia-Pacific Intelligent Transportation Systems Forum, Taipei, Taiwan, July 2003 (accepted for presentation). NEW!!!

  59. 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), April 2003 (accepted for presentation). NEW!!!

  60. 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), February 18-20, 2003 (accepted for presentation). NEW!!!

  61. 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), February 18-20, 2003 (accepted for presentation). NEW!!!

  62. 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), February 18-20, 2003 (accepted for presentation). NEW!!!

  63. 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), January 4-8, 2003. (accepted for presentation). NEW!!!

  64. P.-A. Hsiung and F.-S. Su, " Synthesis of Real-Time Embedded Software by Time-Extended Quasi-Static Scheduling," Proc. of the 16th International Conference on VLSI Design, (VLSI'2003, New Delhi, India), January 4-8, 2003, (accepted for presentation). NEW!!!

  65. 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), December 2002,

  66. 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, December 2002.

  67. 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, May 2002.

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

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

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

  71. 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), IEEE CS Press, December 4-7, 2001 (accepted for presentation, acceptance rate for regular papers: 44/145 = 30%).

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  89. Local Conference Papers

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

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

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

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

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

  95. 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 (accepted for presentation).

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

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

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

  99. W.-B. See, C.-W. Yang, P.-A. Hsiung, and S.-J. Chen, "Multiple-Protocol Mobile Data Terminal for Logistic Dispatching Applications," Proc. of the 2003 Annual Conference of the National Defense Integrated Logistic Support, October 2003. NEW!!!

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

  101. 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), September 13, 2002. (accepted for presentation). NEW!!!

  102. 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), September 13, 2002. (accepted for presentation). NEW!!!

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

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

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

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

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

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

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

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

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

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


Last Updated January 17, 2009.