Selected Journal Publications

  1. Z. Wang, X. Song, et al. Activity-driven Task Allocation in Energy Constrained Heterogeneous GPUs Systems. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2021.

  2. G. Chen, X. Song, et al. A formal proof of PG recurrence equations of parallel adders. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2021.

  3. Zonghui Li, Hai Wan, Xiaoyu Song, et al. A Flattened Priority Framework for Mixed-Criticality Systems. IEEE Transactions on Industrial Electronics, 2020.

  4. Huina Chao, Huawei Li, Xiaoyu Song, et al. Evaluating and constraining hardware assertions with absent scenarios. Journal of Computer Science and Technology, Springer, 2020.

  5. Zonghui Li, Hai Wan, Xiaoyu Song, et al. Model-based adaptation of mixed-criticality multi-service systems for extreme physical environments. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2020.

  6. S. Daraeizadeh, S. P. Premaratne, N. Khammassi, X. Song, M. Perkowski, et al. Machine-learning-based three-qubit gate design for Toffoli and parity check in transmon systems. Physical Review A, American Physical Society, 102, 012601, 2020.

  7. Zhuowei Wang, Lianglun Cheng, Hao Wang, Wuqing Zhao, Xiaoyu Song. Energy optimization by software prefetching for task granularity in GPU-based embedded systems. IEEE Transactions on Industrial Electronics, 67(6), 5120-5131, 2020.

  8. Zonghui Li, Hai Wan, Yangdong Deng, Xibin Zhao, Yue Gao, Xiaoyu Song, and Ming Gu. Time-triggered switch-memory-switch architecture for time-sensitive networking switches. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2020.

  9. Yiwei Li, Edison Tsai, Marek Perkowski and Xiaoyu Song. Grover-based Ashenhurst-Curtis decomposition using quantum language quipper. Quantum Information & Computation, Rinton Press, 2019.

  10. Juling Zhang, Guowu Yang, William N. N. Hung, Tian Liu, Xiaoyu Song, Marek A. Perkowski. A group algebraic approach to NPN classification of Boolean functions. Theory of Computing Systems, Springer, 2019.

  11. Swetha Mettala Gilla, Marly Roncken, Ivan Sutherland, Xiaoyu Song. Mutual exclusion sizing for Hoi Polloi. IEEE Transactions on Circuits and Systems II, 2019.

  12. Rui Wang, Yong Guan, Houbing Song, Xinxin Li, Xiaojuan Li, Zhiping Shi, Xiaoyu Song. A formal model-based design method for robotic systems. IEEE Systems Journal, 13(1), 1096-1107, 2019.

  13. Ningchen Wang, Qinghan Yu, Hai Wan, Xiaoyu Song, Xibin Zhao. Adaptive scheduling for multi-cluster time-triggered train communication networks. IEEE Transactions on Industrial Informatics, 15(2), 1120-1130, 2019.

  14. Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun. Tolerating C integer error via precision elevation. IEEE Transactions on Computers, 68(2), 270-286, 2019.

  15. Lifan Su, Hai Wan, Yufang Qin, Xibin Zhao, Yue Gao, Xiaoyu Song, Chenyang Lu, Ming Gu. Synthesizing fault-tolerant schedule for time-triggered network without hot-backup. IEEE Transactions on Industrial Electronics, 66(2), 1345-1355, 2019.

  16. R. Wang, Y. Wei, H. Song, Y. Jiang, Y. Guan, X. Song, et al. From off-line towards real-time verification for robot systems. IEEE Transactions on Industrial Informatics, 14(4): 1712-1721, 2018.

  17. X. Cheng, M. Zhou, X. Song, et al. Parallelizing SMT solving: lazy decomposition and conciliation. Artificial Intelligence, An International Journal, Elsevier, 257, 127-157, 2018.

  18. Min Zhou, William N. N. Hung, Xiaoyu Song, et al. Temporal coverage analysis for dynamic verification. IEEE Transactions on Circuits and Systems II, 2017.

  19. Xuexin Wang, Min Zhou, Xiaoyu Song, et al. Constructing cost-aware functional test-suites using nested differential evolution algorithm IEEE Transactions on Evolutionary Computation, 2017

  20. Jea Woo Park, Andress Torres, Xiaoyu Song. Litho-aware machine learning for hotspot detection IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2017.

  21. Jiaxiang Liu, Min Zhou, Xiaoyu Song, et al. Formal modeling and verification of a rate-monotonic scheduling implementation with real-time Maude. IEEE Transactions on Industrial Electronics, 2017.

  22. H. Park, A. He, M. Roncken, X. Song, Ivan Sutherland. Modular timing constraints for delay-insensitive systems. Journal of Computer Science and Technology (JCST), Springer, 31(1): 77-106, 2016.

  23. J. W. Park, R. Todd, X. Song. Geometric pattern match using edge driven dissected rectangles and vector space. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2016.

  24. R. Wang, W. Hung, G. Yang, X. Song. Uncertainty model for configurable hardware/software and resource partitioning. IEEE Transactions on Computers, 2016.

  25. X. Guo, M. Zhou, X. Song, et al. First, debug the test oracle. IEEE Transactions on Software Engineering, 2015.

  26. Y. Jiang, H. Zhang, H. Zhang, X. Song, et al. Design of mixed synchronous/asynchronous systems with multiple clocks. IEEE Transactions on Parallel and Distributed Systems, 2015.

  27. J. Zhou, C. Lan, W. Hung, X. Guo, X. Song. A quantitative characterization of cross coverage. IEEE Transactions on Computers, 2015.

  28. Y. Jiang, H. Zhang, Z. Li, Y. Deng, X. Song, et al. Design and optimization of multi-clocked embedded systems using formal techniques. IEEE Transactions on Industrial Electronics, 2015.

  29. Q. Wang, X. Song, et al. Scalable verification of a generic end-around-carry adder for floating-point units by COQ. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2015.

  30. Z. Li, H. Chen, X. Song, M. Perkowski. A synthesis algorithm for 4-bit reversible logic circuits with minimum quantum cost. ACM Journal on Emerging Technologies in Computing Systems, 2014.

  31. H. Zhang, Y. Jiang, W. Hung, X. Song, et al. Symbolic analysis of programmable logic controllers. IEEE Transactions on Computers, 2014.

  32. H. Kong, F. He, X. Song, W. Hung, et al. Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems. International Conference on Computer Aided Verification (CAV), 2013.

  33. Y. Jiang, H. Zhang, X. Song, W. Hung, et al. Bayesian network based reliability analysis of PLC systems. IEEE Transactions on Industrial Electronics, 2013.

  34. J. Wang, M. Sheng, X. Song, et al. Comments on "BER performance of FSO links over strong a tmospheric turbulence channels with pointing errors". IEEE Communications Letters. 16(1), 22-23, 2012.

  35. F. He, L. Yin, W. Hung, X. Song, M. Gu. Maxterm covering for satisfiability. IEEE Transactions on Computers, 61(3): 420-426, 2012.

  36. Y. Li, W. Hung, X. Song. Exploring structural symmetry automatically in symbolic trajectory evaluation. Formal Methods in System Design. Springer, 2011.

  37. Y. Xia, Z. Chu, W. Hung, L. Wang, X. Song. An integrated optimization approach for nano-hybrid circuit cell mapping. IEEE Transactions on Nanotechnology, 2011.

  38. Y. Li, W. Hung, X. Song. A novel formalization of symbolic trajectory evaluation semantics in Isabelle/HOL. Theoretical Computer Science, 2011.

  39. G. Yang, F. Xie, W. Hung, X. Song, M. Perkowski. Realization and synthesis of reversible functions. Theoretical Computer Science, 2011.

  40. F. Liu, X. Song, et al. Formal analysis of end-around-carry adder in floating-point unit. IEEE Transactions on Computer-Aided Design, 2010.

  41. F. He, X. Song, et al. Integrating evolutionary computation with abstraction refinement for model checking. IEEE Transactions on Computers, 2009.

  42. G. Chen, X. Song, et al. A theoretical investigation on CMOL FPGA cell assignment problem. IEEE Transactions on Nanotechnology, 8(3), 322-329, 2009.

  43. O. Neiroukh, S. Edwards, X. Song. Transforming cyclic circuits into acyclic equivalents. IEEE Transactions on Computer-Aided Design, 27(10), 1775 - 1787, 2008.

  44. W. Hung, C. Gao, X. Song, D. Hammerstrom. Defect tolerant CMOL cell assignment via satisfiability. IEEE Sensors Journal, 2008

  45. G. Chen, X. Song, et al. A note on "A mapping algorithm for computer-assisted exploration in the design of embedded systems". ACM Transactions on Design Automation of Electronic Systems, 12(4), 2007.

  46. G. Yang, F. Xie, X. Song, M. Perkowski. Universality of two-qudit ternary reversible gates. Journal of Physics A Mathematical and General, The Institute of Physics, 39, 2006.

  47. X. Song, G. Yang, M. Perkowski. Algebraic characteristics of reversible gates. Theory of Computing Systems (Mathematical Systems Theory), Springer-Verlag, 39(2), 2006.

  48. F. He, X. Song, etc. Probabilistic Optimization for FPGA Board Level Routing Problems. IEEE Transactions on Circuits and Systems II 53(4), 264-268, 2006.

  49. G. Yang, X. Song, M. Perkowski and J. Wu. Realizing ternary quantum switching networks without ancilla bits. Journal of Physics A Mathematical and General, The Institute of Physics, 38, 2005.

  50. W. Hung, X. Song, G. Yang, etc. Optimal Synthesis of Multi-output Boolean Functions using a Set of Quantum Gates by Symbolic Reachability Analysis. IEEE Transactions on Computer-Aided Design, 2005.

  51. W. Hung, X. Song, et al. Routability Checking for Three-Dimensional Architectures. IEEE Transactions on Very Large Scale Integration Systems, 2004.

  52. G. Yang, W. Hung, X. Song, et al. Majority-Based Reversible Logic Gates. Theoretical Computer Science C, 2004.

  53. L. Cheng, W. Hung, G. Yang, X. Song. Congestion Estimation for 3D Circuit Architectures. IEEE Transactions on Circuits and Systems II, 2004. .

  54. W. Hung, X. Song. Segmented channel routing via satisfiability. ACM Transactions on Design Automation of Electronic Systems (TODAES), 2002.

  55. X. Song, et al. Multiterminal net assignment via satisfiability. IEEE Transactions on VLSI Systems, 2002.

  56. Y. Wang, C. Pai, X. Song. The Design of Hybrid Carry - Lookahead/Carry-Select Adders. IEEE Transactions on Circuits and Systems, 2002.

  57. O. Ait-Mohamed, X. Song, et al. On the non-termination of MDG-based abstract state enumeration. Theoretical Computer Science (TCS) , 2001.

  58. W. Hung, X. Song. BDD Minimization by Scatter Search. IEEE Transactions on Computer-Aided Design, 2001.

  59. Y. Wang, X. Song, M. Aboulhamid. Adder based residue to binary number converters. IEEE Transactions on Signal Processing, 2001.

  60. X. Song, Y. Tang. Wire space estimation and routability analysis. IEEE Transactions on Computer-Aided Design, 19(5), 2000.

  61. X. Song and Y. Wang. On the crossing distribution problem. ACM Transactions on Design Automation of Electronic Systems (TODAES), 4(1), 1999.

  62. S. Tahar, X. Song, E. Cerny, Z. Zhou, M. Langevin. Formal verification of an ATM switch fabric using multiway decision graphs. IEEE Transactions on Computer-Aided Design, vol. 18(7), 956-972, July 1999.

  63. Y. Tang, X. Song, Y. Wang. Diagnosis of clustered faults for identical degree topologies. IEEE Transactions on Computer-Aided Design, 18(8), 1999.

  64. Y. Tang and X. Song. Diagnosis for arbitrarily connected parallel computers. IEEE Transactions on Computers, 48(7), 1999.

  65. F. Corella, Z. Zhou, X. Song, M. Langevin, E. Cerny. Multiway decision graphs for automated hardware verification. Formal Methods in System Design, Kluwer Academic Publishers, 10(1), 7-46, 1997.

  66. S. Nicoloso, M. Sarrafzadeh, X. Song. On the sum coloring problem on interval graphs. Algorithmica, Springer-Verlag New York, Inc., 23(2), 1999.

  67. X. Tan, X. Song. Hexagonal three-layer channel routing. Information Processing Letters (IPL) , Elsevier Science Publishers, 55(4), 223-228, 1995.

  68. X. Song, X. Tan. An optimal channel routing algorithm in the times square model. IEEE Transactions on Computer-Aided Design, 13(7), 891-898, 1994.

  69. X. Song. An algorithm for L-shaped channel routing in a diagonal model. IEEE Transactions on Computer-Aided Design, 11, 267-270, 1992.

  70. Selected Conference Publications

  71. Yuexing Wang, Min Zhou, Yu Jiang, Xiaoyu Song, et al. A static analysis tool with optimization for reachability determination. ACM/IEEE 32nd International Conference on Automated Software Engineering (ASE), USA, 2017.

  72. W. Hung, X. Song, et al. Motion planning with satisfiability modulo theories. Proc. IEEE International Conference on Robotics and Automation (ICRA), 2014.

  73. J. Wang, P. Luo, Y. Guan, H. Wei, X. Li, J. Zhang, X. Song. Timed automata based motion planning for a self-assembly robot system. Proc. IEEE International Conference on Robotics and Automation (ICRA), 2014.

  74. Y. Jiang, H. Zhang, H. Zhang, X. Zhao, H. Liu, C. Sun, X. Song, et al. Tsmart-GalsBlock: a toolkit for modeling, validation, and synthesis of multi-clocked embedded systems. SIGSOFT FSE 2014: 711-714

  75. H. Kong, F. He, X. Song, et al. Exponential-condition-based barrier certificate generation for safety verification of hybrid systems. Proc. International Conference on Computer-Aided Verification (CAV), 242-257, 2013.

  76. H. Zhu, F. He, W. Hung, X. Song, et al. Data Mining based Decomposition for Assume-Guarantee Reasoning. Formal Methods in Computer Aided Design (FMCAD), 2009

  77. O. Neiroukh, X. Song, et al. Improving the process-variation tolerance of digital circuits using gate sizing and statistical techniques. ACM/IEEE Design Automation and Test in Europe (DATE), 2005.

  78. G. Yang, X. Song, et al. Exact Synthesis of 3-qubit Quantum Circuits from Non-binary Quantum Gates Using Multiple-Valued Logic. ACM/IEEE Design Automation and Test in Europe (DATE), 2005 .

  79. W. Hung, X. Song, et al. Quantum Logic Synthesis by Symbolic Reachability Analysis. ACM/IEEE Design Automation Conference (DAC), 2004.

  80. Y. Xu, E. Cerny, X. Song, F. Corella, O. Ait-Mohamed. Model checking for a first-order temporal logic using multiway decision graphs. Proc. of the International Conference on Computer-Aided Verification (CAV), Lecture Notes in Computer Science 1427, 219-231, 1998.

  81. K.D. Anon, N. Boulerice, E. Cerny, F. Corella, M. Langevin, X. Song, S. Tahar, Y. Xu, Z. Zhou. MDG tools for the verification of RTL designs. Proc. of the International Conference on Computer Aided Verification (CAV), Lecture Notes in Computer Science 1102, 433-436, NJ, USA, 1996.

  82. Z. Zhou, X. Song, S. Tahar, E. Cerny, F. Corella and M. Langevin. Formal Verification of the Is land Tunnel Controller using Multiway Decision Graphs. Proc. of International Conference on For mal Methods in Computer Aided Design (FMCAD), Lecture Notes in Computer Science 1166, 233-24 7, Palo Alto, CA, USA, 1996.

  83.