Shengchao Qin

Cited by

	All	Since 2016
Citations	2099	893
h-index	21	15
i10-index	51	26

200

100

150

20032004200520062007200820092010201120122013201420152016201720182019202020218 25 54 59 50 100 136 94 122 135 129 132 110 150 151 188 192 185 23

Co-authors

Wei Ngan ChinNational University of SingaporeVerified email at comp.nus.edu.sg
jun sunAssociate Professor of SIS, SMUVerified email at smu.edu.sg
Guanhua HeTeesside University, UKVerified email at tees.ac.uk
Cristina DavidUniversity of CambridgeVerified email at cam.ac.uk
Florin CraciunAssociate Professor of Computer Science, Babes-Bolyai UniversityVerified email at cs.ubbcluj.ro
Jin Song DongProfessor of Computer Science, National University of Singapore and Griffith UniversityVerified email at nus.edu.sg
Yang LiuUniversity Leadership Forum Chair Professor, Nanyang Technological UniversityVerified email at ntu.edu.sg
Cristian GherghinaGoogleVerified email at google.com
Yifeng ZengProfessor, Teesside University, UKVerified email at tees.ac.uk
Quang Loc LeUniversity College LondonVerified email at ucl.ac.uk
martin rinardMITVerified email at lcs.mit.edu
João F. FerreiraInstituto Superior Técnico (Univ. Lisboa) & INESC-IDVerified email at joaoff.com
Cheng WenCollege of Computer Science and Software Engineering (CSSE), Shenzhen UniversityVerified email at email.szu.edu.cn
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
Corneliu PopeeaTechnische Universität MünchenVerified email at model.in.tum.de
Mengda HeVerified email at tees.ac.uk
Wang YiProfessor of Embedded Systems, Uppsala UniversityVerified email at it.uu.se
Ton Chanh LeStevens Institute of TechnologyVerified email at stevens.edu
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 International Workshop on Verification, Model Checking, and Abstract …, 2007	201	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	170	2012
Enhancing modular OO verification with separation logic WN Chin, C David, HH Nguyen, S Qin ACM SIGPLAN Notices 43 (1), 87-99, 2008	92	2008
Memory usage verification for oo programs WN Chin, HH Nguyen, S Qin, M Rinard International Static Analysis Symposium, 70-86, 2005	87	2005
Timed automata patterns JS Dong, P Hao, S Qin, J Sun, W Yi IEEE Transactions on Software Engineering 34 (6), 844-859, 2008	79	2008
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	67	2008
Timed patterns: TCOZ to timed automata JS Dong, P Hao, SC Qin, J Sun, W Yi International Conference on Formal Engineering Methods, 483-498, 2004	64	2004
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	63	2015
Region inference for an object-oriented language WN Chin, F Craciun, S Qin, M Rinard ACM SIGPLAN Notices 39 (6), 243-254, 2004	62	2004
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	61	2003
Shape analysis via second-order bi-abduction QL Le, C Gherghina, S Qin, WN Chin International Conference on Computer Aided Verification, 52-68, 2014	53	2014
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	46	2004
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	44	2015
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	44	2013
Termination and non-termination specification inference TC Le, S Qin, WN Chin Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015	38	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	36	2015
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	28	2016
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 (4), 381-397, 2014	28	2014
Automated verification of shape, size and bag properties WN Chin, C David, HH Nguyen, S Qin 12th IEEE International Conference on Engineering Complex Computer Systems …, 2007	28	2007

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

Upload PDF

Follow this author

Cited by

Co-authors