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.

Back to Research Activities