Find Research Outputs

Search concepts
Selected filters
2020

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

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

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

Application programming interfaces (API)
2019
28 Downloads (Pure)

Bi-Abductive Inference for Shape and Ordering Properties

Curry, C., Le, Q. L. & Qin, S., 20 Jul 2019, (Accepted/In press) 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
Data structures
33 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
Symbolic Execution
Separation Logic
Heap
Precondition
Numerics
186 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
Data storage equipment
Binary codes
Semantics
Hardening
Recovery
2018
136 Downloads (Pure)

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
Network protocols
Data storage equipment
Communication
159 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
Large scale systems
Model checking
Water treatment
Systems analysis
Sampling
93 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
Denotational Semantics
Encoding
Semantics
Trace
Concurrent Systems
90 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
Data flow graphs
Flow graphs
Syntactics
Viruses
Learning systems
94 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

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

Engines
Error detection
Testing
Data structures

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

Data storage equipment
Global positioning system
Computer hardware
Synchronization
Network protocols

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

Water treatment
Markov processes
Plant shutdowns
Large scale systems
Testing
122 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
Learning systems
Classifiers
Binary codes
Composite materials
Experiments
40 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
Semantics
Communication
Merging
Algebra

Variant Region Types

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

Research output: Contribution to conferencePaper

Open Access
Data storage equipment
Big data
2017
102 Downloads (Pure)

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
Data structures
Specifications
Data storage equipment
Experiments
100 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
Hazards and race conditions
Application programming interfaces (API)
Computer programming
Scalability
Synchronization
5 Citations (Scopus)
87 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
Phase transitions
Semantics
Decomposition
Control systems
Chemical analysis
169 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
Static analysis
Static Analysis
Application programs
Defects
Layout
90 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
Fences
Memory Model
Global positioning system
Reasoning
Data storage equipment
80 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
Probabilistic Model
Water treatment
Availability
Learning
Statistical Models
108 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
Specifications
63 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
Type Inference
Binary codes
Binary Code
Binary
Classifiers
94 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
Network protocols
Leak detection
Smartphones
Static analysis
Mobile devices
72 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
Model predictive control
Navigation
Robots
Linear systems
Trajectories
87 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
Flow control
Specifications
Application programs
Monitoring

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

Office buildings
Public health
2016
83 Downloads (Pure)

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
Model checking
Temporal logic
Large scale systems
Chemical analysis
Costs

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

Ethernet
Network protocols
Data communication systems
Automation
Scheduling
25 Downloads (Pure)

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
Model predictive control
Navigation
Robots
Trajectories
8 Citations (Scopus)

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

Simulated annealing
Marketing

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

Embedded systems
Semantics
Real time systems
Modeling languages
Statistical Models
95 Downloads (Pure)

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

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

Leak detection
Smartphones
Experiments
99 Downloads (Pure)

State-Taint Analysis for Detecting Resource Bugs

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

Research output: Contribution to conferencePaper

Open Access
File
Leak detection
Smartphones
Experiments