Hongli Yang

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 18

Top Topics

Test Data Generation

Tracking Control

Perturbation Method

Top Venues

Numer. Algorithms

Comput. Phys. Commun.

计算机科学

Int. J. Softw. Tools Technol. Transf.

Publications

Hongli Yang, Yuanming Shu, Rongxin Fang, Lulu Qiao, Dong Ding, Guangxue Li
GPS/BDS Dual-Antenna Attitude Determination With Baseline-Length Constrained Ambiguity Resolution: Method and Performance Evaluation. IEEE Trans. Instrum. Meas. 73 (2024)
Hongli Yang, Qinghui Liu
RETRACTED ARTICLE: Innovative research of dynamic monitoring system of mental health vocational students based on big data. Pers. Ubiquitous Comput. 28 (1) (2024)
Jingyu Yang, Nuo Lei, Haitong Wang, Hongli Yang, Mingying Lan, Li Gao
Combining Speech and Drawing Data for Alzheimer's Disease Detecting. ICCIP (2023)
Hongli Yang, Xianyang Zeng
The tri-coloured free-tree theory for symplectic multi-frequency ERKN methods. J. Comput. Appl. Math. 423 (2023)
Xianyang Zeng, Hongli Yang
A Class of Explicit Divergence-Free Methods for Maxwell's Equations With Dirichlet Boundary Conditions. IEEE Access 10 (2022)
Jie Li, Weicheng Wu, Xiao Fu, Jingheng Jiang, Yixuan Liu, Ming Zhang, Xiaoting Zhou, Xinxin Ke, Yecheng He, Wenjing Li, Cuimin Zhou, Yuan Li, Yifei Song, Hongli Yang, Qihong Tu
Assessment of the Effectiveness of Sand-Control and Desertification in the Mu Us Desert, China. Remote. Sens. 14 (4) (2022)
Xindong Si, Hongli Yang, Ivan Ganchev Ivanov
Conditions and a computation method of the constrained regulation problem for a class of fractional-order nonlinear continuous-time systems. Int. J. Appl. Math. Comput. Sci. 31 (1) (2021)
Hongli Yang, Xianyang Zeng, Xinyuan Wu
A novel class of explicit divergence-free time-domain methods for efficiently solving Maxwell's equations. Comput. Phys. Commun. 268 (2021)
Guo-Xing Wen, C. L. Philip Chen, Shuzhi Sam Ge, Hongli Yang, Xiaoguang Liu
Optimized Adaptive Nonlinear Tracking Control Using Actor-Critic Reinforcement Learning Strategy. IEEE Trans. Ind. Informatics 15 (9) (2019)
Guo-Xing Wen, C. L. Philip Chen, Hui Dou, Hongli Yang, Chunfang Liu
Formation control with obstacle avoidance of second-order multi-agent systems under directed communication topology. Sci. China Inf. Sci. 62 (9) (2019)
Xiaojun Yin, Liangui Yang, Hongli Yang, Ruigang Zhang, Jinmei Su
Nonlinear Schrödinger equation for envelope Rossby waves with complete Coriolis force and its solution. Comput. Appl. Math. 38 (2) (2019)
Hongli Yang, Xianyang Zeng
A feasible and effective technique in constructing ERKN methods for multi-frequency multidimensional oscillators in scientific computation. Numer. Algorithms 76 (3) (2017)
Xianyang Zeng, Hongli Yang, Xinyuan Wu
An improved tri-coloured rooted-tree theory and order conditions for ERKN methods for general multi-frequency oscillatory systems. Numer. Algorithms 75 (4) (2017)
Ruigang Zhang, Liangui Yang, Jian Song, Hongli Yang
(2+1) dimensional Rossby waves with complete Coriolis force and its solution by homotopy perturbation method. Comput. Math. Appl. 73 (9) (2017)
Hao Jiang, Hongli Yang, Shengchao Qin, Zhendong Su, Jian Zhang, Jun Yan
Detecting Energy Bugs in Android Apps Using Static Analysis. ICFEM (2017)
Ruifang Zhao, Ke Liu, Hongli Yang, Zongyan Qiu
Identifying XML Schema Constraints Using Temporal Logic. SETTA (2016)
Yachao Feng, Hongli Yang, Fei Wang, Wenjia Wu, Shengchao Qin
基于UPPAAL的WSNs数据收集协议的建模与分析 (Modeling and Analyzing of WSNs Data Gathering Protocol Based on UPPAAL). 计算机科学 43 (9) (2016)
Ke Liu, Hongli Yang, Ruifang Zhao, Husheng Liao, Yao Chen, Shengchao Qin
XML Schema特征提取算法 (XML Schema Features Extraction Algorithm). 计算机科学 42 (Z11) (2015)
Tiziana Margaria, Zongyan Qiu, Hongli Yang
Program verification and testing technologies. Int. J. Softw. Tools Technol. Transf. 16 (4) (2014)
Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin, Hongli Yang
Automatically refining partial specifications for heap-manipulating programs. Sci. Comput. Program. 82 (2014)
Kai Ma, Jin Wang, Hongli Yang, Jun Yan, Jian Zhang, Shengchao Qin
Choreography Scenario-Based Test Data Generation. TASE (2014)
Hongli Yang, Xianyang Zeng, Xinyuan Wu, Zhengliang Ru
A simplified Nyström-tree theory for extended Runge-Kutta-Nyström integrators solving multi-frequency oscillatory systems. Comput. Phys. Commun. 185 (11) (2014)
Xiong You, Jinxi Zhao, Hongli Yang, Yonglei Fang, Xinyuan Wu
Order conditions for RKN methods solving general second-order oscillatory systems. Numer. Algorithms 66 (1) (2014)
Shengchao Qin, Guanhua He, Wei-Ngan Chin, Hongli Yang
Invariants Synthesis over a Combined Domain for Automated Program Verification. Theories of Programming and Formal Methods (2013)
Hongli Yang, Kai Ma, Cheng Deng, Husheng Liao, Jun Yan, Jian Zhang
Towards Conformance Testing of Choreography Based on Scenario. TASE (2013)
Hongli Yang
Study on Stochastic Linear Quadratic Optimal Control with Quadratic and Mixed Terminal State Constraints. J. Appl. Math. 2013 (2013)
Hongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao, Zongyan Qiu, Shengchao Qin
Algorithms for checking channel passing in web service choreography. Frontiers Comput. Sci. 7 (5) (2013)
Kang He, Hongli Yang, Yachao Feng, Yuan Liu, Zongyan Qiu
Performance Analysis of Data Gathering Protocol Using PRISM. ICECCS (2012)
Jian Zhang, Hongli Yang
A distributed-based hospital information system model. BMEI (2011)
Chen Deng, Hongli Yang, Husheng Liao, Meng Sun, Zongyan Qiu
Analysis of WS-BPEL Processes in PRISM. TASE (2011)
Ke Zhang Ke, Zongyan Qiu, Hongli Yang
Generating Scenarios from Web Service Choreography. APSCC (2011)
Zongyan Qiu, Liyang Peng, Hongli Yang
A Framework for Integrating Human Processes with Business Artifacts. SOSE (2010)
Hongli Yang, Liang Zhou, Kang He, Chen Deng, Xiangpeng Zhao, Zongyan Qiu
A Probabilistic QoS Model-Checking for Dynamic Routing Protocol. QSIC (2010)
Xiangpeng Zhao, Jianwen Su, Hongli Yang, Zongyan Qiu
Enforcing Constraints on Life Cycles of Business Artifacts. TASE (2009)
Hongli Yang, Xinyuan Wu, Xiong You, Yonglei Fang
Extended RKN-type methods for numerical integration of perturbed oscillators. Comput. Phys. Commun. 180 (10) (2009)
Chao Cai, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao
Global-to-Local Approach to Rigorously Developing Distributed System with Exception Handling. J. Comput. Sci. Technol. 24 (2) (2009)
Peng Li, Husheng Liao, Hongli Yang
An Implementation Approach for XQuery Based on Lazy Evaluation. DBTA (2009)
Hongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu
Model-Checking of Web Services Choreography. SOSE (2008)
Chao Cai, Zongyan Qiu, Xiangpeng Zhao, Hongli Yang
Correct Channel Passing by Construction. ICFEM (2008)
Hongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao, Zongyan Qiu
Reasoning about Channel Passing in Choreography. TASE (2008)
Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Hongli Yang
A Formal Model of Human Workflow. ICWS (2008)
Chao Cai, Hongli Yang, Xiangpeng Zhao, Zongyan Qiu
A Formal Model for Channel Passing in Web Service Composition. IEEE SCC (2) (2008)
Hongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu
Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation. FORTE (2007)
Xiangpeng Zhao, Chao Cai, Hongli Yang, Zongyan Qiu
A QoS View ofWeb Service Choreography. ICEBE (2007)
Zongyan Qiu, Xiangpeng Zhao, Chao Cai, Hongli Yang
Towards the theoretical foundation of choreography. WWW (2007)
Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Geguang Pu
Type Checking Choreography Description Language. ICFEM (2006)
Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Geguang Pu, Shuling Wang
A Formal Model forWeb Service Choreography Description Language (WS-CDL). ICWS (2006)
Xiangpeng Zhao, Hongli Yang, Zongyan Qiu
Towards the Formal Model and Verification of Web Service Choreography Description Language. WS-FM (2006)
Geguang Pu, Huibiao Zhu, Jifeng He, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao
Patterns with Algebraic Properties in BPEL0. ISoLA (2006)