Yongxin Zhao

According to our database, Yongxin Zhao authored at least 87 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

An Improvement Method for Improving the Surface Defect Detection of Industrial Products Based on Contour Matching Algorithms.

Haorong Wu, Ziqi Luo, Fuchun Sun, Xiaoxiao Li, Yongxin Zhao

Sensors, June, 2024

An architecture refactoring approach to reducing software hierarchy complexity.

Yongxin Zhao, Wenhan Wu, Yuan Fei, Zhihao Liu, Yang Li, Yilong Yang, Ling Shi, Bo Zhang

J. Softw. Evol. Process., April, 2024

A local search approach to protocol verification.

Kun Ma, Yongjian Li, Shaowei Cai, Yongxin Zhao

Theor. Comput. Sci., 2024

Conformance Testing of Relational DBMS Against SQL Specifications.

Shuang Liu, Chenglin Tian, Jun Sun, Ruifeng Wang, Wei Lu, Yongxin Zhao, Yinxing Xue, Junjie Wang, Xiaoyong Du

CoRR, 2024

Protecting privacy and enhancing utility: A novel approach for personalized trajectory data publishing using noisy prefix tree.

Yongxin Zhao, Chundong Wang

Comput. Secur., 2024

A Formally Verified Scheme for Security Protocols with the Operational Semantics of Strand Space.

Yongjian Li, Hongjian Jiang, Yongxin Zhao

Proceedings of the Theoretical Aspects of Software Engineering, 2024

Illuminating the Gray Zone: Non-intrusive Gray Failure Localization in Server Operating Systems.

Shenglin Zhang, Yongxin Zhao, Xiao Xiong, Yongqian Sun, Xiaohui Nie, Jiacheng Zhang, Fenglai Wang, Xian Zheng, Yuzhi Zhang, Dan Pei

Proceedings of the Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, 2024

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

Proceedings of the 35th IEEE International Symposium on Software Reliability Engineering, 2024

Murphi2Chisel: A Protocol Compiler from Murphi to Chisel.

Zhenghai Cai, Yongjian Li, Yongxin Zhao

Proceedings of the 15th Asia-Pacific Symposium on Internetware, 2024

Enabling Behaviour Tree Verification via a Translation to BIP.

Qiang Wang, Huadong Dai, Yongxin Zhao, Min Zhang, Simon Bliudze

Proceedings of the Formal Aspects of Component Software - 20th International Conference, 2024

2023

A Method of Inertial Regularized ADMM for Separable Nonconvex Optimization Problems.

Miantao Chao, Yueqi Geng, Yongxin Zhao

Soft Comput., November, 2023

Integration of online deep reinforcement learning and federated learning: A dynamic energy management strategy for industrial applications.

Yunzhou Tang, GuoXu Du, Jinzhong Long, Yongxin Zhao

IET Commun., 2023

A Novel Approach for Trajectory Partition Privacy in Location-Based Services.

Chundong Wang, Yongxin Zhao

Proceedings of the 22nd IEEE International Conference on Trust, 2023

Anaphora Ambiguity Detection Method Based on Cross-domain Pronoun Substitution (S).

Fengyong Peng, Xi Wu, Yongxin Zhao, Yongjian Li

Proceedings of the 35th International Conference on Software Engineering and Knowledge Engineering, 2023

Dispatching and Scheduling Dependent Tasks Based on Multi-agent Deep Reinforcement Learning.

Shuaishuai Feng, Xi Wu, Yongxin Zhao, Yongjian Li

Proceedings of the 35th International Conference on Software Engineering and Knowledge Engineering, 2023

ChiselFV: A Formal Verification Framework for Chisel.

Mufan Xiang, Yongjian Li, Yongxin Zhao

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

Perceptual Risk-Aware Adaptive Responsibility Sensitive Safety for Autonomous Driving.

Xiwei Li, Xi Wu, Yongxin Zhao, Yongjian Li

Proceedings of the Advanced Information Systems Engineering, 2023

2022

PmiREN2.0: from data annotation to functional exploration of plant microRNAs.

Zhonglong Guo, Zheng Kuang, Yongxin Zhao, Yang Deng, Hao He, Miaomiao Wan, Yihan Tao, Dong Wang, Jianhua Wei, Lei Li, Xiaozeng Yang

Nucleic Acids Res., 2022

Formal Verification and Analysis of Time-Sensitive Software-Defined Network Architecture.

Weiyu Xu, Xi Wu, Yongxin Zhao, Yongjian Li

Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022

An Information Flow Security Logic for Permission-Based Declassification Strategy.

Zhenheng Dong, Yongxin Zhao, Qiang Wang

Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022

Parameterized Design and Formal Verification of Multi-ported Memory.

Mufan Xiang, Yongjian Li, Sijun Tan, Yongxin Zhao, Yiwei Chi

Proceedings of the 26th International Conference on Engineering of Complex Computer Systems, 2022

Generating Natural Language Adversarial Examples Based on the Approximating Top-K Combination Token Substitution.

Panfeng Qiu, Xi Wu, Yongxin Zhao

Proceedings of the 24th IEEE Int Conf on High Performance Computing & Communications; 8th Int Conf on Data Science & Systems; 20th Int Conf on Smart City; 8th Int Conf on Dependability in Sensor, 2022

2021

Formal Analysis of TSN Scheduler for Real-Time Communications.

Jin Lv, Yongxin Zhao, Xi Wu, Yongjian Li, Qiang Wang

IEEE Trans. Reliab., 2021

Quantum private comparison of size using d-level Bell states with a semi-honest third party.

Wanqing Wu, Yongxin Zhao

Quantum Inf. Process., 2021

MicroRNA annotation in plants: current status and challenges.

Yongxin Zhao, Zheng Kuang, Ying Wang, Lei Li, Xiaozeng Yang

Briefings Bioinform., 2021

Release of Trajectory Data based on Space Segmentation using Differential Privacy.

Yongxin Zhao, Wanqing Wu, Chaofan Di

Proceedings of the 20th IEEE International Conference on Trust, 2021

Encoding Induction Proof in Dafny.

Hongjian Jiang, Yongjian Li, Sijun Tan, Yongxin Zhao

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

RE2B: Enhancing Correctness of Both Requirements and Design Models.

Shiling Feng, Xiaohong Chen, Qin Li, Yongxin Zhao

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

AnB2Murphi: A Translator for Converting AliceBob Specifications to Murphi.

Yongxin Zhao, Hongjian Jiang, Jin Lv, Sijun Tan, Yongjian Li

Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021

HHML: A Hierarchical Hybrid Modeling Language for Mode-based Periodic Controllers.

Zhiming Hu, Zheng Wang, Hongjian Jiang, Yuyuan Zhang, Yongxin Zhao

Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021

Development and Implementation of Pediatric Nursing-Clinical Decision Support System for Hyperthermia: A Pre- and Post-Test.

Yongxin Zhao, Jing Hu, Ying Gu, Yanmin Wan, Fang Liu, Chengjie Ye, Xiaobo Zhang

Proceedings of the Nurses and Midwives in the Digital Age - Selected Papers, Posters and Panels from the 15th International Congress in Nursing Informatics, Virtual Event, 23 August, 2021

Analyzing and Recommending Development Order Based on Design Class Diagram.

Wenhan Wu, Yongxin Zhao, Chao Peng, Yongjian Li, Qin Li

Proceedings of the Knowledge Science, Engineering and Management, 2021

CMSS: Collaborative Modeling of Safety and Security Requirements for Network Protocols.

Zhihao Liu, Qiang Wang, Yongjian Li, Yongxin Zhao

Proceedings of the 2021 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom), New York City, NY, USA, September 30, 2021

Algorithm selection for software verification based on adversarial LSTM.

Qiang Wang, Jiawei Jiang, Yongxin Zhao, Weipeng Cao, Chunjiang Wang, Shengdong Li

Proceedings of the 7th IEEE International Conference on Big Data Security on Cloud, 2021

2020

PmiREN: a comprehensive encyclopedia of plant miRNAs.

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

Nucleic Acids Res., 2020

Event-based functional decomposition.

Jianmin Jiang, Huibiao Zhu, Qin Li, Yongxin Zhao, Shi Zhang, Ping Gong, Zhong Hong

Inf. Comput., 2020

A Detect-and-Modify Region-based Classifier to Defend Evasion Attacks.

Jiawei Jiang, Yongxin Zhao, Xi Wu, Genwang Gou

Proceedings of the 32nd International Conference on Software Engineering and Knowledge Engineering, 2020

The Prediction of Delay Time and Route Planning for Autonomous Vehicles.

Genwang Gou, Yongxin Zhao, Jiawei Jiang, Ling Shi

Proceedings of the 32nd International Conference on Software Engineering and Knowledge Engineering, 2020

What Makes Open Source Software Projects Impactful: A Data-Driven Approach.

Huaiwei Yang, Shuang Liu, Lin Gui, Yongxin Zhao, Jun Sun, Junjie Chen

Proceedings of the Internetware'20: 12th Asia-Pacific Symposium on Internetware, 2020

2019

Isolation Modeling and Analysis Based on Mobility.

Jianmin Jiang, Huibiao Zhu, Qin Li, Yongxin Zhao, Zhong Hong, Shi Zhang, Ping Gong

ACM Trans. Softw. Eng. Methodol., 2019

A mathematical analysis of improved EigenAnt algorithm.

Genwang Gou, Yongxin Zhao, Qin Li, Qiwen Xu

J. Exp. Theor. Artif. Intell., 2019

Formal Modeling and Verifying the TTCAN Protocol from a Probabilistic Perspective.

Xin Li, Jian Guo, Yongxin Zhao, Xiaoran Zhu

J. Circuits Syst. Comput., 2019

A Feasibility Analysis Framework of Time-Sensitive Networking Using Real-Time Calculus.

Peng Zhang, Yu Liu, Jianqi Shi, Yanhong Huang, Yongxin Zhao

IEEE Access, 2019

Software Complexity Reduction by Automated Refactoring Schema.

Siteng Cao, Yongxin Zhao, Ling Shi

Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

Deep Learning for Web Services Classification.

Yilong Yang, Wei Ke, Weiru Wang, Yongxin Zhao

Proceedings of the 2019 IEEE International Conference on Web Services, 2019

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

Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019

2018

A UTP semantics for communicating processes with shared variables and its formal encoding in PVS.

Ling Shi, Yongxin Zhao, Yang Liu, Jun Sun, Jin Song Dong, Shengchao Qin

Formal Aspects Comput., 2018

Formal Modeling and Security Analysis for OpenFlow-Based Networks.

Yongxin Zhao, Xi Wu, Jing Liu, Yilong Yang

Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018

2017

Event-Based Mobility Modeling and Analysis.

Jianmin Jiang, Huibiao Zhu, Qin Li, Yongxin Zhao, Lin Zhao, Shi Zhang, Ping Gong, Zhong Hong, Donghuo Chen

ACM Trans. Cyber Phys. Syst., 2017

2016

Integrating a Calculus with Mobility and Quality for Wireless Sensor Networks.

Xi Wu, Yongxin Zhao, Huibiao Zhu

Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016

2015

Analyzing Event-Based Scheduling in Concurrent Reactive Systems.

Jianmin Jiang, Huibiao Zhu, Qin Li, Yongxin Zhao, Lin Zhao, Shi Zhang, Ping Gong, Zhong Hong

ACM Trans. Embed. Comput. Syst., 2015

Semantic theories of programs with nested interrupts.

Yanhong Huang, Jifeng He, Huibiao Zhu, Yongxin Zhao, Jianqi Shi, Shengchao Qin

Frontiers Comput. Sci., 2015

Probabilistic Denotational Semantics for an Interrupt Modelling Language.

Yanhong Huang, Yongxin Zhao, Shengchao Qin, Jifeng He

Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

Modeling and Verifying Google File System.

Bo Li, Mengdi Wang, Yongxin Zhao, Geguang Pu, Huibiao Zhu, Fu Song

Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

2014

The semantics and verification of timed service choreography.

Yongxin Zhao, Hao Xiao, Zheng Wang, Geguang Pu, Ting Su

Int. J. Comput. Math., 2014

Investigating System Survivability from a Probabilistic Perspective.

Yongxin Zhao, Yanhong Huang, Qin Li, Huibiao Zhu, Jifeng He, Jianwen Li, Xi Wu

IEICE Trans. Inf. Syst., 2014

A UTP semantic model for Orc language with execution status and fault handling.

Qin Li, Yongxin Zhao, Huibiao Zhu, Jifeng He

Frontiers Comput. Sci., 2014

Reasoning about Group-Based Mobility in MANETs.

Xi Wu, Si Liu, Huibiao Zhu, Yongxin Zhao

Proceedings of the 20th IEEE Pacific Rim International Symposium on Dependable Computing, 2014

Formalizing Google File System.

Mengdi Wang, Bo Li, Yongxin Zhao, Geguang Pu

Proceedings of the 20th IEEE Pacific Rim International Symposium on Dependable Computing, 2014

Towards a Combination of CafeOBJ and PAT.

Yongxin Zhao, Jin Song Dong, Yang Liu, Jun Sun

Proceedings of the Specification, Algebra, and Software, 2014

2013

A novel requirement analysis approach for periodic control systems.

Zheng Wang, Geguang Pu, Jianwen Li, Yuxiang Chen, Yongxin Zhao, Mingsong Chen, Bin Gu, Mengfei Yang, Jifeng He

Frontiers Comput. Sci., 2013

Modeling and verifying the Ariadne protocol using process algebra.

Xi Wu, Huibiao Zhu, Yongxin Zhao, Zheng Wang, Si Liu

Comput. Sci. Inf. Syst., 2013

A Denotational Model for Interrupt-Driven Programs.

Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

A UTP Semantics for Communicating Processes with Shared Variables.

Ling Shi, Yongxin Zhao, Yang Liu, Jun Sun, Jin Song Dong, Shengchao Qin

Proceedings of the Formal Methods and Software Engineering, 2013

Towards a Modeling Language for Cyber-Physical Systems.

Longfei Zhu, Yongxin Zhao, Huibiao Zhu, Qiwen Xu

Proceedings of the Theories of Programming and Formal Methods, 2013

2012

Formal Modeling and Analysis of the REST Architecture Using CSP.

Xi Wu, Yue Zhang, Huibiao Zhu, Yongxin Zhao, Zailiang Sun, Peng Liu

Proceedings of the Web Services and Formal Methods - 9th International Workshop, 2012

Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions.

Chengcheng Wu, Yongxin Zhao, Huibiao Zhu

Proceedings of the Unifying Theories of Programming, 4th International Symposium, 2012

A Timed CSP Model for the Time-Triggered Language Giotto.

Yanhong Huang, Yongxin Zhao, Shengchao Qin, Guanhua He, João F. Ferreira

Proceedings of the 35th Annual IEEE Software Engineering Workshop, 2012

A Denotational Model for Instantaneous Signal Calculus.

Yongxin Zhao, Longfei Zhu, Huibiao Zhu, Jifeng He

Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

Investigating Time Properties of Interrupt-Driven Programs.

Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu, Shengchao Qin

Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012

Modeling and Verifying the Ariadne Protocol Using CSP.

Xi Wu, Si Liu, Huibiao Zhu, Yongxin Zhao, Lei Chen

Proceedings of the IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems, 2012

2011

Modeling and Analyzing the (mu)TESLA Protocol Using CSP.

Mengying Wang, Huibiao Zhu, Yongxin Zhao, Si Liu

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Towards a Probabilistic Calculus for Mobile Ad Hoc Networks.

Si Liu, Yongxin Zhao, Huibiao Zhu, Qin Li

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Modeling and Verifying the Code-Level OSEK/VDX Operating System with CSP.

Yanhong Huang, Yongxin Zhao, Longfei Zhu, Qin Li, Huibiao Zhu, Jianqi Shi

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Towards a Signal Calculus for Event-Based Synchronous Languages.

Yongxin Zhao, Jifeng He

Proceedings of the Formal Methods and Software Engineering, 2011

Formal Model of Interrupt Program from a Probabilistic Perspective.

Yongxin Zhao, Yanhong Huang, Jifeng He, Si Liu

Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

A Unifying Approach to Validating Specification-Oriented XML Constraints.

Yongxin Zhao, Zheng Wang, Hao Xiao, Jing Ping, Geguang Pu, Jifeng He, Huibiao Zhu

Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

A Calculus for Mobile Ad Hoc Networks from a Group Probabilistic Perspective.

Si Liu, Yongxin Zhao, Huibiao Zhu, Qin Li

Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

An Event-B Interpretation for SPARDL Model.

Jianwen Li, Zheng Wang, Yongxin Zhao, Geguang Pu, Yanxia Qi, Bin Gu

Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

2010

Web services choreography validation.

Zheng Wang, Lei Zhou, Yongxin Zhao, Jing Ping, Hao Xiao, Geguang Pu, Huibiao Zhu

Serv. Oriented Comput. Appl., 2010

Towards a Pomset Semantics for a Shared-Variable Parallel Language.

Yongxin Zhao, Xu Wang, Huibiao Zhu

Proceedings of the Unifying Theories of Programming - Third International Symposium, 2010

Promoting Models.

Qin Li, Yongxin Zhao, Xiaofeng Wu, Si Liu

Proceedings of the Unifying Theories of Programming - Third International Symposium, 2010

A Formal Model for Service Choreography with Exception Handling and Finalization.

Yongxin Zhao, Zheng Wang, Geguang Pu, Huibiao Zhu

Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010

Probabilistic Model of System Survivability.

Yongxin Zhao, Yanhong Huang, Jianwen Li, Huibiao Zhu

Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010

SPARDL: A Requirement Modeling Language for Periodic Control System.

Zheng Wang, Jianwen Li, Yongxin Zhao, Yanxia Qi, Geguang Pu, Jifeng He, Bin Gu

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2009

Locality-Based Normal Form Approach to Linking Algebraic Semantics and Operational Semantics for an Event-Driven System-Level Language.

Huibiao Zhu, Yongxin Zhao, Jifeng He

Proceedings of the 20th Australian Software Engineering Conference (ASWEC 2009), 2009

2008

A Denotational Model for Web Services Choreography.

Geguang Pu, Yongxin Zhao, Zheng Wang, Libo Feng, Huibiao Zhu, Jifeng He

Proceedings of the Distributed Computing and Internet Technology, 2008