Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Hongli
    Last name: Yang
    DBLP: 92/6174
    Rating: (not rated yet)

    Below you find the publications which have been written by this author.

    Show item 1 to 25 of 36  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Ruigang Zhang, Liangui Yang, Jian Song, Hongli Yang.
    (2+1) dimensional Rossby waves with complete Coriolis force and its solution by homotopy perturbation method.
    Computers Mathematics with Applications 2017, Volume 73 (0) 2017
    Conference paper
    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.
    Numerical Algorithms 2017, Volume 75 (0) 2017
    Conference paper
    Hao Jiang, Hongli Yang, Shengchao Qin, Zhendong Su, Jian Zhang, Jun Yan.
    Detecting Energy Bugs in Android Apps Using Static Analysis.
    Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings 2017 (0) 2017
    Conference paper
    Hongli Yang, Xianyang Zeng.
    A feasible and effective technique in constructing ERKN methods for multi-frequency multidimensional oscillators in scientific computation.
    Numerical Algorithms 2017, Volume 76 (0) 2017
    Conference paper
    Ruifang Zhao, Ke Liu, Hongli Yang, Zongyan Qiu.
    Identifying XML Schema Constraints Using Temporal Logic.
    Dependable Software Engineering: Theories, Tools, and Applications - Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings 2016 (0) 2016
    Journal article
    Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin, Hongli Yang.
    Automatically refining partial specifications for heap-manipulating programs.
    Sci. Comput. Program. 2014, Volume 82 (0) 2014
    Conference paper
    Xiong You, Jinxi Zhao, Hongli Yang, Yonglei Fang, Xinyuan Wu.
    Order conditions for RKN methods solving general second-order oscillatory systems.
    Numerical Algorithms 2014, Volume 66 (0) 2014
    Conference paper
    Tiziana Margaria, Zongyan Qiu, Hongli Yang.
    Program verification and testing technologies.
    STTT 2014, Volume 16 (0) 2014
    Conference paper
    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.
    Computer Physics Communications 2014, Volume 185 (0) 2014
    Conference paper
    Kai Ma, Jin Wang, Hongli Yang, Jun Yan, Jian Zhang, Shengchao Qin.
    Choreography Scenario-Based Test Data Generation.
    2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014 2014 (0) 2014
    Conference paper
    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 - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday 2013 (0) 2013
    Conference paper
    Hongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao, Zongyan Qiu, Shengchao Qin.
    Algorithms for checking channel passing in web service choreography.
    Frontiers of Computer Science 2013, Volume 7 (0) 2013
    Conference paper
    Hongli Yang, Kai Ma, Cheng Deng, Husheng Liao, Jun Yan, Jian Zhang 0001.
    Towards Conformance Testing of Choreography Based on Scenario.
    Seventh International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, 1-3 July 2013, Birmingham, UK 2013 (0) 2013
    Conference paper
    Hongli Yang.
    Study on Stochastic Linear Quadratic Optimal Control with Quadratic and Mixed Terminal State Constraints.
    J. Applied Mathematics 2013, Volume 2013 (0) 2013
    Conference paper
    Kang He, Hongli Yang, Yachao Feng, Yuan Liu, Zongyan Qiu.
    Performance Analysis of Data Gathering Protocol Using PRISM.
    17th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2012, Paris, France, July 18-20, 2012 2012 (0) 2012
    Conference paper
    Chen Deng, Hongli Yang, Husheng Liao, Meng Sun, Zongyan Qiu.
    Analysis of WS-BPEL Processes in PRISM.
    5th IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2011, Xi'an, China, 29-31 August 2011 2011 (0) 2011
    Conference paper
    Jian Zhang, Hongli Yang.
    A distributed-based hospital information system model.
    4th International Conference on Biomedical Engineering and Informatics, BMEI 2011, Shanghai, China, October 15-17, 2011 2011 (0) 2011
    Conference paper
    Ke Zhang Ke, Zongyan Qiu, Hongli Yang.
    Generating Scenarios from Web Service Choreography.
    2011 IEEE Asia-Pacific Services Computing Conference, APSCC 2011, Jeju, Korea (South), December 12-15, 2011 2011 (0) 2011
    Conference paper
    Hongli Yang, Liang Zhou, Kang He, Chen Deng, Xiangpeng Zhao, Zongyan Qiu.
    A Probabilistic QoS Model-Checking for Dynamic Routing Protocol.
    Proceedings of the 10th International Conference on Quality Software, QSIC 2010, Zhangjiajie, China, 14-15 July 2010 2010 (0) 2010
    Conference paper
    Zongyan Qiu, Liyang Peng, Hongli Yang.
    A Framework for Integrating Human Processes with Business Artifacts.
    The Fifth IEEE International Symposium on Service-Oriented System Engineering, SOSE 2010, June 4-5, 2010, Nanjing, China 2010 (0) 2010
    Conference paper
    Xiangpeng Zhao, Jianwen Su, Hongli Yang, Zongyan Qiu.
    Enforcing Constraints on Life Cycles of Business Artifacts.
    TASE 2009, Third IEEE International Symposium on Theoretical Aspects of Software Engineering, 29-31 July 2009, Tianjin, China 2009 (0) 2009
    Conference paper
    Peng Li, Husheng Liao, Hongli Yang.
    An Implementation Approach for XQuery Based on Lazy Evaluation.
    First International Workshop on Database Technology and Applications, DBTA 2009, Wuhan, Hubei, China, April 25-26, 2009, Proceedings 2009 (0) 2009
    Conference paper
    Chao Cai, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao.
    Global-to-Local Approach to Rigorously Developing Distributed System with Exception Handling.
    J. Comput. Sci. Technol. 2009, Volume 24 (0) 2009
    Conference paper
    Hongli Yang, Xinyuan Wu, Xiong You, Yonglei Fang.
    Extended RKN-type methods for numerical integration of perturbed oscillators.
    Computer Physics Communications 2009, Volume 180 (0) 2009
    Conference paper
    Chao Cai, Hongli Yang, Xiangpeng Zhao, Zongyan Qiu.
    A Formal Model for Channel Passing in Web Service Composition.
    2008 IEEE International Conference on Services Computing (SCC 2008), 8-11 July 2008, Honolulu, Hawaii, USA 2008 (0) 2008
    Show item 1 to 25 of 36  

    Your query returned 36 matches in the database.