Articles with public access mandates - Shengchao QinLearn more
Not available anywhere: 9
Expressive program verification via structured specifications
C Gherghina, C David, S Qin, WN Chin
International Journal on Software Tools for Technology Transfer 16, 363-380, 2014
Mandates: National Natural Science Foundation of China, UK Engineering and Physical …
Formalization and Verification of the Powerlink Protocol using CSP
H Pang, J Li, Y Ruan, Y Huang, J Shi, S Qin
2016 23rd Asia-Pacific Software Engineering Conference (APSEC), 321-328, 2016
Mandates: National Natural Science Foundation of China
Output range analysis for feed-forward deep neural networks via linear programming
Z Xu, Y Liu, S Qin, Z Ming
IEEE Transactions on Reliability 72 (3), 1191-1205, 2022
Mandates: National Natural Science Foundation of China
Towards a program logic for C11 release-sequences
M He, S Qin, J Ferreira
2018 International Symposium on Theoretical Aspects of Software Engineering …, 2018
Mandates: National Natural Science Foundation of China
Probabilistic Denotational Semantics for an Interrupt Modelling Language
Y Huang, Y Zhao, S Qin, J He
2015 20th International Conference on Engineering of Complex Computer …, 2015
Mandates: National Natural Science Foundation of China
Choreography Scenario-Based Test Data Generation
K Ma, J Wang, H Yang, J Yan, J Zhang, S Qin
2014 Theoretical Aspects of Software Engineering Conference, 70-73, 2014
Mandates: Chinese Academy of Sciences
Detecting API-Misuse Based on Pattern Mining via API Usage Graph with Parameters
Y Wu, Z Xu, S Qin
International Symposium on Theoretical Aspects of Software Engineering, 344-363, 2023
Mandates: National Natural Science Foundation of China
An Axiomatic Approach to BigrTiMo
W Xie, H Zhu, S Qin
2020 International Symposium on Theoretical Aspects of Software Engineering …, 2020
Mandates: National Natural Science Foundation of China
Data-Race-Freedom of Concurrent Programs
G Barnett, S Qin
2013 20th Asia-Pacific Software Engineering Conference (APSEC) 1, 272-279, 2013
Mandates: UK Engineering and Physical Sciences Research Council
Available somewhere: 52
Memlock: Memory usage guided fuzzing
C Wen, H Wang, Y Li, S Qin, Y Liu, Z Xu, H Chen, X Xie, G Pu, T Liu
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
Mandates: National Natural Science Foundation of China
Typestate-guided fuzzer for discovering use-after-free vulnerabilities
H Wang, X Xie, Y Li, C Wen, Y Li, Y Liu, S Qin, H Chen, Y Sui
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
Mandates: Australian Research Council, National Natural Science Foundation of China …
Core hybrid Event-B I: single hybrid Event-B machines
R Banach, M Butler, S Qin, N Verma, H Zhu
Science of Computer Programming 105, 92-123, 2015
Mandates: National Natural Science Foundation of China
Verifying simulink diagrams via a hybrid hoare logic prover
L Zou, N Zhany, S Wang, M Fränzle, S Qin
2013 Proceedings of the International Conference on Embedded Software …, 2013
Mandates: UK Engineering and Physical Sciences Research Council
CDGDroid: Android malware detection based on deep learning using CFG and DFG
Z Xu, K Ren, S Qin, F Craciun
Formal Methods and Software Engineering: 20th International Conference on …, 2018
Mandates: National Natural Science Foundation of China
Detecting energy bugs in android apps using static analysis
H Jiang, H Yang, S Qin, Z Su, J Zhang, J Yan
International Conference on Formal Engineering Methods, 192-208, 2017
Mandates: Chinese Academy of Sciences, National Natural Science Foundation of China
Automated verification of the FreeRTOS scheduler in Hip/Sleek
JF Ferreira, C Gherghina, G He, S Qin, WN Chin
International Journal on Software Tools for Technology Transfer 16, 381-397, 2014
Mandates: National Natural Science Foundation of China, UK Engineering and Physical …
A deep convolution generative adversarial networks based fuzzing framework for industry control protocols
W Lv, J Xiong, J Shi, Y Huang, S Qin
Journal of Intelligent Manufacturing 32, 441-457, 2021
Mandates: National Natural Science Foundation of China
Maximizing influence under influence loss constraint in social networks
Y Zeng, X Chen, G Cong, S Qin, J Tang, Y Xiang
Expert Systems with Applications 55, 255-267, 2016
Mandates: National Natural Science Foundation of China
Bias field poses a threat to dnn-based x-ray recognition
B Tian, Q Guo, F Juefei-Xu, W Le Chan, Y Cheng, X Li, X Xie, S Qin
2021 IEEE international conference on multimedia and expo (ICME), 1-6, 2021
Mandates: US National Science Foundation, National Natural Science Foundation of China
Core hybrid Event-B II: multiple cooperating hybrid Event-B machines
R Banach, M Butler, S Qin, H Zhu
Science of Computer Programming 139, 1-35, 2017
Mandates: National Natural Science Foundation of China
Publication and funding information is determined automatically by a computer program