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 25 of 96  
    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
    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
    Conference paper
    Yifeng Zeng, Xuefeng Chen, Gao Cong, Shengchao Qin, Jing Tang, Yanping Xiang.
    Maximizing influence under influence loss constraint in social networks.
    Expert Syst. Appl. 2016, Volume 55 (0) 2016
    Conference paper
    Chao Huang, Xin Chen, Yifan Zhang, Shengchao Qin, Yifeng Zeng, Xuandong Li.
    Hierarchical Model Predictive Control for Multi-Robot Navigation.
    Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016 2016 (0) 2016
    Conference paper
    Zhiwu Xu, Dongxiao Fan, Shengchao Qin.
    State-Taint Analysis for Detecting Resource Bugs.
    10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016, Shanghai, China, July 17-19, 2016 2016 (0) 2016
    Conference paper
    Jingyi Wang, Jun Sun 0001, Shengchao Qin.
    Verifying Complex Systems Probabilistically through Learning, Abstraction and Refinement.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Zhimin Wu, Yi Xu, Akin Günay, Yang Liu, Shengchao Qin.
    Concurrent On-the-Fly SCC Detection for Automata-Based Model Checking with Fairness Assumption.
    21st International Conference on Engineering of Complex Computer Systems, ICECCS 2016, Dubai, United Arab Emirates, November 6-8, 2016 2016 (0) 2016
    Conference paper
    Haiping Pang, Ju Li, Yijia Ruan, Yanhong Huang, Jianqi Shi, Shengchao Qin.
    Formalization and Verification of the Powerlink Protocol Using CSP.
    23rd Asia-Pacific Software Engineering Conference, APSEC 2016, Hamilton, New Zealand, December 6-9, 2016 2016 (0) 2016
    Journal article
    Huibiao Zhu, Jifeng He, Shengchao Qin, Phillip J. Brooke.
    Denotational semantics and its algebraic derivation for an event-driven system-level language.
    Formal Asp. Comput. 2015, Volume 27 (0) 2015
    Conference paper
    Xuefeng Chen, Yifeng Zeng, Gao Cong, Shengchao Qin, Yanping Xiang, Yuan-Shun Dai.
    On Information Coverage for Location Category Based Point-of-Interest Recommendation.
    Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA. 2015 (0) 2015
    Conference paper
    Yanhong Huang, Jifeng He, Huibiao Zhu, Yongxin Zhao, Jianqi Shi, Shengchao Qin.
    Semantic theories of programs with nested interrupts.
    Frontiers of Computer Science 2015, Volume 9 (0) 2015
    Conference paper
    Ton Chanh Le, Shengchao Qin, Wei-Ngan Chin.
    Termination and non-termination specification inference.
    Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015 2015 (0) 2015
    Journal article
    Richard Banach, Michael J. Butler, Shengchao Qin, Nitika Verma, Huibiao Zhu.
    Core Hybrid Event-B I: Single Hybrid Event-B machines.
    Sci. Comput. Program. 2015, Volume 105 (0) 2015
    Conference paper
    Yifeng Zeng, Xuefeng Chen, Xin Cao, Shengchao Qin, Marc Cavazza, Yanping Xiang.
    Optimal Route Search with the Coverage of Users' Preferences.
    Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015 2015 (0) 2015
    Conference paper
    Jun Sun 0001, Hao Xiao, Yang Liu, Shang-Wei Lin, Shengchao Qin.
    TLV: abstraction through testing, learning, and validation.
    Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2015, Bergamo, Italy, August 30 - September 4, 2015 2015 (0) 2015
    Conference paper
    Zhimin Wu, Yang Liu, Jun Sun, Jianqi Shi, Shengchao Qin.
    GPU Accelerated On-the-Fly Reachability Checking.
    20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015, Gold Coast, Australia, December 9-12, 2015 2015 (0) 2015
    Conference paper
    Yanhong Huang, Yongxin Zhao, Shengchao Qin, Jifeng He.
    Probabilistic Denotational Semantics for an Interrupt Modelling Language.
    20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015, Gold Coast, Australia, December 9-12, 2015 2015 (0) 2015
    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
    Quang Loc Le, Cristian Gherghina, Shengchao Qin, Wei-Ngan Chin.
    Shape Analysis via Second-Order Bi-Abduction.
    Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings 2014 (0) 2014
    Show item 1 to 25 of 96  

    Your query returned 96 matches in the database.