Concepedia

Shengchao Qin

SQ

44

Publications

1.5K

Citations

23

H-Index

2002

Active since

Affiliations

Teesside University(Current)

Shenzhen University

National University of Singapore

Nanyang Technological University

Durham University

Shengchao Qin is an author at Teesside University specializing in engineering, computer science, and program analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisFormal VerificationFormal MethodsSoftware AnalysisVerificationAutomated ReasoningSoftware EngineeringComputer Engineering

Publications per year

2002–2024

44

Publications

44

Automated verification of shape, size and bag properties via user-defined predicates in separation logic

Wei-Ngan Chin, Cristina David, Huu Hai Nguyen et al. · Science of Computer Programming · 2010 · 131 citations

Geometric Modeling, Computational Logic, Engineering +14

Cheng Wen, Haijun Wang, Yuekang Li et al. · 2020 · 111 citations · Full text

Hardware Security, Uncontrolled Memory Consumption, Fuzzing Process +15

Typestate-guided fuzzer for discovering use-after-free vulnerabilities

Haijun Wang, Xiaofei Xie, Yi Li et al. · 2020 · 104 citations

Software Maintenance, Engineering, Verification +19

Timed Automata Patterns

Jin Dong, Ping Hao, Shengchao Qin et al. · IEEE Transactions on Software Engineering · 2008 · 76 citations · Full text

Engineering, Verification, Software Engineering +23

Core Hybrid Event-B I: Single Hybrid Event-B machines

Richard Banach, Michael Butler, Shengchao Qin et al. · Science of Computer Programming · 2015 · 69 citations · Full text

Event-driven Architecture, Cluster Computing, Engineering +8

Rows per page

1–5 of 44