Search research publications and outputs

  1. 2014
  2. Potential-based difference rewards for multiagent reinforcement learning

    Devlin, S., Yliniemi, L., Kudenko, D. & Turner, K., 2014, 13th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2014. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), Vol. 1. p. 165-172 8 p.

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

  3. Predicting player disengagement in online games

    Xie, H., Kudenko, D., Devlin, S. & Cowling, P., 2014, Workshop on Computer Games. Cazenave, T., Winands, M. H. M. & Björnsson, Y. (eds.). Springer International Publishing, p. 133-149 17 p.

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

  4. Preserving Swarm Identity Over Time

    Stovold, J. H., O'Keefe, S. & Timmis, J., 2014, Artificial Life 14: Proceedings of the Fourteenth International Conference on the Synthesis and Simulation of Living Systems. MIT Press, p. 726-734 9 p.

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

  5. Probability-based semantic interpretation of mutants

    Patrick, M., Alexander, R., Oriol, M. & Clark, J. A., 2014, Proceedings - IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops: ICSTW 2014. IEEE Computer Society Press, p. 186-195 10 p. 6825657

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

  6. Profiling underwater swarm robotic shoaling performance using simulation

    Read, M., Möslinger, C., Dipper, T., Kengyel, D., Hilder, J., Thenius, R., Tyrrell, A., Timmis, J. & Schmickl, T., 2014, Towards Autonomous Robotic Systems: 14th Annual Conference, TAROS 2013, Oxford, UK, August 28--30, 2013, Revised Selected Papers. Springer-Verlag, Vol. 8069 LNAI. p. 404-416 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8069 LNAI).

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

  7. Promoting elderly-children interaction in digital games: A preliminary set of design guidelines

    Grimaldo, A. I., Morán, A. L., Gamez, E. C., Cairns, P., Palacio, R. R. & Meza-Kubo, V., 2014, Collaboration and Technology: 20th International Conference, CRIWG 2014, Santiago, Chile, September 7-10, 2014. Proceedings. Springer-Verlag, Vol. 8658 LNCS. p. 169-176 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8658 LNCS).

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

  8. Rapid Prototyping of a Semantically Well Founded Circus Model Checker

    Mota, A., Farias, A., Didier, A. & Woodcock, J., 2014, Software Engineering and Formal Methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings. Giannakopoulou, D. & Salaün, G. (eds.). SPRINGER, Vol. 8702. p. 235-249 (Lecture Notes in Computer Science; vol. 8702).

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

  9. Re-engineering the Database Layer of Legacy Applications for Scalable Cloud Deployment

    Ellison, M., Calinescu, R. & Paige, R. F., 2014, Utility and Cloud Computing (UCC): Proceedings of the 7th IEEE/ACM International Conference on Utility and Cloud Computing, UCC 2014, London, United Kingdom, December 8-11, 2014. IEEE, p. 976-979 4 p.

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

  10. Realistic Safety Cases for the Timing of Systems

    Graydon, P. J. & Bate, I. J., 2014, The Computer Journal. 5 ed. Vol. 57. p. 759 774 p.

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

  11. Resource Requirement Analysis for Web Applications Running in a Virtualised Environment

    Mohamad, R. P., Kolovos, D. S. & Paige, R. F., 2014, Cloud Computing Technology and Science (CloudCom): 2014 IEEE 6th International Conference on Cloud Computing Technology and Science, CloudCom 2014, Singapore, December 15-18, 2014. IEEE, p. 632-637 6 p.

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

  12. Run-time Detection of Faults in Autonomous Mobile Robots Based on the Comparison of Simulated and Real Robot Behaviour

    Millard, A. G., Timmis, J. & Winfield, A. F. T., 2014, Intelligent Robots and Systems (IROS 2014), 2014 IEEE/RSJ International Conference on. IEEE, p. 3720-3725

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

  13. SCJ: Memory-safety checking without annotations

    Marriott, C. & Cavalcanti, A. L. C., 2014, FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings. Jones, C., Pihlajasaari, P. & Sun, J. (eds.). SPRINGER, p. 465-480 16 p. (Lecture Notes in Computer Science; vol. 8442).

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

  14. STC: A Joint Sentiment-Topic Model for Community Identification

    Yang, B. & Manandhar, S., 2014, Trends and Applications in Knowledge Discovery and Data Mining: PAKDD 2014 International Workshops: DANTH, BDM, MobiSocial, BigEC, CloudSD, MSMV-MBI, SDA, DMDA-Health, ALSIP, SocNet, DMBIH, BigPMA,Tainan, Taiwan, May 13-16, 2014. Revised Selected Papers. Springer, p. 535-548 14 p.

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

  15. Seamless texture stitching on a 3D mesh by Poisson blending in patches

    Desssein, A., Smith, W. A. P., Wilson, R. C. & Hancock, E. R., 2014, 2014 IEEE International Conference on Image Processing (ICIP). IEEE, p. 2031-2035 6 p.

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

  16. Self-Service Terminals for Older and Disabled Users: Attitudes of Key Stakeholders

    Petrie, H., Darzentas, J. S. & Power, C. D., 2014, Computers Helping People with Special Needs: 14th International Conference, ICCHP 2014, Paris, France, July 9-11, 2014, Proceedings, Part I. PART 1 ed. Vol. 8547 LNCS. p. 340-347 8 p. (Lecture Notes in Computer Science; vol. 8547).

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

  17. SemEval-2014 Task 4: Aspect Based Sentiment Analysis

    Pontiki, M., Galanis, D., Pavlopoulos, J., Papageorgiou, H., Androutsopoulos, I. & Manandhar, S., 2014, Proceedings of the 8th International Workshop on Semantic Evaluation (SemEval 2014). p. 27-35 9 p.

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

  18. SemEval-2014 Task 7: Analysis of Clinical Text

    Pradhan, S., Elhadad, N., Chapman, W. W., Manandhar, S. & Savova, G., 2014, Proceedings of the 8th International Workshop on Semantic Evaluation (SemEval 2014). p. 54-62 9 p.

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

  19. Semantic reasoning for autonomic IT systems

    Patelli, A., Calinescu, R. & Wang, H., 2014, WCOP 2014 - Proceedings of the 19th International Doctoral Symposium on Components and Architecture (Part of CompArch 2014). Association for Computing Machinery (ACM), p. 13-18 6 p.

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

  20. Software Analytics for MDE Communities

    Williams, J. R., Matragkas, N. D., Kolovos, D. S., Korkontzelos, Y., Annaniadou, S. & Paige, R. F., 2014, OSS4MDE 2014: Proceedings of the 1st Workshop on Open Source Software for Model Driven Engineering co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages Systems, OSS4MDE@MoDELS 2014, Valencia, Spain, September 28, 2014.. CEUR Workshop Proceedings, p. 53-63 11 p. (CEUR Workshop Proceedings; vol. 1290).

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

  21. Speaking the Language of Web Developers: Evaluation of a Web Accessibility Information Resource (WebAIR)

    Swallow, D. M., Power, C. D., Petrie, H., Bramwell-Dicks, A. F., Buykx, L., Velasco, C. A., Parr, A. & O Connor, J., 2014, Computers Helping People with Special Needs: 14th International Conference, ICCHP 2014, Paris, France, July 9-11, 2014, Proceedings, Part I. PART 1 ed. Springer, Vol. 8547 LNCS. p. 348-355 8 p. (Lecture Notes in Computer Science 0302-9743; vol. 8547).

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

  22. Strategy-guided requirements development and validation

    Cui, X. & Paige, R. F., 2014, Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD) : 2014 15th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2014, Las Vegas, NV, USA, June 30 - July 2, 2014. IEEE, p. 1-6 6 p.

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

  23. The 2013 Multi-Objective Physical Travelling Salesman Problem Competition

    Perez, D., Powley, E., Whitehouse, D., Samothrakis, S., Lucas, S. & Cowling, P. I., 2014, 2014 IEEE Congress on Evolutionary Computation (CEC). p. 2314-2321 8 p.

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

  24. The Effect of Text Color and Background Color on Skim Reading Webpages in Thai

    Kamollimsakul, S., Petrie, H. & Power, C. D., 2014, International Conference on Human-Computer Interaction. Springer, p. 615-620 6 p.

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

  25. The Mutual Information between Graphs

    Escolano, F. & Hancock, E. R., 2014, Proceedings of the 22nd International Conference on Pattern Recognition. IEEE Computer Society Press, p. 94-99 6 p.

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

  26. The Nature and Content of Safety Contracts: Challenges and Suggestions for a Way Forward

    Graydon, P. & Bate, I., 2014, Proceedings of the 20th IEEE Pacific Rim International Symposium on Dependable Computing.

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

  27. The Pi Swarm: A low-cost platform for swarm robotics research and education

    Hilder, J. A., Naylor, R. F., Rizihs, A., Franks, D. W. & Timmis, J., 2014, LNCS. Springer, Vol. 8717. p. 151-162

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

  28. The abundance of 44Ti in core collapse supernovae: Measuring the 44Ti(α, p)47V reaction

    Murphy, A. S. J., Davinson, T., Kankainen, A., Lotay, G., Mountford, D. J., Murphy, C. D., Woods, P. J., Dressler, R., Schumann, D., Stowasser, T., Fallis, J., Laird, A. M., Seiffert, C., Stora, T. & Wang, C. H. T., 2014, Proceedings of Science. Proceedings of Science (PoS), Vol. 07-11-July-2015. 126

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

  29. The influence of controllers on immersion in mobile games

    Cairns, P., Li, J., Wang, W. & Nordin, A. I., 2014, CHI '14: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. Association for Computing Machinery (ACM), p. 371-380 10 p.

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

  30. Towards Rigorously Faking Bidirectional Model Transformations

    Poskitt, C., Dodds, M., Paige, R. F. & Rensink, A., 2014, AMT 2014 - Analysis of Model Transformations Workshop Proceedings. Dingel, J., de Lara, J., Lucio, L. & Vangheluwe, H. (eds.). CEUR Workshop Proceedings, Vol. 1277. p. 70-75 (CEUR Workshop Proceedings).

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

  31. Transitive state alignment for the quantum jensen-shannon kernel

    Torsello, A., Gasparetto, A., Rossi, L., Bai, L. & Hancock, E. R., 2014, Structural, Syntactic, and Statistical Pattern Recognition: Joint IAPR International Workshop, S+SSPR 2014, Joensuu, Finland, August 20-22, 2014. Proceedings. Fränti, P., Brown, G., Loog, M., Escolano, F. & Pelillo, M. (eds.). Springer-Verlag, Vol. 8621 LNCS. p. 22-31 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8621 LNCS).

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

  32. UTP Designs for Binary Multirelations

    De Oliveira Salazar Ribeiro, P. F. & Cavalcanti, A. L. C., 2014, Theoretical Aspects of Computing: ICTAC 2014. 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings. Ciobanu, G. & Méry, D. (eds.). SPRINGER, Vol. 8687. p. 388-405 18 p. (Lecture Notes in Computer Science; vol. 8687).

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

  33. Using mobile robotic agents to increase service availability and extend network lifetime on WSRNs

    Caliskanelli, I. & Indrusiak, L. S., 2014, Proceedings - 2014 12th IEEE International Conference on Industrial Informatics, INDIN 2014. Institute of Electrical and Electronics Engineers Inc., p. 388-393 6 p.

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

  34. Verifying Monadic Second-Order Properties of Graph Programs

    Poskitt, C. & Plump, D., 2014, Proceedings 7th International Conference on Graph Transformation (ICGT 2014). Giese, H. & Koenig, B. (eds.). Springer, p. 33-48 16 p. (Lecture Notes in Computer Science; vol. 8571).

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

  35. Web Accessibility for Older Readers: Effects of Font Type and Font Size on Skim Reading Webpages in Thai

    Kamollimsakul, S., Petrie, H. & Power, C. D., 2014, Computers Helping People with Special Needs. PART 1 ed. Springer, Vol. 8547 LNCS. p. 332-339 8 p. (Lecture Notes in Computer Science; vol. 8547).

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

  36. 2013
  37. Developing self-verifying service-based systems

    Calinescu, R., Johnson, K. & Rafiq, Y., 1 Dec 2013, 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings. p. 734-737 6693145

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

  38. Fixed-priority scheduling of dual-criticality systems

    Baruah, S. & Burns, A., 1 Dec 2013, ACM International Conference Proceeding Series. ACM, p. 173-181 9 p.

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

  39. Selecting Highly Efficient Sets of Subdomains for Mutation Adequacy

    Patrick, M., Alexander, R., Oriol, M. & Clark, J. A., 1 Dec 2013, Software Engineering Conference (APSEC, 2013 20th Asia-Pacific). Vol. 1. p. 91-98 8 p.

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

  40. A comparison of major issues for the development of forensics in cloud computing

    Jacob, J. L. & Aydin, M., Dec 2013, Proceedings 2013 8th International Conference for Internet Technology and Secured Transactions (ICITST). p. 77--82

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

  41. Limited Pre-emptive Global Fixed Task Priority

    Marinho, J., Nelis, V., Petters, S., Bertogna, M. & Davis, R. I., Dec 2013, Real-Time Systems Symposium (RTSS). p. 182-191

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

  42. Safety-critical Java level 2: Motivations, example applications and issues

    Wellings, A., Luckcuck, M. & Cavalcanti, A., 15 Nov 2013, Proceedings of the 11th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2013. p. 48-57 10 p.

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

  43. Finding test data with specific properties via metaheuristic search

    Feldt, R. & Poulding, S., 1 Nov 2013, Software Reliability Engineering (ISSRE), 2013 IEEE 24th International Symposium on. p. 350-359

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

  44. Designs with angelic nondeterminism

    Ribeiro, P. & Cavalcanti, A., 30 Oct 2013, Proceedings - 2013 International Symposium on Theoretical Aspects of Software Engineering, TASE 2013. p. 71-78 8 p. 6597880

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

  45. Towards autonomic cloud services engineering via intention workflow model

    Baker, T., Rana, O. F., Calinescu, R., Tolosana-Calasanz, R. & Bañares, J. Á., 30 Oct 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8193. p. 212-227 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8193 LNCS).

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

  46. Web accessibility for older adults: effects of line spacing and text justification on reading web pages

    Petrie, H., Kamollimsakul, S. & Power, C. D., 21 Oct 2013, ASSETS '13 Proceedings of the 15th International ACM SIGACCESS Conference on Computers and Accessibility. ACM, 77

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

  47. A Schedulability Compatible Multiprocessor Resource Sharing Protocol - MrsP

    Burns, A. & Wellings, A. J., 15 Oct 2013, Proceedings - Euromicro Conference on Real-Time Systems. p. 282-291 10 p. 6602108

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

  48. Automated calibration of agent-based immunological simulations

    Read, M. N., Tripp, M., Leonova, H., Rose, L. M. & Timmis, J., 2 Sep 2013, Advances in Artificial Life, ECAL 2013: Proceedings of the Twelfth European Conference on the Synthesis and Simulation of Living Systems. MIT Press, p. 874-875 (Complex Adaptive Systems).

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

  49. Towards a Scalable Cloud Platform for Search-Based Probabilistic Testing

    Rose, L. M., Poulding, S., Feldt, R. & Paige, R. F., 1 Sep 2013, Software Maintenance (ICSM), 2013 29th IEEE International Conference on. p. 480-483

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

  50. Global Fixed Priority Scheduling with Deferred Pre-emption

    Davis, R. I., Burns, A., Marinho, J., Nelis, V., Petters, S. & Bertogna, M., 1 Aug 2013, IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA). p. 1-11

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

  51. The Role of Architectural Model Checking in Conducting Preliminary Safety Assessment

    Jaradat, O., Graydon, P. & Bate, I., 1 Aug 2013, Proceedings of the 31st International System Safety Conference (ISSC), System Safety Society.

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

  52. An Extended Fixed Priority Scheme for Mixed Criticality Systems

    Baruah, S., Burns, A. & Davis, R. I., Aug 2013, Workshop on Real-Time Mixed Criticality Systems (ReTiMics). George, L. & Lipari, G. (eds.). p. 18-24 7 p.

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

Previous 1 2 3 4 5 6 7 8 ...33 Next