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

Research Output

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

How Do API Selections Affect the Runtime Performance of Data Analytics Tasks?

Tao, Y., Tang, S., Liu, Y., Xu, Z. & Qin, S., 9 Jan 2020, Proceedings - 2019 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019. IEEE, p. 665-668 4 p. (IEEE/ACM International Conference on Automated Software Engineering (ASE)).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
21 Downloads (Pure)

MemLock: Memory Usage Guided Fuzzing

Wen, C., Wang, H., Li, Y., Qin, S., Liu, Y., Xu, Z., Chen, H., Xie, X., Pu, G. & Liu, T., 1 May 2020, (Accepted/In press) 42nd International Conference on Software Engineering (ICSE 2020). ACM, 13 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
27 Downloads (Pure)

Navigating Discrete Difference Equation Governed WMR by Virtual Linear Leader Guided HMPC

Huang, C., Chen, X., Tang, E., He, M., Bu, L., Qin, S. & Zeng, Y., 2020, (Accepted/In press).

Research output: Contribution to conferencePaper

Open Access
File
21 Downloads (Pure)

Typestate-Guided Fuzzer for Discovering Use-after-Free Vulnerabilities

Wang, H., Xie, X., Li, Y., Wen, C., Li, Y., Liu, Y., Qin, S., Chen, H. & Sui, Y., 1 May 2020, (Accepted/In press) 42nd International Conference on Software Engineering (ICSE 2020). ACM

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
79 Downloads (Pure)
2019

Bi-Abductive Inference for Shape and Ordering Properties

Curry, C., Le, Q. L. & Qin, S., 26 Aug 2019, the 24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019). IEEE

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
68 Downloads (Pure)

Enhancing Symbolic Execution of Heap-based Programs with Separation Logic for Test Input Generation

Pham, L. H., Le, Q. L., Phan, Q-S., Sun, J. & Qin, S., 28 Oct 2019, In : Lecture Notes in Computer Science. 17 p.

Research output: Contribution to journalConference article

Open Access
File
49 Downloads (Pure)

Locating Vulnerabilities in Binaries via Memory Layout Recovering

Wang, H., Xie, X., Lin, S-W., Lin, Y., Li, Y., Qin, S., Liu, Y. & Liu, T., 26 Aug 2019, The 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. ACM, 11 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
278 Downloads (Pure)
2018

Automated Modular Verification for Relaxed Communication Protocols

Costea, A., Chin, W., Qin, S. & Craciun, F., 22 Oct 2018, Asian Symposium on Programming Languages and Systems. Springer Verlag, p. 284-305 Chapter 16. (Programming Languages and Systems; vol. 11275).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
164 Downloads (Pure)

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
186 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
121 Downloads (Pure)

CDGDroid: Android Malware Detection Based on Deep Learning Using CFG and DFG

Xu, Z., Ren, K., Qin, S. & Craciun, F., 11 Oct 2018, In : Formal Methods and Software Engineering. 11232 , p. 177-193

Research output: Contribution to journalConference article

Open Access
File
172 Downloads (Pure)

Frame inference for inductive entailment proofs in separation logic

Le, Q. L., Sun, J. & Qin, S., 12 Apr 2018, Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018 Thessaloniki, Greece, April 14 – 20, 2018 Proceedings, Part I. Springer Open, p. 41-60 20 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
123 Downloads (Pure)

Testing heap-based programs with Java StarFinder

Pham, L. H., Le, Q. L., Phan, Q. S., Sun, J. & Qin, S., 27 May 2018, Proceedings - International Conference on Software Engineering. IEEE Computer Society, p. 268-269 2 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards a program logic for C11 release-sequences

He, M., Qin, S. & Ferreira, J., 4 Dec 2018, Proceedings - 2018 12th International Symposium on Theoretical Aspects of Software Engineering, TASE 2018. Institute of Electrical and Electronics Engineers Inc., 8560730. (Proceedings - 2018 12th International Symposium on Theoretical Aspects of Software Engineering, TASE 2018; vol. 2018-January).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards ‘verifying’ a water treatment system

Wang, J., Sun, J., Jia, Y., Qin, S. & Xu, Z., 12 Jul 2018, Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Havelund, K., Roscoe, B., de Vink, E. & Peleska, J. (eds.). Springer Verlag, p. 73-92 20 p. (Lecture Notes in Computer Science; vol. 10951 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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
160 Downloads (Pure)

UTP Semantics for BigrTiMo

Xie, W., Zhu, H. & Qin, S., 11 Oct 2018, In : Formal Methods and Software Engineering. 11232 , p. 337-353

Research output: Contribution to journalConference article

Open Access
File
73 Downloads (Pure)

Variant Region Types

Craciun, F., Chin, W. & Qin, S., 27 Dec 2018, p. 126-135.

Research output: Contribution to conferencePaper

Open Access
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
160 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
130 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)
116 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
244 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
122 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
96 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
160 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
113 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
126 Downloads (Pure)

Switched Linear Multi-Robot Navigation Using Hierarchical Model Predictive Control

Huang, C., Chen, X., Zhang, Y., Qin, S., Zeng, Y. & Li, X., 19 Aug 2017.

Research output: Contribution to conferencePaper

Open Access
File
94 Downloads (Pure)

Time-sensitive Information Flow Control in Timed Event-B

Mu, C. & Qin, S., 13 Sep 2017.

Research output: Contribution to conferencePaper

Open Access
File
107 Downloads (Pure)

Using intention recognition in a simulation platform to assess physical activity levels of an office building

Zeng, Y., Zhang, Z., Han, T. A., Spears, I. R. & Qin, S., 12 May 2017, 16th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2017. Durfee, E., Winikoff, M., Larson, K. & Das, S. (eds.). International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), Vol. 3. p. 1817-1819 3 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2016

Concurrent On-the-fly SCC Detection for Automata-based Model Checking with Fairness Assumption

Wu, Z., Gunay, A., Liu, Y. & Qin, S., 6 Nov 2016.

Research output: Contribution to conferencePaper

Open Access
File
102 Downloads (Pure)

Formalization and Verification of the Powerlink Protocol using CSP

Pang, H., Li, J., Ruan, Y., Huang, Y., Shi, J. & Qin, S., 6 Dec 2016.

Research output: Contribution to conferencePaper

Hierarchical Model Predictive Control for Multi-Robot Navigation

Huang, C., Chen, X., Zhang, Y., Qin, S., Zeng, Y. & Li, X., 9 Jul 2016.

Research output: Contribution to conferencePaper

Open Access
File
30 Downloads (Pure)

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)

Probabilistic Denotational Semantics for an Interrupt Modelling Language

Huang, Y., Zhao, Y., Qin, S. & He, J., 18 Jan 2016, 20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015, Gold Coast, Australia, December 9-12, 2015. IEEE, (Engineering of Complex Computer Systems, IEEE International Conference on).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Reasoning about Fences and Relaxed Atomics

He, M., Vafeiadis, V., Qin, S. & Ferreira, J., 17 Feb 2016.

Research output: Contribution to conferencePaper

Open Access
File
126 Downloads (Pure)

State-Taint Analysis for Detecting Resource Bugs

Xu, Z., Fan, D. & Qin, S., 17 Jul 2016, 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016, Shanghai, China, July 17-19, 2016.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

State-Taint Analysis for Detecting Resource Bugs

Xu, Z., Fan, D. & Qin, S., 17 Jul 2016.

Research output: Contribution to conferencePaper

Open Access
File
154 Downloads (Pure)
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
114 Downloads (Pure)

GPU Accelerated On-the-Fly Reachability Checking

Qin, S., 2015, 20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015, Gold Coast, Australia, December 9-12, 2015. IEEE

Research output: Chapter in Book/Report/Conference proceedingConference contribution

On Information Coverage for Location Category Based Point-of-Interest Recommendation

Chen, X., Zeng, Y., Cong, G., Qin, S., Xiang, Y. & Dai, Y., 25 Jan 2015.

Research output: Contribution to conferencePaper

Open Access
File
15 Downloads (Pure)

Optimal Route Search with the Coverage of Users' Preferences

Zeng, Y., Chen, X., Cao, X., Qin, S., Cavazza, M. & Xiang, Y., 2015.

Research output: Contribution to conferencePaper

Open Access
File
13 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

Termination and non-termination specification inference

Le, T. C., Qin, S. & Chin, W-N., Jun 2015, PLDI '15 Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation. 6 ed. New York, USA: ACM, Vol. 50. p. 489-498

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
144 Downloads (Pure)

TLV: abstraction through testing, learning, and validation

Sun, J., Xiao, H., Liu, Y., Lin, S-W. & Qin, S., 2015, ESEC/FSE 2015 Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering. New York, USA: ACM, p. 698-709

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
122 Downloads (Pure)
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
145 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
121 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