Publications
Search

Publications :: Search

Show author

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

    Author information
    First name: Shengchao
    Last name: Qin
    DBLP: q/ShengchaoQin
    Rating: (not rated yet)
    Bookmark:

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

    Show item 1 to 10 of 98  
    Select a publication
    Show Title Venue Rating Date
    Journal article
    Richard Banach, Michael J. Butler, Shengchao Qin, Huibiao Zhu.
    Core Hybrid Event-B II: Multiple cooperating Hybrid Event-B machines.
    Sci. Comput. Program. 2017, Volume 139 (0) 2017
    Conference paper
    Yifeng Zeng, Zhang Zhang, Han The Anh, Iain R. Spears, Shengchao Qin.
    Using Intention Recognition in a Simulation Platform to Assess Physical Activity Levels of an Office Building.
    Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017 2017 (0) 2017
    Conference paper
    Chao Huang, Xin Chen, Yifan Zhang, Shengchao Qin, Yifeng Zeng, Xuandong Li.
    Switched Linear Multi-Robot Navigation Using Hierarchical Model Predictive Control.
    Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017 2017 (0) 2017
    Conference paper
    Jingyi Wang, Xiaohong Chen, Jun Sun 0001, Shengchao Qin.
    Improving Probability Estimation Through Active Probabilistic Model Learning.
    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
    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
    Zhiwu Xu, Cheng Wen, Shengchao Qin.
    Learning Types for Binaries.
    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
    Shengchao Qin, Guanhua He, Wei-Ngan Chin, Florin Craciun, Mengda He, Zhong Ming.
    Automated specification inference in a combined domain via user-defined predicates.
    Sci. Comput. Program. 2017, Volume 148 (0) 2017
    Conference paper
    Xinyu Wang, Jun Sun 0001, Ting Wang, Shengchao Qin.
    Language Inclusion Checking of Timed Automata with Non-Zenoness.
    IEEE Trans. Software Eng. 2017, Volume 43 (0) 2017
    Conference paper
    Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun 0001, Shengchao Qin.
    Enhancing Symbolic Execution of Heap-based Programs with Separation Logic for Test Input Generation.
    CoRR 2017, Volume 0 (0) 2017
    Conference paper
    Mengda He, Viktor Vafeiadis, Shengchao Qin, João Fernando Ferreira.
    Reasoning about Fences and Relaxed Atomics.
    24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2016, Heraklion, Crete, Greece, February 17-19, 2016 2016 (0) 2016
    Show item 1 to 10 of 98  

    Your query returned 98 matches in the database.