(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
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 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.
International Conferences
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).
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,
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 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.).
Local Conferences
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.
P.-A. Hsiung, "Real-Time Embedded Software Engineering,"
Proceedings of the 1st Taiwan Software Engineering Conference
(TSEC'2005), pp. 347-352, June 2004.