[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
- 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.
- 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.
- 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.
Book Chapters
- 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).
International Conferences
- 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
- 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.
- 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.
- 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%).
Local Conferences
- 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.

Last Updated: January 7, 2002.