P.-A. Hsiung, S.-W. Lin, Y.-R. Chen, C.-H. Huang, and W.C. Chu,
"Modeling and Verification of Real-Time Embedded Systems with Urgency,"
Journal of Systems and Software, Elsevier, 2009.
(accepted for publication)|
|P.-A. Hsiung, C.-S. Lin, and C.-F. Liao, "Perfecto: A SystemC-based Design Space Exploration Framework for Dynamically Reconfigurable Architectures," ACM Transactions on Reconfigurable Technology and Systems (TRETS), Vol. 1, No. 3, Article 17, September 2008.|
|K.-J. Shih, C.-C. Hung, and P.-A. Hsiung, "Reconfigurable Hardware Module Sequencer for Dynamically Partially Reconfigurable Systems," International Journal of Electrical Engineering (IJEE), Vol. 15, No. 2, pp. 87-96, April 2008. (invited for publication in this VLSI Design/CAD Symposium 2007 special issue) (EI)|
|P.-A. Hsiung, C.-H. Huang, and Y.-H. Chen, "Hardware Task Scheduling and Placement in Operating Systems for Dynamically Reconfigurable SoC," Journal of Embedded Computing (JEC), to appear, IOS Press, The Netherlands, 2008 (to be published). (an EUC'2005 special issue, out of 376 submissions and 114 paper presentations, only 7 papers were invited for publication in this special issue)|
|C.-H. Huang and P.-A. Hsiung, "Software-Controlled Dynamically Swappable Hardware Design in Partially Reconfigurable Systems," EURASIP Journal on Embedded Systems, Special Issue on Reconfigurable Computing and Hardware-Software Codesign, Volume 2008, Article ID 231940, 2008. (doi:10.1155/2008/231940).|
|P.-A. Hsiung and S.-W. Lin, "Automatic Synthesis and Verification of Real-Time Embedded Software for Mobile and Ubiquitous Systems," Computer Languages, Systems & Structures, Vol. 34, No. 4, pp. 153-169, Elsevier, The Netherlands, December 2008. (SCI journal) (DOI Link)|
|P.-A. Hsiung, Y.-R. Chen, and Y.-H. Lin, " Model Checking Safety-Critical Systems using Safecharts," IEEE Transactions on Computers, Vol. 56, No. 5, pp. 692-705, May 2007.|
|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.|
|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.|