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

Search results

  • A Composable Mixed Mode Concurrency Control Semantics for Transactional Programs

    Barnett, G. & Qin, S., 2012, Formal Methods and Software Engineering. ICFEM 2012. Aoki, T. & Taguchi, K. (eds.). Springer Berlin, Vol. 7635. ( Lecture Notes in Computer Science; vol. 7635).

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

  • 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 contribution

    Open Access
    File
    59 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 contribution

    Open Access
    File
    131 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 contribution

    Open Access
    File
    132 Downloads (Pure)
  • Analysing memory resource bounds for low-level programs

    Chin, W-N., Nguyen, H. H., Popeea, C. & Qin, S., 2008, Proceedings of the 7th international symposium on Memory management. ACM, p. 151-160

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

  • An Automatic Mapping from Statecharts to Verilog

    Tran, V-A. V., Qin, S. & Chin, W-N., 2004, Theoretical Aspects of Computing - ICTAC 2004. Liu, Z. & Araki, K. (eds.). Springer Berlin, Vol. 3407. p. 187-203 ( Lecture Notes in Computer Science; vol. 3407).

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

  • An Interval-Based Inference of Variant Parametric Types

    Craciun, F., Chin, W-N., He, G. & Qin, S., 2009, Programming Languages and Systems. ESOP 2009. Castagna, G. (ed.). Springer Berlin, p. 112-127 (Lecture Notes in Computer Science; vol. 5502).

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

  • 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 contribution

    Open Access
    File
    94 Downloads (Pure)
  • A Semantic Foundation for TCOZ in Unifying Theories of Programming

    Qin, S., Dong, J. S. & Chin, W-N., 2003, FME 2003: Formal Methods. Springer Berlin, p. 321-340 (Lecture Notes in Computer Science; vol. 2805).

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

  • 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 contribution

    Open Access
    File
    5 Citations (Scopus)
    89 Downloads (Pure)
  • A Timed CSP Model for the Time-Triggered Language Giotto

    Huang, Y., Zhao, Y., Qin, S., He, G. & Ferreira, J., 2012, 2012 35th Annual IEEE Software Engineering Workshop. IEEE

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

  • 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 contribution

    Open Access
    File
    202 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 contribution

    Open Access
    File
    149 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 contribution

    Open Access
    File
    192 Downloads (Pure)
  • Automatically refining partial specifications for Program Verification

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

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

    Open Access
    File
    131 Downloads (Pure)
  • Bi-Abductive Inference for Shape and Ordering Properties

    Curry, C., Le, Q. L. & Qin, S., 26 Aug 2019, the 24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019). IEEE

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

    Open Access
    File
    107 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 contribution

    Open Access
    File
    137 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 contribution

    Open Access
    File
    94 Downloads (Pure)
  • Data-Race-Freedom of Concurrent Programs

    Barnett, G. & Qin, S., 2013, 2013 20th Asia-Pacific Software Engineering Conference (APSEC). IEEE, p. 272-279

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

  • Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts

    Huang, Y., Ferreira, J., He, G., Qin, S. & He, J., 2013, Formal Methods and Software Engineering. ICFEM 2013. Groves, L. & Sun, J. (eds.). Springer Berlin, p. 165-181 (Lecture Notes in Computer Science; vol. 8144).

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

  • Denotational Semantics for a Probabilistic Timed Shared-Variable Language

    Zhu, H., Sanders, J. W., He, J. & Qin, S., 2012, Unifying Theories of Programming, UTP 2012. Wolff, B., Gaudel, M. C. & Feliachi, A. (eds.). Springer Berlin, p. 224-247 (Lecture Notes in Computer Science; vol. 7681).

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

  • Enhancing modular OO verification with separation logic

    Chin, W-N., David, C., Nguyen, H. H. & Qin, S., 2008, Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008. ACM, p. 87-99

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

  • 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 contribution

    Open Access
    File
    103 Downloads (Pure)
  • Generating MSCs from an Integrated Formal Specification Language

    Dong, J. S., Qin, S. & Sun, J., 2004, Integrated Formal Methods. IFM 2004. Springer Berlin, p. 168-186 ( Lecture Notes in Computer Science; vol. 2999).

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

  • GPU Accelerated On-the-Fly Reachability Checking

    Qin, S., 2015, 20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015, Gold Coast, Australia, December 9-12, 2015. IEEE

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

  • Hardware/Software Partitioning in Verilog

    Qin, S., He, J., Qiu, Z. & Zhang, N., 10 Oct 2002, Formal Methods and Software Engineering. ICFEM 2002. George, C. & Miao, H. (eds.). Springer Berlin, p. 168-179 (Lecture Notes in Computer Science; vol. 2495).

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

  • 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 contribution

    Open Access
    File
    86 Downloads (Pure)
  • How Do API Selections Affect the Runtime Performance of Data Analytics Tasks?

    Tao, Y., Tang, S., Liu, Y., Xu, Z. & Qin, S., 9 Jan 2020, Proceedings - 2019 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019. IEEE, p. 665-668 4 p. 8952224. (IEEE/ACM International Conference on Automated Software Engineering (ASE)).

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

    Open Access
    File
    91 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 contribution

    Open Access
    File
    126 Downloads (Pure)
  • Invariants Synthesis over a Combined Domain for Automated Program Verification

    Qin, S., He, G., Chin, W-N. & Yang, H., 2013, Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Liu, Z., Woodcock, J. & Zhu, H. (eds.). Springer Berlin, Vol. 8051. (Lecture Notes in Computer Science).

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

  • Investigating Time Properties of Interrupt-Driven Programs

    Huang, Y., Zhao, Y., Shi, J., Zhu, H. & Qin, S., 2012, Formal Methods: Foundations and Applications. SBMF 2012. Gheyi, R. & Naumann, D. (eds.). Springer Berlin, Vol. 7498. (Lecture Notes in Computer Science; vol. 7498).

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

  • LBI Cut Elimination Proof with BI-MultiCut

    Arisaka, R. & Qin, S., 2012, 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering. IEEE

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

  • Linking Algebraic Semantics and Operational Semantics for Web Services Using Maude

    Liu, P., Zhu, H., Qin, S., Brooke, P. J. & Wu, X., 2013, 2013 18th International Conference on Engineering of Complex Computer Systems. IEEE

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

  • 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 contribution

    Open Access
    File
    103 Downloads (Pure)
  • Linking the Semantics of BPEL Using Maude

    Liu, P., Zhu, H., Qin, S., Brooke, P. J. & Wu, X., 2013, 2013 20th Asia-Pacific Software Engineering Conference (APSEC). IEEE

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

  • 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., 26 Aug 2019, The 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. ACM, 11 p.

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

    Open Access
    File
    534 Downloads (Pure)
  • Loop Invariant Synthesis in a Combined Domain

    Qin, S., He, G., Luo, C. & Chin, W-N., 2010, Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings. Springer Berlin, p. 468-484 (Lecture Notes in Computer Science ).

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

  • Mapping Statecharts to Verilog for Hardware/Software Co-specification

    Qin, S. & Chin, W-N., 2003, FME 2003: Formal Methods. Springer Berlin, p. 282-300

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

  • Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude

    Zhu, H., Liu, P., He, J. & Qin, S., 2012, Unifying Theories of Programming, 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers. Wolff, B., Gaudel, M. C. & Feliachi, A. (eds.). Springer Berlin, p. 164-185 (Notes in Computer Science; vol. 7681).

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

  • MemLock: Memory Usage Guided Fuzzing

    Wen, C., Wang, H., Li, Y., Qin, S., Liu, Y., Xu, Z., Chen, H., Xie, X., Pu, G. & Liu, T., 27 Jun 2020, Proceedings - 2020 ACM/IEEE 42nd International Conference on Software Engineering, ICSE 2020. ACM, p. 765-777 13 p. 3380396. (Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering).

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

    Open Access
    File
    433 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 contribution

    Open Access
    File
    83 Downloads (Pure)
  • Memory Usage Verification Using Hip/Sleek

    He, G., Qin, S., Luo, C. & Chin, W-N., 2009, Automated Technology for Verification and Analysis. ATVA 2009. Liu, Z. & Ravn, A. P. (eds.). Springer Berlin, Vol. 5799. p. 166-181 (Lecture Notes in Computer Science; vol. 5799).

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

  • Moverness for Locks and Transactions

    Barnett, G. & Qin, S., 2012, 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering. IEEE

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

  • 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 contribution

    Open Access
    File
    119 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 contribution

    Open Access
    File
    135 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 contribution

    Open Access
    File
    162 Downloads (Pure)
  • Probabilistic Denotational Semantics for an Interrupt Modelling Language

    Huang, Y., Zhao, Y., Qin, S. & He, J., 18 Jan 2016, 20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015, Gold Coast, Australia, December 9-12, 2015. IEEE, (Engineering of Complex Computer Systems, IEEE International Conference on).

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

  • 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 contribution

    Open Access
    File
    132 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 contribution

    Open Access
    File
    249 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 contribution

    Open Access
    File
    124 Downloads (Pure)