Yongxin Zhao

108 papers A* 1A 3B 7C 18Misc 10Journal 39Unranked 30
YearRankTypeTitle / Venue / Authors
2026 J jnl
AdaTraj-DP: An adaptive privacy framework for context-aware trajectory data publishing.
Comput. Stand. Interfaces
Yongxin Zhao, Chundong Wang, Hao Lin, Xumeng Wang, Yixuan Song, Qiuyu Du
2026 J jnl
CateSift: An interactive steering approach for classifying large scale text.
Vis. Informatics
Chundong Wang, Yuhan Tian, Xumeng Wang, Yixuan Song, Haotian Zhang, Yongxin Zhao
2026 J jnl
NL2ACSL : Interactively translating natural language to ANSI C specification language with large language models.
Knowl. Based Syst.
Wenxian Su, Xi Wu, Yongxin Zhao
2026 J jnl
PrivTrajBERT: A semantics-adaptive local differential privacy framework for robust trajectory representation learning.
Comput. Stand. Interfaces
Yongxin Zhao, Chundong Wang, Qingbo Hao, Hao Lin, Yixuan Song
2026 J jnl
SP-IFDA-Traj: Optimizing differentially private trajectory publishing for enhanced utility.
Future Gener. Comput. Syst.
Yongxin Zhao, Hao Lin, Xiangtian Zheng, Yixuan Song, Jinze Du
2026 A* conf
STEAMROLLER: A Multi-Agent System for Inclusive Automatic Speech Recognition for People Who Stutter.
AAAI
Ziqi Xu, Yi Liu, Yuekang Li, Ling Shi, Kailong Wang, Yongxin Zhao
2026 J jnl
STEAMROLLER: A Multi-Agent System for Inclusive Automatic Speech Recognition for People who Stutter.
CoRR
Ziqi Xu, Yi Liu, Yuekang Li, Ling Shi, Kailong Wang, Yongxin Zhao
2025 J jnl
Accurate and Interpretable Log-Based Fault Diagnosis Using Large Language Models.
IEEE Trans. Serv. Comput.
Yongqian Sun, Shiyu Ma, Tong Xiao, Yongxin Zhao, Xuhui Cai, Wei Dong, Yue Shen, Yao Zhao, Shenglin Zhang, Jing Han, Dan Pei
2025 — conf
FlowXpert: Expertizing Troubleshooting Workflow Orchestration with Knowledge Base and Multi-Agent Coevolution.
KDD (2)
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 — conf
Formalizing Blockchain-Based Communication for Tactical Data Link.
ICA3PP (7)
Shangzhe Wu, Yongxin Zhao, Qiang Wang, Qiang Chen, Yongjian Li
2025 — conf
LLM-Augmented Ticket Aggregation for Low-cost Mobile OS Defect Resolution.
SIGSOFT FSE Companion
Yongqian Sun, Bowen Hao, Xiaotian Wang, Chenyu Zhao, Yongxin Zhao, Binpeng Shi, Shenglin Zhang, Qiao Ge, Wenhu Li, Hua Wei, Dan Pei
2025 C conf
Learning Behavior Trees for Automated Guided Vehicles via Genetic and Reinforcement Methods.
SEKE
Wenzheng Yang, Yongxin Zhao, Qiang Wang, Yongjian Li, Yudan Tian
2025 J jnl
Parameterized Hardware Verification Through A Term-level Generalized Symbolic Trajectory Evaluation And Its Linkage With Concrete Hardware Verification At Netlist Level.
Formal Aspects Comput.
Yongjian Li, Zhenghai Cai, Bow-Yaw Wang, Yongxin Zhao
2025 — conf
PerTrajTree-DP: A Personalized Privacy-Preserving Trajectory Publishing Framework for Trustworthy AI Systems.
DSPP (1)
Yongxin Zhao, Chundong Wang, Erkang Zhao, Xiangtian Zheng, Hao Lin
2025 J jnl
Revealing the City Influence and Its Pattern Using Web Search Data: A New Perspective Through Attention Flow.
ISPRS Int. J. Geo Inf.
Xiaoxiao Wang, Haiping Zhang, Zitong Li, Xin Yang, Ziyi Qian, Duo Bian, Yongxin Zhao
2025 J jnl
Triage in Software Engineering: A Systematic Review of Research and Practice.
CoRR
Yongxin Zhao, Shenglin Zhang, Yujia Wu, Yuxin Sun, Yongqian Sun, Dan Pei, Chetan Bansal, Minghua Ma
2024 Misc conf
A Formally Verified Scheme for Security Protocols with the Operational Semantics of Strand Space.
TASE
Yongjian Li, Hongjian Jiang, Yongxin Zhao
2024 J jnl
A local search approach to protocol verification.
Theor. Comput. Sci.
Kun Ma, Yongjian Li, Shaowei Cai, Yongxin Zhao
2024 J jnl
An Improvement Method for Improving the Surface Defect Detection of Industrial Products Based on Contour Matching Algorithms.
Sensors
Haorong Wu, Ziqi Luo, Fuchun Sun, Xiaoxiao Li, Yongxin Zhao
2024 J jnl
An architecture refactoring approach to reducing software hierarchy complexity.
J. Softw. Evol. Process.
Yongxin Zhao, Wenhan Wu, Yuan Fei, Zhihao Liu, Yang Li, Yilong Yang, Ling Shi, Bo Zhang
2024 — conf
Auto-PIP: Real-time Identification of Critical Performance Inflection Points in Software Stress Testing.
ISSRE (Workshops)
Shenglin Zhang, Xiao Xiong, Mengyao Li, Yongqian Sun, Yongxin Zhao, Xia Chen, Bowen Deng, Dan Pei
2024 J jnl
Conformance Testing of Relational DBMS Against SQL Specifications.
CoRR
Shuang Liu, Chenglin Tian, Jun Sun, Ruifeng Wang, Wei Lu, Yongxin Zhao, Yinxing Xue, Junjie Wang, Xiaoyong Du
2024 C conf
Detecting Semantic-level Polysemy Ambiguity by Fusing External Semantic Knowledge (S).
SEKE
Huishan Yang, Xi Wu, Fengyong Peng, Yongxin Zhao, Yongjian Li
2024 — conf
Enabling Behaviour Tree Verification via a Translation to BIP.
FACS
Qiang Wang, Huadong Dai, Yongxin Zhao, Min Zhang, Simon Bliudze
2024 — conf
Illuminating the Gray Zone: Non-intrusive Gray Failure Localization in Server Operating Systems.
SIGSOFT FSE Companion
Shenglin Zhang, Yongxin Zhao, Xiao Xiong, Yongqian Sun, Xiaohui Nie, Jiacheng Zhang, Fenglai Wang, Xian Zheng, Yuzhi Zhang, Dan Pei
2024 — conf
Modeling and Verification of Identity Authentication Protocols in Cloud-Edge-End Power System.
ICSRS
Zhengkai Zhang, Wei Liu, Xiangjun Duan, Cheng Zhao, Yongxin Zhao
2024 — conf
Murphi2Chisel: A Protocol Compiler from Murphi to Chisel.
Internetware
Zhenghai Cai, Yongjian Li, Yongxin Zhao
2024 J jnl
No More Data Silos: Unified Microservice Failure Diagnosis With Temporal Knowledge Graph.
IEEE Trans. Serv. Comput.
Shenglin Zhang, Yongxin Zhao, Sibo Xia, Shirui Wei, Yongqian Sun, Chenyu Zhao, Shiyu Ma, Junhua Kuang, Bolin Zhu, Lemeng Pan, Yicheng Guo, Dan Pei
2024 C conf
PSR-Tree: A Novel Method for Personalized Trajectory Data Protection.
ISPA
Chundong Wang, Yixuan Song, Yongxin Zhao, Yuhan Tian, Shunyao Fang
2024 J jnl
Protecting privacy and enhancing utility: A novel approach for personalized trajectory data publishing using noisy prefix tree.
Comput. Secur.
Yongxin Zhao, Chundong Wang
2024 J jnl
Semantic Conformance Testing of Relational DBMS.
Proc. VLDB Endow.
Shuang Liu, Chenglin Tian, Jun Sun, Ruifeng Wang, Wei Lu, Yongxin Zhao, Yinxing Xue, Junjie Wang, Xiaoyong Du
2023 J jnl
A Method of Inertial Regularized ADMM for Separable Nonconvex Optimization Problems.
Soft Comput.
Miantao Chao, Yueqi Geng, Yongxin Zhao
2023 B conf
A Novel Approach for Trajectory Partition Privacy in Location-Based Services.
TrustCom
Chundong Wang, Yongxin Zhao
2023 C conf
Anaphora Ambiguity Detection Method Based on Cross-domain Pronoun Substitution (S).
SEKE
Fengyong Peng, Xi Wu, Yongxin Zhao, Yongjian Li
2023 A conf
ChiselFV: A Formal Verification Framework for Chisel.
DATE
Mufan Xiang, Yongjian Li, Yongxin Zhao
2023 C conf
Dispatching and Scheduling Dependent Tasks Based on Multi-agent Deep Reinforcement Learning.
SEKE
Shuaishuai Feng, Xi Wu, Yongxin Zhao, Yongjian Li
2023 J jnl
Integration of online deep reinforcement learning and federated learning: A dynamic energy management strategy for industrial applications.
IET Commun.
Yunzhou Tang, GuoXu Du, Jinzhong Long, Yongxin Zhao
2023 A conf
Perceptual Risk-Aware Adaptive Responsibility Sensitive Safety for Autonomous Driving.
CAiSE
Xiwei Li, Xi Wu, Yongxin Zhao, Yongjian Li
2022 C conf
An Information Flow Security Logic for Permission-Based Declassification Strategy.
SEKE
Zhenheng Dong, Yongxin Zhao, Qiang Wang
2022 C conf
Formal Verification and Analysis of Time-Sensitive Software-Defined Network Architecture.
SEKE
Weiyu Xu, Xi Wu, Yongxin Zhao, Yongjian Li
2022 — conf
Generating Natural Language Adversarial Examples Based on the Approximating Top-K Combination Token Substitution.
HPCC/DSS/SmartCity/DependSys
Panfeng Qiu, Xi Wu, Yongxin Zhao
2022 B conf
Parameterized Design and Formal Verification of Multi-ported Memory.
ICECCS
Mufan Xiang, Yongjian Li, Sijun Tan, Yongxin Zhao, Yiwei Chi
2022 J jnl
PmiREN2.0: from data annotation to functional exploration of plant microRNAs.
Nucleic Acids Res.
Zhonglong Guo, Zheng Kuang, Yongxin Zhao, Yang Deng, Hao He, Miaomiao Wan, Yihan Tao, Dong Wang, Jianhua Wei, Lei Li, Xiaozeng Yang
2021 — conf
Algorithm selection for software verification based on adversarial LSTM.
BigDataSecurity
Qiang Wang, Jiawei Jiang, Yongxin Zhao, Weipeng Cao, Chunjiang Wang, Shengdong Li
2021 C conf
AnB2Murphi: A Translator for Converting AliceBob Specifications to Murphi.
SEKE
Yongxin Zhao, Hongjian Jiang, Jin Lv, Sijun Tan, Yongjian Li
2021 C conf
Analyzing and Recommending Development Order Based on Design Class Diagram.
KSEM
Wenhan Wu, Yongxin Zhao, Chao Peng, Yongjian Li, Qin Li
2021 — conf
CMSS: Collaborative Modeling of Safety and Security Requirements for Network Protocols.
ISPA/BDCloud/SocialCom/SustainCom
Zhihao Liu, Qiang Wang, Yongjian Li, Yongxin Zhao
2021 — conf
Development and Implementation of Pediatric Nursing-Clinical Decision Support System for Hyperthermia: A Pre- and Post-Test.
Nursing Informatics
Yongxin Zhao, Jing Hu, Ying Gu, Yanmin Wan, Fang Liu, Chengjie Ye, Xiaobo Zhang
2021 Misc conf
Encoding Induction Proof in Dafny.
TASE
Hongjian Jiang, Yongjian Li, Sijun Tan, Yongxin Zhao
2021 J jnl
Formal Analysis of TSN Scheduler for Real-Time Communications.
IEEE Trans. Reliab.
Jin Lv, Yongxin Zhao, Xi Wu, Yongjian Li, Qiang Wang
2021 C conf
HHML: A Hierarchical Hybrid Modeling Language for Mode-based Periodic Controllers.
SEKE
Zhiming Hu, Zheng Wang, Hongjian Jiang, Yuyuan Zhang, Yongxin Zhao
2021 J jnl
MicroRNA annotation in plants: current status and challenges.
Briefings Bioinform.
Yongxin Zhao, Zheng Kuang, Ying Wang, Lei Li, Xiaozeng Yang
2021 J jnl
Quantum private comparison of size using d-level Bell states with a semi-honest third party.
Quantum Inf. Process.
Wanqing Wu, Yongxin Zhao
2021 Misc conf
RE2B: Enhancing Correctness of Both Requirements and Design Models.
TASE
Shiling Feng, Xiaohong Chen, Qin Li, Yongxin Zhao
2021 B conf
Release of Trajectory Data based on Space Segmentation using Differential Privacy.
TrustCom
Yongxin Zhao, Wanqing Wu, Chaofan Di
2020 C conf
A Detect-and-Modify Region-based Classifier to Defend Evasion Attacks.
SEKE
Jiawei Jiang, Yongxin Zhao, Xi Wu, Genwang Gou
2020 J jnl
Event-based functional decomposition.
Inf. Comput.
Jianmin Jiang, Huibiao Zhu, Qin Li, Yongxin Zhao, Shi Zhang, Ping Gong, Zhong Hong
2020 J jnl
PmiREN: a comprehensive encyclopedia of plant miRNAs.
Nucleic Acids Res.
Zhonglong Guo, Zheng Kuang, Ying Wang, Yongxin Zhao, Yihan Tao, Chen Cheng, Jing Yang, Xiayang Lu, Chen Hao, Tianxin Wang, Xiaoyan Cao, Jianhua Wei, Lei Li, Xiaozeng Yang
2020 C conf
The Prediction of Delay Time and Route Planning for Autonomous Vehicles.
SEKE
Genwang Gou, Yongxin Zhao, Jiawei Jiang, Ling Shi
2020 — conf
What Makes Open Source Software Projects Impactful: A Data-Driven Approach.
Internetware
Huaiwei Yang, Shuang Liu, Lin Gui, Yongxin Zhao, Jun Sun, Junjie Chen
2019 J jnl
A Feasibility Analysis Framework of Time-Sensitive Networking Using Real-Time Calculus.
IEEE Access
Peng Zhang, Yu Liu, Jianqi Shi, Yanhong Huang, Yongxin Zhao
2019 J jnl
A mathematical analysis of improved EigenAnt algorithm.
J. Exp. Theor. Artif. Intell.
Genwang Gou, Yongxin Zhao, Qin Li, Qiwen Xu
2019 A conf
Deep Learning for Web Services Classification.
ICWS
Yilong Yang, Wei Ke, Weiru Wang, Yongxin Zhao
2019 J jnl
Formal Modeling and Verifying the TTCAN Protocol from a Probabilistic Perspective.
J. Circuits Syst. Comput.
Xin Li, Jian Guo, Yongxin Zhao, Xiaoran Zhu
2019 J jnl
Isolation Modeling and Analysis Based on Mobility.
ACM Trans. Softw. Eng. Methodol.
Jianmin Jiang, Huibiao Zhu, Qin Li, Yongxin Zhao, Zhong Hong, Shi Zhang, Ping Gong
2019 Misc conf
Software Complexity Reduction by Automated Refactoring Schema.
TASE
Siteng Cao, Yongxin Zhao, Ling Shi
2019 C conf
Towards a Formal Approach to Defining and Computing the Complexity of Component Based Software.
APSEC
Yongxin Zhao, Xiujuan Zhang, Ling Shi, Gan Zeng, Feng Sheng, Shuang Liu
2018 J jnl
A UTP semantics for communicating processes with shared variables and its formal encoding in PVS.
Formal Aspects Comput.
Ling Shi, Yongxin Zhao, Yang Liu, Jun Sun, Jin Song Dong, Shengchao Qin
2018 B conf
Formal Modeling and Security Analysis for OpenFlow-Based Networks.
ICECCS
Yongxin Zhao, Xi Wu, Jing Liu, Yilong Yang
2017 J jnl
Event-Based Mobility Modeling and Analysis.
ACM Trans. Cyber Phys. Syst.
Jianmin Jiang, Huibiao Zhu, Qin Li, Yongxin Zhao, Lin Zhao, Shi Zhang, Ping Gong, Zhong Hong, Donghuo Chen
2016 — conf
Integrating a Calculus with Mobility and Quality for Wireless Sensor Networks.
HASE
Xi Wu, Yongxin Zhao, Huibiao Zhu
2015 J jnl
Analyzing Event-Based Scheduling in Concurrent Reactive Systems.
ACM Trans. Embed. Comput. Syst.
Jianmin Jiang, Huibiao Zhu, Qin Li, Yongxin Zhao, Lin Zhao, Shi Zhang, Ping Gong, Zhong Hong
2015 — conf
Modeling and Verifying Google File System.
HASE
Bo Li, Mengdi Wang, Yongxin Zhao, Geguang Pu, Huibiao Zhu, Fu Song
2015 B conf
Probabilistic Denotational Semantics for an Interrupt Modelling Language.
ICECCS
Yanhong Huang, Yongxin Zhao, Shengchao Qin, Jifeng He
2015 J jnl
Semantic theories of programs with nested interrupts.
Frontiers Comput. Sci.
Yanhong Huang, Jifeng He, Huibiao Zhu, Yongxin Zhao, Jianqi Shi, Shengchao Qin
2014 J jnl
A UTP semantic model for Orc language with execution status and fault handling.
Frontiers Comput. Sci.
Qin Li, Yongxin Zhao, Huibiao Zhu, Jifeng He
2014 C conf
Formalizing Google File System.
PRDC
Mengdi Wang, Bo Li, Yongxin Zhao, Geguang Pu
2014 J jnl
Investigating System Survivability from a Probabilistic Perspective.
IEICE Trans. Inf. Syst.
Yongxin Zhao, Yanhong Huang, Qin Li, Huibiao Zhu, Jifeng He, Jianwen Li, Xi Wu
2014 C conf
Reasoning about Group-Based Mobility in MANETs.
PRDC
Xi Wu, Si Liu, Huibiao Zhu, Yongxin Zhao
2014 J jnl
The semantics and verification of timed service choreography.
Int. J. Comput. Math.
Yongxin Zhao, Hao Xiao, Zheng Wang, Geguang Pu, Ting Su
2014 — conf
Towards a Combination of CafeOBJ and PAT.
Specification, Algebra, and Software
Yongxin Zhao, Jin Song Dong, Yang Liu, Jun Sun
2013 — conf
A Denotational Model for Interrupt-Driven Programs.
ICST Workshops
Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu
2013 C conf
A UTP Semantics for Communicating Processes with Shared Variables.
ICFEM
Ling Shi, Yongxin Zhao, Yang Liu, Jun Sun, Jin Song Dong, Shengchao Qin
2013 J jnl
A novel requirement analysis approach for periodic control systems.
Frontiers Comput. Sci.
Zheng Wang, Geguang Pu, Jianwen Li, Yuxiang Chen, Yongxin Zhao, Mingsong Chen, Bin Gu, Mengfei Yang, Jifeng He
2013 J jnl
Modeling and verifying the Ariadne protocol using process algebra.
Comput. Sci. Inf. Syst.
Xi Wu, Huibiao Zhu, Yongxin Zhao, Zheng Wang, Si Liu
2013 — conf
Towards a Modeling Language for Cyber-Physical Systems.
Theories of Programming and Formal Methods
Longfei Zhu, Yongxin Zhao, Huibiao Zhu, Qiwen Xu
2012 B conf
A Denotational Model for Instantaneous Signal Calculus.
SEFM
Yongxin Zhao, Longfei Zhu, Huibiao Zhu, Jifeng He
2012 C conf
A Timed CSP Model for the Time-Triggered Language Giotto.
SEW
Yanhong Huang, Yongxin Zhao, Shengchao Qin, Guanhua He, João F. Ferreira
2012 — conf
Formal Modeling and Analysis of the REST Architecture Using CSP.
WS-FM
Xi Wu, Yue Zhang, Huibiao Zhu, Yongxin Zhao, Zailiang Sun, Peng Liu
2012 — conf
Investigating Time Properties of Interrupt-Driven Programs.
SBMF
Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu, Shengchao Qin
2012 — conf
Modeling and Verifying the Ariadne Protocol Using CSP.
ECBS
Xi Wu, Si Liu, Huibiao Zhu, Yongxin Zhao, Lei Chen
2012 — conf
Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions.
UTP
Chengcheng Wu, Yongxin Zhao, Huibiao Zhu
2011 — conf
A Calculus for Mobile Ad Hoc Networks from a Group Probabilistic Perspective.
HASE
Si Liu, Yongxin Zhao, Huibiao Zhu, Qin Li
2011 — conf
A Unifying Approach to Validating Specification-Oriented XML Constraints.
HASE
Yongxin Zhao, Zheng Wang, Hao Xiao, Jing Ping, Geguang Pu, Jifeng He, Huibiao Zhu
2011 — conf
An Event-B Interpretation for SPARDL Model.
HASE
Jianwen Li, Zheng Wang, Yongxin Zhao, Geguang Pu, Yanxia Qi, Bin Gu
2011 B conf
Formal Model of Interrupt Program from a Probabilistic Perspective.
ICECCS
Yongxin Zhao, Yanhong Huang, Jifeng He, Si Liu
2011 Misc conf
Modeling and Analyzing the (mu)TESLA Protocol Using CSP.
TASE
Mengying Wang, Huibiao Zhu, Yongxin Zhao, Si Liu
2011 Misc conf
Modeling and Verifying the Code-Level OSEK/VDX Operating System with CSP.
TASE
Yanhong Huang, Yongxin Zhao, Longfei Zhu, Qin Li, Huibiao Zhu, Jianqi Shi
2011 Misc conf
Towards a Probabilistic Calculus for Mobile Ad Hoc Networks.
TASE
Si Liu, Yongxin Zhao, Huibiao Zhu, Qin Li
2011 C conf
Towards a Signal Calculus for Event-Based Synchronous Languages.
ICFEM
Yongxin Zhao, Jifeng He
2010 Misc conf
A Formal Model for Service Choreography with Exception Handling and Finalization.
TASE
Yongxin Zhao, Zheng Wang, Geguang Pu, Huibiao Zhu
2010 Misc conf
Probabilistic Model of System Survivability.
TASE
Yongxin Zhao, Yanhong Huang, Jianwen Li, Huibiao Zhu
2010 — conf
Promoting Models.
UTP
Qin Li, Yongxin Zhao, Xiaofeng Wu, Si Liu
2010 — conf
SPARDL: A Requirement Modeling Language for Periodic Control System.
ISoLA (1)
Zheng Wang, Jianwen Li, Yongxin Zhao, Yanxia Qi, Geguang Pu, Jifeng He, Bin Gu
2010 — conf
Towards a Pomset Semantics for a Shared-Variable Parallel Language.
UTP
Yongxin Zhao, Xu Wang, Huibiao Zhu
2010 J jnl
Web services choreography validation.
Serv. Oriented Comput. Appl.
Zheng Wang, Lei Zhou, Yongxin Zhao, Jing Ping, Hao Xiao, Geguang Pu, Huibiao Zhu
2009 — conf
Locality-Based Normal Form Approach to Linking Algebraic Semantics and Operational Semantics for an Event-Driven System-Level Language.
Australian Software Engineering Conference
Huibiao Zhu, Yongxin Zhao, Jifeng He
2008 Misc conf
A Denotational Model for Web Services Choreography.
ICDCIT
Geguang Pu, Yongxin Zhao, Zheng Wang, Libo Feng, Huibiao Zhu, Jifeng He