| 2026 | AAAI | STEAMROLLER: A Multi-Agent System for Inclusive Automatic Speech Recognition for People Who Stutter. | Ziqi Xu, Yi Liu, Yuekang Li, Ling Shi, Kailong Wang, Yongxin Zhao |
| 2026 | ACL | R2IF: Aligning Reasoning with Decisions via Composite Rewards for Interpretable LLM Function Calling. | Aijia Cheng, Kailong Wang, Ling Shi, Yongxin Zhao |
| 2025 | ICA3PP | Formalizing Blockchain-Based Communication for Tactical Data Link. | Shangzhe Wu, Yongxin Zhao, Qiang Wang, Qiang Chen, Yongjian Li |
| 2025 | KDD | FlowXpert: Expertizing Troubleshooting Workflow Orchestration with Knowledge Base and Multi-Agent Coevolution. | Binpeng Shi, Yu Luo, Jingya Wang, Yongxin Zhao, Shenglin Zhang, Bowen Hao, Chenyu Zhao, Yongqian Sun, Zhi Zhang, Ronghua Sun, Haihua Li, Wei Song, Xiaolong Chen, Jingbo Miao, Dan Pei |
| 2025 | SEKE | Learning Behavior Trees for Automated Guided Vehicles via Genetic and Reinforcement Methods. | Wenzheng Yang, Yongxin Zhao, Qiang Wang, Yongjian Li, Yudan Tian |
| 2024 | ISPA | PSR-Tree: A Novel Method for Personalized Trajectory Data Protection. | Chundong Wang, Yixuan Song, Yongxin Zhao, Yuhan Tian, Shunyao Fang |
| 2024 | ISSRE | Auto-PIP: Real-time Identification of Critical Performance Inflection Points in Software Stress Testing. | Shenglin Zhang, Xiao Xiong, Mengyao Li, Yongqian Sun, Yongxin Zhao, Xia Chen, Bowen Deng, Dan Pei |
| 2024 | SEKE | Detecting Semantic-level Polysemy Ambiguity by Fusing External Semantic Knowledge (S). | Huishan Yang, Xi Wu, Fengyong Peng, Yongxin Zhao, Yongjian Li |
| 2024 | TASE | A Formally Verified Scheme for Security Protocols with the Operational Semantics of Strand Space. | Yongjian Li, Hongjian Jiang, Yongxin Zhao |
| 2023 | CaiSE | Perceptual Risk-Aware Adaptive Responsibility Sensitive Safety for Autonomous Driving. | Xiwei Li, Xi Wu, Yongxin Zhao, Yongjian Li |
| 2023 | DATE | ChiselFV: A Formal Verification Framework for Chisel. | Mufan Xiang, Yongjian Li, Yongxin Zhao |
| 2023 | TrustCom | A Novel Approach for Trajectory Partition Privacy in Location-Based Services. | Chundong Wang, Yongxin Zhao |
| 2023 | SEKE | Dispatching and Scheduling Dependent Tasks Based on Multi-agent Deep Reinforcement Learning. | Shuaishuai Feng, Xi Wu, Yongxin Zhao, Yongjian Li |
| 2023 | SEKE | Anaphora Ambiguity Detection Method Based on Cross-domain Pronoun Substitution (S). | Fengyong Peng, Xi Wu, Yongxin Zhao, Yongjian Li |
| 2022 | HPCC | Generating Natural Language Adversarial Examples Based on the Approximating Top-K Combination Token Substitution. | Panfeng Qiu, Xi Wu, Yongxin Zhao |
| 2022 | ICECCS | Parameterized Design and Formal Verification of Multi-ported Memory. | Mufan Xiang, Yongjian Li, Sijun Tan, Yongxin Zhao, Yiwei Chi |
| 2022 | SEKE | An Information Flow Security Logic for Permission-Based Declassification Strategy. | Zhenheng Dong, Yongxin Zhao, Qiang Wang |
| 2022 | SEKE | Formal Verification and Analysis of Time-Sensitive Software-Defined Network Architecture. | Weiyu Xu, Xi Wu, Yongxin Zhao, Yongjian Li |
| 2021 | ISPA | CMSS: Collaborative Modeling of Safety and Security Requirements for Network Protocols. | Zhihao Liu, Qiang Wang, Yongjian Li, Yongxin Zhao |
| 2021 | KSEM | Analyzing and Recommending Development Order Based on Design Class Diagram. | Wenhan Wu, Yongxin Zhao, Chao Peng, Yongjian Li, Qin Li |
| 2021 | TrustCom | Release of Trajectory Data based on Space Segmentation using Differential Privacy. | Yongxin Zhao, Wanqing Wu, Chaofan Di |
| 2021 | SEKE | HHML: A Hierarchical Hybrid Modeling Language for Mode-based Periodic Controllers. | Zhiming Hu, Zheng Wang, Hongjian Jiang, Yuyuan Zhang, Yongxin Zhao |
| 2021 | SEKE | AnB2Murphi: A Translator for Converting AliceBob Specifications to Murphi. | Yongxin Zhao, Hongjian Jiang, Jin Lv, Sijun Tan, Yongjian Li |
| 2021 | TASE | RE2B: Enhancing Correctness of Both Requirements and Design Models. | Shiling Feng, Xiaohong Chen, Qin Li, Yongxin Zhao |
| 2021 | TASE | Encoding Induction Proof in Dafny. | Hongjian Jiang, Yongjian Li, Sijun Tan, Yongxin Zhao |
| 2020 | SEKE | The Prediction of Delay Time and Route Planning for Autonomous Vehicles. | Genwang Gou, Yongxin Zhao, Jiawei Jiang, Ling Shi |
| 2020 | SEKE | A Detect-and-Modify Region-based Classifier to Defend Evasion Attacks. | Jiawei Jiang, Yongxin Zhao, Xi Wu, Genwang Gou |
| 2019 | APSEC | Towards a Formal Approach to Defining and Computing the Complexity of Component Based Software. | Yongxin Zhao, Xiujuan Zhang, Ling Shi, Gan Zeng, Feng Sheng, Shuang Liu |
| 2019 | ICWS | Deep Learning for Web Services Classification. | Yilong Yang, Wei Ke, Weiru Wang, Yongxin Zhao |
| 2019 | TASE | Software Complexity Reduction by Automated Refactoring Schema. | Siteng Cao, Yongxin Zhao, Ling Shi |
| 2018 | ICECCS | Formal Modeling and Security Analysis for OpenFlow-Based Networks. | Yongxin Zhao, Xi Wu, Jing Liu, Yilong Yang |
| 2015 | ICECCS | Probabilistic Denotational Semantics for an Interrupt Modelling Language. | Yanhong Huang, Yongxin Zhao, Shengchao Qin, Jifeng He |
| 2014 | PRDC | Formalizing Google File System. | Mengdi Wang, Bo Li, Yongxin Zhao, Geguang Pu |
| 2014 | PRDC | Reasoning about Group-Based Mobility in MANETs. | Xi Wu, Si Liu, Huibiao Zhu, Yongxin Zhao |
| 2013 | ICFEM | A UTP Semantics for Communicating Processes with Shared Variables. | Ling Shi, Yongxin Zhao, Yang Liu, Jun Sun, Jin Song Dong, Shengchao Qin |
| 2013 | ICST | A Denotational Model for Interrupt-Driven Programs. | Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu |
| 2012 | SEFM | A Denotational Model for Instantaneous Signal Calculus. | Yongxin Zhao, Longfei Zhu, Huibiao Zhu, Jifeng He |
| 2012 | SEW | A Timed CSP Model for the Time-Triggered Language Giotto. | Yanhong Huang, Yongxin Zhao, Shengchao Qin, Guanhua He, Joo F. Ferreira |
| 2011 | ICECCS | Formal Model of Interrupt Program from a Probabilistic Perspective. | Yongxin Zhao, Yanhong Huang, Jifeng He, Si Liu |
| 2011 | ICFEM | Towards a Signal Calculus for Event-Based Synchronous Languages. | Yongxin Zhao, Jifeng He |
| 2011 | TASE | Modeling and Verifying the Code-Level OSEK/VDX Operating System with CSP. | Yanhong Huang, Yongxin Zhao, Longfei Zhu, Qin Li, Huibiao Zhu, Jianqi Shi |
| 2011 | TASE | Towards a Probabilistic Calculus for Mobile Ad Hoc Networks. | Si Liu, Yongxin Zhao, Huibiao Zhu, Qin Li |
| 2011 | TASE | Modeling and Analyzing the (mu)TESLA Protocol Using CSP. | Mengying Wang, Huibiao Zhu, Yongxin Zhao, Si Liu |
| 2010 | ISoLA | SPARDL: A Requirement Modeling Language for Periodic Control System. | Zheng Wang, Jianwen Li, Yongxin Zhao, Yanxia Qi, Geguang Pu, Jifeng He, Bin Gu |
| 2010 | TASE | Probabilistic Model of System Survivability. | Yongxin Zhao, Yanhong Huang, Jianwen Li, Huibiao Zhu |
| 2010 | TASE | A Formal Model for Service Choreography with Exception Handling and Finalization. | Yongxin Zhao, Zheng Wang, Geguang Pu, Huibiao Zhu |
| 2008 | ICDCIT | A Denotational Model for Web Services Choreography. | Geguang Pu, Yongxin Zhao, Zheng Wang, Libo Feng, Huibiao Zhu, Jifeng He |