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

Research Output 2000 2019

2019
3 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., 16 Jun 2019, (Accepted/In press) In : Lecture Notes in Computer Science. 17 p.

Research output: Contribution to journalConference articleResearchpeer-review

Open Access
File
Symbolic Execution
Separation Logic
Heap
Precondition
Numerics
65 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., 24 May 2019, (Accepted/In press) The 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. ACM

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

Open Access
File
Data storage equipment
Binary codes
Semantics
Hardening
Recovery
2018
21 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 contributionResearch

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

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
24 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
26 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
20 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)
10 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
44 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
19 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
22 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
18 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
25 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
21 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
19 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
31 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
20 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
11 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
18 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
23 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
15 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
10 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
17 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
20 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
22 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
13 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
12 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
18 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
11 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
12 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
11 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)
13 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
10 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
14 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
11 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
13 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
9 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
14 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