[an error occurred while processing this directive] 

Pao-Ann Hsiung's Year 2005 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, "SESAG: An Object-Oriented Application Framework for Real-Time Systems," Software --- Practice and Experience, Vol. 35, No. 10, pp. 899-921, John Wiley & Sons, Ltd., August 2005.

  2. P.-A. Hsiung and H.-C. Kao, "Device-Centric Low-Power Scheduling for Real-Time Embedded Systems," International Journal of Software Engineering and Knowledge Engineering (IJSEKE), Vol. 15, No. 2, pp. 461-466, World Scientific Publishing, Singapore, April 2005.

  3. International Conferences

  4. C.-H. Tseng and P.-A. Hsiung, "UML-Based Design Flow and Partitioning Methodology for Dynamically Reconfigurable Computing Systems," Proceedings of the 2005 IFIP International Conference on Embedded and Ubiquitous Computing (EUC'2005, Nagasaki, Japan), December 2005 (accepted for presentation).

  5. Y.-H. Chen and P.-A. Hsiung, "Hardware Task Scheduling and Placement in Operating Systems for Dynamically Reconfigurable SoC," Proceedings of the 2005 IFIP International Conference on Embedded and Ubiquitous Computing (EUC'2005, Nagasaki, Japan), December 2005 (accepted for presentation).

  6. S.-W. Lin, P.-A. Hsiung, C.-H. Huang, and Y.-R. Chen, "Model Checking Prioritized Timed Automata," Proceedings of the 3rd International Symposium on Automated Technology for Verification and Analysis (ATVA, Taipei, Taiwan), LNCS Vol. 3707, pp. 370-384, Springer Verlag, October 2005.

  7. P.-A. Hsiung and Y.-H. Lin, "Modeling and Verification of Safety-Critical Systems using Safecharts," Proceedings of the 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, (FORTE, Taipei, Taiwan), LNCS Vol. 3731, pp. 290-304, October 2005.

  8. P.-A. Hsiung and S.-W. Lin, "Model Checking Timed Systems with Priorities," Proceedings of the International Conference on Real-Time and Embedded Computing Systems and Applications (RTCSA, Hong-Kong, China), pp. 539-544, August 2005.

  9. P.-A. Hsiung and Y.-H. Lin, "Model-based Verification of Safety-Critical Systems," Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE, Taiwan, ROC), pp. 596-601, Knowledge Systems Institute Graduate School, July 2005.

  10. P.-A. Hsiung and H.-C. Kao, "Device-Centric Low-Power Scheduling for Real-Time Embedded Systems," Proceedings of the International Embedded and Hybrid Systems Conference (IEHSC, Singapore), May 2005. (also appeared in a Special issue of the International Journal of Software Engineering and Knowledge Engineering (IJSEKE), Vol. 15, No. 2, pp. 461-466, World Scientific, April 2005.).

  11. Local Conferences

  12. C.-H. Tseng and P.-A. Hsiung, "UML-based Rapid Prototyping Design Flow for Dynamically Reconfigurable Computing Systems," Proceedings of the VLSI Design / CAD Symposium, August 2005.

  13. C.-F. Liao and P.-A. Hsiung, "A SystemC-based Performance Evaluation Framework for Dynamically Reconfigurable SoC," Proceedings of the VLSI Design / CAD Symposium, August 2005.

  14. P.-A. Hsiung, "Real-Time Embedded Software Engineering," Proceedings of the 1st Taiwan Software Engineering Conference (TSEC'2005), pp. 347-352, June 2004.


Last Updated: August 29, 2005.