Selected Journal Publications

  1. Zhuowei Wang; Le Yang; Haoran Lin; Genping Zhao; Zixuan Liu; Xiaoyu Song Distributed Deep Learning Optimization of Heat Equation Inverse Problem Solvers. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2023.

  2. Xu Guo, Xiaoyu Song, Jiantao Zhou, Feiyu Wang, Kecheng Tang. An effective approach to high strength covering array generation in combinatorial testing. IEEE Transactions on Software Engineering, 2023.

  3. X. Zeng, H. Liang, J. Yuan, X. Song, et al. Generalized affine equivalence checking of Boolean functions via reachability analysis. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2023.

  4. Z. Liu, X. Song, et al. Constructing high radix quotient digit selection tables for SRT division and square root. IEEE Transactions on Computers, 2023.

  5. Z. Wang, X. Song, et al. Warp-aware adaptive energy efficiency calibration for multi-GPU systems IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2022.

  6. Z. Wang, J. Zhou, X. Song. A utility game driven QoS optimization for cloud services. IEEE Transactions on Service Computing, 2022.

  7. 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.

  8. 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.

  9. X. Cheng, M. Zhou, X. Song, et al. Automatic integer error repair by proper-type inference. IEEE Transactions on Dependable and Secure Computing, 2021.

  10. Z. Li, H. Wan, X. Song, et al. A Flattened Priority Framework for Mixed-Criticality Systems. IEEE Transactions on Industrial Electronics, 2020.

  11. Z. Li, H. Wan, X. 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.

  12. 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.

  13. Z. Wang, L. Cheng, H. Wang, W. Zhao, X. Song. Energy optimization by software prefetching for task granularity in GPU-based embedded systems. IEEE Transactions on Industrial Electronics, 67(6), 5120-5131, 2020.

  14. Z. Li, H. Wan, Y. Deng, X. Zhao, Y. Gao, X. Song, et al. Time-triggered switch-memory-switch architecture for time-sensitive networking switches. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2020.

  15. J. Zhang, G. Yang, W. Hung, T. Liu, X. Song, M. Perkowski. A group algebraic approach to NPN classification of Boolean functions. Theory of Computing Systems, Springer, 2019.

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

  17. R. Wang, Y. Guan, H. Song, X. Li, X. Li, Z. Shi, X. Song. A formal model-based design method for robotic systems. IEEE Systems Journal, 13(1), 1096-1107, 2019.

  18. N. Wang, Q. Yu, H. Wan, X. Song, et al. Adaptive scheduling for multi-cluster time-triggered train communication networks. IEEE Transactions on Industrial Informatics, 15(2), 1120-1130, 2019.

  19. X. Cheng, M. Zhou, X. Song, et al. Tolerating C integer error via precision elevation. IEEE Transactions on Computers, 68(2), 270-286, 2019.

  20. L. Su, H. Wan, Y. Qin, X. Zhao, Y. Gao, X. Song, et al. Synthesizing fault-tolerant schedule for time-triggered network without hot-backup. IEEE Transactions on Industrial Electronics, 66(2), 1345-1355, 2019.

  21. 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.

  22. 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.

  23. M. Zhou, W. Hung, X. Song, et al. Temporal coverage analysis for dynamic verification. IEEE Transactions on Circuits and Systems II, 2017.

  24. X. Wang, M. Zhou, X. Song, et al. Constructing cost-aware functional test-suites using nested differential evolution algorithm IEEE Transactions on Evolutionary Computation, 2017

  25. J. W. Park, A. Torres, X. Song. Litho-aware machine learning for hotspot detection IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2017.

  26. J. Liu, M. Zhou, X. Song, et al. Formal modeling and verification of a rate-monotonic scheduling implementation with real-time Maude. IEEE Transactions on Industrial Electronics, 2017.

  27. 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.

  28. 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.

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

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

  31. 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.

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

  33. 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.

  34. 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.

  35. 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.

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

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

  38. 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.

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

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

  41. 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.

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

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

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

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

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

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

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

  49. 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.

  50. 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.

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

  52. 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.

  53. G. Yang, X. Song, et al. Realizing ternary quantum switching networks without ancilla bits. Journal of Physics A Mathematical and General, The Institute of Physics, 38, 2005.

  54. W. Hung, X. Song, et al. Optimal synthesis of multi-output Boolean functions using a set of quantum gates by symbolic reachability analysis. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 2005.

  55. W. Hung, X. Song, et al. Routability checking for three-dimensional architectures. IEEE Transactions on Very Large Scale Integration Systems, 2004.

  56. G. Yang, W. Hung, X. Song, et al. Majority-based reversible logic gates. Theoretical Computer Science C, 2004.

  57. L. Cheng, W. Hung, G. Yang, X. Song. Congestion estimation for 3D circuit architectures. IEEE Transactions on Circuits and Systems II, 2004. .

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

  59. X. Song, et al. Multiterminal net assignment via satisfiability. IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 2002.

  60. Y. Wang, C. Pai, X. Song. The design of hybrid carry-lookahead/carry-select adders. IEEE Transactions on Circuits and Systems, 2002.

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

  62. W. Hung, X. Song. BDD Minimization by scatter search. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2001.

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

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

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

  66. 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 of Integrated Circuits and Systems, vol. 18(7), 956-972, July 1999.

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

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

  69. 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.

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

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

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

  73. X. Song. An algorithm for L-shaped channel routing in a diagonal model. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 11, 267-270, 1992.

    74. Selected Conference Publications

  74. Y. Wang, M. Zhou, Y. Jiang, X. Song, et al. A static analysis tool with optimization for reachability determination. ACM/IEEE 32nd International Conference on Automated Software Engineering (ASE), USA, 2017.

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

  76. 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.

  77. 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

  78. 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.

  79. 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

  80. 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.

  81. 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 .

  82. W. Hung, X. Song, et al. Quantum logic synthesis by symbolic reachability Analysis. ACM/IEEE Design Automation Conference (DAC), 2004.

  83. 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.

  84. K.D. Anon, N. Boulerice, E. Cerny, F. Corella, M. Langevin, X. Song, et al. 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.

  85. Z. Zhou, X. Song, S. Tahar, E. Cerny, F. Corella and M. Langevin. Formal verification of the island 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.

    86.