Следене
Shengchao Qin
Shengchao Qin
Professor of Computer Science, Teesside University
Потвърден имейл адрес: tees.ac.uk - Начална страница
Заглавие
Позовавания
Позовавания
Година
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
2062012
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
2042007
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
1222020
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
1072020
Timed automata patterns
JS Dong, P Hao, S Qin, J Sun, W Yi
IEEE Transactions on Software Engineering 34 (6), 844-859, 2008
1002008
Enhancing modular OO verification with separation logic
WN Chin, C David, HH Nguyen, S Qin
ACM SIGPLAN Notices 43 (1), 87-99, 2008
982008
Memory usage verification for oo programs
WN Chin, HH Nguyen, S Qin, M Rinard
International Static Analysis Symposium, 70-86, 2005
942005
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
932015
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
772014
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
752008
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
742013
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
692004
Region inference for an object-oriented language
WN Chin, F Craciun, S Qin, M Rinard
ACM SIGPLAN Notices 39 (6), 243-254, 2004
682004
A semantic foundation for TCOZ in unifying theories of programming
S Qin, JS Dong, WN Chin
FME 2003: Formal Methods: International Symposium of Formal Methods Europe …, 2003
652003
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
622015
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
592018
Termination and non-termination specification inference
TC Le, S Qin, WN Chin
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015
582015
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
572015
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
482017
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
482005
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20