Shengchao Qin
Shengchao Qin
Professor of Computer Science, Teesside University
Verified email at tees.ac.uk - Homepage
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
2002007
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
1662012
Enhancing modular OO verification with separation logic
WN Chin, C David, HH Nguyen, S Qin
ACM SIGPLAN Notices 43 (1), 87-99, 2008
892008
Memory usage verification for OO programs
WN Chin, HH Nguyen, S Qin, M Rinard
International Static Analysis Symposium, 70-86, 2005
852005
Timed automata patterns
JS Dong, P Hao, S Qin, J Sun, W Yi
IEEE Transactions on Software Engineering 34 (6), 844-859, 2008
782008
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
622008
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
612004
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
582003
Region inference for an object-oriented language
WN Chin, F Craciun, S Qin, M Rinard
ACM SIGPLAN Notices 39 (6), 243-254, 2004
572004
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
562015
Shape analysis via second-order bi-abduction
QL Le, C Gherghina, S Qin, WN Chin
International Conference on Computer Aided Verification, 52-68, 2014
482014
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
A relational model for object-oriented designs.
J He, Z Liu, X Li, S Qin
Springer, 2004
442004
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
432013
On information coverage for location category based point-of-interest recommendation
X Chen, Y Zeng, G Cong, S Qin, Y Xiang, Y Dai
29th AAAI Conference on Artificial Intelligence, 2015
382015
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
352015
Termination and non-termination specification inference
TC Le, S Qin, WN Chin
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language†…, 2015
312015
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
282007
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
272014
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
262016
The system can't perform the operation now. Try again later.
Articles 1–20