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

Research Output 2000 2018

2018
6 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 proceedingChapterResearch

Open Access
File
Network protocols
Data storage equipment
Communication
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

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

Data flow graphs
Flow graphs
Syntactics
Viruses
Learning systems
2 Downloads (Pure)

Frame inference for inductive entailment proofs in separation logic

Le, Q. L., Sun, J. & Qin, S., 12 Apr 2018, p. 41-60. 20 p.

Research output: Contribution to conferencePaperResearchpeer-review

Open Access
File

Poster: 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 contributionResearch

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 contributionResearch

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., 15 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 contributionResearch

Water treatment
Markov processes
Plant shutdowns
Large scale systems
Testing
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

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

Semantics
Communication
Merging
Algebra

Variant Region Types

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

Research output: Contribution to conferencePaperResearchpeer-review

Open Access
Data storage equipment
Big data
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
8 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 conferencePaperResearchpeer-review

Open Access
File
Model predictive control
Navigation
Robots
Linear systems
Trajectories
15 Downloads (Pure)

Time-sensitive Information Flow Control in Timed Event-B

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

Research output: Contribution to conferencePaperResearchpeer-review

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., 1 Jan 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 contributionResearch

Office buildings
Public health
2016
8 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 conferencePaperResearchpeer-review

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

Ethernet
Network protocols
Data communication systems
Automation
Scheduling
10 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 conferencePaperResearchpeer-review

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

Simulated annealing
Marketing
5 Downloads (Pure)

Reasoning about Fences and Relaxed Atomics

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

Research output: Contribution to conferencePaperResearchpeer-review

Open Access
File
8 Downloads (Pure)

State-Taint Analysis for Detecting Resource Bugs

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

Research output: Contribution to conferencePaperResearchpeer-review

Open Access
File
Leak detection
Smartphones
Experiments
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
6 Downloads (Pure)

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

Open Access
File
Flavors
Museums
Computational complexity
8 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 conferencePaperResearchpeer-review

Open Access
File
Shopping centers
Museums
Computational complexity
Planning
Experiments
6 Downloads (Pure)

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 contributionResearch

Open Access
File
Specifications
5 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 contributionResearch

Open Access
File
Specifications
Testing
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
3 Downloads (Pure)

Automatically refining partial specifications for heap-manipulating programs

Qin, S., He, G., Luo, C., Chin, W-N. & Yang, H., 2014, FM 2011: Formal Methods: Lecture notes in computer science, 6664. Butler, M. & Schulte, W. (eds.). Berlin: Springer, p. 369-385 (Lecture notes in computer science; 6664).

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

Open Access
File
Refining
Specifications
Data structures
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
5 Downloads (Pure)

Shape Analysis via Second-Order Bi-Abduction

Le, Q. L., Gherghina, C., Qin, S. & Chin, W-N., 2014, In : Lecture Notes in Computer Science. 8559, p. 52 68 p.

Research output: Contribution to journalConference articleResearchpeer-review

Open Access
File
2013
3 Downloads (Pure)

Automated Specification Discovery via User-Defined Predicates

He, G., Qin, S., Chin, W-N. & Craciun, F., 2013, Lecture Notes in Computer Science . Vol. 8144. p. 397-414 Chapter 26. (Formal Methods and Software Engineering; vol. 8144).

Research output: Chapter in Book/Report/Conference proceedingChapterResearch

File
Data structures
Specifications
Data storage equipment
Experiments
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
6 Downloads (Pure)
Open Access
File
Logic
Interaction
Calculi
Sequent Calculus
Syntax
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
2011
5 Citations (Scopus)
3 Downloads (Pure)

A specialization calculus for pruning disjunctive predicates to support verification

Chin, W. N., Gherghina, C., Voicu, R., Le, Q. L., Craciun, F. & Qin, S., 20 Jul 2011, Computer aided verification: Lecture Notes in Computer Science. Gopalakrishnan, G. & Qadeer, S. (eds.). Berlin: Springer, p. 293-309 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6806 LNCS).

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

Open Access
File
Data structures
Costs
2 Downloads (Pure)

Structured specifications for better verification of heap-manipulating programs

Gherghina, C., David, C., Qin, S. & Chin, W-N., 2011, FM 2011: Formal Methods: Lecture notes in computer science, 6664. Butler, M. & Schulte, W. (eds.). Berlin: Springer, p. 386-401 (Lecture notes in computer science; 6664).

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

Open Access
File
2010
5 Downloads (Pure)

Probabilistic choice, reversibility, loops, and miracles

Stoddart, B., Bell, P. & Qin, S. (ed.), 2010, Lecture Notes in Computer Science. Shengchao, Q. (ed.). Springer Verlag, Vol. 6445.

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

Open Access
File
3 Downloads (Pure)

Stack bound inference for abstract java bytecode

Wang, S., Qiu, Z., Qin, S. & Chin, W-N., 2010, 2010 fourth international symposium on theoretical aspects of software engineering. IEEE Computer Society

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

Open Access
File
4 Downloads (Pure)

Verifying Heap-Manipulating Programs with Unknown Procedure Calls

Qin, S., Luo, C., He, G., Craciun, F. & Chin, W., 17 Nov 2010, Formal Methods and Software Engineering. Springer Verlag, p. 171-187 Chapter 13. (Formal Methods and Software Engineering; vol. 6447).

Research output: Chapter in Book/Report/Conference proceedingChapterResearch

File
Data structures
Positive ions
2008
2 Downloads (Pure)

A formal soundness proof of region-based memory management for object-oriented paradigm

Craciun, F., Qin, S. & Chin, W-N., 2008, Formal methods and software engineering. Springer Verlag, p. 126-146

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

Open Access
File
Data storage equipment
Embedded software
Syntactics
Application programs
3 Downloads (Pure)

A heap model for java bytecode to support separation logic

Luo, C., He, G. & Qin, S., 2008, Proceedings APSEC 2008. IEEE Computer Society, p. 127-134

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

Open Access
File
2007
3 Downloads (Pure)

Automated Verification of Shape, Size and Bag Properties

Chin, W-N., David, C., Nguyen, H. H. & Qin, S., 2007, Proceedings IEEE international conference on engineering complex computer systems. California: IEEE, p. 307-317

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

Open Access
File
Data structures