Follow
Shengchao Qin
Shengchao Qin
Professor of Computer Science, Teesside University
Verified email at tees.ac.uk - Homepage
Title
Cited by
Cited by
Year
2019 International Symposium on Theoretical Aspects of Software Engineering (TASE)
D Méry, S Qin
Theoretical Aspects of Software Engineering (TASE), 2019
2019
2020 International Symposium on Theoretical Aspects of Software Engineering (TASE)| 978-1-7281-4086-5/20/$31.00© 2020 IEEE| DOI: 10.1109/TASE49443. 2020.00039
S Arora, M Bonsangue, M Butler, CH Cai, W Cao, B Chen, X Chen, ...
2021 International Symposium on Theoretical Aspects of Software Engineering (TASE)| 978-1-6654-4163-6/21/$31.00© 2021 IEEE| DOI: 10.1109/TASE52547. 2021.00038
Y Bai, YL Bao, M Butler, A Cavalcanti, L Chen, N Chen, S Chen, W Chen, ...
4010
J He, S Qin, A Sherif
Lecture Notes in Computer Science-Springer 4010 (1), 58-100, 2006
2006
A composable mixed mode concurrency control semantics for transactional programs
G Barnett, S Qin
International Conference on Formal Engineering Methods, 38-53, 2012
22012
A deep convolution generative adversarial networks based fuzzing framework for industry control protocols
W Lv, J Xiong, J Shi, Y Huang, S Qin
Journal of Intelligent Manufacturing 32, 441-457, 2021
332021
A formal soundness proof of region-based memory management for object-oriented paradigm
F Craciun, S Qin, WN Chin
International Conference on Formal Engineering Methods, 126-146, 2008
52008
A heap model for java bytecode to support separation logic
C Luo, G He, S Qin
2008 15th Asia-Pacific Software Engineering Conference, 127-134, 2008
32008
A multi-agent spatial logic for scenario-based decision modeling and verification in platoon systems
J Xu, Y Huang, J Shi, S Qin
Journal of Computer Science and Technology 36, 1231-1247, 2021
12021
A Phased Sequent Calculus for Proof Searches in a Subset of BI (Technical Report)
R Arisaka, S Qin
A Program Logic for Reasoning About C11 Programs With Release-Sequences
M He, S Qin, Z Xu
IEEE Access 8, 173874-173903, 2020
2020
A relational model for object-oriented designs
J He, Z Liu, X Li, S Qin, WN Chin
472004
A relational model for object-oriented designs
H Jifeng, Z Liu, X Li, S Qin
Programming Languages and Systems: Second Asian Symposium, APLAS 2004 …, 2004
72004
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
662003
A Sized Type System for Objects with Alias Controls (Technical Report)
WN Chin, SC Khoo, S Qin
A specialization calculus for pruning disjunctive predicates to support verification
WN Chin, C Gherghina, R Voicu, QL Le, F Craciun, S Qin
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011
112011
A Timed Automata based Automatic Framework for Verifying STL Properties of Simulink Models
M Tian, J Shi, Z Hou, Y Huang, S Qin
2021 International Symposium on Theoretical Aspects of Software Engineering …, 2021
2021
A Timed CSP Model for the Time-Triggered Language Giotto
Y Huang, Y Zhao, S Qin, G He, JF Ferreira
2012 35th Annual IEEE Software Engineering Workshop, 110-119, 2012
2012
A UTP semantics for communicating processes with shared variables
L Shi, Y Zhao, Y Liu, J Sun, JS Dong, S Qin
Formal Methods and Software Engineering: 15th International Conference on …, 2013
112013
A UTP semantics for communicating processes with shared variables and its formal encoding in PVS
L Shi, Y Zhao, Y Liu, J Sun, JS Dong, S Qin
Formal Aspects of Computing 30, 351-380, 2018
92018
The system can't perform the operation now. Try again later.
Articles 1–20