Theo dõi
Shengchao Qin
Shengchao Qin
Professor of Computer Science, Teesside University
Email được xác minh tại tees.ac.uk - Trang chủ
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
Automated verification of shape and size properties via separation logic
HH Nguyen, C David, S Qin, WN Chin
International Workshop on Verification, Model Checking, and Abstract …, 2007
2112007
Automated verification of shape, size and bag properties via user-defined predicates in separation logic
WN Chin, C David, HH Nguyen, S Qin
Science of Computer Programming 77 (9), 1006-1036, 2012
2102012
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
1512020
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
1292020
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
1032015
Timed automata patterns
JS Dong, P Hao, S Qin, J Sun, W Yi
IEEE Transactions on Software Engineering 34 (6), 844-859, 2008
1012008
Enhancing modular OO verification with separation logic
WN Chin, C David, HH Nguyen, S Qin
ACM SIGPLAN Notices 43 (1), 87-99, 2008
992008
Memory usage verification for oo programs
WN Chin, HH Nguyen, S Qin, M Rinard
International Static Analysis Symposium, 70-86, 2005
982005
Shape analysis via second-order bi-abduction
QL Le, C Gherghina, S Qin, WN Chin
Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014
842014
Analysing memory resource bounds for low-level programs
WN Chin, HH Nguyen, C Popeea, S Qin
Proceedings of the 7th international symposium on Memory management, 151-160, 2008
822008
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
782018
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
722013
On information coverage for location category based point-of-interest recommendation
X Chen, Y Zeng, G Cong, S Qin, Y Xiang, Y Dai
Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015
712015
Region inference for an object-oriented language
WN Chin, F Craciun, S Qin, M Rinard
ACM SIGPLAN Notices 39 (6), 243-254, 2004
682004
Timed patterns: TCOZ to timed automata
JS Dong, P Hao, SC Qin, J Sun, W Yi
Formal Methods and Software Engineering: 6th International Conference on …, 2004
672004
A semantic foundation for TCOZ in unifying theories of programming
S Qin, JS Dong, WN Chin
International Symposium of Formal Methods Europe, 321-340, 2003
652003
Optimal route search with the coverage of users' preferences
Y Zeng, X Chen, X Cao, S Qin, M Cavazza, Y Xiang
24th International Joint Conference on Artificial Intelligence, 2015
612015
Termination and non-termination specification inference
TC Le, S Qin, WN Chin
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015
602015
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
512017
Verifying safety policies with size properties and alias controls
WN Chin, SC Khoo, S Qin, C Popeea, HH Nguyen
Proceedings of the 27th international conference on Software engineering …, 2005
472005
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20