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

Research Output 2000 2019

Filter
Conference contribution
2019
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
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
2017

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
2015
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
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
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
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
2007
27 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
12 Downloads (Pure)

Automated Verification of Shape and Size Properties Via Separation Logic

Nguyen, H. H., David, C., Qin, S. & Chin, W-N., 2007, Verification, Model Checking, and Abstract Interpretation. Cook, B. & Podelski, A. (eds.). Springer Berlin Heidelberg, p. 251-266

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

Open Access
File
Data structures
14 Downloads (Pure)

Linking Object-Z with Spec#

Qin, S. & He, G., 2007, Proceedings of the IEEE international conference on engineering of complex computer systems, ICECCS. p. 185-194

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

Open Access
File
Software engineering
Specification languages
Specifications
Theorem proving
Formal languages
14 Downloads (Pure)

Multiple pre/post specifications for heap-manipulating methods

Chin, W-N., David, C., Nguyen, H. H. & Qin, S., 2007, 10th IEEE High Assurance Systems Engineering Symposium (HASE'07). IEEE, p. 357-364

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

Open Access
File
Specifications
16 Downloads (Pure)

Realizing Live Sequence Charts in SystemVerilog

Wang, H. H., Qin, S., Sun, J. & Dong, J. S., 2007, TASE 2007: First joint IEEE/IFIP symposium on theoretical aspects of software engineering, proceedings. p. 379-388

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

Open Access
File
Control systems
Specifications
2006
11 Downloads (Pure)

Constructing Property-Oriented Models for Verification

He, J., Qin, S. & Sherif, A., 2006, Unifying theories of programming. p. 85-100 (Unifying Theories of Programming; vol. 4010).

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

Open Access
File
Syntactics
Semantics
Formal verification
7 Downloads (Pure)

HighSpec: A tool for building and checking OZTA models

Dong, J. S., Hao, P., Zhang, X-Y. & Qin, S., 2006, Proceedings of the 28th international conference on software engineering. p. 775-778

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

Open Access
File
Model checking
High level languages
Real time systems
Data structures
12 Downloads (Pure)

Integrating Probability with Time and Shared-Variable Concurrency

Zhu, H., Qin, S., He, J. & Bowen, J., 2006, Proceedings of the 30th annual IEEE/NASA software engineering workshop, SEW-30. California: IEEE, p. 179-189

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

Open Access
File
Semantics
Communication
Chemical analysis
2005
13 Downloads (Pure)

Memory Usage Verification for OO Programs

Chin, W-N., Nguyen, H. H., Qin, S. & Rinard, M., 2005, Static analysis. Springer-Verlag, Vol. 3672. p. 70-86 (Static Analysis; vol. 3672).

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

Open Access
File
Data storage equipment
Data structures
Object oriented programming
Computer systems
15 Downloads (Pure)

Verifying safety policies with size properties and alias controls

Chin, W-N., Khoo, S-C., Qin, S., Popeea, C. & Nguyen, H. H., 2005, Proceedings - 27th international conference on software engineering. New York: ACM, p. 186-195

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

Open Access
File
2004
15 Downloads (Pure)

A relational model for object-oriented designs

He, J., Liu, Z., Li, X. & Qin, S., 2004, Programming languages and systems. Springer Verlag, p. 415-436

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

Open Access
File
Object oriented programming
Polymorphism
Visibility
Semantics
Specifications
11 Downloads (Pure)

Region inference for an object-oriented language

Chin, W-N., Craciun, F., Qin, S. & Rinard, M., 2004, Proceedings of the 2004 ACM SIGPLAN conference on programming language design and implementation. New York: ACM, p. 243-254

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

Open Access
File
Object oriented programming
Data storage equipment
Specifications
11 Downloads (Pure)

Timed patterns: TCOZ to timed automata

Dong, J. S., Hao, P., Qin, S., Sun, J. & Yi, W., 2004, Formal methods and software engineering. Springer Verlag, p. 483-498

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

Open Access
File
Railroad crossings
Real time systems
Large scale systems
Clocks
Semantics
2001
13 Downloads (Pure)

Constructing hardware/software interface using protocol converters

Qin, S., Qiu, Z. & He, J., 2001, Second Asia-Pacific conference on quality software, Proceedings. IEEE, p. 141-148

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

Open Access
File
Computer hardware
Interfaces (computer)
Network protocols
Computer hardware description languages
Hardware
15 Downloads (Pure)

Partitioning program into hardware and software

Qin, S. & He, J., 2001, Proceedings of the Asia-Pacific software engineering conference and international computer science conference. IEEE, p. 309-316

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

Open Access
File
Hardware
Computer hardware
Algebra
Computer systems
2000
15 Downloads (Pure)

An algebraic approach to hardware/software partitioning

Qin, S. & He, J., 2000, ICECS 2000: 7th IEEE international conference on electronics, circuits & systems. IEEE, Vol. 1. p. 273-276

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

Open Access
File
Hardware
Computer hardware
Algebra
Computer systems