Shengchao Qin

Cited by

	All	Since 2018
Citations	2670	1114
h-index	26	19
i10-index	60	30

280

140

210

20032004200520062007200820092010201120122013201420152016201720182019202020212022202310 23 57 59 51 100 136 102 117 129 130 134 113 144 193 196 182 198 235 265 37

Public access

View all

45 articles

7 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
Cristina DavidUniversity of BristolVerified email at bristol.ac.uk
Florin CraciunAssociate Professor of Computer Science, Babes-Bolyai UniversityVerified email at ubbcluj.ro
Jin Song DongProfessor of Computer Science, National University of SingaporeVerified email at nus.edu.sg
Yang LiuNanyang Technological UniversityVerified email at ntu.edu.sg
Cheng WenCollege of Computer Science and Software Engineering (CSSE), Shenzhen UniversityVerified email at email.szu.edu.cn
Quang Loc LeUniversity College LondonVerified email at ucl.ac.uk
Yifeng ZengProfessor, Northumbria University, UKVerified email at northumbria.ac.uk
martin rinardMITVerified email at lcs.mit.edu
João F. FerreiraInstituto Superior Técnico (Univ. Lisboa) & INESC-IDVerified email at joaoff.com
Mengda HeVerified email at tees.ac.uk
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
Corneliu PopeeaTechnische Universität MünchenVerified email at model.in.tum.de
Geguang PuProfessor of Computer Science, East China Normal UniversityVerified email at sei.ecnu.edu.cn
Ton Chanh LeSenior Smart Contract Researcher, AlgorandVerified email at algorand.com
Jonathan P. BowenEmeritus Professor of Computing, London South Bank UniversityVerified email at lsbu.ac.uk

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 and size properties via separation logic HH Nguyen, C David, S Qin, WN Chin Verification, Model Checking, and Abstract Interpretation: 8th International …, 2007	207	2007
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	197	2012
Timed automata patterns JS Dong, P Hao, S Qin, J Sun, W Yi IEEE Transactions on Software Engineering 34 (6), 844-859, 2008	96	2008
Enhancing modular OO verification with separation logic WN Chin, C David, HH Nguyen, S Qin ACM SIGPLAN Notices 43 (1), 87-99, 2008	95	2008
Memory usage verification for oo programs WN Chin, HH Nguyen, S Qin, M Rinard Static Analysis: 12th International Symposium, SAS 2005, London, UK …, 2005	93	2005
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	82	2020
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	82	2015
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	72	2008
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	67	2020
Region inference for an object-oriented language WN Chin, F Craciun, S Qin, M Rinard ACM SIGPLAN Notices 39 (6), 243-254, 2004	66	2004
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	65	2014
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	65	2013
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	65	2004
A semantic foundation for TCOZ in unifying theories of programming S Qin, JS Dong, WN Chin FME 3, 321-340, 2003	65	2003
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	60	2015
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	52	2015
Termination and non-termination specification inference TC Le, S Qin, WN Chin Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015	49	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 Springer, 2004	48	2004
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	41	2018

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