Hongli Yang

According to our database1, Hongli Yang authored at least 46 papers between 2006 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
The tri-coloured free-tree theory for symplectic multi-frequency ERKN methods.
J. Comput. Appl. Math., 2023

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

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

2021
A novel class of explicit divergence-free time-domain methods for efficiently solving Maxwell's equations.
Comput. Phys. Commun., 2021

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., 2021

2019
Optimized Adaptive Nonlinear Tracking Control Using Actor-Critic Reinforcement Learning Strategy.
IEEE Trans. Ind. Informatics, 2019

Formation control with obstacle avoidance of second-order multi-agent systems under directed communication topology.
Sci. China Inf. Sci., 2019

Nonlinear Schrödinger equation for envelope Rossby waves with complete Coriolis force and its solution.
Comput. Appl. Math., 2019

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

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

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

Detecting Energy Bugs in Android Apps Using Static Analysis.
Proceedings of the Formal Methods and Software Engineering, 2017

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

Identifying XML Schema Constraints Using Temporal Logic.
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

2015
XML Schema特征提取算法 (XML Schema Features Extraction Algorithm).
计算机科学, 2015

2014
Program verification and testing technologies.
Int. J. Softw. Tools Technol. Transf., 2014

Automatically refining partial specifications for heap-manipulating programs.
Sci. Comput. Program., 2014

Order conditions for RKN methods solving general second-order oscillatory systems.
Numer. Algorithms, 2014

A simplified Nyström-tree theory for extended Runge-Kutta-Nyström integrators solving multi-frequency oscillatory systems.
Comput. Phys. Commun., 2014

Choreography Scenario-Based Test Data Generation.
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.
J. Appl. Math., 2013

Algorithms for checking channel passing in web service choreography.
Frontiers Comput. Sci., 2013

Towards Conformance Testing of Choreography Based on Scenario.
Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

Invariants Synthesis over a Combined Domain for Automated Program Verification.
Proceedings of the Theories of Programming and Formal Methods, 2013

2012
Performance Analysis of Data Gathering Protocol Using PRISM.
Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

2011
Analysis of WS-BPEL Processes in PRISM.
Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

A distributed-based hospital information system model.
Proceedings of the 4th International Conference on Biomedical Engineering and Informatics, 2011

Generating Scenarios from Web Service Choreography.
Proceedings of the 2011 IEEE Asia-Pacific Services Computing Conference, 2011

2010
A Framework for Integrating Human Processes with Business Artifacts.
Proceedings of the Fifth IEEE International Symposium on Service-Oriented System Engineering, 2010

A Probabilistic QoS Model-Checking for Dynamic Routing Protocol.
Proceedings of the 10th International Conference on Quality Software, 2010

2009
Global-to-Local Approach to Rigorously Developing Distributed System with Exception Handling.
J. Comput. Sci. Technol., 2009

Extended RKN-type methods for numerical integration of perturbed oscillators.
Comput. Phys. Commun., 2009

Enforcing Constraints on Life Cycles of Business Artifacts.
Proceedings of the TASE 2009, 2009

An Implementation Approach for XQuery Based on Lazy Evaluation.
Proceedings of the First International Workshop on Database Technology and Applications, 2009

2008
Reasoning about Channel Passing in Choreography.
Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

Model-Checking of Web Services Choreography.
Proceedings of the Fourth IEEE International Symposium on Service-Oriented System Engineering, 2008

A Formal Model of Human Workflow.
Proceedings of the 2008 IEEE International Conference on Web Services (ICWS 2008), 2008

Correct Channel Passing by Construction.
Proceedings of the Formal Methods and Software Engineering, 2008

A Formal Model for Channel Passing in Web Service Composition.
Proceedings of the 2008 IEEE International Conference on Services Computing (SCC 2008), 2008

2007
Towards the theoretical foundation of choreography.
Proceedings of the 16th International Conference on World Wide Web, 2007

A QoS View ofWeb Service Choreography.
Proceedings of ICEBE 2007, 2007

Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

2006
Towards the Formal Model and Verification of Web Service Choreography Description Language.
Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

Patterns with Algebraic Properties in BPEL0.
Proceedings of the Leveraging Applications of Formal Methods, 2006

A Formal Model forWeb Service Choreography Description Language (WS-CDL).
Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006), 2006

Type Checking Choreography Description Language.
Proceedings of the Formal Methods and Software Engineering, 2006


  Loading...