Centre for Digital Innovation

Filter
Conference contribution

Search results

  • 2015

    Secure burst control packet scheme for Optical Burst Switching networks

    Coulibaly, Y., Al-Kilany, A. A. I., Latiff, M. S. A., Rouskas, G., Mandala, S. & Razzaque, M. A., 31 Aug 2015, IBP 2015 - 2015 IEEE International Broadband and Photonics Conference. Institute of Electrical and Electronics Engineers Inc., p. 86-91 6 p. 7230771. (IBP 2015 - 2015 IEEE International Broadband and Photonics Conference).

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

    3 Citations (Scopus)

  • Smart management of next generation bike sharing systems using Internet of Things

    Razzaque, M. A. & Clarke, S., 24 Dec 2015, 2015 IEEE 1st International Smart Cities Conference, ISC2 2015. Institute of Electrical and Electronics Engineers Inc., 7366219. (2015 IEEE 1st International Smart Cities Conference, ISC2 2015).

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

    9 Citations (Scopus)

  • The ontology project for interactive digital narrative

    Koenitz, H., Haahr, M., Ferri, G., Sezen, T. I. & Sezen, D., 30 Nov 2015, Interactive Storytelling: 8th International Conference on Interactive Digital Storytelling, ICIDS 2015, Proceedings. Schoenau-Fog, H., Bruni, L. E., Louchart, S. & Baceviciute, S. (eds.). Springer, p. 397-399

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

  • 2014

    Future perspectives for interactive digital narrative

    Koenitz, H., Haahr, M., Ferri, G., Sezen, T. I. & Sezen, D., 2014, Interactive Storytelling: 7th International Conference on Interactive Digital Storytelling, ICIDS 2014, Proceedings. Mitchell, A., Fernández-Vara, C. & Thue, D. (eds.). Springer, p. 258-261

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

  • Mobility pattern based misbehavior detection in vehicular adhoc networks to enhance safety

    Ghaleb, F. A., Razzaque, M. A. & Zainal, A., 1 Jan 2014, 2014 International Conference on Connected Vehicles and Expo, ICCVE 2014 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 894-901 8 p. 7297684. (2014 International Conference on Connected Vehicles and Expo, ICCVE 2014 - Proceedings).

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

    1 Citation (Scopus)

  • Performance and Security Analysis for Proactive and Reactive Protocols in Mobile Ad-hoc Network

    Omar, M. N., Thorig, I., Salleh, M. & Razzaque, M. A., 12 Sept 2014, 1st International Conference of Recent Trends in Information and Communication Technologies.

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

    File
    92 Downloads (Pure)
  • 2013

    Breaking Points ― A Continuously Developing Interactive Digital Narrative

    Koenitz, H., Sezen, T. I. & Sezen, D., 6 Nov 2013, Interactive Storytelling. ICIDS 2013. Koenitz, H., Sezen, T. I., Ferri, G., Haahr , M., Sezen, D. & C̨atak, G. (eds.). Springer, p. 107-113 ( Lecture Notes in Computer Science; vol. 8230).

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

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

  • Detection of sinkhole attack in wireless sensor networks

    Ahmad Salehi, S., Razzaque, M. A., Naraei, P. & Farrokhtala, A., 9 Dec 2013, International Conference on Space Science and Communication, IconSpace. p. 361-365 5 p. 6599496. (International Conference on Space Science and Communication, IconSpace).

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

    15 Citations (Scopus)

  • Energy efficient gas emission monitoring systems using Wireless Sensor Networks

    Razzaque, M. A., Adnan, M. A. & Abdullah, A. H., 1 Dec 2013, ICUFN 2013 - 5th International Conference on Ubiquitous and Future Networks. p. 588-593 6 p. 6614887. (International Conference on Ubiquitous and Future Networks, ICUFN).

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

    5 Citations (Scopus)

  • Hybrid-learning based data gathering in wireless sensor networks

    Razzaque, M. A., Fauzi, I. & Adnan, A., 11 Mar 2013, Intelligent Information and Database Systems - 5th Asian Conference, ACIIDS 2013, Proceedings. PART 2 ed. p. 90-99 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7803 LNAI, no. PART 2).

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

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

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

  • Mapping the Evolving Space of Interactive Digital Narrative - From Artifacts to Categorizations

    Koenitz, H., Haahr, M., Ferri, G., Sezen, T. I. & Sezen, D., 2013, Interactive Storytelling. ICIDS 2013. Koenitz, H., Sezen, T. I., Ferri, G., Haahr, M., Sezen, D. & C̨atak, G. (eds.). Springer, p. 55-60 6 p. ( Lecture Notes in Computer Science).

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

  • Playing with Problems: How Gameplay Can Make Us Understand Community Problems and Help Us To Solve Them

    Sezen, D., 7 Jul 2013, Images (II) Images of the Poor. Bernard, V. (ed.). Lit Verlag

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

  • Security and privacy enhancement in VANETs using mobility pattern

    Ghaleb, F. A., Razzaque, M. A. & Isnin, I. F., 1 Dec 2013, ICUFN 2013 - 5th International Conference on Ubiquitous and Future Networks. p. 184-189 6 p. 6614808. (International Conference on Ubiquitous and Future Networks, ICUFN).

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

    11 Citations (Scopus)

  • Security in wireless sensor networks: Issues and challanges

    Ahmad Salehi, S., Razzaque, M. A., Naraei, P. & Farrokhtala, A., 9 Dec 2013, International Conference on Space Science and Communication, IconSpace. p. 356-360 5 p. 6599495. (International Conference on Space Science and Communication, IconSpace).

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

    17 Citations (Scopus)

  • Sequential Analysis of Drug Encapsulated Nanoparticle Transport and Drug Release Using Multicore Shared-memory Environment

    Alias, N., Islam, M. R., Ahmad, T. & Razzaque, M. A., 3 Sept 2013, Fourth International Conference and Workshops on Basic and Applied Sciences (4th ICOWOBAS) and Regional Annual Fundamental Science Symposium 2013 (11th RAFSS). p. 1-6 6 p.

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

  • Towards mapping the evolving space of interactive digital narrative

    Koenitz, H., Haahr, M., Ferri, G., Sezen, T. I. & Sezen, D., 2013, Interactive Storytelling. ICIDS 2013. Koenitz, H., Sezen, T. I., Ferri, G., Haahr, M., Sezen, D. & C̨atak, G. (eds.). Springer, p. 285-286 2 p. (Lecture Notes in Computer Science).

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

  • Verifying Simulink diagrams via a Hybrid Hoare Logic Prover

    Zou, L., Zhany, N., Wang, S., Fränzle, M. & Qin, S., 2013, 2013 Proceedings of the International Conference on Embedded Software (EMSOFT). IEEE

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

  • 2012

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

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

  • Intention recognition, commitment and the evolution of cooperation

    Han, T. A., Pereira, L. M. & Santos, F. C., 4 Oct 2012, 2012 IEEE Congress on Evolutionary Computation, CEC 2012. IEEE, 6256472. (2012 IEEE Congress on Evolutionary Computation, CEC 2012).

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

    13 Citations (Scopus)

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

  • The emergence of commitments and cooperation

    Han, T. A., Pereira, L. M. & Santos, F. C., 2012, Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems(AAMAS 2012. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), p. 992-999 8 p.

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

    Open Access

  • The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs

    Zhu, H., Xu, Q., Ma, C., Qin, S. & Qiu, Z., 2012, Software Engineering and Formal Methods. SEFM 2012. Eleftherakis , G., Hinchey , M. & Holcombe , M. (eds.). Springer Berlin, (Lecture Notes in Computer Science; vol. 7504).

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

  • Where's the story? Forms of interactive narrative in current digital games and other digital forms

    Koenitz, H., Haahr, M., Ferri, G., Sezen, T. I. & Sezen, D., 2012, Interactive Storytelling: ICIDS 2012. Oyarzun, D., Peinado, F., Young, R. M., Elizalde, A. & Méndez, G. (eds.). Springer, p. 214-215 2 p. (Lecture Notes in Computer Science; vol. 7648).

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

  • 2011

    Games and Education: Reward Mechanisms, Framing Mechanisms, and Identities

    Sturrock, I., Grout, V., Picking, R., Gossman, P. & MacCallum-Stewart, E., 2011, SEIN2011: Proceedings of the Seventh Collaborative Research Symposium on Security, E-learning, Internet and Networking. University of Plymouth Press

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

  • Towards an Axiomatic Verification System for JavaScript

    Qin, S., Chawdhary, A., Xiong, W., Munro, M., Qiu, Z. & Zhu, H., 2011, 2011 Fifth International Conference on Theoretical Aspects of Software Engineering. IEEE

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

  • Towards a unified theory for interactive digital storytelling - Classifying artifacts: A workshop at ICIDS 2011

    Koenitz, H., Haahr, M., Ferri, G. & Sezen, T. I., 2011, Interactive Storytelling: ICIDS 2011. Si, M., Thue, D., André, E., Lester, J. C., Tanenbaum, J. & Zammitto, V. (eds.). Springer, p. 360-361 2 p. (Lecture Notes in Computer Science; vol. 7069).

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

  • 2010

    2PDA: Two-phase data approximation in wireless sensor network

    Kamal, A. R. M., Razzaque, M. A. A. & Nixon, P., 20 Dec 2010, PE-WASUN'10 - Proceedings of the 7th ACM Symposium on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks, Co-located with MSWiM'10. p. 1-8 8 p. 1868591. (PE-WASUN'10 - Proceedings of the 7th ACM Symposium on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks, Co-located with MSWiM'10).

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

    4 Citations (Scopus)

  • Enhancement of self-organisation in wireless networking through a cross-layer approach

    Razzaque, M. A., Dobson, S. & Nixon, P., 1 Dec 2010, Ad Hoc Networks - First International Conference, ADHOCNETS 2009, Revised Selected Papers. p. 144-159 16 p. (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering; vol. 28 LNICST).

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

    3 Citations (Scopus)

  • Probabilistic choice, reversibility, loops, and miracles

    Stoddart, B., Bell, P. & Qin, S. (Editor), 2010, Lecture Notes in Computer Science. Shengchao, Q. (ed.). Springer Verlag, Vol. 6445.

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

    Open Access
    File
    246 Downloads (Pure)

  • Towards a shared vocabulary for interactive digital storytelling: A workshop at ICIDS 2010

    Koenitz, H., Haahr, M., Ferri, G. & Sezen, T. I., 2010, Interactive Storytelling: ICIDS 2010. Aylett, R., Lim, M. Y., Louchart, S., Petta, P. & Riedl, M. (eds.). Springer, p. 293-294 2 p. (Lecture Notes in Computer Science; vol. 6432).

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

  • Towards Encoding Background Knowledge with Temporal Extent into Neural Networks

    Anh, H. T. & Marques, N. C., 2010, Knowledge Science, Engineering and Management. KSEM 2010. Bi, Y. & Williams, M. (eds.). Springer, p. 63-75 (Lecture Notes in Computer Science; vol. 6291).

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

  • 2009

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

  • Do we need a new narratology for interactive digital storytelling? A workshop on theory at ICIDS 2009

    Koenitz, H., Haahr, M., Ferri, G. & Sezen, T. I., 2009, Interactive Storytelling: ICIDS 2009. Zagalo, I. A., Zagalo, N. & Petta, P. (eds.). Springer, p. 354=355 2 p. (Lecture Notes in Computer Science; vol. 5915).

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

  • Intention Recognition via Causal Bayes Networks Plus Plan Generation

    Pereira, L. M. & Anh, H. T., 2009, Progress in Artificial Intelligence. EPIA 2009.. Lopes, L., Lau, N., Mariano, P. & Rocha, L. (eds.). Springer, p. 138-149 12 p. (Lecture Notes in Computer Science; vol. 5816).

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

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

  • 2008

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

  • An implementation of extended P-log using XASP

    Han, T. A., Ramli, C. K. & Damásio, C. V., 2008, Logic Programming. ICLP 2008. Garcia de la Banda, M. & Pontelli , E. (eds.). Springer, p. 738-743 6 p. ( Lecture Notes in Computer Science; vol. 5366).

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

  • A vision for truly adaptable and accessible learning objects

    Gkatzidou, S. & Pearson, E. J., 2008, Proceedings ASCILITE Australasian Society for Computers in Learning in Tertiary Education. Australasian Society for Computers in Learning and Tertiary Education, p. 340-342

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

    Open Access
    File
    34 Downloads (Pure)

  • Could PLE's be the future: from institutional control to student control

    Corfield, G., Green, S. J. & Pearson, E. J., 2008, Proceedings of the 9th annual conference of the subject centre for information and computer sciences. HE Academy, Subject Centre for ICS, p. 134-139

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

  • Cross-layer self routing: A self-managed routing approach for MANETs

    Razzaque, M. A., Dobson, S. & Nixon, P., 1 Dec 2008, Proceedings - 4th IEEE International Conference on Wireless and Mobile Computing, Networking and Communication, WiMob 2008. p. 284-290 7 p. 4654250. (Proceedings - 4th IEEE International Conference on Wireless and Mobile Computing, Networking and Communication, WiMob 2008).

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

    6 Citations (Scopus)