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
- 2025
[j44]Chirine Riachy, Mengda He, Sina Joneidy, Shengchao Qin, Tim Payne, Graeme Boulton, Annalisa Occhipinti, Claudio Angione:
Enhancing deep learning for demand forecasting to address large data gaps. Expert Syst. Appl. 268: 126200 (2025)- 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) - [c109]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 - [c108]Mengyan Zhao, Ran Tao, Yanhong Huang, Jianqi Shi, Shengchao Qin, Yang Yang:
NL2CTL: Automatic Generation of Formal Requirements Specifications via Large Language Models. ICFEM 2024: 1-17 - [c107]Dongdong An, Hao Zhang, Qin Zhao, Jing Liu, Jianqi Shi, Yanhong Huang, Yang Yang, Xu Liu, Shengchao Qin:
Graph Convolutional Network Robustness Verification Algorithm Based on Dual Approximation. ICFEM 2024: 146-161 - [c106]Zhiyuan Fu, Jiacheng Jiang, Cheng Wen, Zhiwu Xu, Shengchao Qin:
MemSpate: Memory Usage Protocol Guided Fuzzing. ICFEM 2024: 237-256 - [c105]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 - [c104]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. ASE 2024: 1082-1093 - [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]