[an error occurred while processing this directive] 
回首頁簡介課程研究論文 下載 連接求助討論 English

Pao-Ann Hsiung's Year 2003 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 Conferences

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

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

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

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

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

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

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

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

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

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

  11. 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), pp. 579-584, IEEE CS Press, January 2003.

    12. Local Conferences

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

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

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

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

    16. Others

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

  17. 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," E-Technology magazine , Volume 33, Taiwan, September 2003. (in Chinese)

Last Updated: November 17, 2003.