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

Search results

  • 2006

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

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

    Open Access
    File
    154 Downloads (Pure)
  • 2004

    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

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

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

    Open Access
    File
    85 Downloads (Pure)
  • 2003

    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

  • 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

  • The Equivalence of Statecharts

    Long, Q., Qiu, Z. & Qin, S., 2003, Formal Methods and Software Engineering. ICFEM 2003. Dong, J. S. & Woodcock, J. (eds.). Springer Berlin, p. 125-143 (Lecture Notes in Computer Science; vol. 2885).

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

  • 2002

    An Algebraic Hardware/Software Partitioning Algorithm

    Qin, S. & He, J., May 2002, In: Journal of Computer Science and Technology. 17, 3, p. 284-294 11 p.

    Research output: Contribution to journalArticlepeer-review

  • 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

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

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

    Open Access
    File
    132 Downloads (Pure)