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. |
Y.-R. Chen and P.-A. Hsiung,
"Automatic Failure Analysis using Safecharts,"
International Journal of Software Engineering and Knowledge Engineering
(IJSEKE), Vol. 17, No. 1, pp. 57-78,
World Scientific Publishing, Singapore, February 2007. (an SEKE'2005 special issue, out of 225 submissions and 115 paper presentations, only 5 papers were published in this special issue) |
C.-H. Huang, S.-S. Chang, and P.-A. Hsiung, "Generic Wrapper Design for Dynamic Swappable Hardware IP in Partially Reconfigurable Systems," International Journal of Electrical Engineering, Vol. 14, No. 3, pp. 229-238, June 2007. (EI) |