Hongli Yang

According to our database, Hongli Yang authored at least 50 papers between 2006 and 2024.

Collaborative distances:

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

2024

Estimation of the Attraction Domain for the Quantum Systems Based on the Schrödinger Equation.

Hongli Yang, Guohui Yu, Ivan Ganchev Ivanov

Axioms, August, 2024

GPS/BDS Dual-Antenna Attitude Determination With Baseline-Length Constrained Ambiguity Resolution: Method and Performance Evaluation.

Hongli Yang, Yuanming Shu, Rongxin Fang, Lulu Qiao, Dong Ding, Guangxue Li

IEEE Trans. Instrum. Meas., 2024

Listen to the Speaker in Your Gaze.

Hongli Yang, Xinyi Chen, Junjie Li, Hao Huang, Siqi Cai, Haizhou Li

Proceedings of the IEEE International Conference on Cybernetics and Intelligent Systems, 2024

2023

The tri-coloured free-tree theory for symplectic multi-frequency ERKN methods.

Hongli Yang, Xianyang Zeng

J. Comput. Appl. Math., 2023

Combining Speech and Drawing Data for Alzheimer's Disease Detecting.

Jingyu Yang, Nuo Lei, Haitong Wang, Hongli Yang, Mingying Lan, Li Gao

Proceedings of the 9th International Conference on Communication and Information Processing, 2023

2022

Assessment of the Effectiveness of Sand-Control and Desertification in the Mu Us Desert, China.

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

Remote. Sens., 2022

A Class of Explicit Divergence-Free Methods for Maxwell's Equations With Dirichlet Boundary Conditions.

Xianyang Zeng, Hongli Yang

IEEE Access, 2022

2021

A novel class of explicit divergence-free time-domain methods for efficiently solving Maxwell's equations.

Hongli Yang, Xianyang Zeng, Xinyuan Wu

Comput. Phys. Commun., 2021

Conditions and a computation method of the constrained regulation problem for a class of fractional-order nonlinear continuous-time systems.

Xindong Si, Hongli Yang, Ivan Ganchev Ivanov

Int. J. Appl. Math. Comput. Sci., 2021

2019

Optimized Adaptive Nonlinear Tracking Control Using Actor-Critic Reinforcement Learning Strategy.

Guoxing Wen, C. L. Philip Chen, Shuzhi Sam Ge, Hongli Yang, Xiaoguang Liu

IEEE Trans. Ind. Informatics, 2019

Formation control with obstacle avoidance of second-order multi-agent systems under directed communication topology.

Guoxing Wen, C. L. Philip Chen, Hui Dou, Hongli Yang, Chunfang Liu

Sci. China Inf. Sci., 2019

Nonlinear Schrödinger equation for envelope Rossby waves with complete Coriolis force and its solution.

Xiaojun Yin, Liangui Yang, Hongli Yang, Ruigang Zhang, Jinmei Su

Comput. Appl. Math., 2019

2017

An improved tri-coloured rooted-tree theory and order conditions for ERKN methods for general multi-frequency oscillatory systems.

Xianyang Zeng, Hongli Yang, Xinyuan Wu

Numer. Algorithms, 2017

A feasible and effective technique in constructing ERKN methods for multi-frequency multidimensional oscillators in scientific computation.

Hongli Yang, Xianyang Zeng

Numer. Algorithms, 2017

(2+1) dimensional Rossby waves with complete Coriolis force and its solution by homotopy perturbation method.

Ruigang Zhang, Liangui Yang, Jian Song, Hongli Yang

Comput. Math. Appl., 2017

Detecting Energy Bugs in Android Apps Using Static Analysis.

Hao Jiang, Hongli Yang, Shengchao Qin, Zhendong Su, Jian Zhang, Jun Yan

Proceedings of the Formal Methods and Software Engineering, 2017

2016

基于UPPAAL的WSNs数据收集协议的建模与分析 (Modeling and Analyzing of WSNs Data Gathering Protocol Based on UPPAAL).

Yachao Feng, Hongli Yang, Fei Wang, Wenjia Wu, Shengchao Qin

计算机科学, 2016

Identifying XML Schema Constraints Using Temporal Logic.

Ruifang Zhao, Ke Liu, Hongli Yang, Zongyan Qiu

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

2015

XML Schema特征提取算法 (XML Schema Features Extraction Algorithm).

Ke Liu, Hongli Yang, Ruifang Zhao, Husheng Liao, Yao Chen, Shengchao Qin

计算机科学, 2015

2014

Program verification and testing technologies.

Tiziana Margaria, Zongyan Qiu, Hongli Yang

Int. J. Softw. Tools Technol. Transf., 2014

Automatically refining partial specifications for heap-manipulating programs.

Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin, Hongli Yang

Sci. Comput. Program., 2014

Order conditions for RKN methods solving general second-order oscillatory systems.

Xiong You, Jinxi Zhao, Hongli Yang, Yonglei Fang, Xinyuan Wu

Numer. Algorithms, 2014

A simplified Nyström-tree theory for extended Runge-Kutta-Nyström integrators solving multi-frequency oscillatory systems.

Hongli Yang, Xianyang Zeng, Xinyuan Wu, Zhengliang Ru

Comput. Phys. Commun., 2014

Choreography Scenario-Based Test Data Generation.

Kai Ma, Jin Wang, Hongli Yang, Jun Yan, Jian Zhang, Shengchao Qin

Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

2013

Study on Stochastic Linear Quadratic Optimal Control with Quadratic and Mixed Terminal State Constraints.

Hongli Yang

J. Appl. Math., 2013

Algorithms for checking channel passing in web service choreography.

Hongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao, Zongyan Qiu, Shengchao Qin

Frontiers Comput. Sci., 2013

Towards Conformance Testing of Choreography Based on Scenario.

Hongli Yang, Kai Ma, Cheng Deng, Husheng Liao, Jun Yan, Jian Zhang

Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

Invariants Synthesis over a Combined Domain for Automated Program Verification.

Shengchao Qin, Guanhua He, Wei-Ngan Chin, Hongli Yang

Proceedings of the Theories of Programming and Formal Methods, 2013

2012

Performance Analysis of Data Gathering Protocol Using PRISM.

Kang He, Hongli Yang, Yachao Feng, Yuan Liu, Zongyan Qiu

Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

2011

Analysis of WS-BPEL Processes in PRISM.

Chen Deng, Hongli Yang, Husheng Liao, Meng Sun, Zongyan Qiu

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

A distributed-based hospital information system model.

Jian Zhang, Hongli Yang

Proceedings of the 4th International Conference on Biomedical Engineering and Informatics, 2011

Generating Scenarios from Web Service Choreography.

Ke Zhang Ke, Zongyan Qiu, Hongli Yang

Proceedings of the 2011 IEEE Asia-Pacific Services Computing Conference, 2011

2010

A Framework for Integrating Human Processes with Business Artifacts.

Zongyan Qiu, Liyang Peng, Hongli Yang

Proceedings of the Fifth IEEE International Symposium on Service-Oriented System Engineering, 2010

A Probabilistic QoS Model-Checking for Dynamic Routing Protocol.

Hongli Yang, Liang Zhou, Kang He, Chen Deng, Xiangpeng Zhao, Zongyan Qiu

Proceedings of the 10th International Conference on Quality Software, 2010

2009

Global-to-Local Approach to Rigorously Developing Distributed System with Exception Handling.

Chao Cai, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao

J. Comput. Sci. Technol., 2009

Extended RKN-type methods for numerical integration of perturbed oscillators.

Hongli Yang, Xinyuan Wu, Xiong You, Yonglei Fang

Comput. Phys. Commun., 2009

Enforcing Constraints on Life Cycles of Business Artifacts.

Xiangpeng Zhao, Jianwen Su, Hongli Yang, Zongyan Qiu

Proceedings of the TASE 2009, 2009

An Implementation Approach for XQuery Based on Lazy Evaluation.

Peng Li, Husheng Liao, Hongli Yang

Proceedings of the First International Workshop on Database Technology and Applications, 2009

2008

Reasoning about Channel Passing in Choreography.

Hongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao, Zongyan Qiu

Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

Model-Checking of Web Services Choreography.

Hongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu

Proceedings of the Fourth IEEE International Symposium on Service-Oriented System Engineering, 2008

A Formal Model of Human Workflow.

Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Hongli Yang

Proceedings of the 2008 IEEE International Conference on Web Services (ICWS 2008), 2008

Correct Channel Passing by Construction.

Chao Cai, Zongyan Qiu, Xiangpeng Zhao, Hongli Yang

Proceedings of the Formal Methods and Software Engineering, 2008

A Formal Model for Channel Passing in Web Service Composition.

Chao Cai, Hongli Yang, Xiangpeng Zhao, Zongyan Qiu

Proceedings of the 2008 IEEE International Conference on Services Computing (SCC 2008), 2008

2007

Towards the theoretical foundation of choreography.

Zongyan Qiu, Xiangpeng Zhao, Chao Cai, Hongli Yang

Proceedings of the 16th International Conference on World Wide Web, 2007

A QoS View ofWeb Service Choreography.

Xiangpeng Zhao, Chao Cai, Hongli Yang, Zongyan Qiu

Proceedings of ICEBE 2007, 2007

Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation.

Hongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

2006

Towards the Formal Model and Verification of Web Service Choreography Description Language.

Xiangpeng Zhao, Hongli Yang, Zongyan Qiu

Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

Patterns with Algebraic Properties in BPEL0.

Geguang Pu, Huibiao Zhu, Jifeng He, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao

Proceedings of the Leveraging Applications of Formal Methods, 2006

A Formal Model forWeb Service Choreography Description Language (WS-CDL).

Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Geguang Pu, Shuling Wang

Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), 2006

Type Checking Choreography Description Language.

Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Geguang Pu

Proceedings of the Formal Methods and Software Engineering, 2006