Quick Links

Selected Publications:
Design and Verification of Hardware/Software Systems

F. Xie, X. Song, H. Chung, R. Nandi, "Translation-Based Co-Verification," Proc. of 3rd ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), 2005.
G. Yang, J. Yang, W. Hung, X. Song, "Implication of assertion graphs in GSTE," Proc. ACM/IEEE ASP-DAC (Asia and South Pacific Design Automation Conference), Shanghai, 2005.
M. Krykhtin, Y. Mokhtari, O. Ait Mohamed, and X. Song, "Towards software model checking using MDGs," Proc. IEEE Northeast Workshop on Circuits and Systems (NEWCAS'04), June 2004.
S. Tahar, M. H. Zobair, X. Song, "Formal verification of a SONET data stream processor," IEEE Proceedings - Computers and Digital Techniques, 151(1), 71-81, 2004.
O. Ait-Mohamed, X. Song, E. Cerny, S. Tahar, Z. Zhou, "MDG-based state enumeration by retiming and circuit transformation," Journal of Circuits, Systems, and Computers (JCSC), World Scientific Publishers,13(5), 1111-1132, 2004.
O. Ait-Mohamed, X. Song, E. Cerny, "On the non-termination of MDG-based abstract state enumeration," Theoretical Computer Science (TCS), Elsevier Science Publishers, 300(1-3), 161-179, 2003.
Y. Xu, X. Song, E. Cerny, "Model checking for a first-order temporal logic using multiway decision graphs," The Computer Journal, Oxford University Press, 47(1), 71-84, 2003.
W. Hung, X. Song, E. Aboulhamid, M. Driscoll, "BDD variable ordering by scatter search," IEEE Transactions on Computer-Aided Design, 21(8), 974-979, 2002.