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

Research Output 2000 2018

Filter
Article
2018
5 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 journalArticleResearchpeer-review

Open Access
File
Large scale systems
Model checking
Water treatment
Systems analysis
Sampling

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 journalArticleResearchpeer-review

Open Access
File
Denotational Semantics
Encoding
Semantics
Trace
Concurrent Systems
13 Downloads (Pure)

Type Learning for Binaries and its Applications

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

Research output: Contribution to journalArticleResearchpeer-review

Open Access
File
Learning systems
Classifiers
Binary codes
Composite materials
Experiments
2017
10 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 journalArticleResearchpeer-review

Open Access
File
Data structures
Specifications
Data storage equipment
Experiments
6 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 journalArticleResearchpeer-review

Open Access
File
Hazards and race conditions
Application programming interfaces (API)
Computer programming
Scalability
Synchronization
5 Citations (Scopus)
1 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 journalArticleResearchpeer-review

Open Access
File
Phase transitions
Semantics
Decomposition
Control systems
Chemical analysis
14 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 journalArticleResearchpeer-review

Open Access
File
Static analysis
Static Analysis
Application programs
Defects
Layout
7 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 journalArticleResearchpeer-review

Open Access
File
Fences
Memory Model
Global positioning system
Reasoning
Data storage equipment
9 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 journalArticleResearchpeer-review

Open Access
File
Probabilistic Model
Water treatment
Availability
Learning
Statistical Models
6 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 journalArticleResearchpeer-review

Open Access
File
Specifications
22 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 journalArticleResearchpeer-review

Open Access
File
Type Inference
Binary codes
Binary Code
Binary
Classifiers
8 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 journalArticleResearchpeer-review

Open Access
File
Network protocols
Leak detection
Smartphones
Static analysis
Mobile devices
2016
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 journalArticleResearchpeer-review

Simulated annealing
Marketing
2015
4 Downloads (Pure)

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 journalArticleResearchpeer-review

Open Access
File
Positive ions
Syntactics
Ordinary differential equations
Phase transitions
Semantics
2014
7 Downloads (Pure)

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 journalArticleResearchpeer-review

Open Access
File
Data storage equipment
Data structures
Specifications
Experiments
1 Downloads (Pure)

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 journalArticleResearchpeer-review

Open Access
File
2013
4 Downloads (Pure)

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 journalArticleResearchpeer-review

File
Synthesis
Invariant
Annotation
Fixed Point Iteration
Heap
2012
4 Downloads (Pure)

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 journalArticleResearchpeer-review

Open Access
File
Data structures
Specifications
2006
4 Downloads (Pure)

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 journalArticleResearchpeer-review

Open Access
File
Computer hardware description languages
Specifications
Hardware
Semantics
Chemical analysis