Yongxin Zhao

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 51

Top Topics

Formal Verification

Contour Matching

Component Based Software

Top Venues

Publications

Yongjian Li, Hongjian Jiang, Yongxin Zhao
A Formally Verified Scheme for Security Protocols with the Operational Semantics of Strand Space. TASE (2024)
Shenglin Zhang, Yongxin Zhao, Xiao Xiong, Yongqian Sun, Xiaohui Nie, Jiacheng Zhang, Fenglai Wang, Xian Zheng, Yuzhi Zhang, Dan Pei
Illuminating the Gray Zone: Non-intrusive Gray Failure Localization in Server Operating Systems. SIGSOFT FSE Companion (2024)
Kun Ma, Yongjian Li, Shaowei Cai, Yongxin Zhao
A local search approach to protocol verification. Theor. Comput. Sci. 1008 (2024)
Shuang Liu, Chenglin Tian, Jun Sun, Ruifeng Wang, Wei Lu, Yongxin Zhao, Yinxing Xue, Junjie Wang, Xiaoyong Du
Conformance Testing of Relational DBMS Against SQL Specifications. CoRR (2024)
Yongxin Zhao, Chundong Wang
Protecting privacy and enhancing utility: A novel approach for personalized trajectory data publishing using noisy prefix tree. Comput. Secur. 144 (2024)
Haorong Wu, Ziqi Luo, Fuchun Sun, Xiaoxiao Li, Yongxin Zhao
An Improvement Method for Improving the Surface Defect Detection of Industrial Products Based on Contour Matching Algorithms. Sensors 24 (12) (2024)
Yongxin Zhao, Wenhan Wu, Yuan Fei, Zhihao Liu, Yang Li, Yilong Yang, Ling Shi, Bo Zhang
An architecture refactoring approach to reducing software hierarchy complexity. J. Softw. Evol. Process. 36 (4) (2024)
Zhenghai Cai, Yongjian Li, Yongxin Zhao
Murphi2Chisel: A Protocol Compiler from Murphi to Chisel. Internetware (2024)
Mufan Xiang, Yongjian Li, Yongxin Zhao
ChiselFV: A Formal Verification Framework for Chisel. DATE (2023)
Shuaishuai Feng, Xi Wu, Yongxin Zhao, Yongjian Li
Dispatching and Scheduling Dependent Tasks Based on Multi-agent Deep Reinforcement Learning. SEKE (2023)
Fengyong Peng, Xi Wu, Yongxin Zhao, Yongjian Li
Anaphora Ambiguity Detection Method Based on Cross-domain Pronoun Substitution (S). SEKE (2023)
Yunzhou Tang, GuoXu Du, Jinzhong Long, Yongxin Zhao
Integration of online deep reinforcement learning and federated learning: A dynamic energy management strategy for industrial applications. IET Commun. 17 (19) (2023)
Chundong Wang, Yongxin Zhao
A Novel Approach for Trajectory Partition Privacy in Location-Based Services. TrustCom (2023)
Miantao Chao, Yueqi Geng, Yongxin Zhao
A Method of Inertial Regularized ADMM for Separable Nonconvex Optimization Problems. Soft Comput. 27 (22) (2023)
Xiwei Li, Xi Wu, Yongxin Zhao, Yongjian Li
Perceptual Risk-Aware Adaptive Responsibility Sensitive Safety for Autonomous Driving. CAiSE (2023)
Zhenheng Dong, Yongxin Zhao, Qiang Wang
An Information Flow Security Logic for Permission-Based Declassification Strategy. SEKE (2022)
Weiyu Xu, Xi Wu, Yongxin Zhao, Yongjian Li
Formal Verification and Analysis of Time-Sensitive Software-Defined Network Architecture. SEKE (2022)
Panfeng Qiu, Xi Wu, Yongxin Zhao
Generating Natural Language Adversarial Examples Based on the Approximating Top-K Combination Token Substitution. HPCC/DSS/SmartCity/DependSys (2022)
Zhonglong Guo, Zheng Kuang, Yongxin Zhao, Yang Deng, Hao He, Miaomiao Wan, Yihan Tao, Dong Wang, Jianhua Wei, Lei Li, Xiaozeng Yang
PmiREN2.0: from data annotation to functional exploration of plant microRNAs. Nucleic Acids Res. 50 (D1) (2022)
Mufan Xiang, Yongjian Li, Sijun Tan, Yongxin Zhao, Yiwei Chi
Parameterized Design and Formal Verification of Multi-ported Memory. ICECCS (2022)
Hongjian Jiang, Yongjian Li, Sijun Tan, Yongxin Zhao
Encoding Induction Proof in Dafny. TASE (2021)
Jin Lv, Yongxin Zhao, Xi Wu, Yongjian Li, Qiang Wang
Formal Analysis of TSN Scheduler for Real-Time Communications. IEEE Trans. Reliab. 70 (3) (2021)
Shiling Feng, Xiaohong Chen, Qin Li, Yongxin Zhao
RE2B: Enhancing Correctness of Both Requirements and Design Models. TASE (2021)
Zhiming Hu, Zheng Wang, Hongjian Jiang, Yuyuan Zhang, Yongxin Zhao
HHML: A Hierarchical Hybrid Modeling Language for Mode-based Periodic Controllers. SEKE (2021)
Yongxin Zhao, Jing Hu, Ying Gu, Yanmin Wan, Fang Liu, Chengjie Ye, Xiaobo Zhang
Development and Implementation of Pediatric Nursing-Clinical Decision Support System for Hyperthermia: A Pre- and Post-Test. Nursing Informatics (2021)
Wenhan Wu, Yongxin Zhao, Chao Peng, Yongjian Li, Qin Li
Analyzing and Recommending Development Order Based on Design Class Diagram. KSEM (2021)
Yongxin Zhao, Hongjian Jiang, Jin Lv, Sijun Tan, Yongjian Li
AnB2Murphi: A Translator for Converting AliceBob Specifications to Murphi. SEKE (2021)
Yongxin Zhao, Wanqing Wu, Chaofan Di
Release of Trajectory Data based on Space Segmentation using Differential Privacy. TrustCom (2021)
Zhihao Liu, Qiang Wang, Yongjian Li, Yongxin Zhao
CMSS: Collaborative Modeling of Safety and Security Requirements for Network Protocols. ISPA/BDCloud/SocialCom/SustainCom (2021)
Yongxin Zhao, Zheng Kuang, Ying Wang, Lei Li, Xiaozeng Yang
MicroRNA annotation in plants: current status and challenges. Briefings Bioinform. 22 (5) (2021)
Qiang Wang, Jiawei Jiang, Yongxin Zhao, Weipeng Cao, Chunjiang Wang, Shengdong Li
Algorithm selection for software verification based on adversarial LSTM. BigDataSecurity (2021)
Huaiwei Yang, Shuang Liu, Lin Gui, Yongxin Zhao, Jun Sun, Junjie Chen
What Makes Open Source Software Projects Impactful: A Data-Driven Approach. Internetware (2020)
Genwang Gou, Yongxin Zhao, Jiawei Jiang, Ling Shi
The Prediction of Delay Time and Route Planning for Autonomous Vehicles. SEKE (2020)
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
PmiREN: a comprehensive encyclopedia of plant miRNAs. Nucleic Acids Res. 48 (Database-Issue) (2020)
Jianmin Jiang, Huibiao Zhu, Qin Li, Yongxin Zhao, Shi Zhang, Ping Gong, Zhong Hong
Event-based functional decomposition. Inf. Comput. 271 (2020)
Jiawei Jiang, Yongxin Zhao, Xi Wu, Genwang Gou
A Detect-and-Modify Region-based Classifier to Defend Evasion Attacks. SEKE (2020)
Peng Zhang, Yu Liu, Jianqi Shi, Yanhong Huang, Yongxin Zhao
A Feasibility Analysis Framework of Time-Sensitive Networking Using Real-Time Calculus. IEEE Access 7 (2019)
Yilong Yang, Wei Ke, Weiru Wang, Yongxin Zhao
Deep Learning for Web Services Classification. ICWS (2019)
Jianmin Jiang, Huibiao Zhu, Qin Li, Yongxin Zhao, Zhong Hong, Shi Zhang, Ping Gong
Isolation Modeling and Analysis Based on Mobility. ACM Trans. Softw. Eng. Methodol. 28 (2) (2019)
Siteng Cao, Yongxin Zhao, Ling Shi
Software Complexity Reduction by Automated Refactoring Schema. TASE (2019)
Xin Li, Jian Guo, Yongxin Zhao, Xiaoran Zhu
Formal Modeling and Verifying the TTCAN Protocol from a Probabilistic Perspective. J. Circuits Syst. Comput. 28 (10) (2019)
Genwang Gou, Yongxin Zhao, Qin Li, Qiwen Xu
A mathematical analysis of improved EigenAnt algorithm. J. Exp. Theor. Artif. Intell. 31 (2) (2019)
Yongxin Zhao, Xiujuan Zhang, Ling Shi, Gan Zeng, Feng Sheng, Shuang Liu
Towards a Formal Approach to Defining and Computing the Complexity of Component Based Software. APSEC (2019)
Ling Shi, Yongxin Zhao, Yang Liu, Jun Sun, Jin Song Dong, Shengchao Qin
A UTP semantics for communicating processes with shared variables and its formal encoding in PVS. Formal Aspects Comput. 30 (3-4) (2018)
Yongxin Zhao, Xi Wu, Jing Liu, Yilong Yang
Formal Modeling and Security Analysis for OpenFlow-Based Networks. ICECCS (2018)
Jianmin Jiang, Huibiao Zhu, Qin Li, Yongxin Zhao, Lin Zhao, Shi Zhang, Ping Gong, Zhong Hong, Donghuo Chen
Event-Based Mobility Modeling and Analysis. ACM Trans. Cyber Phys. Syst. 1 (2) (2017)
Xi Wu, Yongxin Zhao, Huibiao Zhu
Integrating a Calculus with Mobility and Quality for Wireless Sensor Networks. HASE (2016)
Yanhong Huang, Yongxin Zhao, Shengchao Qin, Jifeng He
Probabilistic Denotational Semantics for an Interrupt Modelling Language. ICECCS (2015)
Jianmin Jiang, Huibiao Zhu, Qin Li, Yongxin Zhao, Lin Zhao, Shi Zhang, Ping Gong, Zhong Hong
Analyzing Event-Based Scheduling in Concurrent Reactive Systems. ACM Trans. Embed. Comput. Syst. 14 (4) (2015)
Yanhong Huang, Jifeng He, Huibiao Zhu, Yongxin Zhao, Jianqi Shi, Shengchao Qin
Semantic theories of programs with nested interrupts. Frontiers Comput. Sci. 9 (3) (2015)
Bo Li, Mengdi Wang, Yongxin Zhao, Geguang Pu, Huibiao Zhu, Fu Song
Modeling and Verifying Google File System. HASE (2015)
Yongxin Zhao, Hao Xiao, Zheng Wang, Geguang Pu, Ting Su
The semantics and verification of timed service choreography. Int. J. Comput. Math. 91 (3) (2014)
Yongxin Zhao, Yanhong Huang, Qin Li, Huibiao Zhu, Jifeng He, Jianwen Li, Xi Wu
Investigating System Survivability from a Probabilistic Perspective. IEICE Trans. Inf. Syst. (9) (2014)
Qin Li, Yongxin Zhao, Huibiao Zhu, Jifeng He
A UTP semantic model for Orc language with execution status and fault handling. Frontiers Comput. Sci. 8 (5) (2014)
Xi Wu, Si Liu, Huibiao Zhu, Yongxin Zhao
Reasoning about Group-Based Mobility in MANETs. PRDC (2014)
Mengdi Wang, Bo Li, Yongxin Zhao, Geguang Pu
Formalizing Google File System. PRDC (2014)
Yongxin Zhao, Jin Song Dong, Yang Liu, Jun Sun
Towards a Combination of CafeOBJ and PAT. Specification, Algebra, and Software (2014)
Xi Wu, Huibiao Zhu, Yongxin Zhao, Zheng Wang, Si Liu
Modeling and verifying the Ariadne protocol using process algebra. Comput. Sci. Inf. Syst. 10 (1) (2013)
Longfei Zhu, Yongxin Zhao, Huibiao Zhu, Qiwen Xu
Towards a Modeling Language for Cyber-Physical Systems. Theories of Programming and Formal Methods (2013)
Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu
A Denotational Model for Interrupt-Driven Programs. ICST Workshops (2013)
Ling Shi, Yongxin Zhao, Yang Liu, Jun Sun, Jin Song Dong, Shengchao Qin
A UTP Semantics for Communicating Processes with Shared Variables. ICFEM (2013)
Zheng Wang, Geguang Pu, Jianwen Li, Yuxiang Chen, Yongxin Zhao, Mingsong Chen, Bin Gu, Mengfei Yang, Jifeng He
A novel requirement analysis approach for periodic control systems. Frontiers Comput. Sci. 7 (2) (2013)
Chengcheng Wu, Yongxin Zhao, Huibiao Zhu
Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions. UTP (2012)
Yanhong Huang, Yongxin Zhao, Shengchao Qin, Guanhua He, João F. Ferreira
A Timed CSP Model for the Time-Triggered Language Giotto. SEW (2012)
Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu, Shengchao Qin
Investigating Time Properties of Interrupt-Driven Programs. SBMF (2012)
Xi Wu, Si Liu, Huibiao Zhu, Yongxin Zhao, Lei Chen
Modeling and Verifying the Ariadne Protocol Using CSP. ECBS (2012)
Yongxin Zhao, Longfei Zhu, Huibiao Zhu, Jifeng He
A Denotational Model for Instantaneous Signal Calculus. SEFM (2012)
Xi Wu, Yue Zhang, Huibiao Zhu, Yongxin Zhao, Zailiang Sun, Peng Liu
Formal Modeling and Analysis of the REST Architecture Using CSP. WS-FM (2012)
Jianwen Li, Zheng Wang, Yongxin Zhao, Geguang Pu, Yanxia Qi, Bin Gu
An Event-B Interpretation for SPARDL Model. HASE (2011)
Yongxin Zhao, Yanhong Huang, Jifeng He, Si Liu
Formal Model of Interrupt Program from a Probabilistic Perspective. ICECCS (2011)
Si Liu, Yongxin Zhao, Huibiao Zhu, Qin Li
A Calculus for Mobile Ad Hoc Networks from a Group Probabilistic Perspective. HASE (2011)
Mengying Wang, Huibiao Zhu, Yongxin Zhao, Si Liu
Modeling and Analyzing the (mu)TESLA Protocol Using CSP. TASE (2011)
Si Liu, Yongxin Zhao, Huibiao Zhu, Qin Li
Towards a Probabilistic Calculus for Mobile Ad Hoc Networks. TASE (2011)
Yongxin Zhao, Jifeng He
Towards a Signal Calculus for Event-Based Synchronous Languages. ICFEM (2011)
Yongxin Zhao, Zheng Wang, Hao Xiao, Jing Ping, Geguang Pu, Jifeng He, Huibiao Zhu
A Unifying Approach to Validating Specification-Oriented XML Constraints. HASE (2011)
Yanhong Huang, Yongxin Zhao, Longfei Zhu, Qin Li, Huibiao Zhu, Jianqi Shi
Modeling and Verifying the Code-Level OSEK/VDX Operating System with CSP. TASE (2011)
Qin Li, Yongxin Zhao, Xiaofeng Wu, Si Liu
Promoting Models. UTP (2010)
Yongxin Zhao, Zheng Wang, Geguang Pu, Huibiao Zhu
A Formal Model for Service Choreography with Exception Handling and Finalization. TASE (2010)
Yongxin Zhao, Yanhong Huang, Jianwen Li, Huibiao Zhu
Probabilistic Model of System Survivability. TASE (2010)
Yongxin Zhao, Xu Wang, Huibiao Zhu
Towards a Pomset Semantics for a Shared-Variable Parallel Language. UTP (2010)
Zheng Wang, Lei Zhou, Yongxin Zhao, Jing Ping, Hao Xiao, Geguang Pu, Huibiao Zhu
Web services choreography validation. Serv. Oriented Comput. Appl. 4 (4) (2010)
Zheng Wang, Jianwen Li, Yongxin Zhao, Yanxia Qi, Geguang Pu, Jifeng He, Bin Gu
SPARDL: A Requirement Modeling Language for Periodic Control System. ISoLA (1) (2010)
Huibiao Zhu, Yongxin Zhao, Jifeng He
Locality-Based Normal Form Approach to Linking Algebraic Semantics and Operational Semantics for an Event-Driven System-Level Language. Australian Software Engineering Conference (2009)
Geguang Pu, Yongxin Zhao, Zheng Wang, Libo Feng, Huibiao Zhu, Jifeng He
A Denotational Model for Web Services Choreography. ICDCIT (2008)