| 2025 | COLING | Scene Graph and Dependency Grammar Enhanced Remote Sensing Change Caption Network (SGD-RSCCN). | Qiaoli Sun, Yan Wang, Xiaoyu Song |
| 2024 | ICECCS | An Efficient Distributed Dispatching Vehicles Protocol for Intersection Traffic Control. | Fang Qi, Rui Wang, Yong Guan, Xiaoyu Song |
| 2023 | SC | Toward Exascale Computation for Turbomachinery Flows. | Yuhang Fu, Weiqi Shen, Jiahuan Cui, Yao Zheng, Guangwen Yang, Zhao Liu, Jifa Zhang, Tingwei Ji, Fangfang Xie, Xiaojing Lv, Hanyue Liu, Xu Liu, Xiyang Liu, Xiaoyu Song, Guocheng Tao, Yan Yan, Paul Tucker, Steven A. E. Miller, Shirui Luo, Seid Koric, Weimin Zheng |
| 2022 | GLOBECOM | AI-Enabled Health 4.0: An IoT-Based COVID-19 Diagnosis Use-Case. | Xiaoyu Song, Wei Pan, Ismaeel Al Ridhawi, Ali Abbas, Safa Otoum |
| 2019 | CSCWD | Comparative Analysis of Evolutionary Algorithms Based on Swarm Intelligence for QoS Optimization of Cloud Services. | Yan Wang, Jian-Tao Zhou, Yan Jiao, Xiaoyu Song |
| 2019 | IGARSS | Monitoring Spatial Variance of Winter Wheat Growth Via Chris Image. | Xiaohe Gu, Meiyan Shu, Guijun Yang, Xiaoyu Song, Xingang Xu |
| 2019 | IGARSS | Monitoring Maize Lodging Disaster Via Multi-Temporal Remote Sensing Images. | Xiaohe Gu, Qian Sun, Guijun Yang, Xiaoyu Song, Xingang Xu |
| 2018 | APSEC | Scalable and Extensible Static Memory Safety Analysis with Summary over Access Path. | Guang Chen, Min Zhou, Jiaguang Sun, Xiaoyu Song |
| 2018 | COMPSAC | Effective Discrete Memetic Algorithms for Covering Array Generation. | Xu Guo, Xiaoyu Song, Jiantao Zhou |
| 2018 | COMPSAC | A Software Popularity Recommendation Method Based on Evaluation Model. | Yan Wang, Pei-Xiang Bai, De-Yu Yang, Jiantao Zhou, Xiaoyu Song |
| 2018 | COMPSAC | SMT-Based Timing Analysis and Verification of Real-Time Task. | Hai-Feng Xing, Jiantao Zhou, Xiaoyu Song, Rui-dong Qi |
| 2018 | ICSE | Weak-assert: a weakness-oriented assertion recommendation toolkit for program analysis. | Cong Wang, Yu Jiang, Xibin Zhao, Xiaoyu Song, Ming Gu, Jiaguang Sun |
| 2018 | ISPA | An Effective Clustering Method for Finding Density Peaks. | Rui-dong Qi, Jian-Tao Zhou, Xiaoyu Song |
| 2018 | UIC | A Synergistic Cloud Service Approach for Cold Start Problems. | Rui-dong Qi, Jiantao Zhou, Xiaoyu Song |
| 2018 | UIC | A Dynamic Multi-Objective Evolutionary Algorithm for Nontrivial Upper Bounds of Real-Time Tasks in Embedded System Design. | Hai-Feng Xing, Jiantao Zhou, Xiaoyu Song, Rui-dong Qi |
| 2018 | UIC | A Cloud Workflow Model Based on Resources Selection. | Jiantao Zhou, Xianyang Li, Yan Wang, Xiaoyu Song |
| 2017 | ACSSC | How to think about self-timed systems. | Marly Roncken, Ivan E. Sutherland, Chris Chen, Yong Hei, Warren A. Hunt Jr., Cuong K. Chau, Swetha Mettala Gilla, Hoon Park, Xiaoyu Song, Anping He, Hong Chen |
| 2017 | COMPSAC | A Constraint-Pattern Based Method for Reachability Determination. | Yuexing Wang, Zuxing Gu, Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun |
| 2017 | COMPSAC | Assertion Recommendation for Formal Program Verification. | Cong Wang, Fei He, Xiaoyu Song, Yu Jiang, Ming Gu, Jiaguang Sun |
| 2017 | CSCWD | Keyword generation by native speaker is quick and useful in conversation between native and non-native speaker. | Hiromi Hanawa, Xiaoyu Song, Tomoo Inoue |
| 2017 | ICECCS | Formal Modeling and Automatic Code Synthesis for Robot System. | Xinxin Li, Rui Wang, Yu Jiang, Yong Guan, Xiaojuan Li, Xiaoyu Song |
| 2017 | IROS | Formalization and analysis of jacobian matrix in screw theory and its application in kinematic singularity. | Aixuan Wu, Zhiping Shi, Xiumei Yang, Yong Guan, Yongdong Li, Xiaoyu Song |
| 2017 | ICWS | Grouping Users Using a Combination-Based Clustering Algorithm in the Service Environment. | Yan Wang, Jiantao Zhou, Xinyuan Li, Xiaoyu Song |
| 2016 | COMPSAC | Automatic Fix for C Integer Errors by Precision Improvement. | Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun |
| 2016 | COMPSAC | Improving Failure Detection by Automatically Generating Test Cases Near the Boundaries. | Min Zhou, Xi Cheng, Xinrui Guo, Ming Gu, Hongyu Zhang, Xiaoyu Song |
| 2016 | SMC | Universities-industry collaboration (UIC) partner selection based on Grey Fuzzy Evaluation. | Xiaoyu Song, Yuming Zhu, Fen Lv |
| 2014 | IGARSS | Evaluation of arable land yield potential through remote sensing monitoring. | Xiaoyu Song, Xiaohe Gu, Jihua Wang, Hong Chang |
| 2014 | ICRA | Motion planning with Satisfiability Modulo Theories. | William N. N. Hung, Xiaoyu Song, Jindong Tan, Xiaojuan Li, Jie Zhang, Rui Wang, Peng Gao |
| 2014 | ICRA | Timed automata based motion planning for a self-assembly robot system. | Rui Wang, Ping Luo, Yong Guan, Hongxing Wei, Xiaojuan Li, Jie Zhang, Xiaoyu Song |
| 2014 | IGARSS | Spatial variability of winter wheat growth based on the individual index and the population index. | Bei Cui, Xiaoyu Song, Wude Yang, Meichen Feng, Jihua Wang |
| 2014 | TASE | Application-Specific Architecture Selection for Embedded Systems via Schedulability Analysis. | Han Liu, Hehua Zhang, Yu Jiang, Xiaoyu Song, Ming Gu, Jiaguang Sun |
| 2014 | TASE | iDola: Bridge Modeling to Verification and Implementation of Interrupt-Driven Systems. | Han Liu, Hehua Zhang, Yu Jiang, Xiaoyu Song, Ming Gu, Jia-Guang Sun |
| 2013 | ASPDAC | Sequential dependency and reliability analysis of embedded systems. | Hehua Zhang, Yu Jiang, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun |
| 2013 | CAV | Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems. | Hui Kong, Fei He, Xiaoyu Song, William N. N. Hung, Ming Gu |
| 2013 | COMPSAC | Verification and Implementation of the Protocol Standard in Train Control System. | Yu Jiang, Hehua Zhang, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun |
| 2013 | COMPSAC | Formal Modelling of PLC Systems by BIP Components. | Rui Wang, Yong Guan, Liming Luo, Xiaoyu Song, Jie Zhang |
| 2013 | IGARSS | Inversion of paddy leaf area index using Beer-Lambert law and HJ-1/2 CCD image. | Xiaohe Gu, Jingcheng Zhang, Guijun Yang, Xiaoyu Song, Jinling Zhao, Bei Cui |
| 2012 | PDCAT | On the Formal Modeling of Inductive Verification for Cryptographical Protocols. | Yongjian Li, Xiaoyu Song, Xiaojuan Li |
| 2011 | AAIM | An Iterative Method for Generating Loop Invariants. | Shikun Chen, Zhoujun Li, Xiaoyu Song, Mengjun Li |
| 2011 | ICCD | Enhanced symbolic simulation of a round-robin arbiter. | Yongjian Li, Naiju Zeng, William N. N. Hung, Xiaoyu Song |
| 2011 | ICFEM | Domain-Driven Probabilistic Analysis of Programmable Logic Controllers. | Hehua Zhang, Yu Jiang, William N. N. Hung, Xiaoyu Song, Ming Gu |
| 2011 | TASE | Proving Computational Geometry Algorithms in TLA+2. | Hui Kong, Hehua Zhang, Xiaoyu Song, Ming Gu, Jiaguang Sun |
| 2010 | CEC | Synthesizing hybrid quantum circuits without ancilla qudits. | Guowu Yang, William N. N. Hung, Xiaoyu Song, Marek A. Perkowski |
| 2010 | COMPSAC | Specifying Time-Sensitive Systems with TLA+. | Hehua Zhang, Ming Gu, Xiaoyu Song |
| 2010 | DSD | A Memetic Approach for Nanoscale Hybrid Circuit Cell Mapping. | Zhufei Chu, Yinshui Xia, William N. N. Hung, Lun-Yao Wang, Xiaoyu Song |
| 2010 | ICA3PP | Formal Proof for a General Architecture of Hybrid Prefix/Carry-Select Adders. | Feng Liu, QingPing Tan, Xiaoyu Song, Gang Chen |
| 2010 | ICNC | Study on the convergence of converse ant colony algorithm for Job Shop Scheduling Problem. | Xiaoyu Song, Lihua Sun, Yang Cao |
| 2010 | TASE | Compositional Abstraction Refinement for Timed Systems. | Fei He, He Zhu, William N. N. Hung, Xiaoyu Song, Ming Gu |
| 2010 | TASE | Parameterized Specification and Verification of PLC Systems in Coq. | Hai Wan, Xiaoyu Song, Ming Gu |
| 2009 | COMPSAC | Formalization and Verification of PLC Timers in Coq. | Hai Wan, Gang Chen, Xiaoyu Song, Ming Gu |
| 2009 | COMPSAC | Translation-Based Model Checking for PLC Programs. | Min Zhou, Fei He, Ming Gu, Xiaoyu Song |
| 2009 | DSD | A Comparative Study of Parallel Prefix Adders in FPGA Implementation of EAC. | Feng Liu, Fariborz Fereydouni-Forouzandeh, Otmane At Mohamed, Gang Chen, Xiaoyu Song, QingPing Tan |
| 2009 | FMCAD | Data mining based decomposition for assume-guarantee reasoning. | He Zhu, Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu |
| 2009 | ICECCS | Formal Specification and Code Generation of Programable Logic Controllers. | Rui Wang, Ming Gu, Xiaoyu Song, Hai Wan |
| 2008 | CEC | Fast algorithm for 4-qubit reversible logic circuits synthesis. | Zhiqiang Li, Hanwu Chen, Baowen Xu, Wenjie Liu, Xiaoyu Song, Xilin Xue |
| 2008 | CEC | The probability logics for nanoscale inverterscascade. | Xiaojun Lu, Guowu Yang, Jianping Li, Xiaoyu Song, William N. N. Hung |
| 2008 | COMPSAC | A Maximum Weight Heuristic Method for Abstract State Computation. | Li Li, Xiaoyu Song, Ming Gu, Jianmin Wang |
| 2008 | ICCD | A simple latency tolerant processor. | Satyanarayana Nekkalapu, Haitham Akkary, Komal Jothi, Renjith Retnamma, Xiaoyu Song |
| 2008 | ICNC | Effective Hash-Based Algorithm for Reversible Logic Circuits Synthesis with Minimum Cost. | Zhiqiang Li, Hanwu Chen, Baowen Xu, Xiaoyu Song, Xiling Xue |
| 2008 | ICNC | A Novel Parallel Hybrid Algorithms for Job Shop Problem. | Xiaoyu Song, Chunguang Chang, Feng Zhang |
| 2008 | ICNC | Deadlocks Solving Strategies in Hybrid PSO Algorithm for JSSP. | Xiaoyu Song, Limei Sun, Qiuhong Meng |
| 2008 | ICSR | Component-Based Abstraction and Refinement. | Juncao Li, Xiuli Sun, Fei Xie, Xiaoyu Song |
| 2008 | ICTAC | A New Approach for the Construction of Multiway Decision Graphs. | Yassine Mokhtari, Sa'ed Abed, Otmane At Mohamed, Sofine Tahar, Xiaoyu Song |
| 2008 | TASE | Effective Predicate Abstraction for Program Verification. | Li Li, Ming Gu, Xiaoyu Song, Jianmin Wang |
| 2007 | APSEC | Non-Functional Requirements Elicitation and Incorporation into Functional Models. | Xiaoyu Song |
| 2006 | ATVA | A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement. | Fei He, Xiaoyu Song, Ming Gu, Jia-Guang Sun |
| 2006 | ATVA | Compositional Reasoning for Hardware/Software Co-verification. | Fei Xie, Guowu Yang, Xiaoyu Song |
| 2006 | CEC | A Constructive Algorithm for Reversible Logic Synthesis. | Guowu Yang, Fei Xie, Xiaoyu Song, William N. N. Hung, Marek A. Perkowski |
| 2006 | COMPSAC | Verifying Java Programs By Theorem Prover HOL. | Anduo Wang, Fei He, Ming Gu, Xiaoyu Song |
| 2006 | MEMOCODE | Component-based hardware/software co-verification. | Fei Xie, Guowu Yang, Xiaoyu Song |
| 2006 | TAMC | Group Theory Based Synthesis of Binary Reversible Circuits. | Guowu Yang, Xiaoyu Song, William N. N. Hung, Fei Xie, Marek A. Perkowski |
| 2006 | TAMC | Maximal Models of Assertion Graph in GSTE. | Guowu Yang, Jin Yang, Xiaoyu Song, Fei Xie |
| 2005 | ASPDAC | Fast synthesis of exact minimal reversible circuits using group theory. | Guowu Yang, Xiaoyu Song, William N. N. Hung, Marek A. Perkowski |
| 2005 | ASPDAC | Implication of assertion graphs in GSTE. | Guowu Yang, Jin Yang, William N. N. Hung, Xiaoyu Song |
| 2005 | COCOON | A Theoretical Upper Bound for IP-Based Floorplanning. | Guowu Yang, Xiaoyu Song, Hannah Honghua Yang, Fei Xie |
| 2005 | DATE | Improving the Process-Variation Tolerance of Digital Circuits Using Gate Sizing and Statistical Techniques. | Osama Neiroukh, Xiaoyu Song |
| 2005 | DATE | Exact Synthesis of 3-Qubit Quantum Circuits from Non-Binary Quantum Gates Using Multiple-Valued Logic and Group Theory. | Guowu Yang, William N. N. Hung, Xiaoyu Song, Marek A. Perkowski |
| 2005 | ISCAS | Segmented channel routing with pin rearrangements via satisfiability. | Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu, Jiaguang Sun |
| 2005 | MEMOCODE | Translation-based co-verification. | Fei Xie, Xiaoyu Song, Haera Chung, Ranajoy Nandi |
| 2004 | ASPDAC | A fast congestion estimator for routing with bounded detours. | Lerong Cheng, Xiaoyu Song, Guowu Yang, Zhiwei Tang |
| 2004 | DAC | Quantum logic synthesis by symbolic reachability analysis. | William N. N. Hung, Xiaoyu Song, Guowu Yang, Jin Yang, Marek A. Perkowski |
| 2004 | IGARSS | Use of airborne hyperspectral image data to assess winter wheat yield. | Xiaoyu Song, Jihua Wang, Liangyun Liu, Xuzhang Xue, Chunjiang Zhao |
| 2004 | IGARSS | Methods and application of remote sensing to forecast wheat grain quality. | Chunjiang Zhao, Liangyun Liu, Jihua Wang, Wenjiang Huang, Xiaoyu Song, Cunjun Li, Zhijie Wang |
| 2004 | IGARSS | Study on winter wheat yield estimation model based on NDVI and seedtime. | Liangyun Liu, Jihua Wang, Xiaoyu Song, Cunjun Li, Wenjiang Huang, Chunjiang Zhao |
| 2002 | ISCAS | On data address computation for embedded DSP systems. | William N. N. Hung, Xiaoyu Song |
| 2002 | ISCAS | On segmented channel routability. | William N. N. Hung, Xiaoyu Song, Alan J. Coppola, Andrew A. Kennings |
| 2001 | DSD | Regular Realization of Symmetric Functions Using Reversible Logic. | Marek A. Perkowski, Malgorzata Chrzanowska-Jeske, Alan Mishchenko, Xiaoyu Song, Anas Al-Rabadi, Bart Massey, Pawel Kerntopf, Andrzej Buller, Lech Jzwiak, Alan J. Coppola |
| 2001 | ICCD | BDD Variable Ordering by Scatter Search. | William N. N. Hung, Xiaoyu Song |
| 1998 | CAV | Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs. | Ying Xu, Eduard Cerny, Xiaoyu Song, Francisco Corella, Otmane At Mohamed |
| 1998 | ICCD | Model checking of a real ATM switch. | Jianping Lu, Sofine Tahar, Dan Voicu, Xiaoyu Song |
| 1997 | COCOON | Hexagonal Routings of Multiterminal Nets. | Xuehou Tan, Xiaoyu Song |
| 1996 | CAV | MDG Tools for the Verification of RTL Designs. | K. D. Anon, N. Boulerice, Eduard Cerny, Francisco Corella, Michel Langevin, Xiaoyu Song, Sofine Tahar, Ying Xu, Zijian Zhou |
| 1996 | FMCAD | Formal Verification of the Island Tunnel Controller Using Multiway Decision Graphs. | Zijian Zhou, Xiaoyu Song, Sofine Tahar, Eduard Cerny, Francisco Corella, Michel Langevin |
| 1996 | ICCD | Behavioral Verification of an ATM Switch Fabric using Implicit Abstract State Enumeration. | Michel Langevin, Sofine Tahar, Zijian Zhou, Xiaoyu Song, Eduard Cerny |