[an error occurred while processing this directive] 

Pao-Ann Hsiung's Year 2004 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, 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.

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

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

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

  5. International Conferences

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

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

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

  9. Local Conferences

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

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

Last Updated: October 13, 2004.