Centre for Digital Innovation

Filter
Conference contribution

Search results

  • 2008

    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 proceeding › Conference contribution

  • Verifying BPEL-Like Programs with Hoare Logic

    Luo, C., Qin, S. & Qiu, Z., 2008, Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, TASE 2008, June 17-19, 2008, Nanjing, China. IEEE

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2007

    Context awareness through cross-layer network architecture

    Razzaque, M. A., Dobson, S. & Nixon, P., 1 Dec 2007, Proceedings of 16th International Conference on Computer Communications and Networks 2007, ICCCN 2007. p. 1076-1081 6 p. 4317961. (Proceedings - International Conference on Computer Communications and Networks, ICCCN).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    3 Citations (Scopus)
  • 2006

    A cross-layer architecture for autonomic communications

    Razzaque, M. A., Dobson, S. & Nixon, P., 1 Jan 2006, Autonomic Networking - First International IFIP TC6 Conference, AN 2006, Proceedings. Gaïti, D., Al-Shaer, E., Calvert, K., Pujolle, G., Leduc, G., Martikainen, O. & Dobson, S. (eds.). Springer Verlag, p. 25-35 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4195 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    10 Citations (Scopus)

  • Demonstrating the feasibility of an autonomic communication- targeted cross-layer architecture

    Razzaque, M. A., Nixon, P. & Dobson, S., 1 Dec 2006, Proceedings - 2006 14th International Conference on Advanced Computing and Communications, ADCOM 2006. p. 67-72 6 p. 4289858. (Proceedings - 2006 14th International Conference on Advanced Computing and Communications, ADCOM 2006).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    4 Citations (Scopus)
  • 2005

    Categorisation and modelling of quality in context information

    Razzaque, M. A., Dobson, S. & Nixon, P., 2005, Proceedings of the IJCAI 2005 workshop on AI and Autonomic Communications. 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Earliest-Deadline Scheduling Using Discrete Service Bit Rates for CDMA Data Networks

    Mahmoud, A. S. H. & Razzaque, M. A., 2005, International Symposium on Wireless Communications (ISWSN'05) 2005. 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 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 proceeding › Conference contribution

    Open Access
    File
    221 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 proceeding › Conference 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 proceeding › Conference contribution

    Open Access
    File
    167 Downloads (Pure)

  • Deploying VoIP over a Small Enterprise Network

    Razzaque, M. A., 18 Jul 2004, Proceedings of the 8th World Multi Conference on Systemics, Cybernetics and Informatics. Florida, 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Determining the Issues to Consider When Deploying VoIP ontoa Small Enterprise Network

    Rahman, Q. A., Abubakar , A., Sirajuddin, S., Islam, S. S. & Razzaque, M. A., 27 Dec 2004, 1st International Computer Engineering Conference New Technologies for the Information Society.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    60 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 proceeding › Conference contribution

  • Online Scheduling Algorithms for CDMA Data Networks

    Razzaque, M. A., 28 Nov 2004, Proceedings of the International Conference on Information and Computer Science (ICICS 2004).

    Research output: Chapter in Book/Report/Conference proceeding › Conference 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 proceeding › Conference contribution

    Open Access
    File
    361 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference contribution

  • 2002

    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 proceeding › Conference 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 proceeding › Conference contribution

    Open Access
    File
    196 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 proceeding › Conference contribution

    Open Access
    File
    209 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 proceeding › Conference contribution

    Open Access
    File
    192 Downloads (Pure)