�б�
��T�u�{�Ǩt�ά�s��
��ߤ����j��
(621)�Ÿq�������m�T����160��

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

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

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

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

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

• 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, Springer-Verlag, October 2005.

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

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

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

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

• 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 as above in IJSEKE, Vol. 15, No. 2, April 2005).

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

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

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

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

• P.-A. Hsiung and Shang-Wei 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%).

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

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

• 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)

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

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

• 2000 International Workshop on Distributed System Validation and Verification (DSVV'2000), held in conjunction with ICDCS'2000 , April 10-13, 2000, Taipei, Taiwan, ROC.

• 1999 International Workshop on Real-Time Constraints (RTC'99), held in conjunction with CP'99, October 11-15, 1999, Alexandra, Virginia, USA.

• Special Session on Hardware-Software Codesign of Parallel and Distributed Systems, held at PDPTA'99, June 28-July 1, 1999, Las Vegas, Nevada, USA.