[an error occurred while processing this directive] 

Pao-Ann Hsiung's Year 2001 Publications

(For ABSTRACTS: click on paper titles, For FULL PAPERS: click on PDF icons)
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, " POSE: A Parallel Object-Oriented Synthesis Environment, " ACM Transactions on Design Automation of Electronic Systems, Vol. 6, No. 1, pp. 67-92, January 2001.

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

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

  4. Book Chapters

  5. 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, December 2001. (Article Invited in May 2000).

  6. International Conferences

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

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

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

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

  11. Local Conferences

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


Last Updated: January 7, 2002.