Search research publications and outputs

  1. 2015
  2. Market-inspired Dynamic Resource Allocation in Many-core High Performance Computing Systems

    Singh, A. K., Dziurzanski, P. & Soares Indrusiak, L., 2015, Proceedings of International Conference on High Performance Computing & Simulation. IEEE, p. 413-420 8 p.

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

  3. Refinement-Based Verification of the FreeRTOS Scheduler in VCC

    Woodcock, J. C. P., Divakaran, S., D'Souza, D., Kushwah, A., Sampath, P. & Sridhar, N., 2015, Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015. Butler, M., Conchon, S. & Zaidi, F. (eds.). Lecture Notes in Computer Science, Vol. 9407. p. 170-186 16 p.

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

  4. Search-Based Synthesis of Probabilistic Models for Quality-of-Service Software Engineering

    Gerasimou, S., Tamburrelli, G. & Calinescu, R., 2015, 30th IEEE/ACM International Conference on Automated Software Engineering (ASE 2015). 12 p.

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

  5. Self-Adaptive Software with Decentralised Control Loops

    Calinescu, R., Gerasimou, S. & Banks, A., 2015, 18th International Conference on Fundamental Approaches to Software Engineering (FASE). Springer Berlin / Heidelberg, Vol. 9033. p. 235-251 15 p. (Lecture Notes in Computer Science; vol. 9033).

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

  6. Stochastic modeling, analysis and verification of mission-critical systems and processes

    Gerasimou, S., Mason, G. R., Paterson, C. A., Banks, A., Calinescu, R. C., Kudenko, D. & Rowe, S., 2015, 4th IMA Conference on Mathematics in Defence. 9 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  7. Tele Assistance: A Self-Adaptive Service-Based System Exemplar

    Weyns, D. & Calinescu, R., 2015, 2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS). p. 88-92 5 p.

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

  8. Towards a unified definition of web accessibility

    Petrie, H., Savva, A. & Power, C. D., 2015, Proceedings of the 12th Web for all Conference. ACM, p. 35 1 p.

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

  9. Weaving Parallel Threads

    Calderon Trilla, J. M., Poulding, S. M. & Runciman, C., 2015, Proceedings of International Symposium on Search-based Software Engineering. Barros, M. & Labiche, Y. (eds.). Bergamo, Italy: Springer, p. 62-76 14 p. (LNCS; vol. 9275).

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

  10. 2014
  11. Player strategies: achieving breakthroughs and progressing in single-player and cooperative games

    Iacovides, I., Cox, A. L., Avakian, A. & Knoll, T., 1 Oct 2014, Proceedings of the first ACM SIGCHI annual symposium on Computer-human interaction in play - CHI PLAY '14. New York, USA: ACM, p. 131-140 10 p.

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

  12. Automatically Improving Constraint Models in Savile Row through Associative-Commutative Common Subexpression Elimination

    Nightingale, P., Akgun, O., Gent, I. P., Jefferson, C. & Miguel, I., 8 Sep 2014, Principles and Practice of Constraint Programming. Cham: SPRINGER, p. 590-605 16 p. (Lecture Notes in Computer Science; vol. 8656).

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

  13. Discriminating instance generation for automated constraint model selection

    Gent, I. P., Hussain, B. S., Jefferson, C., Kotthoff, L., Miguel, I., Nightingale, G. F. & Nightingale, P., 8 Sep 2014, Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Proceedings. Springer Verlag, p. 356-365 10 p.

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

  14. Breaking conditional symmetry in automated constraint modelling with CONJURE

    Akgun, O., Gent, I. P., Jefferson, C. A., Miguel, I. J. & Nightingale, P. W., 18 Aug 2014, ECAI 2014. IOS Press, Vol. 263. p. 3-8 6 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  15. Mutation Testing for Jason Agents

    Huang, Z., Alexander, R. & Clark, J. A., 6 May 2014, Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems. Richland, SC: IFAAMAS, 16 p.

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

  16. Outlier Detection in Big Data

    Wang, J. (ed.) & Hodge, V. J., 1 Apr 2014, Encyclopedia of Business Analytics and Optimization. Wang, J. (ed.). Hershey, PA: IGI Global, p. 1762-1771 10 p. (Encyclopedia of Business Analytics and Optimization).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  17. Entropic graph embedding via multivariate degree distributions

    Ye, C., Wilson, R. C. & Hancock, E. R., 1 Jan 2014, Structural, Syntactic, and Statistical Pattern Recognition: Joint IAPR International Workshop, S+SSPR 2014, Joensuu, Finland, August 20-22, 2014. Proceedings. Springer-Verlag, Vol. 8621 LNCS. p. 163-172 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

  18. Incorporating scale invariance into the cellular associative neural network

    Burles, N., O'Keefe, S. & Austin, J., 1 Jan 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag, Vol. 8681 LNCS. p. 435-442 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8681 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  19. Quantum vs classical ranking in segment grouping

    Escolano, F., Bonev, B. & Hancock, E. R., 1 Jan 2014, Structural, Syntactic, and Statistical Pattern Recognition: Joint IAPR International Workshop, S+SSPR 2014, Joensuu, Finland, August 20-22, 2014. Proceedings. Springer-Verlag, Vol. 8621 LNCS. p. 203-212 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

  20. Combining Multiple Correlated Reward and Shaping Signals by Measuring Confidence

    Brys, T., Nowé, A., Kudenko, D. & Taylor, M., 2014, The 28th Conference of the American Association on Artificial Intelligence: AAAI 2014.

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

  21. Commute time for a gaussian wave packet on a graph

    Aziz, F., Wilson, R. C. & Hancock, E. R., 2014, Structural, Syntactic, and Statistical Pattern Recognition: Joint IAPR International Workshop, S+SSPR 2014, Joensuu, Finland, August 20-22, 2014. Proceedings. Springer-Verlag, Vol. 8621 LNCS. p. 374-383 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

  22. Contracts in CML

    Woodcock, J. C. P., Cavalcanti, A. L. C., Fitzgerald, J., Foster, S. & Larsen, P. G., 2014, 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. SPRINGER, p. 54-73 20 p. (Lecture Notes in Computer Science; vol. 8803).

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

  23. Depth-Based Complexity Traces of Hypergraphs from Directed Line Graphs

    Bai, L., Ren, P., Escolano, F. & Hancock, E. R., 2014, Proceedings of the 22nd International Conference on Pattern Recognition. IEEE Computer Society Press, 6 p.

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

  24. Node centrality for continuous-time quantum walks

    Rossi, L., Torsello, A. & Hancock, E. R., 2014, Structural, Syntactic, and Statistical Pattern Recognition: Joint IAPR International Workshop, S+SSPR 2014, Joensuu, Finland, August 20-22, 2014. Proceedings. Springer-Verlag, Vol. 8621 LNCS. p. 103-112 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

  25. 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

  26. 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

  27. 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

  28. 2013
  29. 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

  30. Do games attract or sustain engagement in citizen science? A study of volunteer motivations

    Iacovides, I., Jennett, C., Cornish-Trestrail, C. & Cox, A. L., 1 Apr 2013, CHI '13 Extended Abstracts on Human Factors in Computing Systems. New York, USA: ACM, p. 1101-1106 6 p.

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

  31. Performance modelling of magnetohydrodynamics codes

    Bird, R. F., Wright, S. A., Beckingsale, D. A. & Jarvis, S. A., 1 Mar 2013, Computer Performance Engineering - 9th European Workshop, EPEW 2012, Revised Selected Papers. Vol. 7587 LNCS. p. 197-209 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7587 LNCS).

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

  32. A Verified Protocol to Implement Multi-way Synchronisation and Interleaving in CSP

    Oliveira, M. V. M., Júnior, I. S. D. M. & Woodcock, J., 2013, Software Engineering and Formal Methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings. Hierons, R. M., Merayo, M. G. & Bravetti, M. (eds.). SPRINGER, Vol. 8137. p. 46-60 15 p. (Lecture Notes in Computer Science).

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

  33. An incremental verification framework for component-based software systems

    Johnson, K. H. A., Calinescu, R. C. & Kikuchi, S., 2013, CBSE '13 : Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering. New York: ACM, p. 33-42 10 p.

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

  34. Extending the Associative Rule Chaining Architecture for Multiple Arity Rules

    Burles, N. J., Austin, J. & O'Keefe, S., 2013, Proceedings of the Ninth International Workshop on Neural-Symbolic Learning and Reasoning. p. 47-51 5 p.

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

  35. Improving the associative rule chaining architecture

    Burles, N. J., O'Keefe, S. & Austin, J., 2013, Artificial Neural Networks and Machine Learning - ICANN 2013: 23rd International Conference on Artificial Neural Networks, Sofia, Bulgaria, September 2013. Proceedings.. Mladenov, V., Palm, G., Appollini, B., Koprinkova-Hristova, P., Villa, A. & Kasabov, N. (eds.). Berlin: Springer-Verlag, Vol. 8131 LNCS. p. 98-105 8 p. (Lecture Notes in Computer Science; vol. 8131).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  36. Learning by volunteer computing, thinking and gaming: What and how are volunteers learning by participating in Virtual Citizen Science?

    Kloetzer, L., Scheider, D., Jennett, C., Iacovides, I., Eveleigh, A., Cox, A. L. & Gold, M., 2013, Changing Configurations of Adult Education in Transitional Times: Conference Proceedings. ESREA: European Society for Research on the Education of Adults, p. 73-92

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

  37. Supporting Learning Within the Workplace: Device Training in Healthcare

    Iacovides, I., Cox, A. L. & Blandford, A., 2013, Proceedings of the 31st European Conference on Cognitive Ergonomics. New York, NY, USA: ACM, p. 30:1-30:4 (ECCE '13).

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

  38. Testing Autonomous Robot Control Software Using Procedural Content Generation

    Arnold, J. & Alexander, R., 2013, Computer Safety, Reliability, and Security. Springer, Vol. 8153 LNCS. p. 33-44 12 p. (Lecture Notes in Computer Science; vol. 8153).

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

  39. Unifying Theories of Programming in Isabelle

    Foster, S. & Woodcock, J., 2013, Unifying Theories of Programming and Formal Engineering Methods - International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures. Liu, Z., Woodcock, J. & Zhu, H. (eds.). SPRINGER, Vol. 8050. p. 109-155 47 p. (Lecture Notes in Computer Science).

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

  40. 2012
  41. LDPLFS: Improving I/O performance without application modification

    Wright, S. A., Hammond, S. D., Pennycook, S. J., Miller, I., Herdman, J. A. & Jarvis, S. A., 18 Oct 2012, Proceedings of the 2012 IEEE 26th International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2012. p. 1352-1359 8 p. 6270802

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

  42. Dynamic Potential-Based Reward Shaping

    Devlin, S. M. & Kudenko, D., Jun 2012, Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems. IFAAMAS, p. 433-440 8 p.

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

  43. Probabilistic Hierarchical Clustering Of Morphological Paradigms

    Manandhar, S. K. & Can, B., 23 Apr 2012, EACL '12 Proceedings of the 13th Conference of the European Chapter of the Association for Computational Linguistics . Stroudsburg, PA: Association for Computational Linguistics, p. 654-663 10 p.

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

  44. A Rule Chaining Architecture Using a Correlation Matrix Memory

    Austin, J., Hobson, S. J., Burles, N. J. & O'Keefe, S., 2012, Artificial Neural Networks and Machine Learning – ICANN 2012: 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings, Part I. PART 1 ed. SPRINGER-VERLAG BERLIN, Vol. 7552. p. 49-56 (Lecture Notes in Computer Science; vol. 7552).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  45. A Tool for Development and Evaluation of Accessible Web 2.0 Applications

    Kervina, D., Pustisek, M., Ackermann, P., Velasco, C. A. & Power, C. D., 2012, 21st International Electrotechnical and Computer Science Conference. IEEE COMPUTER SOC, p. 89-92 4 p.

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

  46. Modelling Temporal Behaviour in Complex Systems with Timebands

    Wei, K., Woodcock, J. & Burns, A., 2012, Conquering Complexity. Hinchey, M. & Coyle, L. (eds.). London : SPRINGER, p. 277-307 31 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  47. Resource-sensitive synchronization inference by abduction

    Botincan, M., Dodds, M. D. & Jagannathan, S., 2012, POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages . New York: ACM, p. 309-322 14 p.

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

  48. Testing Implications of the Adaptive Market Hypothesis via Computational Intelligence

    Kazakov, D. L. & Butler, M. R., 2012, Computational Intelligence for Financial Engineering & Economics (CIFEr), 2012 IEEE Conference on . IEEE, p. 1-8

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

  49. Unifying Theories of Undefinedness in UTP

    Woodcock, J. & Bandur, V., 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.). Heidelberg: SPRINGER, Vol. 7681. p. 1-22 22 p. (Lecture Notes in Computer Science).

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

  50. 2011
  51. Light-weight parallel I/O analysis at scale

    Wright, S. A., Hammond, S. D., Pennycook, S. J. & Jarvis, S. A., 1 Dec 2011, Computer Performance Engineering - 8th European Performance Engineering Workshop, EPEW 2011, Proceedings. Vol. 6977 LNCS. p. 235-249 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6977 LNCS).

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

  52. Extensible Automated Constraint Modelling

    Akgun, O., Miguel, I., Jefferson, C., Frisch, A. M. & Hnich, B., Aug 2011, Proceedings of theTwenty-Fifth AAAI Conference on Artificial Intelligence. San Francisco: AAAI Press, p. 4-11 8 p.

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

  53. Timed circus: Timed CSP with the miracle

    Wei, K., Woodcock, J. & Burns, A., 25 Jul 2011, 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011. Perseil, I., Breitman, K. & Sterritt, R. (eds.). IEEE Computer Society Press, p. 55-64 10 p. 5773380

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

  54. Theoretical Considerations of Potential-Based Reward Shaping for Multi-Agent Systems

    Devlin, S. & Kudenko, D., May 2011, The 10th International Conference on Autonomous Agents and Multiagent Systems . ACM, p. 225-232

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

  55. Bayesian network learning with cutting planes

    Cussens, J., 2011, Proceedings of the 27th Conference on Uncertainty in Artificial Intelligence (UAI 2011). Cozman, F. & Pfeffer, A. (eds.). Corvallis, Oregon: AUAI Press, p. 153-160 8 p.

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