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

Research Output 2000 2018

Filter
Conference contribution
2018

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 ‘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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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