default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDShengchao Qin
Person information
- affiliation: Teesside University, School of Computing, Middlesbrough, UK
- affiliation (2005 - 2010): Durham University, School of Engineering and Computing Scieneces, UK
- affiliation (PhD 2002): Peking University, School of Mathematical Sciences, Beijing, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j43]Lili Xiao
, Huibiao Zhu, Sini Chen, Mengda He, Shengchao Qin:
Trace Semantics for C++11 Memory Model. Formal Aspects Comput. 36(3): 14:1-14:24 (2024)- [j42]Cheng Wen, Yuandao Cai, Bin Zhang, Jie Su, Zhiwu Xu, Dugang Liu, Shengchao Qin, Zhong Ming, Cong Tian:
Automatically Inspecting Thousands of Static Bug Warnings with Large Language Model: How Far Are We? ACM Trans. Knowl. Discov. Data 18(7): 168 (2024) - [c105]Cheng Wen, Jialun Cao, Jie Su, Zhiwu Xu, Shengchao Qin, Mengda He, Haokun Li, Shing-Chi Cheung, Cong Tian:
Enchanting Program Specification Synthesis by Large Language Models Using Static Analysis and Program Verification. CAV (2) 2024: 302-328 - [c104]Zhiwu Xu, Bohao Wu, Cheng Wen, Bin Zhang, Shengchao Qin, Mengda He:
RPG: Rust Library Fuzzing with Pool-based Fuzz Target Generation and Generic Support. ICSE 2024: 124:1-124:13 - [c103]Jiacheng Jiang, Cheng Wen, Shengchao Qin:
CtxFuzz: Discovering Heap-Based Memory Vulnerabilities Through Context Heap Operation Sequence Guided Fuzzing. TASE 2024: 205-223 - [c102]Jie Su, Liansai Deng, Cheng Wen, Shengchao Qin, Cong Tian:
CFStra: Enhancing Configurable Program Analysis Through LLM-Driven Strategy Selection Based on Code Features. TASE 2024: 374-391 - [i10]Cheng Wen, Jialun Cao, Jie Su, Zhiwu Xu, Shengchao Qin, Mengda He, Haokun Li, Shing-Chi Cheung, Cong Tian:
Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification. CoRR abs/2404.00762 (2024) - [i9]Zhongyi Wang, Linyu Yang, Mingshuai Chen, Yixuan Bu, Zhiyang Li, Qiuye Wang, Shengchao Qin, Xiao Yi, Jianwei Yin:
Parf: Adaptive Parameter Refining for Abstract Interpretation. CoRR abs/2409.05794 (2024) - 2023
- [j41]Bihuan Chen, Yang Liu, Xin Peng, Yijian Wu, Shengchao Qin:
Baton: symphony of random testing and concolic testing through machine learning and taint analysis. Sci. China Inf. Sci. 66(3) (2023) - [j40]Zhiwu Xu, Yazheng Liu, Shengchao Qin, Zhong Ming:
Output Range Analysis for Feed-Forward Deep Neural Networks via Linear Programming. IEEE Trans. Reliab. 72(3): 1191-1205 (2023) - [c101]Yulin Wu, Zhiwu Xu, Shengchao Qin:
Detecting API-Misuse Based on Pattern Mining via API Usage Graph with Parameters. TASE 2023: 344-363 - 2022
- [j39]Zhong Ming, Lijun Zhang, Shengchao Qin:
Preface to Special Issue on Analysis and Verification of Intelligent Systems. Int. J. Softw. Informatics 12(4): 351-353 (2022) - [j38]Shucen Ma, Jianqi Shi, Yanhong Huang, Shengchao Qin, Zhe Hou:
Minimal-unsatisfiable-core-driven Local Explainability Analysis for Random Forest. Int. J. Softw. Informatics 12(4): 355-376 (2022) - [j37]Tao Xie, Shengchao Qin, Wenhui Zhang, Jun Sun, Lei Bu, Ge Li:
Preface. J. Comput. Sci. Technol. 37(1): 1-3 (2022) - [j36]Dominique Méry, Shengchao Qin:
Selected papers from The 13th International Symposium on Theoretical Aspects of Software Engineering 29 July - 1 August 2019, Guilin, China. Sci. Comput. Program. 218: 102804 (2022) - [c100]Lili Xiao, Huibiao Zhu, Mengda He, Shengchao Qin:
Algebraic Semantics for C++11 Memory Model. COMPSAC 2022: 1-6 - [c99]Cheng Wen, Mengda He, Bohao Wu, Zhiwu Xu, Shengchao Qin:
Controlled Concurrency Testing via Periodical Scheduling. ICSE 2022: 474-486 - [i8]Shucen Ma, Jianqi Shi, Yanhong Huang, Shengchao Qin, Zhe Hou:
MUC-driven Feature Importance Measurement and Adversarial Analysis for Random Forest. CoRR abs/2202.12512 (2022) - [i7]Quang Loc Le, Jun Sun, Long H. Pham, Shengchao Qin:
S2TD: a Separation Logic Verifier that Supports Reasoning of the Absence and Presence of Bugs. CoRR abs/2209.09327 (2022) - 2021
- [j35]Tao Xie, Shengchao Qin, Wenhui Zhang:
Preface. J. Comput. Sci. Technol. 36(6): 1229-1230 (2021) - [j34]Jingwen Xu, Yanhong Huang, Jianqi Shi, Shengchao Qin:
A Multi-Agent Spatial Logic for Scenario-Based Decision Modeling and Verification in Platoon Systems. J. Comput. Sci. Technol. 36(6): 1231-1247 (2021) - [j33]Wanyou Lv, Jiawen Xiong, Jianqi Shi, Yanhong Huang, Shengchao Qin:
A deep convolution generative adversarial networks based fuzzing framework for industry control protocols. J. Intell. Manuf. 32(2): 441-457 (2021) - [j32]Zhiwu Xu, Cheng Wen, Shengchao Qin, Mengda He:
Extracting automata from neural networks using active learning. PeerJ Comput. Sci. 7: e436 (2021) - [j31]Yida Tao, Shan Tang, Yepang Liu, Zhiwu Xu, Shengchao Qin:
Speeding Up Data Manipulation Tasks with Alternative Implementations: An Exploratory Study. ACM Trans. Softw. Eng. Methodol. 30(4): 49:1-49:28 (2021) - [j30]Jingyi Wang, Jun Sun, Shengchao Qin, Cyrille Jégourel:
Automatically 'Verifying' Discrete-Time Complex Systems through Learning, Abstraction and Refinement. IEEE Trans. Software Eng. 47(1): 189-203 (2021) - [c98]Binyu Tian, Qing Guo, Felix Juefei-Xu, Wen Le Chan, Yupeng Cheng, Xiaohong Li, Xiaofei Xie, Shengchao Qin:
Bias Field Poses a Threat to DNN-Based X-Ray Recognition. ICME 2021: 1-6 - [c97]Yida Tao, Zhihui Chen, Yepang Liu, Jifeng Xuan, Zhiwu Xu, Shengchao Qin:
Demystifying "bad" error messages in data science libraries. ESEC/SIGSOFT FSE 2021: 818-829 - [c96]Miao Tian, Jianqi Shi, Zhe Hou, Yanhong Huang, Shengchao Qin:
A Timed Automata based Automatic Framework for Verifying STL Properties of Simulink Models. TASE 2021: 151-158 - [e6]Shengchao Qin, Jim Woodcock, Wenhui Zhang:
Dependable Software Engineering. Theories, Tools, and Applications - 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings. Lecture Notes in Computer Science 13071, Springer 2021, ISBN 978-3-030-91264-2 [contents] - [i6]Andreea Costea, Wei-Ngan Chin, Florin Craciun, Shengchao Qin:
Automated Modular Verification for Race-Free Channels with Implicit and Explicit Synchronization. CoRR abs/2109.11802 (2021) - 2020
- [j29]Mengda He, Shengchao Qin, Zhiwu Xu:
A Program Logic for Reasoning About C11 Programs With Release-Sequences. IEEE Access 8: 173874-173903 (2020) - [c95]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. ICRA 2020: 151-157 - [c94]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. ICSE 2020: 765-777 - [c93]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. ICSE 2020: 999-1010 - [c92]Yida Tao, Jiefang Jiang, Yepang Liu, Zhiwu Xu, Shengchao Qin:
Understanding Performance Concerns in the API Documentation of Data Science Libraries. ASE 2020: 895-906 - [c91]Wanling Xie, Huibiao Zhu, Shengchao Qin:
An Axiomatic Approach to BigrTiMo. TASE 2020: 41-48 - [c90]Zhiwu Xu, Xiongya Hu, Yida Tao, Shengchao Qin:
Analyzing Cryptographic API Usages for Android Applications Using HMM and N-Gram. TASE 2020: 153-160 - [i5]Liming Zhai, Felix Juefei-Xu, Qing Guo, Xiaofei Xie, Lei Ma, Wei Feng, Shengchao Qin, Yang Liu:
It's Raining Cats or Dogs? Adversarial Rain Attack on DNN Perception. CoRR abs/2009.09205 (2020) - [i4]Binyu Tian, Qing Guo, Felix Juefei-Xu, Wen Le Chan, Yupeng Cheng, Xiaohong Li, Xiaofei Xie, Shengchao Qin:
Bias Field Poses a Threat to DNN-based X-Ray Recognition. CoRR abs/2009.09247 (2020)
2010 – 2019
- 2019
- [j28]Zhiwu Xu, Cheng Wen, Shengchao Qin:
Type Learning for Binaries and Its Applications. IEEE Trans. Reliab. 68(3): 893-912 (2019) - [c89]Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun, Shengchao Qin:
Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation. ATVA 2019: 209-227 - [c88]Christopher Curry, Quang Loc Le, Shengchao Qin:
Bi-Abductive Inference for Shape and Ordering Properties. ICECCS 2019: 220-225 - [c87]Yida Tao, Shan Tang, Yepang Liu, Zhiwu Xu, Shengchao Qin:
How Do API Selections Affect the Runtime Performance of Data Analytics Tasks? ASE 2019: 665-668 - [c86]Haijun Wang, Xiaofei Xie, Shang-Wei Lin, Yun Lin, Yuekang Li, Shengchao Qin, Yang Liu, Ting Liu:
Locating vulnerabilities in binaries via memory layout recovering. ESEC/SIGSOFT FSE 2019: 718-728 - [e5]Yamine Aït Ameur, Shengchao Qin:
Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings. Lecture Notes in Computer Science 11852, Springer 2019, ISBN 978-3-030-32408-7 [contents] - [e4]Dominique Méry, Shengchao Qin:
2019 International Symposium on Theoretical Aspects of Software Engineering, TASE 2019, Guilin, China, July 29-31, 2019. IEEE 2019, ISBN 978-1-7281-3342-3 [contents] - [i3]Wei-Ngan Chin, Ton Chanh Le, Shengchao Qin:
Automated Verification of CountDownLatch. CoRR abs/1908.09758 (2019) - 2018
- [j27]Ling Shi, Yongxin Zhao, Yang Liu, Jun Sun, Jin Song Dong, Shengchao Qin:
A UTP semantics for communicating processes with shared variables and its formal encoding in PVS. Formal Aspects Comput. 30(3-4): 351-380 (2018) - [j26]Mengda He, Viktor Vafeiadis, Shengchao Qin, João F. Ferreira:
GPS+: Reasoning About Fences and Relaxed Atomics. Int. J. Parallel Program. 46(6): 1157-1183 (2018) - [j25]Zhiwu Xu, Cheng Wen, Shengchao Qin:
State-taint analysis for detecting resource bugs. Sci. Comput. Program. 162: 93-109 (2018) - [j24]Yuan Fei, Huibiao Zhu, Xi Wu, Huixing Fang, Shengchao Qin:
Comparative modelling and verification of Pthreads and Dthreads. J. Softw. Evol. Process. 30(3) (2018) - [c85]Andreea Costea, Wei-Ngan Chin, Shengchao Qin, Florin Craciun:
Automated Modular Verification for Relaxed Communication Protocols. APLAS 2018: 284-305 - [c84]Jingyi Wang, Jun Sun, Yifan Jia, Shengchao Qin, Zhiwu Xu:
Towards 'Verifying' a Water Treatment System. FM 2018: 73-92 - [c83]Florin Craciun, Wei-Ngan Chin, Shengchao Qin:
Variant Region Types. ICECCS 2018: 126-135 - [c82]Zhiwu Xu, Kerong Ren, Shengchao Qin, Florin Craciun:
CDGDroid: Android Malware Detection Based on Deep Learning Using CFG and DFG. ICFEM 2018: 177-193 - [c81]Wanling Xie, Huibiao Zhu, Shengchao Qin:
UTP Semantics for BigrTiMo. ICFEM 2018: 337-353 - [c80]Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun, Shengchao Qin:
Testing heap-based programs with Java StarFinder. ICSE (Companion Volume) 2018: 268-269 - [c79]Quang Loc Le, Jun Sun, Shengchao Qin:
Frame Inference for Inductive Entailment Proofs in Separation Logic. TACAS (1) 2018: 41-60 - [c78]Mengda He, Shengchao Qin, João F. Ferreira:
Towards a Program Logic for C11 Release-Sequences. TASE 2018: 28-35 - 2017
- [j23]Richard Banach, Michael J. Butler, Shengchao Qin, Huibiao Zhu:
Core Hybrid Event-B II: Multiple cooperating Hybrid Event-B machines. Sci. Comput. Program. 139: 1-35 (2017) - [j22]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. 148: 189-212 (2017) - [j21]Xinyu Wang, Jun Sun, Ting Wang, Shengchao Qin:
Language Inclusion Checking of Timed Automata with Non-Zenoness. IEEE Trans. Software Eng. 43(11): 995-1008 (2017) - [c77]Yifeng Zeng, Zhang Zhang, The Anh Han, Iain R. Spears, Shengchao Qin:
Using Intention Recognition in a Simulation Platform to Assess Physical Activity Levels of an Office Building. AAMAS 2017: 1817-1819 - [c76]Hao Jiang, Hongli Yang, Shengchao Qin, Zhendong Su, Jian Zhang, Jun Yan:
Detecting Energy Bugs in Android Apps Using Static Analysis. ICFEM 2017: 192-208 - [c75]Jingyi Wang, Xiaohong Chen, Jun Sun, Shengchao Qin:
Improving Probability Estimation Through Active Probabilistic Model Learning. ICFEM 2017: 379-395 - [c74]Zhiwu Xu, Cheng Wen, Shengchao Qin:
Learning Types for Binaries. ICFEM 2017: 430-446 - [c73]Chao Huang, Xin Chen, Yifan Zhang, Shengchao Qin, Yifeng Zeng, Xuandong Li:
Switched Linear Multi-Robot Navigation Using Hierarchical Model Predictive Control. IJCAI 2017: 4331-4337 - [c72]Zhiwu Xu, Cheng Wen, Shengchao Qin, Zhong Ming:
Effective Malware Detection Based on Behaviour and Data Features. SmartCom 2017: 53-66 - [c71]Chunyan Mu, Shengchao Qin:
Time-sensitive information flow control in timed event-B. TASE 2017: 1-8 - 2016
- [j20]Yifeng Zeng, Xuefeng Chen, Gao Cong, Shengchao Qin, Jing Tang, Yanping Xiang:
Maximizing influence under influence loss constraint in social networks. Expert Syst. Appl. 55: 255-267 (2016) - [j19]Yachao Feng, Hongli Yang, Fei Wang, Wenjia Wu, Shengchao Qin:
基于UPPAAL的WSNs数据收集协议的建模与分析 (Modeling and Analyzing of WSNs Data Gathering Protocol Based on UPPAAL). 计算机科学 43(9): 124-130 (2016) - [c70]Haiping Pang, Ju Li, Yijia Ruan, Yanhong Huang, Jianqi Shi, Shengchao Qin:
Formalization and Verification of the Powerlink Protocol Using CSP. APSEC 2016: 321-328 - [c69]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. ICECCS 2016: 135-144 - [c68]Chao Huang, Xin Chen, Yifan Zhang, Shengchao Qin, Yifeng Zeng, Xuandong Li:
Hierarchical Model Predictive Control for Multi-Robot Navigation. IJCAI 2016: 3140-3146 - [c67]Mengda He, Viktor Vafeiadis, Shengchao Qin, João F. Ferreira:
Reasoning about Fences and Relaxed Atomics. PDP 2016: 520-527 - [c66]Zhiwu Xu, Dongxiao Fan, Shengchao Qin:
State-Taint Analysis for Detecting Resource Bugs. TASE 2016: 168-175 - [i2]Jingyi Wang, Jun Sun, Shengchao Qin:
Verifying Complex Systems Probabilistically through Learning, Abstraction and Refinement. CoRR abs/1610.06371 (2016) - 2015
- [j18]Huibiao Zhu, Jifeng He, Shengchao Qin, Phillip J. Brooke:
Denotational semantics and its algebraic derivation for an event-driven system-level language. Formal Aspects Comput. 27(1): 133-166 (2015) - [j17]Yanhong Huang, Jifeng He, Huibiao Zhu, Yongxin Zhao, Jianqi Shi, Shengchao Qin:
Semantic theories of programs with nested interrupts. Frontiers Comput. Sci. 9(3): 331-345 (2015) - [j16]Ke Liu, Hongli Yang, Ruifang Zhao, Husheng Liao, Yao Chen, Shengchao Qin:
XML Schema特征提取算法 (XML Schema Features Extraction Algorithm). 计算机科学 42(Z11): 438-443 (2015) - [j15]Richard Banach, Michael J. Butler, Shengchao Qin, Nitika Verma, Huibiao Zhu:
Core Hybrid Event-B I: Single Hybrid Event-B machines. Sci. Comput. Program. 105: 92-123 (2015) - [c65]Xuefeng Chen, Yifeng Zeng, Gao Cong, Shengchao Qin, Yanping Xiang, Yuanshun Dai:
On Information Coverage for Location Category Based Point-of-Interest Recommendation. AAAI 2015: 37-43 - [c64]Zhimin Wu, Yang Liu, Jun Sun, Jianqi Shi, Shengchao Qin:
GPU Accelerated On-the-Fly Reachability Checking. ICECCS 2015: 100-109 - [c63]Yanhong Huang, Yongxin Zhao, Shengchao Qin, Jifeng He:
Probabilistic Denotational Semantics for an Interrupt Modelling Language. ICECCS 2015: 160-169 - [c62]Yifeng Zeng, Xuefeng Chen, Xin Cao, Shengchao Qin, Marc Cavazza, Yanping Xiang:
Optimal Route Search with the Coverage of Users' Preferences. IJCAI 2015: 2118-2124 - [c61]Ton Chanh Le, Shengchao Qin, Wei-Ngan Chin:
Termination and non-termination specification inference. PLDI 2015: 489-498 - [c60]Jun Sun, Hao Xiao, Yang Liu, Shang-Wei Lin, Shengchao Qin:
TLV: abstraction through testing, learning, and validation. ESEC/SIGSOFT FSE 2015: 698-709 - 2014
- [j14]Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin, Hongli Yang:
Automatically refining partial specifications for heap-manipulating programs. Sci. Comput. Program. 82: 56-76 (2014) - [j13]Cristian Gherghina, Cristina David, Shengchao Qin, Wei-Ngan Chin:
Expressive program verification via structured specifications. Int. J. Softw. Tools Technol. Transf. 16(4): 363-380 (2014) - [j12]João F. Ferreira, Cristian Gherghina, Guanhua He, Shengchao Qin, Wei-Ngan Chin:
Automated verification of the FreeRTOS scheduler in Hip/Sleek. Int. J. Softw. Tools Technol. Transf. 16(4): 381-397 (2014) - [c59]Quang Loc Le, Cristian Gherghina, Shengchao Qin, Wei-Ngan Chin:
Shape Analysis via Second-Order Bi-Abduction. CAV 2014: 52-68 - [c58]Kai Ma, Jin Wang, Hongli Yang, Jun Yan, Jian Zhang, Shengchao Qin:
Choreography Scenario-Based Test Data Generation. TASE 2014: 70-73 - 2013
- [j11]Hongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao, Zongyan Qiu, Shengchao Qin:
Algorithms for checking channel passing in web service choreography. Frontiers Comput. Sci. 7(5): 710-728 (2013) - [j10]Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin, Xin Chen:
Loop invariant synthesis in a combined abstract domain. J. Symb. Comput. 50: 386-408 (2013) - [c57]Granville Barnett, Shengchao Qin:
Data-Race-Freedom of Concurrent Programs. APSEC (1) 2013: 272-279 - [c56]Peng Liu, Huibiao Zhu, Shengchao Qin, Phillip J. Brooke, Xi Wu:
Linking the Semantics of BPEL Using Maude. APSEC (1) 2013: 422-431 - [c55]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 2013: 304-325 - [c54]Liang Zou, Naijun Zhan, Shuling Wang, Martin Fränzle, Shengchao Qin:
Verifying Simulink diagrams via a Hybrid Hoare Logic Prover. EMSOFT 2013: 9:1-9:10 - [c53]Peng Liu, Huibiao Zhu, Shengchao Qin, Phillip J. Brooke, Xi Wu:
Linking Algebraic Semantics and Operational Semantics for Web Services Using Maude. ICECCS 2013: 260-263 - [c52]Yanhong Huang, João F. Ferreira, Guanhua He, Shengchao Qin, Jifeng He:
Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts. ICFEM 2013: 165-181 - [c51]Ling Shi, Yongxin Zhao, Yang Liu, Jun Sun, Jin Song Dong, Shengchao Qin:
A UTP Semantics for Communicating Processes with Shared Variables. ICFEM 2013: 215-230 - [c50]Guanhua He, Shengchao Qin, Wei-Ngan Chin, Florin Craciun:
Automated Specification Discovery via User-Defined Predicates. ICFEM 2013: 397-414 - 2012
- [j9]Mengfei Yang, Zheng Wang, Geguang Pu, Shengchao Qin, Bin Gu, Jifeng He:
The stochastic semantics and verification for periodic control systems. Sci. China Inf. Sci. 55(12): 2675-2693 (2012) - [j8]Huibiao Zhu, Fan Yang, Jifeng He, Jonathan P. Bowen, Jeff W. Sanders, Shengchao Qin:
Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language. J. Log. Algebraic Methods Program. 81(1): 2-25 (2012) - [j7]Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin:
Automated verification of shape, size and bag properties via user-defined predicates in separation logic. Sci. Comput. Program. 77(9): 1006-1036 (2012) - [c49]Granville Barnett, Shengchao Qin:
A Composable Mixed Mode Concurrency Control Semantics for Transactional Programs. ICFEM 2012: 38-53 - [c48]Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu, Shengchao Qin:
Investigating Time Properties of Interrupt-Driven Programs. SBMF 2012: 131-146 - [c47]Huibiao Zhu, Qiwen Xu, Chris Ma, Shengchao Qin, Zongyan Qiu:
The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs. SEFM 2012: 172-187 - [c46]Yanhong Huang, Yongxin Zhao, Shengchao Qin, Guanhua He, João F. Ferreira:
A Timed CSP Model for the Time-Triggered Language Giotto. SEW 2012: 110-119 - [c45]João F. Ferreira, Guanhua He, Shengchao Qin:
Automated Verification of the FreeRTOS Scheduler in HIP/SLEEK. TASE 2012: 51-58 - [c44]Granville Barnett, Shengchao Qin:
Moverness for Locks and Transactions. TASE 2012: 185-192 - [c43]Ryuta Arisaka, Shengchao Qin:
LBI Cut Elimination Proof with BI-MultiCut. TASE 2012: 235-238 - [c42]Huibiao Zhu, Peng Liu, Jifeng He, Shengchao Qin:
Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude. UTP 2012: 164-185 - [c41]Huibiao Zhu, Jeff W. Sanders, Jifeng He, Shengchao Qin:
Denotational Semantics for a Probabilistic Timed Shared-Variable Language. UTP 2012: 224-247 - [c40]Zheng Wang, Geguang Pu, Jianwen Li, Jifeng He, Shengchao Qin, Kim G. Larsen, Jan Madsen, Bin Gu:
MDM: A Mode Diagram Modeling Framework. FTSCS 2012: 135-149 - [i1]Zheng Wang, Geguang Pu, Shengchao Qin, Jianwen Li, Kim G. Larsen, Jan Madsen, Bin Gu, Jifeng He:
MDM: A Mode Diagram Modeling Framework for Periodic Control Systems. CoRR abs/1207.0922 (2012) - 2011
- [c39]Wei-Ngan Chin, Cristian Gherghina, Razvan Voicu, Quang Loc Le, Florin Craciun, Shengchao Qin:
A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification. CAV 2011: 293-309 - [c38]Shengchao Qin, Chenguang Luo, Wei-Ngan Chin, Guanhua He:
Automatically Refining Partial Specifications for Program Verification. FM 2011: 369-385 - [c37]Cristian Gherghina, Cristina David, Shengchao Qin, Wei-Ngan Chin:
Structured Specifications for Better Verification of Heap-Manipulating Programs. FM 2011: 386-401 - [c36]Shengchao Qin, Aziem Chawdhary, Wei Xiong, Malcolm Munro, Zongyan Qiu, Huibiao Zhu:
Towards an Axiomatic Verification System for JavaScript. TASE 2011: 133-141 - [e3]Shengchao Qin, Zongyan Qiu:
Formal Methods and Software Engineering - 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings. Lecture Notes in Computer Science 6991, Springer 2011, ISBN 978-3-642-24558-9 [contents] - 2010
- [j6]Chenguang Luo, Florin Craciun, Shengchao Qin, Guanhua He, Wei-Ngan Chin:
Verifying pointer safety for programs with unknown calls. J. Symb. Comput. 45(11): 1163-1183 (2010) - [c35]Florin Craciun, Chenguang Luo, Guanhua He, Shengchao Qin, Wei-Ngan Chin:
Discovering Specifications for Unknown Procedures - Work in Progress. WING@ETAPS/IJCAR 2010: 76-91 - [c34]Shengchao Qin, Chenguang Luo, Guanhua He, Florin Craciun, Wei-Ngan Chin:
Verifying Heap-Manipulating Programs with Unknown Procedure Calls. ICFEM 2010: 171-187 - [c33]Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin:
Loop Invariant Synthesis in a Combined Domain. ICFEM 2010: 468-484 - [c32]Shengyi Wang, Zongyan Qiu, Shengchao Qin, Wei-Ngan Chin:
Stack Bound Inference for Abstract Java Bytecode. TASE 2010: 57-66 - [e2]Shengchao Qin:
Unifying Theories of Programming - Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings. Lecture Notes in Computer Science 6445, Springer 2010, ISBN 978-3-642-16689-1 [contents]
2000 – 2009
- 2009
- [j5]Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P. Bowen:
PTSC: probability, time and shared-variable concurrency. Innov. Syst. Softw. Eng. 5(4): 271-284 (2009) - [c31]Guanhua He, Shengchao Qin, Chenguang Luo, Wei-Ngan Chin:
Memory Usage Verification Using Hip/Sleek. ATVA 2009: 166-181 - [c30]Florin Craciun, Wei-Ngan Chin, Guanhua He, Shengchao Qin:
An Interval-Based Inference of Variant Parametric Types. ESOP 2009: 112-127 - [e1]Wei-Ngan Chin, Shengchao Qin:
TASE 2009, Third IEEE International Symposium on Theoretical Aspects of Software Engineering, 29-31 July 2009, Tianjin, China. IEEE Computer Society 2009, ISBN 978-0-7695-3757-3 [contents] - 2008
- [j4]Chenguang Luo, Shengchao Qin, Zongyan Qiu:
Verifying BPEL-like programs with Hoare logic. Frontiers Comput. Sci. China 2(4): 344-356 (2008) - [j3]Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun, Wang Yi:
Timed Automata Patterns. IEEE Trans. Software Eng. 34(6): 844-859 (2008) - [c29]Chenguang Luo, Guanhua He, Shengchao Qin:
A Heap Model for Java Bytecode to Support Separation Logic. APSEC 2008: 127-134 - [c28]Florin Craciun, Shengchao Qin, Wei-Ngan Chin:
A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm. ICFEM 2008: 126-146 - [c27]Wei-Ngan Chin, Huu Hai Nguyen, Corneliu Popeea, Shengchao Qin:
Analysing memory resource bounds for low-level programs. ISMM 2008: 151-160 - [c26]Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin:
Enhancing modular OO verification with separation logic. POPL 2008: 87-99 - [c25]Chenguang Luo, Shengchao Qin, Zongyan Qiu:
Verifying BPEL-Like Programs with Hoare Logic. TASE 2008: 151-158 - [c24]Chenguang Luo, Shengchao Qin:
Separation Logic for Multiple Inheritance. FICS 2008: 27-40 - 2007
- [c23]Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin:
Multiple Pre/Post Specifications for Heap-Manipulating Methods. HASE 2007: 357-364 - [c22]Shengchao Qin, Guanhua He:
Linking Object-Z with Spec#. ICECCS 2007: 185-196 - [c21]Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin:
Automated Verification of Shape, Size and Bag Properties. ICECCS 2007: 307-320 - [c20]Hai H. Wang, Shengchao Qin, Jun Sun, Jin Song Dong:
Realizing Live Sequence Charts in SystemVerilog. TASE 2007: 379-388 - [c19]Huu Hai Nguyen, Cristina David, Shengchao Qin, Wei-Ngan Chin:
Automated Verification of Shape and Size Properties Via Separation Logic. VMCAI 2007: 251-266 - 2006
- [j2]Shengchao Qin, Wei-Ngan Chin, Jifeng He, Zongyan Qiu:
From Statecharts to Verilog: a formal approach to hardware/software co-specification. Innov. Syst. Softw. Eng. 2(1): 17-38 (2006) - [c18]Jin Song Dong, Ping Hao, Xian Zhang, Shengchao Qin:
HighSpec: a tool for building and checking OZTA models. ICSE 2006: 775-778 - [c17]Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P. Bowen:
Integrating Probability with Time and Shared-Variable Concurrency. SEW 2006: 179-189 - [c16]Jifeng He, Shengchao Qin, Adnan Sherif:
Constructing Property-Oriented Models for Verification. UTP 2006: 85-100 - 2005
- [c15]Jin Song Dong, Ping Hao, Shengchao Qin, Xian Zhang:
The Semantics and Tool Support of OZTA. ICFEM 2005: 66-80 - [c14]Wei-Ngan Chin, Siau-Cheng Khoo, Shengchao Qin, Corneliu Popeea, Huu Hai Nguyen:
Verifying safety policies with size properties and alias controls. ICSE 2005: 186-195 - [c13]Wei-Ngan Chin, Huu Hai Nguyen, Shengchao Qin, Martin C. Rinard:
Memory Usage Verification for OO Programs. SAS 2005: 70-86 - 2004
- [c12]Jifeng He, Zhiming Liu, Xiaoshan Li, Shengchao Qin:
A Relational Model for Object-Oriented Designs. APLAS 2004: 415-436 - [c11]Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun, Wang Yi:
Timed Patterns: TCOZ to Timed Automata. ICFEM 2004: 483-498 - [c10]Viet-Anh Vu Tran, Shengchao Qin, Wei-Ngan Chin:
An Automatic Mapping from Statecharts to Verilog. ICTAC 2004: 187-203 - [c9]Jin Song Dong, Shengchao Qin, Jun Sun:
Generating MSCs from an Integrated Formal Specification Language. IFM 2004: 168-186 - [c8]Wei-Ngan Chin, Florin Craciun, Shengchao Qin, Martin C. Rinard:
Region inference for an object-oriented language. PLDI 2004: 243-254 - 2003
- [c7]Shengchao Qin, Wei-Ngan Chin:
Mapping Statecharts to Verilog for Hardware/Software Co-specification. FME 2003: 282-300 - [c6]Shengchao Qin, Jin Song Dong, Wei-Ngan Chin:
A Semantic Foundation for TCOZ in Unifying Theories of Programming. FME 2003: 321-340 - [c5]Quan Long, Zongyan Qiu, Shengchao Qin:
The Equivalence of Statecharts. ICFEM 2003: 125-143 - 2002
- [j1]Shengchao Qin, Jifeng He, Zongyan Qiu, Naixiao Zhang:
An Algebraic Hardware/Software Partitioning Algorithm. J. Comput. Sci. Technol. 17(3): 284-294 (2002) - [c4]Shengchao Qin, Jifeng He, Zongyan Qiu, Naixiao Zhang:
Hardware/Software Partitioning in Verilog. ICFEM 2002: 168-179 - 2001
- [c3]Shengchao Qin, Zongyan Qiu, Jifeng He:
Constructing Hardware/Software Interface Using Protocol Converters. APAQS 2001: 141-148 - [c2]Shengchao Qin, Jifeng He:
Partitioning Program into Hardware and Software. APSEC 2001: 309-316 - 2000
- [c1]Shengchao Qin, Jifeng He:
An algebraic approach to hardware/software partitioning. ICECS 2000: 273-276
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-10 21:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
