Google Scholar and DBLP

Refereed Publications

  1. [ASE2024] Zhongyi Wang, Linyu Yang, Mingshuai Chen, Yixuan Bu, Zhiyang Li, Qiuye Wang, Shengchao Qin, Yi Xiao, Jianwei Yin. Parf: Adaptive Parameter Tuning for Abstract Interpretation 39th IEEE/ACM International Conference on Automated Software Engineering (ASE 2024). Sacramento, California, United States. 27 Oct-1 Nov 2024.
  2. [CAV2024] Cheng Wen, Jialun Cao, Jie Su, Zhiwu Xu, Shengchao Qin, Mengda He, Haokun Li, Shing Chi Cheung, and Cong Tian. Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification 36th International Conference on Computer Aided Verification(CAV2024). Montreal, Canada. August 2024.
  3. [TKDD2024] Cheng Wen, Yuandao Cai, Bin Zhang, Jie Su, Dugang Liu, Shengchao Qin, Zhong Ming, and Cong Tian. Automatically Inspecting Thousands of Static Bug Warnings with Large Language Model: How Far Are We?. ACM Transactions on Knowledge Discovery in Data (TKDD). 2024.
  4. [ICSE2024] Zhiwu Xu, Bohao Wu, Cheng Wen, Bin Zhang, Shengchao Qin, and Mengda He. RPG: Rust Library Fuzzing with Pool-based Fuzz Target Generation and Generic Support. The 46th International Conference on Software Engineering (ICSE 2024). Lisbon, Portugal. 14-20 April 2024.
  5. [TASE2024] Jiacheng Jiang, Cheng Wen and Shengchao Qin. CtxFuzz: Discovering Heap-based Memory Vulnerabilities Through Context Heap Operation Sequence Guided Fuzzing. The 18th International Symposium on Theoretical Aspects of Software Engineering (TASE2024). 29-31 July, 2024, Guiyang, China.
  6. [TASE2024] Jie Su, Liansai Deng, Cheng Wen, Shengchao Qin and Cong Tian. CFStra: Enhancing Configurable Program Analysis Through LLM-driven Strategy Selection Based on Code Features. The 18th International Symposium on Theoretical Aspects of Software Engineering (TASE2024). 29-31 July, 2024, Guiyang, China.

  7. [SCIS23] Bihuan Chen, Yang Liu, Xin Peng, Yijian Wu, and Shengchao Qin. Baton: symphony of random testing and concolic testing through machine learning and taint analysis. Sci. China Inf. Sci. 66(3) (2023)
  8. [TREL23] Zhiwu Xu, Yazheng Liu, Shengchao Qin, and Zhong Ming. Output Range Analysis for Feed-Forward Deep Neural Networks via Linear Programming. IEEE Trans. Reliab. 72(3): 1191-1205 (2023)
  9. [TASE2023] Yulin Wu, Zhiwu Xu, and Shengchao Qin. Detecting API-Misuse Based on Pattern Mining via API Usage Graph with Parameters. 17th International Symposium on Theoretical Aspects of Software Engineering (TASE 2023). Bristol, UK, 4-6 July 2023.

  10. [ICSE2022] Cheng Wen, Mengda He, Bohao Wu, Zhiwu Xu, and Shengchao Qin. Controlled Concurrency Testing via Periodical Scheduling. The 44th International Conference on Software Engineering (ICSE 2022). Pittsburgh, PA, USA. 21-29 May 2022.

  11. [FSE2021] Yida Tao, Zhihui Chen, Yepang Liu, Jifeng Xuan, Zhiwu Xu, and Shengchao Qin. Demystifying "Bad” Error Messages in Data Science Libraries. The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2021). Athens, Greece. 23-28 August 2021.
  12. [TOSEM] Yida Tao, Shan Tang, Yepang Liu, Zhiwu Xu, and Shengchao Qin. Speeding up Data Manipulation Tasks with Alternative Implementations: An Exploratory Study. ACM Transactions on Software Engineering and Methodology. Volume 30, Issue 4, July 2021. pp 1–28.
  13. [PeerJCS] Zhiwu Xu, Cheng Wen, Shengchao Qin and Mengda He. Extracting automata from neural networks using active learning. PeerJ Computer Science. 7: e436 (2021).
  14. [JCST] Jingwen Xu, Yanhong Huang, Jianqi Shi, Shengchao Qin. A Multi-Agent Spatial Logic for Scenario-Based Decision Modeling and Verification in Platoon Systems. Journal of Computer Science and Technology. 36(6): 1231-1247 (2021).
  15. [JIMS] Wanyou Lv, Jianwen Xiong, Jianqi Shi, Yanhong Huang, and Shengchao Qin. A Deep Convolution Generative Adversarial Networks Based Fuzzing Framework For Industry Control Protocols. Journal of Intelligent Manufacturing (JIMS). 32, pages 441–457(2021). Springer.
  16. [ICME2021] Binyu Tian, Qing Guo, Felix Juefei Xu, Wei Le Chan, Yupeng Cheng, Xiaohong Li, Xiaofei Xie and Shengchao Qin. Bias Field Poses a Threat to DNN-based X-Ray Recognition. IEEE International Conference on Multimedia and Expo (ICME) 2021. 5-9 July 2021.
  17. [TSE] Jingyi Wang, Jun Sun, Shengchao Qin and Cyrille Jegourel. Automatically 'Verifying' Discrete-Time Complex Systems through Learning, Abstraction and Refinement. (DOI). IEEE Transactions on Software Engineering. 47(1):189-203. 2021.

  18. [ASE2020] Yida Tao, Jiefang Jiang, Yepang Liu, Zhiwu Xu, Shengchao Qin. Understanding Performance Concerns in the API Documentation of Data Science Libraries. The 35th IEEE/ACM International Conference on Automated Software Engineering (ASE 2020). 21-25 September 2020, Melbourne, Australia. Held virtually in September 2020.
  19. [ICSE2020a] Cheng Wen, Haijun Wang, Yuekang Li, Shengchao Qin, Yang Liu, Zhiwu Xu, Hongxu Chen, Xiaofei Xie, Geguang Pu, Ting Liu. MemLock: Memory Usage Guided Fuzzing. 42nd International Conference on Software Engineering (ICSE 2020), 5-11 October 2020, Seoul, South Korea. Held virtually on 6-11 July 2020.
  20. [ICSE2020b] Haijun Wang, Xiaofei Xie, Yi Li, Cheng Wen, Yuekang Li, Yang Liu, Shengchao Qin, Hongxu Chen, Yulei Sui. Typestate-Guided Fuzzer for Discovering Use-after-Free Vulnerabilities. 42nd International Conference on Software Engineering (ICSE 2020), 5-11 October 2020, Seoul, South Korea.Held virtually on 6-11 July 2020.
  21. [ICRA2020] Chao Huang, Xin Chen, Enyi Tang, Mengda He, Lei Bu, Shengchao Qin, Yifeng Zeng. Navigating Discrete Difference Equation Governed WMR by Virtual Linear Leader Guided HMPC. International Conference on Robotics and Automation (ICRA 2020). 31 May - 4 June 2020. Paris, France. Held virtually between 31 May - 31 August 2020.
  22. [TASE2020] Zhiwu Xu, Xiongya Hu, Yida Tao and Shengchao Qin. Analyzing Cryptographic API Usages for Android Applications. 14th International Symposium on Theoretical Aspects of Software Engineering (TASE 2020). 15-17 Jul 2020, Hangzhou, China.
  23. [TASE2020] Wanling Xie, Huibiao Zhu and Shengchao Qin. An Axiomatic Approach to BigrTiMo. 14th International Symposium on Theoretical Aspects of Software Engineering (TASE 2020). 15-17 Jul 2020, Hangzhou, China.

  24. [FSE2019] Haijun Wang, Xie Xiaofei, Shang-Wei Lin, Yun Lin, Yuekang Li, Shengchao Qin, Yang Liu and Ting Liu. Locating Vulnerabilities in Binaries via Memory Layout Recovering . The 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2019). Tallinn, Estonia. 26-30 August 2019.
  25. [ASE2019] Yida Tao, Shan Tang, Yepang Liu, Zhiwu Xu, and Shengchao Qin. How Do API Selections Affect the Runtime Performance of Data Analytics Tasks? The 34th IEEE/ACM International Conference on Automated Software Engineering (new ideas). San Diego, USA, Nov. 2019.
  26. [ATVA2019] Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun and Shengchao Qin. Enhancing Symbolic Execution of Heap-based Programs with Separation Logic for Test Input Generation. International Symposium on Automated Technology for Verification and Analysis (ATVA 2019). Taipei. 28-31 October 2019.
  27. [TREL] Zhiwu Xu, Cheng Wen and Shengchao Qin. Type Learning for Binaries and its Applications. IEEE Transactions on Reliability. 68(3):893-912. September 2019.
  28. [ICECCS2019] Christopher Curry, Quang Loc Le, Shengchao Qin. Bi-Abductive Inference for Shape and Ordering Properties. 24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019), Guangzhou, China, November 10-13, 2019. IEEE Press. Pages: 220-225.

  29. [APLAS2018] Andreea Costea, Wei-Ngan Chin, Shengchao Qin and Florin Craciun. Automated Modular Verification for Relaxed Communication Protocols. The 16th Asian Symposium on Programming Languages and Systems (APLAS). Wellington, New Zealand. 2-6 Dec 2018.
  30. [ICECCS2018] Florin Craciun, Wei-Ngan Chin and Shengchao Qin. Variant Region Types. The 23rd International Conference on Engineering of Complex Computer Systems (ICECCS 2018). Melbourne, Australia. 12-14 December 2018.
  31. [ICFEM2018] Wanling Xie, Huibiao Zhu and Shengchao Qin. UTP Semantics for BigrTiMo. The 20th International Conference on Formal Engineering Methods (ICFEM 2018). Gold Coast, Australia. 12-16 November 2018.
  32. [ICFEM2018] Zhiwu Xu, Kerong Ren, Shengchao Qin and Florin Craciun. CDGDroid: Android Malware Detection Based on Deep Learning using CFG and DFG. The 20th International Conference on Formal Engineering Methods (ICFEM 2018). Gold Coast, Australia. 12-16 November 2018.
  33. [TASE2018] Mengda He, Shengchao Qin and Joao Ferreira. Towards a Program Logic for C11 Release Sequences. The 12th International Symposium on Theoretical Aspects of Software Engineering (TASE 2018). Guangzhou, China. 29-31 August 2018.
  34. [FM2018] Jingyi Wang, Jun Sun, Yifan Jia, Shengchao Qin and Zhiwu Xu. Towards 'Verifying' a Water Treatment System. 22nd International Symposium on Formal Methods (FM 2018), 15-17 July 2018, Oxford, UK.
  35. [TACAS2018] Quang Loc Le, Jun Sun, Shengchao Qin. Frame Inference for Inductive Entailment Proofs in Separation Logic. 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2018). LNCS 10805. Pages 41-60. Thessaloniki, Greece. 14-20 April 2018. (DOI)
  36. [SCP] Zhiwu Xu, Cheng Wen, Shengchao Qin. State-taint analysis for detecting resource bugs. Science of Computer Programming. 162:93-109 (2018). Elsevier. (DOI)
  37. [FAOC] Ling Shi, Yongxin Zhao, Yang Liu, Jun Sun, Jin Song Dong, and Shengchao Qin. A UTP semantics for communicating processes with shared variables and its formal encoding in PVS. Formal Aspects of Computing. 30(3-4):351-380. 2018. (DOI)
  38. [JSEP] Yuan Fei, Huibiao Zhu, Xi Wu, Huixing Fang, Shengchao Qin. Comparative modelling and verification of Pthreads and Dthreads. Journal of Software: Evolution and Process 30(3) (2018). (DOI)

  39. [SCP] Shengchao Qin, Guanhua He, Wei-Ngan Chin, Florin Craciun, Mengda He, Zhong Ming. Automated Specification Inference in a Combined Domain via User-Defined Predicates. Science of Computer Programming. 148:189-212 (2017). Elsevier. (DOI)
  40. [IJPP] Mengda He, Viktor Vafeiadis, Shengchao Qin, Joao F. Ferreira. GPS+: Reasoning about Fences and Relaxed Atomics. International Journal of Parallel Programming (2017).Pages 1-27. (DOI)
  41. [TSE] Xinyu Wang, Jun Sun, Ting Wang, and Shengchao Qin. Language Inclusion Checking of Timed Automata with Non-zenoness. IEEE Transactions on Software Engineering. 43(11):995-1008 (2017). (DOI)
  42. [SCP] Richard Banach, Michael Butler, Shengchao Qin, Huibiao Zhu. Core Hybrid Event-B II: Multiple Cooperating Hybrid Event-B Machines. Science of Computer Programming. 139:1-35 (2017). Elsevier. (DOI)
  43. [ICFEM2017] Jingyi Wang, Xiaohong Chen, Jun Sun, and Shengchao Qin. Improving Probability Estimation through Active Probabilistic Model Learning. 19th International Conference on Formal Engineering Methods. Xi'an, China. 13-17th Nov 2017.
  44. [ICFEM2017] Zhiwu Xu, Cheng Wen, and Shengchao Qin. Learning Types for Binaries. 19th International Conference on Formal Engineering Methods. Xi'an, China. 13-17th Nov 2017.
  45. [ICFEM2017] Hao Jiang, Hongli Yang, Shengchao Qin, Zhendong Su, Jian Zhang, and Jun Yan. Detecting Energy Bugs in Android Apps Using Static Analysis. 19th International Conference on Formal Engineering Methods. Xi'an, China. 13-17th Nov 2017.
  46. [TASE2017] Chunyan Mu and Shengchao Qin. Time-sensitive Information Flow Control in Timed Event-B. 11th International Symposium on Theoretical Aspects of Software Engineering (TASE 2017). Sophia Antipolis, France. 13-15 September 2017.
  47. [IJCAI2017] Chao Huang, Xin Chen, Yifan Zhang, Shengchao Qin, Yifeng Zeng, Xuandong Li. Switched Linear Multi-Robot Navigation Using Hierarchical Model Predictive Control. International Joint Conference on Artificial Intelligence (IJCAI-17). Melbourne. 19-25th August 2017.

  48. [IJCAI2016] Chao Huang, Xin Chen, Yifan Zhang, Shengchao Qin, Yifeng Zeng, Xuandong Li. Hierarchical Model Predictive Control for Navigation of Multi-Robot Systems. International Joint Conference on Artificial Intelligence (IJCAI-16). New York City. 9-15th July 2016.
  49. [PDP2016] Mengda He, Viktor Vafeiadis, Shengchao Qin, João F. Ferreira. Reasoning about Fences and Relaxed Atomics. 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2016). Pages 520-527. Heraklion, Crete, Greece, February 17-19, 2016.
  50. [TASE2016] Zhiwu Xu, Dongxiao Fan, Shengchao Qin: State-Taint Analysis for Detecting Resource Bugs. 10th International Symposium on Theoretical Aspects of Software Engineering (TASE 2016). Pages 168-175.
  51. [ICECCS2016] Zhimin Wu, Yi Xu, Akin Gunay, 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). Pages 135-144.
  52. [APSEC2016] 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). Pages 321-328.

  53. [FSE2015] Jun Sun, Hao Xiao, Yang Liu, Shang-Wei Lin and Shengchao Qin. TLV: Abstraction through Testing, Learning and Validation. The Joint Meeting of ACM SIGSOFT Symposium on the Foundations of Software Engineering and the European Software Engineering Conference (FSE/ESEC 2015). Bergamo, Italy. 2-4 Sep 2015. (acceptance rate 25.4%: 74/291)
  54. [PLDI2015] Ton Chanh Le, Shengchao Qin and Wei-Ngan Chin. Termination and Non-termination Specification Inference. The 36th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'15). Pages 489-498. The ACM Press. Portland, Oregon, United States, 13-17 June, 2015. (acceptance rate 19%: 58/303)
  55. [SCP] Richard Banach, Michael Butler, Shengchao Qin, Nitika Verma, and Huibiao Zhu. Core Hybrid Event-B I: Single Hybrid Event-B Machines. Science of Computer Programming. 105:92–123 (2015). (online)
  56. [IJCAI2015] Yifeng Zeng, Xuefeng Chen, Xin Cao, Shengchao Qin, Marc Cavazza, and Yanping Xiang. Optimal Route Search with the Coverage of Users' Preferences. International Joint Conference on Artificial Intelligence (IJCAI-15). Buenos Aires, Argentina. 25-31 July 2015. (acceptance rate 28.8%: 575/1996).
  57. [AAAI2015] Xuefeng Chen, Yifeng Zeng, Gao Cong, Shengchao Qin, Yanping Xiang, and Yuanshun Dai. On Information Coverage for Location Category Based Point-of-Interest Recommendation. The 29th AAAI Conference on Artificial Intelligence (AAAI-15). Pages 37-43. Austin, Texas, USA. 25-30 January 2015. (acceptance rate 26.67%: 531/1991)
  58. [FAOC] Huibiao Zhu, Jifeng He, Shengchao Qin, Phillip J. Brooke. Denotational semantics and its algebraic derivation for an event-driven system-level language. Formal Aspects of Computing. 27(1): 133-166 (2015).
  59. [FCS] Yanhong Huang, Jifeng He, Huibiao Zhu, Yongxin Zhao, Jianqi Shi, Shengchao Qin. Semantic theories of programs with nested interrupts. Frontiers of Computer Science. 9(3): 331-345 (2015).

  60. [CAV2014] Quang Loc Le, Cristian Gherghina, Shengchao Qin and Wei-Ngan Chin. Shape Analysis via Second-Order Bi-Abduction. 26th International Conference on Computer Aided Verification (CAV 2014). LNCS 8559. Pages:52-68. July 18-22, 2014. Vienna, Austria. (online demo)
  61. [SCP] Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin, and Hongli Yang. Automatically Refining Partial Specifications for Heap-Manipulating Programs. Science of Computer Programming. 82 (2014):56-76. Elsevier. (online)
  62. [STTT] Cristian Gherghina, Cristina David, Shengchao Qin and Wei-Ngan Chin. Expressive Program Verification via Structured Specifications. International Journal on Software Tools for Technology Transfer. 16(4):363-380. Springer. 2014.
  63. [STTT] Joao Ferreira, Cristian Gherghina, Guanhua He, Shengchao Qin and Wei Ngan Chin. Automated Verification of the FreeRTOS Scheduler in HIP/SLEEK. International Journal on Software Tools for Technology Transfer. 16(4):381-397. Springer. 2014.
  64. [TASE2014] Hongli Yang, Kai Ma, Jin Wang, Jun Yan, Jian Zhang, and Shengchao Qin. Choreography Scenario-Based Test Data Generation Using a Combinatorial Approach. 8th International Symposium on Theoretical Aspects of Software Engineering. 1-3 Sep 2014. Changsha, China. The IEEE CS Press.

  65. [JSC] Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin, and Xin Chen. Loop Invariant Synthesis in a Combined Abstract Domain. Journal of Symbolic Computation. 50 (2013): 386-408. Elsevier. (Available online)
  66. [ICFEM2013] Guanhua He, Shengchao Qin, Wei-Ngan Chin, and Florin Craciun. Automated Specification Discovery via User-Defined Predicates. The 15th International Conference on Formal Engineering Methods (ICFEM'13). LNCS 8144, pp. 398–415. Queenstown, New Zealand, 29 Oct - 1 Nov 2013.
  67. [EMSOFT2013] Liang Zou, Naijun Zhan,Shuling Wang, Martin Franzle, and Shengchao Qin. Verifying Simulink Diagrams via a Hybrid Hoare Logic Prover. International Conference on Embedded Software (EMSOFT'13). Sept 29 - Oct 04, 2013. Montreal, Canada. The ACM Press.
  68. [ICFEM2013] Yanhong Huang, Joao Ferreira, Guanhua He, Shengchao Qin, Jifeng He. Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts. The 15th International Conference on Formal Engineering Methods (ICFEM'13). LNCS 8144, pp. 166--182. Queenstown, New Zealand, 29 Oct - 1 Nov 2013.
  69. [ICFEM2013] Ling Shi, Yongxin Zhao, Yang Liu, Jun Sun, Jin Song Dong, and Shengchao Qin. A UTP Semantics for Communicating Processes with Shared Variables. The 15th International Conference on Formal Engineering Methods (ICFEM'13). Queenstown, New Zealand, 29 Oct - 1 Nov 2013.
  70. [TPFM2013] Shengchao Qin, Guanhua He, Wei-Ngan Chin, and 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. LNCS 8051, pp. 304--325. 1-3 September 2013.
  71. [FCS] Hongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao, Zongyan Qiu and Shengchao Qin. Algorithms for checking channel passing in web service choreography. Frontiers of Computer Science. Springer Berlin Heidelberg. 2013.
  72. [APSEC2013] Granville Barnett and Shengchao Qin. Data-Race-Freedom of Concurrent Programs. The 20th Asia-Pacific Software Engineering Conference (APSEC 2013). 2-5 December 2013. Bangkok, Thailand.
  73. [APSEC2013] Peng Liu, Huibiao Zhu, Shengchao Qin, Phil Brooke and Xi Wu. Linking the Semantics of BPEL using Maude. The 20th Asia-Pacific Software Engineering Conference (APSEC 2013). 2-5 December 2013. Bangkok, Thailand.

  74. [SCIS] Mengfei Yang, Zheng Wang, Geguang Pu, Shengchao Qin, Bin Gu, and Jifeng He. The Stochastic Semantics and Verification for Periodic Control Systems. Science China: Information Sciences. 55(12): 2675–2693. 2012. (DOI: 10.1007/s11432-012-4750-0)
  75. [ICFEM2012] Granville Barnett and Shengchao Qin. A Composable Mixed Mode Concurrency Control Semantics for Transactional Programs . The 14th International Conference on Formal Engineering Methods (ICFEM'12). Kyoto, Japan, 12-16 November, 2012.
  76. [FTSCS2012] Zheng Wang, Geguang Pu, Jianwen Li, Jifeng He, Shengchao Qin, Kim G. Larsen, Jan Madsen, Bin Gu. MDM: a Mode Diagram Modelling Framework for Periodic Control Systems. The 1st International Workshop on Formal Techniques for Safety-Critical Systems. Kyoto, Japan, 12 November 2012. EPTCS 105, 2012, pp. 135-149.
  77. [SEW2012] Yanhong Huang, Yongxin Zhao, Shengchao Qin, Guanhua He and Joao F. Ferreira. A Timed CSP Model for the Time-Triggered Language Giotto. 35th Annual IEEE Software Engineering Workshop. Heraclion, Crete, Greece, 12-13 October 2012.
  78. [SEFM2012] Huibiao Zhu, Qiwen Xu, Chris Ma, Shengchao Qin, and Zongyan Qiu. The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs. The 10th International Conference on Software Engineering and Formal Methods (SEFM'12). Thessaloniki, Greece. 1-5 October 2012.
  79. [SBMF2012] Yanghong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu and Shengchao Qin. Investigating Time Properties of Interrupt-Driven Programs. The 15th Brazilian Symposium on Formal Methods (SBMF'12). 23-28 September 2012. Natal-RN.
  80. [UTP2012] Huibiao Zhu, Peng Liu, Jifeng He and Shengchao Qin. Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog. The 4th International Symposium on Unifying Theories of Programming. 27-28 August 2012. Lecture Notes in Computer Science. Volume 7681. Paris, France.
  81. [UTP2012] Huibiao Zhu, Jeff W. Sanders, Jifeng He and Shengchao Qin. Denotational Semantics for a Probability Timed Shared-Variable Language. The 4th International Symposium on Unifying Theories of Programming. 27-28 August 2012. Lecture Notes in Computer Science. Volume 7681. Paris, France.
  82. [TASE2012] Granville Barnett and Shengchao Qin. Moverness for Locks and Transactions. The 6th International Symposium on Theoretical Aspects of Software Engineering (TASE'12). Beijing, China. 4-6 July 2012.
  83. [TASE2012] Joao Ferreira, Guanhua He, and Shengchao Qin. Automated Verification of the FreeRTOS Scheduler in HIP/SLEEK. The 6th International Symposium on Theoretical Aspects of Software Engineering (TASE'12). Beijing, China. 4-6 July 2012.
  84. [JLAP] Huibiao Zhu, Fan Yang, Jifeng He, Jonathan Bowen, Jeff W. Sanders, and Shengchao Qin. Linking Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable Language. Journal of Logic and Algebraic Programming. 81(1):2-25. 2012. Elsevier. (Available online)
  85. [SCP] Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, and Shengchao Qin. Automated Verification of Shape, Size and Bag Properties via User-Defined Predicates in Separation Logic. Science of Computer Programming. 77(9):1006-1036. 2012. Elsevier. (Available online)

  86. [TASE2011] Shengchao Qin, Aziem Chawdhary, Wei Xiong, Malcolm Munro, Zongyan Qiu, Huibiao Zhu. Towards an Axiomatic Verification System for JavaScript. The 5th International Symposium on Theoretical Aspects of Software Engineering (TASE'11). Pages 133-141. Xi'an, Shaanxi, China. IEEE CS Press.
  87. [CAV2011] Wei Ngan Chin, Cristian Gherghina, Razvan Voicu, Quang Loc Le, Florin Craciun and Shengchao Qin. A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification. Computer-Aided Verification (CAV 2011). Snowbird, Utah. July 2011. Lecture Notes in Computer Science 6806. Pages 293-309. Springer.
  88. [FM2011] Shengchao Qin, Chenguang Luo, Wei-Ngan Chin, and Guanhua He. Automatically Refining Partial Specifications for Program Verification. Formal Methods (FM2011). Limerick, Ireland. June 2011. Lecture Notes in Computer Science 6664. Pages 369-385. Springer.
  89. [FM2011] Cristian Gherghina, Cristina David, Shengchao Qin, and Wei-Ngan Chin. Structured Specifications for Better Verification of Heap-Manipulating Programs. Formal Methods (FM2011). Limerick, Ireland. June 2011. Lecture Notes in Computer Science 6664. Pages 386-401. Springer.

  90. [ICFEM2010] Shengchao Qin, Guanhua He, Chenguang Luo, and Wei-Ngan Chin. Loop Invariant Synthesis in a Combined Domain. Formal Methods and Software Engineering (ICFEM2010). Shanghai, China. November 2010. Lecture Notes in Computer Science. Springer.
  91. [ICFEM2010] Shengchao Qin, Chenguang Luo, Guanhua He, Florin Craciun, and Wei-Ngan Chin. Verifying Heap-Manipulating Programs with Unknown Procedure Calls. Formal Methods and Software Engineering (ICFEM2010). Shanghai, China. November 2010. Lecture Notes in Computer Science. Springer.
  92. [TASE2010] Shengyi Wang, Zongyan Qiu, Shengchao Qin, and Wei-Ngan Chin. Stack Bound Inference for Abstract Java Bytecode. The 4th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2010), Taipei, August 24 - 27, 2010.
  93. [JSC] Chenguang Luo, Florin Craciun, Shengchao Qin, Guanhua He, and Wei-Ngan Chin. Verifying Pointer Safety for Programs with Unknown Calls. Journal of Symbolic Computation. 45 (11): 1163-1183. Elsevier. (Available online)

  94. [ISSE] Huibiao Zhu, Shengchao Qin, Jifeng He, and Jonathan P. Bowen, PTSC: Probability, Time and Shared-Variable Concurrency. International Journal on Innovations in Systems and Software Engineering. 5(4): 271-284. Springer London. ISSN: 1614-5046. 2009. (online version at Springer).
  95. [ATVA2009] Guanhua He, Shengchao Qin, Chenguang Luo, and Wei-Ngan Chin. Memory Usage Verification Using Hip/Sleek. The 7th International Symposium on Automated Technology for Verification and Analysis. 14-16 October 2009. Macao SAR, China. Lecture Notes in Computer Science 5799. Pages 166-181. Springer.
  96. [WING2009] Florin Craciun, Chenguang Luo, Guanhua He, Shengchao Qin and Wei-Ngan Chin. Discovering Specifications for Unknown Procedures (Work in Progress). Presented at and included in the informal working proceedings of the 2nd International Workshop on Invariant Generation (WING'09). 29 March 2009, York, United Kingdom.
  97. [ESOP2009] Florin Craciun, Wei-Ngan Chin, Guanhua He, and Shengchao Qin. An Interval-based Inference of Variant Parametric Types. 18th European Symposium on Programming (ESOP'09). 25-27 March 2009, York, United Kingdom.

  98. [APSEC2008] Chenguang Luo, Guanhua He, and Shengchao Qin. A Heap Model for Java Bytecode to Support Separation Logic. The 15th Asia-Pacific Software Engineering Conference(APSEC'08). Beijing, China, 3-5 December 2008. The IEEE CS Press.
  99. [FCS] Chenguang Luo, Shengchao Qin, and Zongyan Qiu. Verifying BPEL-like Programs with Hoare Logic. Frontiers of Computer Science in China. 2(4):344-356, 2008. Springer. ISSN: 1673-7350.
  100. [ICFEM2008] Florin Craciun, Shengchao Qin, and Wei-Ngan Chin. A Formal Soundness Proof of Region-based Memory Management for Object-Oriented Paradigm. Formal Methods and Software Engineering (ICFEM08). Kitakyushu-City, Japan. 27-31 October 2008. Lecture Notes in Computer Science, Volume 5256. Pages 126-146.
  101. [TSE] Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun and Wang Yi. Timed Automata Patterns. IEEE Transactions on Software Engineering. 34 (6): 844-859. 2008.
  102. [TASE2008] Chenguang Luo, Shengchao Qin, and Zongyan Qiu. Verifying BPEL-like Programs with Hoare Logic. The 2nd IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering(TASE'08). Nanjing, China, 17-19 June 2008. The IEEE CS Press.
  103. [ISMM2008] Wei-Ngan Chin, Huu Hai Nguyen, Corneliu Popeea, and Shengchao Qin. Analysing Memory Resource Bounds for Low-Level Programs. The International Symposium on Memory Management (ISMM'08). 7-8 June, Tucson, Arizona. The ACM Press.
  104. [FICS2008] Chenguang Luo and Shengchao Qin. Separation Logic for Multiple Inheritance. The First International Conference on Foundations of Informatics, Computing and Software (FICS'08). June 3 - 6, 2008. Shanghai, China. Electronic Notes in Theoretical Computer Science, 212:27-40.
  105. [POPL2008] Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, and Shengchao Qin. Enhancing Modular OO Verification with Separation Logic. The 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2008). San Francisco, USA. January 10-12, 2008. The ACM Press.

  106. [HASE2007] Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, and Shengchao Qin. Multiple Pre/Post Specifications for Heap-Manipulating Methods. 10th IEEE High Assurance Systems Engineering Symposium (HASE'07). Dallas, Texas. November 14-16, 2007. IEEE CS Press.
  107. [ICECCS2007] Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, and Shengchao Qin. Automated Verification of Shape, Size and Bag Properties. 12th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'07). Pages 307-320. Auckland, New Zealand. July 2007. IEEE CS Press. ISBN: 0-7695-2895-3.
  108. [ICECCS2007] Shengchao Qin and Guanhua He. Linking Object-Z with Spec#. 12th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'07). Pages 185-196. Auckland, New Zealand. July 2007. IEEE CS Press. ISBN: 0-7695-2895-3.
  109. [TASE2007] Hai H. Wang, Shengchao Qin, Jun Sun and Jin Song Dong. Realizing Live Sequence Charts in SystemVerilog. 1st IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering (TASE'07). Pages 379-388. Shanghai, China. June 2007. IEEE CS Press. ISBN: 978-0-7695-2856-4.
  110. [VMCAI2007] Huu Hai Nguyen, Cristina David, Shengchao Qin, and Wei-Ngan Chin. Automated Verification of Shape and Size Properties via Separation Logic. VMCAI'07. Nice, France. January 2007. Lecture Notes in Computer Science 4349, Springer-Verlag.

  111. [ICSE2006] Jin Song Dong, Ping Hao, Xian Zhang, and Shengchao Qin. HighSpec: a Tool for Building and Checking OZTA Models. Proceeding of the 28th International Conference on Software Engineering (ICSE06). Pages 775--778. May, 2006. Shanghai, China. The ACM Press. ISBN:1-59593-375-1.
  112. [SEW2006] Huibiao Zhu, Shengchao Qin, Jifeng He, and Jonathan P. Bowen. Integrating Probability with Time and Shared-Variable Concurrency. The 30th Nasa/IEEE Software Engineering Workshop (SEW-30). April, 2006. Columbia, Maryland, USA.
  113. [UTP2006] Jifeng He, Shengchao Qin, and Adnan Sherif. Constructing Property-Oriented Models for Verification. First International Symposium on Unifying Theories of Programming. Walworth Castle, County Durham, UK, 5-7 Feburary, 2006. Lecture Notes in Computer Science 4010, Pages 85--100, Springer-Verlag. ISBN:3-540-34750-X.
  114. [ISSE] Shengchao Qin, Wei-Ngan Chin, Jifeng He, and Zongyan Qiu. From Statecharts to Verilog: a Formal Approach to Hardware/Software Co-Specification. International Journal on Innovations in Systems and Software Engineering. 2(1) :17-38. 2006. Springer London. ISSN: 1614-5046. (online version at Springer)

  115. [ICFEM2005] Jin Song Dong, Ping Hao, Shengchao Qin, and Xian Zhang. The Semantics and Tool Support of OZTA. Formal Methods and Software Engineering (ICFEM05), Manchester, UK. November 2005. Lecture Notes in Computer Science 3785, Springer-Verlag. ISBN: 3-540-29797-9.
  116. [SAS2005] Wei-Ngan Chin, Huu Hai Nguyen, Shengchao Qin, and Martin Rinard. Memory Usage Verification for OO Programs. The 12th International Static Analysis Symposium (SAS05), September 2005. Lecture Notes in Computer Science 3672, Springer-Verlag. ISBN: 3-540-28584-9.
  117. [ICSE2005] Wei-Ngan Chin, Siau-Cheng Khoo, Shengchao Qin, Corneliu Popeea, and Huu Hai Nguyen. Verifying Safety Policies with Size Properties and Alias Controls. 27th International Conference on Software Engineering (ICSE05), 15-21 May, 2005. St. Louis, Missouri, USA.

  118. [ICFEM2004] Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun and Yi Wang. Timed Patterns: TCOZ to Timed Automata. Formal Methods and Software Engineering (ICFEM04), Seattle, WA, USA. 8-12 Nov., 2004. Lecture Notes in Computer Science 3308, Springer-Verlag. ISBN: 3-540-23841-7.
  119. [APLAS2004] Jifeng He, Zhiming Liu, Xiaoshan Li, and Shengchao Qin. A Relational Model for Object-Oriented Designs. The Second ASIAN Symposium on Programming Languages and Systems (APLAS04). Taipei, Taiwan, 4-6 Nov. 2004. Lecture Notes in Computer Science, 3302, Springer-Verlag. ISBN: 3-540-23724-0.
  120. [ICTAC2004] Tran Vu Viet-Anh, Shengchao Qin, and Wei-Ngan Chin. An Automatic Mapping from Statecharts to Verilog. First International Colloquium on Theoretical Aspects of Computing (ICTAC04). Guiyang, China, 20-24 Sep. 2004. Lecture Notes in Computer Science, 3407, Springer-Verlag. ISBN 3-540-25304-1.
  121. [PLDI2004] Wei-Ngan Chin, Florin Craciun, Shengchao Qin and Martin Rinard. Region Inference for an Object-Oriented Language. ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation (PLDI04), June 9-11, 2004, Washington, DC, USA. ISBN:1-58113-807-5.
  122. [IFM2004] Jin Song Dong, Shengchao Qin and Jun Sun. Generating MSCs from an Integrated Formal Specification Language. Integrated Formal Methods (IFM04), Kent, UK, April, 2004. Lecture Notes in Computer Science 2999, Springer-Verlag. ISBN: 3-540-21377-5.

  123. [ICFEM2003] Quan Long, Zongyan Qiu and Shengchao Qin. The Equivalence of Statecharts. Formal Methods and Software Engineering (ICFEM03), Singapore, Nov. 2003. Lecture Notes in Computer Science 2885, Springer-Verlag. ISBN: 3-540-20461-X.
  124. [FM2003] Shengchao Qin, Jin Song Dong and Wei-Ngan Chin. A Semantic Foundation for TCOZ in Unifying Theories of Programming. Formal Methods (FM03), Pisa, Italy, Sep. 2003. Lecture Notes in Computer Science 2805, Springer-Verlag. ISBN: 3-540-40828-2.
  125. [FM2003] Shengchao Qin and Wei-Ngan Chin. Mapping Statecharts to VERILOG for Hardware/Software Co-Specification. Formal Methods (FM03), Pisa, Italy, Sep. 2003. Lecture Notes in Computer Science 2805, Springer-Verlag. ISBN: 3-540-40828-2.

  126. [ICFEM2002] Shengchao Qin, Jifeng He, Zongyan Qiu, and Naixiao Zhang. Hardware/Software Partitioning in Verilog. Formal Methods and Software Engineering (ICFEM02), Shanghai, Oct., 2002, Lecture Notes in Computer Science 2495, pp 168--179, Springer-Verlag. ISBN: 3-540-00029-1.
  127. [JCST] Shengchao Qin, Jifeng He, Zongyan Qiu, and Naixiao Zhang. An Algebraic Hardware/Software Partitioning Algorithm. Journal of Computer Science and Technology, pp 284--294, Vol.17, No.3, May, 2002. ISSN: 1000-9000.
  128. [QSIC2001] Shengchao Qin, Zongyan Qiu and Jifeng He. Constructing Hardware/software Interface Using Protocol Converters. in the proceedings of Second Asia-Pacific Conference on Quality Software (APAQS 2001, the predecessor of QSIC), IEEE Computer Society Press, pp 141--148, Hong Kong, 10-11 December, 2001. ISBN: 0-7695-1287-9.
  129. [APSEC2001] Shengchao Qin and Jifeng He. Partitioning Program into Hardware and Software. in the proceedings of Eighth Asia-Pacific Software Engineering Conference (APSEC 2001), IEEE Computer Society Press, pp 309--316, Macau, 4-7 December, 2001. ISBN: 0-7695-1408-1.
  130. [ICECS2000] Shengchao Qin and Jifeng He. An Algebraic Approach to Hardware/software Partitioning. in the proceedings of the 7th IEEE International Conference on Electronics, Circuits and Systems (ICECS 2000), IEEE Computer Society Press, pp 273--276, Jounieh, Lebanon, 17-20 December, 2000. ISBN: 0-7803-6542-9.

Editorship

Other Publications

Technical Reports