Shengchao Qin

Cited by

	All	Since 2019
Citations	3181	1413
h-index	29	20
i10-index	69	36

280

140

210

20032004200520062007200820092010201120122013201420152016201720182019202020212022202320249 23 59 57 51 103 139 101 121 128 123 136 107 157 190 203 204 198 246 272 259 231

Public access

View all

50 articles

10 articles

available

not available

Based on funding mandates

Co-authors

Wei Ngan ChinNational University of SingaporeVerified email at comp.nus.edu.sg
Sun JunProfessor of SCIS, SMUVerified email at smu.edu.sg
Guanhua HeTeesside University, UKVerified email at tees.ac.uk
Cheng WenGuangzhou Institute of Technology, Xidian UniversityVerified email at xidian.edu.cn
Cristina DavidUniversity of BristolVerified email at bristol.ac.uk
Florin CraciunAssociate Professor of Computer Science, Babes-Bolyai UniversityVerified email at ubbcluj.ro
Yang LiuNanyang Technological UniversityVerified email at ntu.edu.sg
Jin Song DongProfessor of Computer Science, National University of SingaporeVerified email at nus.edu.sg
Quang Loc LeUniversity College LondonVerified email at ucl.ac.uk
Yifeng ZengProfessor, Northumbria University, UKVerified email at northumbria.ac.uk
Mengda HeVerified email at tees.ac.uk
martin rinardMITVerified email at lcs.mit.edu
João F. FerreiraInstituto Superior Técnico (Univ. Lisboa) & INESC-IDVerified email at joaoff.com
Michael ButlerProfessor of Computer Science, University of SouthamptonVerified email at ecs.soton.ac.uk
Richard BanachSchool of Computer Science, University of ManchesterVerified email at cs.man.ac.uk
Wang YiProfessor of Embedded Systems, Uppsala UniversityVerified email at it.uu.se
Geguang PuProfessor of Computer Science, East China Normal UniversityVerified email at sei.ecnu.edu.cn
Corneliu PopeeaTechnische Universität MünchenVerified email at model.in.tum.de
Ton Chanh LeSenior Smart Contract Researcher, AlgorandVerified email at algorand.com
Jingyi WangAssistant Professor, Zhejiang UniversityVerified email at zju.edu.cn

Shengchao Qin

Professor of Computer Science, Teesside University

Verified email at tees.ac.uk - Homepage

Formal Methods Programming Languages Software Engineering Cybersecurity


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	211	2012
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	208	2007
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	135	2020
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	116	2020
Timed automata patterns JS Dong, P Hao, S Qin, J Sun, W Yi IEEE Transactions on Software Engineering 34 (6), 844-859, 2008	100	2008
Enhancing modular OO verification with separation logic WN Chin, C David, HH Nguyen, S Qin ACM SIGPLAN Notices 43 (1), 87-99, 2008	99	2008
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	98	2015
Memory usage verification for oo programs WN Chin, HH Nguyen, S Qin, M Rinard International Static Analysis Symposium, 70-86, 2005	96	2005
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	85	2014
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	79	2008
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	75	2013
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	70	2018
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	69	2015
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	69	2004
Region inference for an object-oriented language WN Chin, F Craciun, S Qin, M Rinard ACM SIGPLAN Notices 39 (6), 243-254, 2004	68	2004
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	67	2003
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	62	2015
Termination and non-termination specification inference TC Le, S Qin, WN Chin Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015	60	2015
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	48	2005
A relational model for object-oriented designs J He, Z Liu, X Li, S Qin, WN Chin	48	2004

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors