[an error occurred while processing this directive] 

Pao-Ann Hsiung's Year 2002 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. F. Wang and P.-A. Hsiung, " Efficient and User-Friendly Verification," IEEE Transactions on Computers , Vol. 51, No. 1, pp. 61-83, January 2002.

  2. Books and Chapters

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

  4. International Conferences

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

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

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

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

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

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

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

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

  13. Local Conferences

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

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

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

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

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


Last Updated: September 21, 2002.