If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Article
2020

A Deep Convolution Generative Adversarial Networks Based Fuzzing Framework For Industry Control Protocols

Lv, W., Xiong, J., Shi, J., Huang, Y. & Qin, S., 28 Apr 2020, (Accepted/In press) In : Journal of Intelligent Manufacturing.

Research output: Contribution to journalArticle

A Program Logic for Reasoning About C11 Programs With Release-Sequences

He, M., Qin, S. & Xu, Z., 18 Sep 2020, In : IEEE Access.

Research output: Contribution to journalArticle

Open Access
File
17 Downloads (Pure)
2018

Automatically ‘Verifying’ Discrete-Time Complex Systems through Learning, Abstraction and Refinement

Wang, J., Sun, J., Qin, S. & Jegourel, C., 14 Dec 2018, In : IEEE Transactions on Software Engineering. 15 p.

Research output: Contribution to journalArticle

Open Access
File
212 Downloads (Pure)

A UTP semantics for communicating processes with shared variables and its formal encoding in PVS

Shi, L., Zhao, Y., Liu, Y., Sun, J., Dong, J. S. & Qin, S., 1 Aug 2018, In : Formal Aspects of Computing. 30, 3-4, p. 351-380 30 p.

Research output: Contribution to journalArticle

Open Access
File
138 Downloads (Pure)

Type Learning for Binaries and its Applications

Xu, Z., Wen, C. & Qin, S., 25 Dec 2018, In : IEEE Transactions on Reliability. 68, 3, p. 893-912 20 p.

Research output: Contribution to journalArticle

Open Access
File
184 Downloads (Pure)
2017

Automated Specification Inference in a Combined Domain via User-Defined Predicates

Qin, S., He, G., Chin, W-N., Craciun, F., He, M. & Ming, Z., 19 Jun 2017, In : Science of Computer Programming. p. -

Research output: Contribution to journalArticle

Open Access
File
177 Downloads (Pure)

Comparative modelling and verification of Pthreads and Dthreads

Fei, Y., Zhu, H., Wu, X., Fang, H. & Qin, S., 17 Nov 2017, In : Journal of Software: Evolution and Process. p. -

Research output: Contribution to journalArticle

Open Access
File
143 Downloads (Pure)

Core Hybrid Event-B II: Multiple cooperating Hybrid Event-B machines

Banach, R., Butler, M., Qin, S. & Zhu, H., 1 Jun 2017, In : Science of Computer Programming. 139, p. 1-35 35 p.

Research output: Contribution to journalArticle

Open Access
File
5 Citations (Scopus)
123 Downloads (Pure)

Detecting Energy Bugs in Android Apps Using Static Analysis

Jiang, H., Yang, H., Qin, S., Su, Z., Zhang, J. & Yan, J., 11 Oct 2017, In : Lecture Notes in Computer Science. p. -

Research output: Contribution to journalArticle

Open Access
File
264 Downloads (Pure)

GPS+: Reasoning About Fences and Relaxed Atomics

He, M., Vafeiadis, V., Qin, S. & Ferreira, J., 26 Sep 2017, In : International Journal of Parallel Programming. p. 1-27

Research output: Contribution to journalArticle

Open Access
File
174 Downloads (Pure)

Improving Probability Estimation Through Active Probabilistic Model Learning

Wang, J., Chen, X., Sun, J. & Qin, S., 11 Oct 2017, In : Lecture Notes in Computer Science. p. -

Research output: Contribution to journalArticle

Open Access
File
102 Downloads (Pure)

Language Inclusion Checking of Timed Automata with Non-Zenoness

Wang, X., Sun, J., Wang, T. & Qin, S., 16 Jan 2017, In : IEEE Transactions on Software Engineering. p. -

Research output: Contribution to journalArticle

Open Access
File
172 Downloads (Pure)

Learning Types for Binaries

Xu, Z., Wen, C. & Qin, S., 11 Oct 2017, In : Lecture Notes in Computer Science. p. -

Research output: Contribution to journalArticle

Open Access
File
132 Downloads (Pure)

State-taint analysis for detecting resource bugs

Xu, Z., Wen, C. & Qin, S., 30 Jun 2017, In : Science of Computer Programming. 162, p. 93-109

Research output: Contribution to journalArticle

Open Access
File
139 Downloads (Pure)
2016

Maximizing influence under influence loss constraint in social networks

Zeng, Y., Chen, X., Cong, G., Qin, S., Tang, J. & Xiang, Y., 15 Aug 2016, In : Expert Systems with Applications. 55, p. 255-267 13 p.

Research output: Contribution to journalArticle

8 Citations (Scopus)
2015

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

Banach, R., Butler, M., Qin, S., Verma, N. & Zhu, H., 2015, In : Science of Computer Programming. 105, p. 92-123

Research output: Contribution to journalArticle

Open Access
File
126 Downloads (Pure)

Semantic theories of programs with nested interrupts

Huang, Y., He, J., Zhao, Y., Qin, S. & Shi, J., 2015, In : Frontiers of Computer Science.

Research output: Contribution to journalArticle

2014

Automated verification of the FreeRTOS scheduler in Hip/Sleek

Ferreira, J., Gherghina, C., He, G., Qin, S. & Chin, W-N., 18 Mar 2014, In : International Journal on Software Tools for Technology Transfer. p. -

Research output: Contribution to journalArticle

Open Access
File
153 Downloads (Pure)

Automatically refining partial specifications for heap-manipulating programs

Qin, S., He, G., Luo, C., Chin, W. & Yang, H., 1 Mar 2014, In : Science of Computer Programming. 82, p. 56-76

Research output: Contribution to journalArticle

Open Access

Denotational semantics and its algebraic derivation for an event-driven system-level language

Zhu, H., He, J., Qin, S. & Brooke, P., 13 Aug 2014, In : Formal Aspects of Computing. p. -

Research output: Contribution to journalArticle

Open Access
File
159 Downloads (Pure)

Expressive program verification via structured specifications

Gherghina, C., David, C., Qin, S. & Chin, W-N., 2014, In : International Journal on Software Tools for Technology Transfer. 16, 4, p. 363-380

Research output: Contribution to journalArticle

2013

Loop invariant synthesis in a combined abstract domain

Qin, S., He, G., Luo, C., Chin, W-N. & Chen, X., 2013, In : Journal of Symbolic Computation. 50, p. 386-408

Research output: Contribution to journalArticle

File
189 Downloads (Pure)
2012

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

Chin, W-N., David, C., Nguyen, H. H. & Qin, S., Aug 2012, In : Science of Computer Programming. 77, 9, p. 1006-1036

Research output: Contribution to journalArticle

Open Access
File
116 Downloads (Pure)

Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language

Zhu, H., Yang, F., He, J., Bowen, J. P., Sanders, J. W. & Qin, S., 2012, In : Journal of Logic and Algebraic Programming. 81, 1, p. 2-25

Research output: Contribution to journalArticle

The stochastic semantics and verification for periodic control systems

Yang, M., Wang, Z., Pu, G., Qin, S., Gu, B. & He, J., 2012, In : Science China Information Sciences. 55, 12, p. 2675-2693

Research output: Contribution to journalArticle

2010

Verifying pointer safety for programs with unknown calls

Luo, C., Craciun, F., Qin, S., He, G. & Chin, W-N., Nov 2010, In : Journal of Symbolic Computation. 45, 11, p. 1163-1183

Research output: Contribution to journalArticle

2009

PTSC: probability, time and shared-variable concurrency

Zhu, H., Qin, S., He, J. & Bowen, J. P., 11 Aug 2009, In : Innovations in Systems and Software Engineering. 5, 4

Research output: Contribution to journalArticle

2008

Separation Logic for Multiple Inheritance

Qin, S. & Luo, C., 2008, In : Electronic Notes in Theoretical Computer Science. 212, p. 27-40

Research output: Contribution to journalArticle

Open Access

Timed Automata Patterns

Dong, J. S., Hao, P., Qin, S., Sun, J. & Wang Yi, 2008, In : IEEE Transactions on Software Engineering. 34, 6, p. 844-859

Research output: Contribution to journalArticle

Open Access
File
27 Downloads (Pure)
2006

From Statecharts to Verilog: a formal approach to hardware/software co-specification

Qin, S., Chin, W-N., He, J. & Qiu, Z., 2006, In : Innovations in Systems and Software Engineering. 2, 1, p. 17-38

Research output: Contribution to journalArticle

Open Access
File
124 Downloads (Pure)
2002

An Algebraic Hardware/Software Partitioning Algorithm

Qin, S. & He, J., May 2002, In : Journal of Computer Science and Technology. 17, 3, p. 284-294 11 p.

Research output: Contribution to journalArticle