Search research publications and outputs

  1. 2014
  2. The Playtime Principle: Large/scale cross-games interest modeling

    Sifa, R., bauckhage, C. & Drachen, A., 23 Dec 2014, Proceedings of the IEEE Computational Intelligence in Games. IEEE, 8 p.

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

  3. A Wormhole NoC Protocol for Mixed Criticality Systems

    Burns, A., Harbin, J. & Indrusiak, L. S., 1 Dec 2014, Real-Time Systems Symposium (RTSS), 2014 IEEE. IEEE, p. 184-195 12 p.

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

  4. Adaptive Mixed Criticality Scheduling with Deferred Preemption

    Burns, A. & Davis, R. I., Dec 2014, Proceedings: 2014 IEEE Real-Time Systems Symposium (RTSS 2014). IEEE, p. 21-30 10 p.

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

  5. Integrating Cache-Related Pre-emption Delays into Analysis of Fixed Priority Scheduling with Pre-emption Thresholds

    Bril, R., Altmeyer, S., van den Heuvel, M., Davis, R. I. & Behnam, M., Dec 2014, Proceedings Real-Time Systems Symposium (RTSS 2014). IEEE, p. 161-172 12 p.

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

  6. Predictability enhancement in non-preemptive NoCs using selective packet splitting

    Sudev, B. & Indrusiak, L. S., 3 Nov 2014, Proceedings - 2014 12th IEEE International Conference on Industrial Informatics, INDIN 2014. Institute of Electrical and Electronics Engineers Inc., p. 195-200 6 p.

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

  7. Interpreting the von Neumann entropy of graph Laplacians, and coentropic graphs

    de Beaudrap, N., Giovannetti, V., Severini, S. & Wilson, R. C., Nov 2014, Contemporary Mathematics: A Panorama of Mathematics: Pure and Applied. American Mathematical Society, Vol. 658. p. 227-236

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

  8. Real-Time Big Data: the JUNIPER Approach

    Audsley, N. C., Gray, I., Chan, Y. & Wellings, A. J., Nov 2014, 3rd IEEE International Workshop on Real-time and distributed computing in emerging applications. p. 9-14

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

  9. On the locality of Java 8 streams in real-time big data applications

    Chan, Y., Gray, I., Wellings, A. & Audsley, N., 13 Oct 2014, JTRES '14: Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems. Association for Computing Machinery (ACM), p. 20-28 9 p. (ACM International Conference Proceeding Series).

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

  10. Exploring user expertise and descriptive ability in community question answering

    Yang, B. & Manandhar, S., 10 Oct 2014, ASONAM 2014 - Proceedings of the 2014 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining. IEEE, p. 320-327 8 p.

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

  11. Tag-based expert recommendation in community question answering

    Yang, B. & Manandhar, S., 10 Oct 2014, ASONAM 2014 - Proceedings of the 2014 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining. IEEE, p. 960-963 4 p.

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

  12. Predictability and utilisation trade-off in the dynamic management of multiple video stream decoding on Network-on-Chip based homogeneous embedded multi-cores

    Mendis, H. R., Indrusiak, L. S. & Audsley, N. C., 8 Oct 2014, RTNS '14: Proceedings of the 22nd International Conference on Real-Time Networks and Systems. Association for Computing Machinery (ACM), p. 161-170 10 p. (ACM International Conference Proceeding Series).

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

  13. WCET preserving hardware prefetch for Many-Core real-time systems

    Garside, J. & Audsley, N. C., 8 Oct 2014, ACM International Conference Proceeding Series. Association for Computing Machinery (ACM), p. 193-202 10 p.

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

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

  15. Correcting 3D scenes estimated from sets of multi-view images using shape-from-contours

    Grum, M. & Bors, A. G., Oct 2014, Proc. 2014 IEEE International Confereence on Image Processing, Paris, France. IEEE, p. 2888-2892 5 p.

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

  16. Lossy Compression for Static Probabilistic Timing Analysis of Random Replacement Caches

    Griffin, D. J., Lesage, B. M. J-R., Burns, A. & Davis, R. I., Oct 2014, RTNS '14: Proceedings of the 22nd International Conference on Real-Time Networks and Systems. ACM, p. 289-298 10 p.

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

  17. Schedulability Analysis for Fixed Priority Real-Time Systems with Energy-Harvesting

    Abdeddaïm, Y., Chanderli, Y., Masson, D. & Davis, R. I., Oct 2014, Proceedings of the 22nd International Conference on Real-Time Networks and Systems. p. 311-320 10 p.

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

  18. Architecture-awareness for real-time big data systems

    Gray, I., Audsley, N. C., Chan, Y. & Wellings, A., 9 Sep 2014, ACM International Conference Proceeding Series. Association for Computing Machinery (ACM), p. 151-156 6 p.

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

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

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

  21. On Demand Data Analysis and Filtering for Inaccurate Flight Trajectories

    Zanin, M., Perez, D., Chatterjee, K., Kolovos, D. S., Paige, R. F., Horst, A. & Rumpe, B., 8 Sep 2014, Proceedings of the SESAR Innovation Days (2011) EUROCONTROL. Toulouse

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

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

    Bai, L., Hancock, E. R., Ren, P. & Escolano, F., 1 Aug 2014, Pattern Recognition (ICPR), 2014 22nd International Conference on. IEEE, p. 3874-3879 6 p.

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

  23. Accounting for Cache Related Pre-emption Delays in Hierarchical Scheduling with Local EDF Scheduler

    Lunniss, W., Altmeyer, S. & Davis, R. I., Aug 2014, Junior Researcher Workshop on Real-Time Computing (JRWRTC). p. 13-16 4 p.

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

  24. Community discovery using social links and author-based sentiment topics

    Yang, B. & Manandhar, S., Aug 2014, Proceedings of the 2014 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, ASONAM 2014: Workshops held in conjunction with ASONAM 2014. IEEE, p. 580-587 8 p.

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

  25. Methods and Algorithms for Unsupervised Learning of Morphology

    Can, B. & Manandhar, S., Aug 2014, Computational Linguistics and Intelligent Text Processing: 15th International Conference, CICLing 2014, Kathmandu, Nepal, April 6-12, 2014, Proceedings, Part I. Gelbukh, A. (ed.). SPRINGER, p. 177-205 29 p. (Lecture Notes in Computer Science; vol. 8403).

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

  26. Evaluation of Cache Partitioning for Hard Real-Time Systems

    Altmeyer, S., Douma, R., Lunniss, W. & Davis, R. I., Jul 2014, Real-Time Systems (ECRTS): 2014 26th Euromicro Conference on. IEEE, p. 15-26 12 p.

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

  27. On the application of Static Probabilistic Timing Analysis to Memory Hierarchies

    Lesage, B. M. J-R., Griffin, D. J., Davis, R. I. & Altmeyer, S., Jul 2014, Real-Time Scheduling Open Problems Seminar (RTSOPS). p. 5-6 2 p.

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

  28. Progress on Static Probabilistic Timing Analysis for Systems with Random Cache Replacement Policies

    Altmeyer, S., Cucu-Grosjean, L., Davis, R. I. & Lesage, B. M. J-R., Jul 2014, Real-Time Scheduling Open Problems Seminar (RTSOPS). p. 7-8 2 p.

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

  29. Towards exogenous fault detection in swarm robotic systems

    Millard, A. G., Timmis, J. & Winfield, A. F. T., 28 Jun 2014, Towards Autonomous Robotic Systems. Springer-Verlag, Vol. 8069 LNAI. p. 429-430 2 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

  30. Towards Verification of Constituent Systems through Automated Proof

    Foster, S. D., 7 May 2014, Workshop on Engineering Dependable Systems of Systems. ACM CoRR

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

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

  32. The influence of emotion on number entry errors

    Cairns, P. A., Pandab, P. & Power, C. D., 26 Apr 2014, CHI '14 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. ACM, p. 2293-2296 4 p.

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

  33. Extending Hypervisor Architecture to Allow One Way Data Transfers from VMs to Hypervisors

    Jacob, J. L. & Aydin, M. M., Apr 2014, Proceedings of the 4th International Conference on Cloud Computing and Services Science (CLOSER 2014). Helfert, M. (ed.). SciTePress, p. 604-609 6 p.

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

  34. Schedulability Tests for Tasks with Variable Rate-Dependent Behaviour under Fixed Priority Scheduling

    Davis, R. I., Feld, T., Pollex, V. & Slomka, F., Apr 2014, Real-Time and embedded technology and Applications Symposium (RTAS), 2014. IEEE, p. 51-62 12 p.

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

  35. On the Correctness, Optimality and Precision of Static Probabilistic Timing Analysis

    Altmeyer, S. & Davis, R. I., Mar 2014, Design Automation and Test Europe (DATE 2014). IEEE, p. 117-122 6 p.

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

  36. A graph kernel from the depth-based representation

    Bai, L., Ren, P., Bai, X. & Hancock, E. R., 1 Jan 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Franti, P., Brown, G., Loog, M., Escolano, F. & Pelillo, M. (eds.). Springer-Verlag, Vol. 8621. p. 1-11 11 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

  37. Adaptive model learning for continual verification of non-functional properties

    Calinescu, R., Rafiq, Y., Johnson, K. & Bakir, M. E., 1 Jan 2014, ICPE 2014: Proceedings of the 5th ACM/SPEC International Conference on Performance Engineering. Association for Computing Machinery (ACM), p. 87-98 12 p.

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

  38. Efficient re-resolution of SMT specifications for evolving software architectures

    Johnson, K. & Calinescu, R., 1 Jan 2014, QoSA 2014: Proceedings of the 10th International ACM SIGSOFT Conference on Quality of Software Architectures (Part of CompArch 2014). Association for Computing Machinery (ACM), p. 93-102 10 p.

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

  39. Efficient runtime quantitative verification using caching, lookahead, and nearly-optimal reconfiguration

    Gerasimou, S., Calinescu, R. & Banks, A., 1 Jan 2014, 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2014 - Proceedings. Association for Computing Machinery (ACM), p. 115-124 10 p.

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

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

  41. High Performance Computing Systems: Performance Modeling, Benchmarking and Simulation: 4th International Workshop, PMBS 2013 Denver, CO, USA, November 18, 2013 Revised Selected Papers

    Jarvis, S. A., Wright, S. & Hammond, S., 1 Jan 2014, High Performance Computing Systems: Performance Modeling, Benchmarking and Simulation - 4th International Workshop, PMBS 2013, Revised Selected Papers. Springer-Verlag, Vol. 8551. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8551).

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

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

  43. Unconventional arithmetic: A system for computation using action potentials

    Edwards, J., O'Keefe, S. & Henderson, W. D., 1 Jan 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag, Vol. 8553 LNCS. p. 155-163 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8553 LNCS).

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

  44. A Candid Industrial Evaluation of Formal Software Verification using Model Checking

    Bennion, M. & Habli, I., 2014, ICSE Companion 2014: Companion Proceedings of the 36th International Conference on Software Engineering. ACM, p. 175-184 10 p.

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

  45. A Characterisation of the Workload on an Engineering Design Grid

    Burkimsher, A., Bate, I. J. & Indrusiak, L. S., 2014, Proceedings of the 22nd High Performance Computing Symposium (HPC). San Diego: Society for Computer Simulation International, p. 639-646 8 p. 8

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

  46. A Formal Model for Natural-Language Timed Requirements of Reactive Systems

    Carvalho, G., Carvalho, A., Rocha, E., Cavalcanti, A. L. C. & Sampaio, A. C. A., 2014, Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings. Merz, S. & Pang, J. (eds.). SPRINGER, p. 43-58 16 p. (Lecture Notes in Computer Science; vol. 8829).

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

  47. A Framework to Benchmark NoSQL Data Stores for Large-Scale Model Persistence

    Shah, S. M. A., Wei, R., Kolovos, D., Rose, L. M., Paige, R. F. & Barmpis, K., 2014, Model-Driven Engineering Languages and Systems: 17th International Conference, MODELS 2014, Valencia, Spain, September 28 - October 3, 2014. Proceedings. SPRINGER, p. 586-601 16 p. (LNCS).

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

  48. A Hypergraph Kernel from Isomorphism Tests

    Bai, L., Ren, P. & Hancock, E. R., 2014, (Accepted/In press) Proceedings of the 22nd International Conference on Pattern Recognition. IEEE Computer Society Press, 6 p.

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

  49. A Low-cost Real-time Tracking Infrastructure for Ground-based Robot Swarms

    Millard, A. G., Hilder, J. A., Winfield, A. F. T. & Timmis, J., 2014, Swarm Intelligence: 9th International Conference, ANTS 2014, Brussels, Belgium, September 10-12, 2014. Proceedings. Dorigo, M., Birattari, M., Garnier, S., Hamann, H., Montes de Oca, M., Solnon, C. & Stützle, T. (eds.). Springer, p. 278-289 2 p. (Lecture Notes in Computer Science; vol. 8667).

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

  50. A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes.

    Antonino, P., Sampaio, A. & Woodcock, J., 2014, FM 2014: Formal Methods : 19th International Symposium, Singapore, May 12-16, 2014. Proceedings. Jones, C., Pihlajasaari, P. & Sun, J. (eds.). SPRINGER, Vol. 8442. p. 62-77 (Lecture Notes in Computer Science; vol. 8442).

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

  51. A Unification Algorithm for GP

    Plump, D. & Hristakiev, I., 2014, Proceedings 5th International Workshop Graph Computation Models (GCM 2014). Echahed, R., Habel, A. & Mosbah, M. (eds.). GCM, p. 60-75 16 p.

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

  52. A modular theory of object orientation in higher-order UTP

    Zeyda, F., Santos, T. L. V. L., Cavalcanti, A. L. C. & Sampaio, A. C. A., 2014, FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings. SPRINGER, p. 627-642 16 p. (Lecture Notes in Computer Science; vol. 8442).

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

  53. A phylogenetic classification of the video-game industry’s business model ecosystem

    Goumagias, N., Cabras, I., Fernandes, K. J., Li, F., Nucciarelli, A., Cowling, P., Devlin, S. & Kudenko, D., 2014, Working Conference on Virtual Enterprises. Camarinha-Matos, L. M. & Afsarmanesh, H. (eds.). Springer Berlin / Heidelberg, p. 285-294 10 p.

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

  54. A systematic literature review for agile development processes and user centred design integration

    Salah, D., Paige, R. F. & Cairns, P. A., 2014, 18th International Conference on Evaluation and Assessment in Software Engineering, EASE '14, London, England, United Kingdom, May 13-14, 2014. p. 1-10

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

  55. Accounting for Cache Related Pre-emption Delays in Hierarchical Scheduling

    Lunniss, W. R. E., Altmeyer, S., Lipari, G. & Davis, R. I., 2014, Real-Time Networks and Systems (RTNS). New York: ACM, p. 183-192 10 p.

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

  56. An Approach to Maintaining Safety Case Evidence After A System Change

    Jaradat, O., Graydon, P. & Bate, I., 2014, Proceedings of the 10th European Dependable Computing Conference.

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

  57. An Attributed Graph Kernel from the Jensen-Shannon Divergence

    Bai, L., Bunke, H. & Hancock, E. R., 2014, Proceedings of the 22nd International Conference on Pattern Recognition. IEEE Computer Society Press, p. 88-93 6 p.

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

  58. An Evaluation Template for Expert Review of Maturity Models

    Salah, D., Paige, R. F. & Cairns, P. A., 2014, Product-Focused Software Process Improvement: 15th International Conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014. Proceedings. Springer, p. 318-321 4 p. (Lecture Notes in Computer Science; vol. 8892).

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

  59. An approach for managing semantic heterogeneity in Systems of Systems Engineering

    Foster, S., Miyazawa, A., Woodcock, J. C. P., Cavalcanti, A. L. C., Fitzgerald, J. & Larsen, P. G., 2014, 9th International Conference on Systems of Systems Engineering (2014). Cook, S., Ireland, V., Gorod, A., Ferris, T. & Do, Q. (eds.). IEEE, p. 113-118 6 p. (IEEE Systems Journal).

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

  60. Analysing the 'biodiversity' of open source ecosystems: the GitHub case

    Matragkas, N. D., Williams, J. R., Kolovos, D. S. & Paige, R. F., 2014, MSR 2014: Proceedings of the 11th Working Conference on Mining Software Repositories. ACM, p. 356-359 4 p.

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

  61. Assigning Semantics to Graphical Concrete Syntaxes

    Zolotas, A., Kolovos, D. S., Matragkas, N. D. & Paige, R. F., 2014, XM 2014: Proceedings of the 3rd Workshop on Extreme Modeling co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages Systems, XM@MoDELS 2014, Valencia, Spain, September 29, 2014.. Di Ruscio, D., de Lara, J. & Pierantonio, A. (eds.). CEUR Workshop Proceedings, p. 12-21 10 p. (CEUR Workshop Proceedings; vol. 1239).

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

  62. Assuring Safety for Component Based Software Engineering

    Conmy, P. & Bate, I., 2014, Proceedings of the 15th International Symposium on High-Assurance Systems Engineering (HASE). p. 121-128 8 p.

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

  63. Attributed Graph Kernels Using the Jensen-Tsallis q-Differences

    Bai, L., Rossi, L., Bunke, H. & Hancock, E. R., 2014, (Accepted/In press) Proceedings ECML 2014. Springer Berlin / Heidelberg, 16 p.

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

  64. Bad Modelling Teaching Practices

    Paige, R. F., Polack, F. A. C., Kolovos, D. S., Rose, L. M., Matragkas, N. D. & Williams, J. R., 2014, EduSymp 2014: Proceedings of the MODELS Educators Symposium co-located with the ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), Valencia, Spain, September 29, 2014.. Demuth, B. & Stikkolorum, D. (eds.). CEUR Workshop Proceedings, p. 1-12 12 p. (CEUR Workshop Proceedings; vol. 1346).

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

  65. CMSEBA 2014 Workshop Report

    Paige, R. F., Kessentini, M., Langer, P. & Wimmer, M., 2014, CMSEBA 2014: Proceedings of the First International Workshop on Combining Modelling with Search- and Example-Based Approaches co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), Valencia, Spain, September 28, 2014.. Paige, R., Kessentini, M., Langer, P. & Wimmer, M. (eds.). CEUR Workshop Proceedings, p. 1-6 6 p. (CEUR Workshop Proceedings; vol. 1340).

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

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

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

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

  69. Coordinated team learning and difference rewards for distributed intrusion response

    Malialis, K., Devlin, S. & Kudenko, D., 2014, ECAI 2014: 21st European Conference on Artificial Intelligence, Including Prestigious Applications of Intelligent Systems, PAIS 2014, Proceedings. IOS Press, Vol. 263. p. 1063-1064 2 p. (Frontiers in Artificial Intelligence and Applications; vol. 263).

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

  70. Curvature Estimation for Ricci Flow Embedding

    Xu, E., Wilson, R. C. & Hancock, E. R., 2014, Proceedings of the 22nd International Conference on Pattern Recognition. IEEE Computer Society Press, p. 1562-1567 6 p.

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

  71. Data Flow coverage for Circus-based testing

    Cavalcanti, A. L. C. & Gaudel, M-C., 2014, Fundamental Approaches to Software Engineering. SPRINGER, Vol. 8441. p. 415-429 15 p. (Lecture Notes in Computer Science; vol. 8411).

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

  72. Deadline-aware programming and scheduling

    Burns, A. & Wellings, A., 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag, Vol. 8454 LNCS. p. 107-118 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8454 LNCS).

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

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

  74. Dynamic Period Routing for a Complex Real-World System: A Case Study in Storm Drain Maintenance

    Chen, Y., Cowling, P. & Remde, S., 2014, European Conference on Evolutionary Computation in Combinatorial Optimization. Blum, C. & Ochoa, G. (eds.). p. 109-120 12 p.

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

  75. Engineering UToPiA - Formal Semantics for CML

    Woodcock, J., 2014, FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings. Jones, C., Pihlajasaari, P. & Sun, J. (eds.). SPRINGER, Vol. 8442. p. 22-41 (Lecture Notes in Computer Science; vol. 8442).

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

  76. Exploiting Multicore Architectures in Big Data Applications: The JUNIPER Approach

    Chan, Y., Gray, I., Wellings, A. J. & Audsley, N. C., 2014, Programmability Issues for Heterogeneous Multicores (MULTIPROG).

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

  77. Feedback-based admission control for task allocation

    Dziurzanski, P., Ghazzawi, H. A. & Indrusiak, L. S., 2014, Proceedings of the 9th International Symposium on Reconfigurable and Communication-Centric Systems-on-Chip (ReCoSoC). IEEE Computer Society Press

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

  78. Fine-Grained Link Locking Within Power and Latency Transaction Level Modelling in Wormhole Switching Non-Preemptive Networks On Chip

    Harbin, J. R. & Soares Indrusiak, L., 2014, PARMA-DITAM '14 Proceedings of Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures and Design Tools and Architectures for Multicore Embedded Computing Platforms. ACM, p. 33-38 6 p.

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

  79. Foundations for Model-Based Engineering of Systems of Systems

    Fitzgerald, J. S., Larsen, P. G. & Woodcock, J., 2014, Complex Systems Design & Management, Proceedings of the Fourth International Conference on Complex Systems Design & Management CSD&M 2013, Paris, France, December 4-6, 2013. Aiguier, M., Boulanger, F., Krob, D. & Marchal, C. (eds.). SPRINGER, 19 p.

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

  80. From Imperative to Rule-based Graph Programs (Extended Abstract)

    Plump, D., 2014, Proceedings 26th Nordic Workshop on Programming Theory (NWPT 2014). 5 p.

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

  81. Game intelligence

    Devlin, S., Cowling, P. I., Kudenko, D., Goumagias, N., Nucciareli, A., Cabras, I., Fernandes, K. J. & Li, F., 2014, 2014 IEEE Conference on Computational Intelligence and Games. p. 1-8 8 p.

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

  82. Graph Characterization Using Wave Kernel Trace

    Aziz, F., Wilson, R. C. & Hancock, E. R., 2014, Proceedings of the 22nd International Conference on Pattern Recognition. IEEE Computer Society Press, p. 3822-3827 6 p.

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

  83. Graph Characterization from Entropy Component Analysis

    Ye, C., Wilson, R. C. & Hancock, E. R., 2014, Proceedings of the 22nd International Conference on Pattern Recognition. IEEE Computer Society Press, p. 3845-3850 6 p.

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

  84. Guided Structure Formation Using Modular E-pucks

    Hristov, G., Millard, A. G., Hilder, J. A. & Timmis, J., 2014, International Conference on on Intelligent Robots and Systems: Workshop on Swarm and Modular Robotics. IEEE, p. 3

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

  85. Heuristic move pruning in Monte Carlo Tree Search for the strategic card game Lords of War

    Sephton, N., Cowling, P. I., Powley, E. & Slaven, N. H., 2014, 2014 IEEE Conference on Computational Intelligence and Games. IEEE, 8 p.

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

  86. Heuristics for Mapping Real-Time Applications to NoC-Based Architectures Using Genetic Algorithms

    Bonilha, I. S., Dos Santos, O. M. & Indrusiak, L., 2014, IV Brazilian Symposium on Computing Systems Engineering SBESC 2014 : Proceedings. IEEE Computer Society Press, Vol. 2015-April. p. 144-149 6 p. 7091181

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

  87. Inexact End-to-End Response Time Analysis as Fitness Function in Search-based Task Allocation Heuristics for Hard Real-Time Network-on-Chips

    Ma, Y., Mohd Sayuti, M. N. S. & Soares Indrusiak, L., 2014, Proceedings of the 9th International Symposium on Reconfigurable Communication-centric System-on-Chip (ReCoSoC). IEEE, 9 p.

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

  88. Integrating Agile Development Processes and User Centred Design: A Place for Usability Maturity Models?

    Salah, D., Paige, R. F. & Cairns, P. A., 2014, Human-Centered Software Engineering: 5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014. Proceedings. p. 108-125 18 p.

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

  89. Integrating Safety Assessment into the Design of Healthcare Service-Oriented Architectures

    Habli, I., Al-Humam, A. A. I., Kelly, T. P. & Fahel, L., 2014, 5th Workshop on Medical Cyber-Physical Systems . Turau, V., Kwiatkowska, M., Mangharam, R. & Weyer, C. (eds.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, p. 113-123 11 p.

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

  90. Interaction science SIG: overcoming challenges

    Howes, A., Cowan, B. R., Janssen, C. P., Cox, A. L., Cairns, P., Hornof, A. J., Payne, S. J. & Pirolli, P., 2014, CHI EA '14: CHI '14 Extended Abstracts on Human Factors in Computing Systems. Association for Computing Machinery (ACM), p. 1127-1130 4 p.

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

  91. Knowledge revision for reinforcement learning with abstract MDPs

    Efthymiadis, K., Devlin, S. & Kudenko, D., 2014, 13th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2014. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), Vol. 2. p. 1535-1536 2 p.

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

  92. Low Overhead Predictability Enhancement in Non-preemptive Network-On-Chip Routers using Priority Forwarded Packet Splitting

    Sudev, B. & Soares Indrusiak, L., 2014, Proceedings of the 9th International Symposium on Reconfigurable Communication-centric System-on-Chip (ReCoSoC). IEEE, 8 p.

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

  93. Making an ALARP Decision of Sufficient Testing

    Malekzadeh, M. & Bate, I., 2014, Proceedings of the 15th International Symposium on High-Assurance Systems Engineering (HASE). p. 57-64 8 p.

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

  94. Metaheuristics for the pick-up and delivery problem with contracted orders

    Mourdjis, P., Cowling, P. & Robinson, M., 2014, European Conference on Evolutionary Computation in Combinatorial Optimization. p. 170-181 12 p.

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

  95. Model Driven Grant Proposal Engineering

    Kolovos, D. S., Matragkas, N. D., Williams, J. R. & Paige, R. F., 2014, Model-Driven Engineering Languages and Systems - 17th International Conference, MODELS 2014, Valencia, Spain, September 28 - October 3, 2014. Proceedings. p. 420-432 13 p.

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

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

  97. Obstacle detection by means of stereo feature matching

    Mittal, A., Bensrhair, A. & Hancock, E. R., 2014, 2014 IEEE International Conference on Image Processing (ICIP). IEEE, p. 1618 - 1622 4 p.

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

  98. On the nature and content of safety contracts

    Graydon, P. & Bate, I., 2014, Proceedings - 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering, HASE 2014. IEEE Computer Society Press, p. 245-246 2 p. 6754615

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

  99. On the use of Signatures for Source Incremental Model-to-text Transformation

    Ogunyomi, B. J., Rose, L. M. & Kolovos, D., 2014, Model-Driven Engineering Languages and Systems - 17th International Conference, MODELS 2014, Valencia, Spain, September 28 - October 3, 2014. Proceedings. SPRINGER, Vol. 8767. p. 84-98 (LNCS).

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

  100. Optimistic Medium Access Control using Gait Analysis in body sensor networks

    Lim, T., Weng, T. & Bate, I., 2014, Proceedings of the 4th International Conference on Wireless Mobile Communication and Healthcare.

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

  101. Parallelization of Information Set Monte Carlo Tree Search

    Sephton, N., Cowling, P. I., Powley, E., Whitehouse, D. & Slaven, N. H., 2014, 2014 IEEE Congress on Evolutionary Computation (CEC). p. 2290-2297 8 p.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  136. 2013
  137. 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  153. Analysis of probabilistic cache related pre-emption delays for systems with random cache replacement policies

    Davis, R. I., Santinelli, L., Altmeyer, S., Maiza, C. & Cucu-Grosjean, L., Jul 2013, Euromicro Conference on Real-Time Systems. IEEE, p. 168-179

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

  154. Improvements to Static Probabilistic Timing Analysis for Systems with Random Cache Replacement Policies

    Davis, R., Jul 2013, Real-Time Scheduling Open Problems Seminar (RTSOPS). p. 22-24

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

  155. Mixed Criticality on Controller Area Network (CAN)

    Burns, A. & Davis, R., Jul 2013, Euromicro Conference on Real-Time Systems. IEEE, p. 125-134

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

  156. Static Probabilistic Timing Analysis for Multicore Processors with Shared Cache

    Davis, R., Jul 2013, Real-Time Scheduling Open Problems Seminar (RTSOPS). p. 3-5

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

  157. A research roadmap towards achieving scalability in model driven engineering

    Kolovos, D., Rose, L. M., Matragkas, N., Paige, R. F., Guerra, E., Sánchez Cuadrado, J., de Lara, J., Ráth, I., Varró, D., Tisi, M. & Cabot, J., 17 Jun 2013, Proceedings of the Workshop on Scalability in Model Driven Engineering. ACM, 2. (ACM International Conference Proceeding Series).

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

  158. 3D scene correction using disparities with its projections

    Grum, M. & Bors, A. G., Jun 2013, Proc. IEEE Workshop on Image, Video and Multidimensional Signal Processing, Seoul, Korea, . IEEE, p. 1-4 4 p.

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

  159. Minimal surface distortion function for optimizing 3D watermarking

    Bors, A. G. & Luo, M., Jun 2013, Proc. IEEE Workshop on Image, Video and Multidimensional Signal Processing, Seoul, Korea. IEEE, p. 1-4 4 p.

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

  160. Log2cloud: Log-based prediction of cost-performance trade-offs for cloud deployments

    Perez-Palacin, D., Calinescu, R. & Merseguer, J., 27 May 2013, Proceedings of the ACM Symposium on Applied Computing. p. 397-404

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

  161. Complementing metaheuristic search with higher abstraction techniques

    Burton, F. R. & Poulding, S., 1 May 2013, Combining Modelling and Search-Based Software Engineering (CMSBSE), 2013 1st International Workshop on. IEEE, p. 45-48

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

  162. Efficient probabilistic testing of model transformations using search

    Rose, L. M. & Poulding, S., 1 May 2013, Combining Modelling and Search-Based Software Engineering (CMSBSE), 2013 1st International Workshop on. IEEE, p. 16-21

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

  163. Improving the Dependability of Sensornets

    Fairbairn, M. L., Bate, I. & Stankovic, J., 1 May 2013, The 9th IEEE International Conference on Distributed Computing in Sensor Systems 2013 (IEEE DCoSS 2013). Cambridge, USA

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

  164. Using Feedback Control Within WSN's to Meet Application Requirements

    Fairbairn, M. L. & Bate, I., 1 May 2013, 5th Workshop on Performance Control in Wireless Sensor Networks 2013 (PWSN2013). Cambridge, USA

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

  165. Ada 2012: Resource Sharing and Multiprocessors

    Lin, S. & Wellings, A. B. A. J., 1 Apr 2013, Proceeding of the 15th IRTAW. ACM Letters, Vol. XXXII. p. 32-44 13 p.

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

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

  167. TTF-Ravenscar: A Profile to Support Reliable High-Integrity Multiprocessor Ada Applications

    Burns, A., Wellings, A. J. & Malik, A. H., 1 Apr 2013, Proceeding of the 15th IRTAW. ACM, Vol. XXXII. p. 15-23 9 p.

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

  168. Integrating Cache Related Pre-emption Delay Analysis into EDF Scheduling

    Lunniss, W., Altmeyer, S., Maiza, C. & Davis, R. I., Apr 2013, Real-Time Applications and Embedded Technology Symposium (RTAS). IEEE, p. 75-84

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

  169. Ribbon proofs for separation logic

    Wickerson, J., Dodds, M. & Parkinson, M. J., 16 Mar 2013, Programming Languages and Systems: ESOP'13 Proceedings of the 22nd European conference on Programming Languages and Systems. ACM, Vol. 7792 LNCS. p. 189-208 10 p. (Lecture Notes in Computer Science; vol. 7792).

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

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

  171. Burns Standard Notation for real time scheduling

    Davis, R., Mar 2013, Real-Time Systems: the past, the present and the future. Audsley, N. & Baruah, S. (eds.). CreateSpace Independent Publishing Platform , p. 38-41

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

  172. Scenario-based modeling to capture requirements for immune inspired profile adaptation

    Azmi, N. F. M., Timmis, J. & Polack, F., 1 Jan 2013, 2013 8th International Conference on Information Technology in Asia - Smart Devices Trend: Technologising Future Lifestyle, Proceedings of CITA 2013. IEEE Computer Society Press, p. 1-6 6 p. 6637551

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

  173. 1st international workshop on assurance cases for software-intensive systems (ASSURE 2013)

    Denney, E., Pai, G., Habli, I., Kelly, T. & Knight, J. C., 2013, 35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013. p. 1505-1506 2 p.

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

  174. 1st international workshop on combining modelling and search-based software engineering (CMSBSE 2013)

    Harman, M., Paige, R. F. & Williams, J. R., 2013, 35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013. p. 1513-1514 2 p.

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

  175. 5th international workshop on modeling in software engineering (MiSE 2013)

    Atlee, J. M., Baillargeon, R., Chechik, M., France, R. B., Gray, J., Paige, R. F. & Rumpe, B., 2013, 35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013. p. 1531-1532 2 p.

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

  176. A Systematic Review of Cloud Lock-In Solutions

    Costa Silva, G., Rose, L. M. & Calinescu, R. C., 2013, Cloud Computing Technology and Science (CloudCom), 2013 IEEE 5th International Conference on. IEEE, Vol. 2. p. 363-368

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

  177. A Traceability-Driven Approach to Model Transformation Testing

    Matragkas, N. D., Kolovos, D. S., Paige, R. F. & Zolotas, A., 2013, Proceedings of the Second Workshop on the Analysis of Model Transformations (AMT 2013), Miami, FL, USA, September 29, 2013.

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

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

  179. Accelerating Immunos 99

    Taylor, P. N., Polack, F. A. C. & Timmis, J., 2013, Proceedings of the European Conference on Artificial Life. MIT Press, p. 983-898

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

  180. Adding Spreadsheets to the MDE Toolkit

    Francis, M., Kolovos, D. & Paige, R. F., 2013, Model-Driven Engineering Languages and Systems: 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings. Springer, Vol. 8107 LNCS. p. 35-51 17 p. (Lecture Notes in Computer Science; vol. 8107).

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

  181. Advances in Bayesian Network Learning using Integer Programming

    Bartlett, M. & Cussens, J., 2013, Proceedings of the 29th Conference on Uncertainty in Artificial Intelligence (UAI 2013). AUAI Press, p. 182-191 10 p.

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

  182. An Agglomerative Hierarchical Clustering Algorithm for Labelling Morphs

    Can, B. & Manandhar, S., 2013, Recent Advances in Natural Language Processing, RANLP 2013, 9-11 September, 2013, Hissar, Bulgaria. p. 129-135 7 p.

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

  183. An Automated Constraint Modelling and Solving Toolchain

    Akgun, O., Frisch, A. M., Gent, I. P., Hussain, B. S., Jefferson, C. A., Kotthoff, L., Miguel, I. J. & Nightingale, P. W., 2013, ARW 2013 - 20th Automated Reasoning Workshop.

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

  184. An EDF Run-Time Profile based on Ravenscar

    Burns, A., 2013, Proceeding of the 15th IRTAW. ACM Letters, Vol. XXXII. p. 24-31 8 p.

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

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

  186. An optimisation algorithm for minimising energy dissipation in NoC-based hard real-time embedded systems

    Mohd Sayuti, M. N. S., Soares Indrusiak, L. & Garcia Ortiz, A., 2013, Proceedings of the 21st International Conference on Real-Time Networks and Systems (RTNS). ACM, p. 3-12 10 p.

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

  187. Automated Calibration of agent-based immunological simulations

    Tripp, M., Read, M. N., Rose, L. M., Leonov, H. & Timmis, J., 2013, Advances in Artificial Life, ECAL 2013. Lio, P., Miglino, O., Nicosia, G., Nolfi, S. & Pavone, M. (eds.). MIT Press, p. 874-875

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

  188. Automated Symmetry Breaking and Model Selection in Conjure

    Akgun, O., Frisch, A. M., Gent, I. P., Hussain, B. S., Jefferson, C. A., Kotthoff, L., Miguel, I. J. & Nightingale, P. W., 2013, CP 2013 - Principles and Practice of Constraint Programming, 19th International Conference.

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

  189. Bandits all the way down: UCB1 as a simulation policy in Monte Carlo Tree Search

    Powley, E. J., Whitehouse, D. & Cowling, P. I., 2013, Computational Intelligence in Games (CIG), 2013 IEEE Conference on. p. 1-8 8 p.

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

  190. Corner Detection in Spherical Images via the Accelerated Segment Test on a Geodesic Grid

    Guan, H., Smith, W. A. P. & Ren, P., 2013, Advances in Visual Computing: 9th International Symposium, ISVC 2013, Rethymnon, Crete, Greece, July 29-31, 2013. Proceedings, Part I. PART 1 ed. Springer, Vol. 8033 LNCS. p. 407-415 9 p. (Lecture Notes in Computer Science; vol. 8033).

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

  191. Dirichlet Processes for Joint Learning of Morphology and PoS Tags

    Can, B. & Manandhar, S., 2013, Sixth International Joint Conference on Natural Language Processing, IJCNLP 2013, Nagoya, Japan, October 14-18, 2013. p. 1087-1091 5 p.

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

  192. Dynamic task remapping for power and latency performance improvement in priority-based non-preemptive Networks On Chip

    Harbin, J. R. & Soares Indrusiak, L., 2013, Proceedings of the 8th International Workshop on Reconfigurable and Communication-Centric Systems-on-Chip (ReCoSoC). IEEE, p. 1-7 7 p.

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

  193. Efficient Subdomains for Random Testing

    Patrick, M. T., Alexander, R., Oriol, M. Y. A. & Clark, J. A., 2013, Search Based Software Engineering. Springer, Vol. 8084 LNCS. p. 251-256 6 p. (Lecture Notes in Computer Science; vol. 8084).

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

  194. Enforcing Consistency of 3D Scenes with Multiple Objects Using Shape-from-Contours

    Grum, M. & Bors, A. G., 2013, Computer Analysis of Images and Patterns: 15th International Conference, CAIP 2013, York, UK, August 27-29, 2013, Proceedings, Part I. PART 1 ed. Springer, Vol. 8047 LNCS. p. 539-547 9 p. (Lecture Notes in Computer Science; vol. 8047).

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

  195. Explicit Java Control of Low-Power Heterogeneous Parallel Processing in the ToucHMore Project

    Gauthier, L., Gray, I., Larkham, A., Gasser, A. & Acquaviva, A., 2013, JTRES '13 Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems. p. 68-77

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

  196. Exploring the Use of Metaheuristic Search to Infer Models of Dynamic System Behaviour

    Williams, J. R., Poulding, S. M., Paige, R. F. & Polack, F., 2013, MoDELS@Run.time. p. 76-88 13 p.

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

  197. Extending Mixed Criticality Scheduling

    Fleming, T. & Burns, A., 2013, Proc. WMC, RTSS. p. 7-12 6 p.

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

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

  199. Fast transaction-level dynamic power consumption modelling in priority preemptive wormhole switching networks on chip

    Harbin, J. R. & Soares Indrusiak, L., 2013, Proceedings of the International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS) . IEEE, p. 172-179

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

  200. Formal Models of SysML Block

    Miyazawa, A. H., Lima, L. & Cavalcanti, A. L. C., 2013, 15th International Conference on Formal Engineering Methods. Springer, Vol. 8144 LNCS. p. 249-264

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

  201. Higher-Order UTP in Theories of Object-Orientation

    Zeyda, F. & Cavalcanti, A. L. C., 2013, 4th International Symposium on Unifying Theories of Programming. Springer, Vol. 7681. p. 204-223 (Lecture Notes in Computer Science; vol. 7681).

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

  202. Immune-Inspired Error Detection for Multiple Faulty Robots in Swarm Robotics

    Lau, H. K., Bate, I. & Timmis, J., 2013, Advances in Artificial Life ECAL 2013. Lio, P., Miglino, O., Nicosia, G., Nolfi, S. & Pavone, M. (eds.). MIT Press, Vol. 12. p. 846-853 8 p.

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

  203. Improved Priority Assignment for the Abort-and-Restart (AR) Model

    Wong, H. C. & Burns, A., 2013, 7th Junior Researcher Workshop on Real-Time Computing (JRWRTC).

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

  204. Improving Reliability of Real-Time Systems through Value and Time Voting

    Aysan, H., Bate, I., Graydon, P. & Punnekkat, S., 2013, Proceedings of the 19th Pacific Rim International Symposium on Dependable Computing (PRDC).

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

  205. Increasing accuracy by decreasing presentation quality in transcription tasks

    Soboczenski, F., Cairns, P. & Cox, A. L., 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). PART 2 ed. Vol. 8118 LNCS. p. 380-394 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8118 LNCS, no. PART 2).

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

  206. Integrating Monte Carlo Tree Search with Knowledge-Based Methods to Create Engaging Play in a Commercial Mobile Game.

    Whitehouse, D., Cowling, P. I., Powley, E. J. & Rollason, J., 2013, AIIDE.

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

  207. Is Audsley's Scheme the Most Expressive Optimal Priority Assignment Algorithm?

    Burns, A., 2013, Proceedings RTSOPS (ECRTS). p. 8-11 4 p.

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

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

  209. Library abstraction for C/C++ concurrency

    Batty, M., Dodds, M. & Gotsman, A., 2013, POPL '13 : Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. New York: ACM, p. 235-248 14 p.

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

  210. Metamodelling for Grammarware Researchers

    Paige, R. F., Kolovos, D. & Polack, F. A. C., 2013, Software Language Engineering: 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers. Springer, Vol. 7745 LNCS. p. 64-82 (Lecture Notes in Computer Science; vol. 7745).

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

  211. Mixed Criticality on Controller Area Network

    Burns, A. & Davis, R. I., 2013, Proceedings of ECRTS. IEEE, p. 125-134 10 p.

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

  212. Model Management in the Wild

    Paige, R. F., Kolovos, D., Rose, L. M., Matragkas, N. & Williams, J. R., 2013, Generative and Transformational Techniques in Software Engineering IV: International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers. Springer, Vol. 7680 LNCS. p. 197-218 (Lecture Notes in Computer Science; vol. 7680).

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

  213. Monte Carlo tree search with macro-actions and heuristic route planning for the multiobjective physical travelling salesman problem

    Powley, E. J., Whitehouse, D. & Cowling, P. I., 2013, Computational Intelligence in Games (CIG), 2013 IEEE Conference on. p. 1-8 8 p.

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

  214. Multimodel-Driven Software Engineering for Evolving Enterprise Systems

    Paige, R. F., Calinescu, R., Kolovos, D. S., Matragkas, N. D. & Cliff, D., 2013, Joint Proceedings of the First International Workshop On the Globalization of Modeling Languages (GEMOC 2013) and the First International Workshop: Towards the Model Driven Organization (AMINO 2013) Co-located with the 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Miami, USA, September 29 - October 04, 2013.. p. 23-32 10 p.

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

  215. Navigating, Discovering and Exploring the Web: Strategies Used by People with Print Disabilities on Interactive Websites

    Power, C. D., Petrie, H., Swallow, D. M., Murphy, E., Gallagher, B. & Velasco, C. A., 2013, Human-Computer Interaction – INTERACT 2013: 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part I. PART 1 ed. Springer, Vol. 8117 LNCS. p. 667-684 8 p. (Lecture Notes in Computer Science; vol. 8117).

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

  216. On Extensible Networks for Embedded Systems

    Polzlbauer, F., Bate, I. & Brenner, E., 2013, Proceedings of the 20th Annual IEEE International Conference and Workshops on the Engineering of Computer Based Systems (ECBS). p. 69-77 9 p.

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

  217. Orthonormal Diffusion Decompositions of Images for Optical Flow Estimation

    Gudivada, S. K. N. & Bors, A. G., 2013, Computer Analysis of Images and Patterns: 15th International Conference, CAIP 2013, York, UK, August 27-29, 2013, Proceedings, Part II. PART 2 ed. Springer, Vol. 8048 LNCS. p. 241-249 9 p. (Lecture Notes in Computer Science; vol. 8048).

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

  218. Overcoming erroneous domain knowledge in plan-based reward shaping

    Efthymiadis, K., Devlin, S. & Kudenko, D., 2013, 12th International Conference on Autonomous Agents and Multiagent Systems 2013, AAMAS 2013. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), Vol. 2. p. 1245-1246 2 p.

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

  219. PFT - A low overhead predictability enhancement technique for non-preemptive NoCs

    Sudev, B. & Soares Indrusiak, L., 2013, Proceedings of the 21st IEEE/IFIP International Conference on VLSI and System-on-Chip (VLSI-SoC). IEEE, p. 314-317

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

  220. Potential-based reward shaping for POMDPs

    Eck, A., Son, L. K., Devlin, S. & Kudenko, D., 2013, 12th International Conference on Autonomous Agents and Multiagent Systems 2013, AAMAS 2013. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), Vol. 2. p. 1123-1124 2 p.

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

  221. Pre fetching across a shared memory tree within a network-on-chip architecture

    Garside, J. & Audsley, N. C., 2013, 2013 International Symposium on System-on-Chip, SoC 2013 - Proceedings. IEEE Computer Society Press, 6675268

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

  222. Principled Construction of Software Safety Cases

    Hawkins, R., Habli, I. & Kelly, T., 2013, SAFECOMP 2013 - Workshop SASSUR (Next Generation of System Assurance Approaches for Safety-Critical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Toulouse, France, 2013.

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

  223. Programmatic Muddle Management

    Kolovos, D. S., Matragkas, N. D., Rodriguez, H. H. & Paige, R. F., 2013, Proceedings of the Workshop on Extreme Modeling co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages Systems (MoDELS 2013), Miami, Florida, USA, September 29, 2013.. p. 2-10 9 p.

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

  224. Programming FPGA based NoCs with Java

    Plumbridge, G. & Audsley, N. C., 2013, 2013 International Conference on Reconfigurable Computing and FPGAs, ReConFig 2013. IEEE Computer Society Press, 6732323

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

  225. Real-time low-power task mapping in Networks-on-Chip

    Mohd Sayuti, M. N. S. & Soares Indrusiak, L., 2013, Proceedings of the IEEE Computer Society Annual Symposium on VLSI (ISVLSI). IEEE, p. 14-19

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

  226. Safety Assurance Driven Problem Formulation for Mixed-Criticality Scheduling

    Graydon, P. & Bate, I., 2013, Proceedings of the Workshop on Mixed-Criticality Systems. p. 19-24 6 p.

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

  227. Scheduling HPC Workflows for Responsiveness and Fairness with Networking Delays and Inaccurate Estimates of Execution Times

    Burkimsher, A., Bate, I. & Indrusiak, L. S., 2013, Proceedings of the 19th International Conference on Parallel Processing (Euro-Par 2013). Wolf, F., Mohr, B. & Mey, D. (eds.). Springer Berlin / Heidelberg, Vol. 8097. p. 126-137 12 p. (Lecture Notes in Computer Science).

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

  228. Search-based parameter tuning on application-level load balancing for distributed embedded systems

    Caliskanelli, I. & Indrusiak, L. S., 2013, Proceedings - 2013 IEEE International Conference on High Performance Computing and Communications, HPCC 2013 and 2013 IEEE International Conference on Embedded and Ubiquitous Computing, EUC 2013. IEEE Computer Society Press, p. 2050-2057 8 p.

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

  229. Searching for the Minimum Failures that Can Cause a Hazard in a Wireless Sensor Network

    Bate, I. & Fairbairn, M., 2013, Proceedings of Genetic and Evolutionary Computation Conference (GECCO).

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

  230. Simulink timed models for program verification

    Cavalcanti, A. L. C., Mota, A. & Woodcock, JAMES. C. P., 2013, Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Vol. 8051 LNCS. p. 82-99

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

  231. Support for Multiprocessor Platforms

    Burns, A. & Wellings, A. J., 2013, Proceeding of the 15th IRTAW. ACM Letters, Vol. XXXII. p. 9-14 6 p.

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

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

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

  234. Testing with Inputs and Outputs in CSP

    Cavalcanti, A. L. C. & Hierons, R., 2013, 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013. Vol. 7793 LNCS. p. 359-374

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

  235. The Application of the Original Priority Ceiling Protocol to Mixed Criticality Systems

    Burns, A., 2013, ReTiMiCS, RTCSA. George, L. & Lipari, G. (eds.). p. 7-11 5 p.

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

  236. Towards A More Practical Model for Mixed Criticality Systems

    Burns, A. & Baruah, S., 2013, Proc. WMC, RTSS. p. 1-6 6 p.

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

  237. Towards a Model-Driven Solution to the Vendor Lock-In Problem in Cloud Computing

    Costa Silva, G., Rose, L. M. & Calinescu, R. C., 2013, Cloud Computing Technology and Science (CloudCom), 2013 IEEE 5th International Conference on. IEEE, Vol. 1. p. 711-716

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

  238. Towards a Multi-Domain Model-Driven Traceability Approach

    Taromirad, M., Matragkas, N. D. & Paige, R. F., 2013, Proceedings of the 7th Workshop on Multi-Paradigm Modeling co-located with the 16th International Conference on Model Driven Engineering Languages and Systems, MPM@MoDELS 2013, Miami, Florida, September 30, 2013.. p. 27-36 10 p.

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

  239. Towards a multi-view point safety contract

    Ruiz, A., Kelly, T. & Espinoza, H., 2013, SAFECOMP 2013 - Workshop SASSUR (Next Generation of System Assurance Approaches for Safety-Critical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Toulouse, France, 2013.

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

  240. Unifying Theories of Logic and Specification

    Bandur, V. & Woodcock, J., 2013, Formal Methods: Foundations and Applications - 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings. Iyoda, J. & Moura, L. M. D. (eds.). SPRINGER, Vol. 8195. p. 18-33 16 p. (Lecture Notes in Computer Science).

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

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

  242. Using Contracts to Guide the Search-Based Verification of Concurrent Programs

    Poskitt, C. M. & Poulding, S. M., 2013, Proceedings of SSBSE 2013. Vol. 8084 LNCS. p. 263-268 (Lecture Notes in Computer Science; vol. 8084).

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

  243. Using Intelligent Proxies to Develop Self-Adaptive Service-Based Systems

    Calinescu, R. C. & Rafiq, Y., 2013, (Accepted/In press) 7th International Symposium on Theoretical Aspects of Software Engineering. p. 131-134 4 p.

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

  244. Using parallel corpora for word sense disambiguation

    Shahid, A. R. & Kazakov, D. L., 2013, RANLP-13. Hissar, Bulgaria

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

  245. Watermark Optimization of 3D Shapes for Minimal Distortion and High Robustness

    Bors, A. G. & Luo, M., 2013, Computer Analysis of Images and Patterns: 15th International Conference, CAIP 2013, York, UK, August 27-29, 2013, Proceedings, Part II. PART 2 ed. Springer, Vol. 8048 LNCS. p. 298-306 9 p. (Lecture Notes in Computer Science; vol. 8048).

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

  246. What do Metamodels Really Look Like?

    Williams, J. R., Zolotas, A., Matragkas, N. D., Rose, L. M., Kolovos, D. S., Paige, R. F. & Polack, F. A. C., 2013, Proceedings of the 3rd International Workshop on Experiences and Empirical Studies in Software Modeling co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), Miami, USA, October 1, 2013.. p. 55-60 6 p.

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

  247. 2012
  248. Software Failure Propagation Prevention: Prevention of failure propagation between software of different criticality categories

    Hann, M., Wellings, A., Audsley, N. & Dapena, P. R., 18 Dec 2012, Proceedings of DASIA 2012 - DAta Systems In Aerospace. Vol. 701 SP.

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

  249. Agile requirements traceability using domain-specific modelling languages

    Taromirad, M. & Paige, R. F., 1 Dec 2012, 2012 Extreme Modeling Workshop, XM 2012 - Post-Proceedings, Satellite Event of the IEEE/ACM 15th International Conference on Model Driven Engineering Languages and Systems, MODELS 2012. p. 45-50 6 p.

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

  250. Chaining model transformations

    Etien, A., Aranega, V., Blanc, X. & Paige, R. F., 1 Dec 2012, Proceedings of the 1st Workshop on the Analysis of Model Transformations, AMT 2012. p. 9-14 6 p.

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

  251. Modelling and comparing cloud computing service level agreements

    Alkandari, F. & Paige, R. F., 1 Dec 2012, 1st International Workshop on Model-Driven Engineering for High Performance and CLoud Computing, MDHPCL 2012 - Satellite Event of MODELS 2012.

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

  252. Monte Carlo Tree Search with macro-actions and heuristic route planning for the Physical Travelling Salesman Problem

    Powley, E. J., Whitehouse, D. & Cowling, P. I., 1 Dec 2012, 2012 IEEE Conference on Computational Intelligence and Games, CIG 2012. p. 234-241 8 p. 6374161

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

  253. Searching for model migration strategies

    Williams, J. R., Paige, R. F. & Polack, F. A. C., 1 Dec 2012, Proceedings of the 6th International Workshop on Models and Evolution, ME 2012. p. 39-44 6 p.

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

  254. Towards the automated generation of hard disk models through physical geometry discovery

    Wright, S. A., Pennycook, S. J. & Jarvis, S. A., 1 Dec 2012, Proceedings - 2012 SC Companion: High Performance Computing, Networking Storage and Analysis, SCC 2012. p. 437-445 9 p. 6495845

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

  255. Investigation of Scratchpad Memory for Preemptive Multitasking

    Whitham, J., Davis, R. I., Audsley, N. C., Altmeyer, S. & Maiza, C., Dec 2012, Real-Time Systems Symposium (RTSS), 2012 IEEE 33rd . IEEE, p. 3-13

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

  256. Optimal Fixed Priority Scheduling with Deferred Pre-emption

    Davis, R. I. & Bertogna, M., Dec 2012, Real-Time Systems Symposium (RTSS), 2012 IEEE 33rd . IEEE, p. 39-50

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

  257. Runtime optimisation in WSNs for load balancing using pheromone signalling

    Caliskanelli, I., Harbin, J. R., Soares Indrusiak, L., Mitchell, P. D., Chesmore, D. & Polack, F. A. C., Dec 2012, 2012 IEEE 3rd International Conference on Networked Embedded Systems for Every Application (NESEA). p. 1-8

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

  258. Translating Java for resource constrained embedded systems

    Plumbridge, G. & Audsley, N., 23 Nov 2012, ReCoSoC 2012 - 7th International Workshop on Reconfigurable and Communication-Centric Systems-on-Chip, Proceedings. 6322868

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

  259. Compositional reverification of probabilistic safety properties for large-scale complex IT systems

    Calinescu, R., Kikuchi, S. & Johnson, K., 9 Nov 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7539 LNCS. p. 303-329 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7539 LNCS).

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

  260. Immune inspired adaptive information filtering: Focusing on profile adaptation

    Mohd Azmi, N. F., Polack, F. & Timmis, J., 5 Nov 2012, Bio-Inspired Model of Network, Information, and Computing Systems - 6th International ICST Conference, BIONETICS 2011, Revised Selected Papers. p. 242-247 6 p. (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering; vol. 103 LNICST).

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

  261. Optimising task layout to increase schedulability via reduced cache related pre-emption delays

    Lunniss, W., Altmeyer, S. & Davis, R. I., Nov 2012, Proceedings of the 20th International Conference on Real-Time and Network Systems. p. 161-170

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

  262. Re-sampling for statistical timing analysis of real-time systems

    Maxim, D., Houston, M., Santinelli, L., Bernat, G., Davis, R. I. & Cucu-Grosjean, L., Nov 2012, Proceedings of the 20th International Conference on Real-Time and Network Systems . p. 111-120

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

  263. Searching air sectors for risk

    Clegg, K. D. & Alexander, R., Nov 2012, Proceedings of the 2nd SESAR Innovation Days.

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

  264. Specification and Quantitative Analysis of Probabilistic Cloud Deployment Patterns

    Johnson, K., Reed, S. & Calinescu, R., 29 Oct 2012, Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011. Eder, K., Loureno, J. & Shehory, O. (eds.). Springer, p. 145-159 15 p. (Lecture Notes in Computer Science; vol. 7261).

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

  265. Sensitivity analysis in model-driven engineering

    Williams, J. R., Burton, F. R., Paige, R. F. & Polack, F. A. C., 24 Oct 2012, Model Driven Engineering Languages and Systems - 15th International Conference, MODELS 2012, Proceedings. p. 743-758 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7590 LNCS).

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

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

  267. Comparative analysis of data persistence technologies for large-scale models

    Barmpis, K. & Kolovos, D., 1 Oct 2012, XM '12 Proceedings of the 2012 Extreme Modeling Workshop. ACM, p. 33-38 6 p.

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

  268. EuGENia live: a flexible graphical modelling tool

    Rose, L. M., Kolovos, D. & Paige, R. F., 1 Oct 2012, XM '12 Proceedings of the 2012 Extreme Modeling Workshop. ACM, p. 15-20 6 p.

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

  269. Profiling the fault tolerance for the adaptive protein processing associative memory

    Qadir, O., Timmis, J., Tempesti, G. & Tyrrell, A., 1 Oct 2012, Proceedings of the 2012 NASA/ESA Conference on Adaptive Hardware and Systems, AHS 2012. p. 246-253 8 p. 6268658

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

  270. Optimal program partitioning for predictable performance

    Whitham, J. & Audsley, N., 25 Sep 2012, Proceedings of the 24th Euromicro Conference on Real-Time Systems, ECRTS 2012. p. 122-131 10 p. 6257565

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

  271. Unsupervised Feature Selection via Hypergraph Embedding

    Zhang, Z. H. & Hancock, E. R., Sep 2012, Proceedings British Machine Vision Conference 2012. Bowden, R., Collmose, J. & Mikolajczyk, K. (eds.). BMVA Press, p. 39.1--39.11. 11 p.

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

  272. Form follows function: Model-driven engineering for clinical trials

    Davies, J., Gibbons, J., Calinescu, R., Crichton, C., Harris, S. & Tsui, A., 20 Aug 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7151 LNCS. p. 21-38 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7151 LNCS).

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

  273. MPC vs. PID Controllers in Multi-CPU Multi-Objective Real-Time Scheduling Systems

    Ghazzawi, H. A., Bate, I. & Indrusiak, L. S., 1 Aug 2012, In Proceedings of The 2012 UK Electronics Forum. p. 77-83 7 p.

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

  274. A Systematic Analysis of the Wenzhou High Speed Train Accident Using STAMP

    Niu, R., Ge, X., McDermid, J. A. & Tang, T., Aug 2012, 30th International System Safety Conference : ISSC. The International System Safety Society

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

  275. An integrated framework for system/software requirements development aligning with business motivations

    Cui, X. & Paige, R., 25 Jul 2012, Proceedings - 2012 IEEE/ACIS 11th International Conference on Computer and Information Science, ICIS 2012. p. 547-552 6 p. 6211151

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

  276. MADES: A tool chain for automated verification of UML models of embedded systems

    Radjenovic, A., Matragkas, N., Paige, R. F., Rossi, M., Motta, A., Baresi, L. & Kolovos, D. S., 25 Jul 2012, Modelling Foundations and Applications - 8th European Conference, ECMFA 2012, Proceedings. p. 340-351 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7349 LNCS).

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

  277. A Control Theoretic Approach for Workflow Management

    Ghazzawi, H. A., Bate, I. & Indrusiak, L. S., 1 Jul 2012, In Proceedings of 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems. p. 280-289 10 p.

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

  278. The Science and Superstition of Quantitative Risk Assessment

    Rae, A. J., Alexander, R. & McDermid, J. A., Jul 2012, Proceedings of PSAM 11 & ESREL 2012. International Association of Probabilistic Safety Assessment and Management, IAPSAM , Vol. 3. p. 2292-2301 10 p.

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

  279. Traffic Shaping to Reduce Jitter in Controller Area Network (CAN)

    Davis, R. I. & Navet, N., Jul 2012, Work-in-progress session, Euromicro Conference on Real-Time Systems.

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

  280. 3D Landmark Model Discovery from a Registered Set of Organic Shapes

    Creusot, C., Pears, N. & Austin, J., 16 Jun 2012, 2012 IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops (CVPRW) . p. 57-64 8 p.

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

  281. Explicit reservation of local memory in a predictable, preemptive multitasking real-time system

    Whitham, J. & Audsley, N. C., 14 Jun 2012, Proceedings - 18th IEEE Real Time and Embedded Technology and Applications Symposium, RTAS 2012. p. 3-12 10 p. 6200073

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

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

  283. Controller Area Network (CAN): Response Time Analysis with Offsets

    Yomsi, P. M., Bertrand, D., Navet, N. & Davis, R., May 2012, 9th IEEE International Workshop on Factory Communication Systems. IEEE, p. 43-52

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

  284. Controller area network (CAN) schedulability analysis for messages with arbitrary deadlines in FIFO and work-conserving queues

    Davis, R. I. & Navet, N., May 2012, IEEE International Workshop on Factory Communication Systems. IEEE, p. 33-42 6242538

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

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

  286. Developing a semantic user and device modeling framework that supports UI adaptability of web 2.0 applications for people with special needs

    Ackermann, P., Velasco, C. A. & Power, C. D., 16 Apr 2012, W4A '12 Proceedings of the International Cross-Disciplinary Conference on Web Accessibility. ACM, 12

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

  287. In search of Leonardo: computer-based facial image analysis of Renaissance artworks for identifying Leonardo as subject

    Tyler, C. W., Smith, W. A. P. & Stork, D. G., 9 Feb 2012, Human Vision and Electronic Imaging XVII. SPIE, Vol. 8291. (Proceedings of SPIE; vol. 8291).

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

  288. Goal-Based Safety Standards: Promises and Pitfalls

    McDermid, J. A. & Rae, A., Feb 2012, Achieving Systems Safety: Proceedings of the 20th Safety-critical Systems Symposium, Bristol, UK.. Dale, C. & Anderson, T. (eds.). Springer, p. 257-270 14 p.

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

  289. A Lightweight Approach for Managing XML Documents with MDE Languages

    Kolovos, D., Rose, L. M., Williams, J. R., Matragkas, N. & Paige, R. F., 2012, Modelling Foundations and Applications: 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings. Springer, Vol. 7349 LNCS. p. 118-132 15 p. (Lecture Notes in Computer Science; vol. 7349).

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

  290. A MARTE subset to enable application-platform co-simulation and schedulability analysis of NoC-based embedded systems

    Indrusiak, L. S., Quadri, I., Gray, I., Audsley, N. & Sadovykh, A., 2012, 2012 7th International Workshop on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC). Indrusiak, LS., Gogniat, G. & Voros, N. (eds.). NEW YORK: IEEE, 6322898

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

  291. A Plug-in Based Approach for UML Model Simulation

    Radjenovic, A., Paige, R. F., Rose, L. M., Woodcock, J. & King, S., 2012, Modelling Foundations and Applications : 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings. Vallecillo, A., Tolvanen, J-P., Kindler, E., Störrle, H. & Kolovos, D. (eds.). SPRINGER, Vol. 7349. p. 328-339 12 p. (Lecture Notes in Computer Science).

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

  292. A Statistical Response-Time Analysis of Real-Time Embedded Systems

    Lu, Y., Nolte, T., Bate, I. & Cucu-Grosjean, L., 2012, Proceedings of the 33rd Real-Time Systems Symposium. p. 351-362 12 p.

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

  293. A Tool Chain for the Automatic Generation of Circus Specifications of Simulink Diagrams.

    Marriott, C., Zeyda, F. & Cavalcanti, A. L. C., 2012, Abstract State Machines, Alloy, B, VDM, and Z. Vol. 7316. p. 294-307

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

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

  295. A comprehensive polarisation model for surface orientation recovery

    Zhang, L. & Hancock, E. R., 2012, Proceedings 21st International Conference on Pattern Recognition . IEEE Computer Society Press, p. 3791-3794

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

  296. A contextualised curriculum for HCI

    Fincher, S., Cairns, P. & Blackwell, A., 2012, Conference on Human Factors in Computing Systems - Proceedings. p. 2707-2710 4 p.

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

  297. A feature model for model-to-text transformation languages

    Rose, L. M., Matragkas, N., Kolovos, D. & Paige, R. F., 2012, Modeling in Software Engineering (MISE), 2012 ICSE Workshop on. IEEE, p. 57-63 7 p.

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

  298. A learning adaptive Bollinger band system

    Butler, M. R. & Kazakov, D. L., 2012, 2012 IEEE Conference on Computational Intelligence for Financial Engineering and Economics (CIFEr 2012): New York City, New York, USA, 29-30 March 2012. New York: IEEE, p. 40-47 8 p.

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

  299. Algebraic Specifications of Computing as a Service with Applications to Cost Analysis

    Johnson, K. H. A. & Tucker, J. V., 2012, (Accepted/In press) Proceedings of the 5th IEEE/ACM International Conference on Utility and Cloud Computing. p. 143-150 8 p.

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

  300. An upper bound for BDeu local scores

    Cussens, J., 2012, Proc. ECAI-2012 workshop on algorithmic issues for inference in graphical models (AIGM 2012).

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

  301. Approaches to Modelling Security Scenarios with Domain-Specific Languages: 41-54

    Brooke, P. J., Paige, R. F. & Power, C. D., 2012, Security Protocols XX: 20th International Workshop, Cambridge, UK, April 12-13, 2012, Revised Selected Papers. Springer, Vol. 7622 LNCS. p. 41-54 14 p. (Lecture Notes in Computer Science; vol. 7622).

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

  302. Behavioural Sets and Operations in Treaty Systems

    Zhao, Y. & Wood, A. M., 2012, International Conference on Control Engineering and Communication Technology (ICCECT), 2012. p. 315-320 6 p.

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

  303. Better, Faster, Cheaper, and Safer Too Is This Really Possible?

    Bate, I., Hansson, H. & Punnekkat, S., 2012, Proceedings of the 17th IEEE International Conference on Emerging Technologies and Factory Automation.

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

  304. Challenges in Software Development for Multicore System-on-Chip Development

    Gray, I. & Audsley, N. C., 2012, 23rd IEEE International Symposium on Rapid System Prototyping (RSP).

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

  305. Circus Time with Reactive Designs

    Woodcock, J., Wei, K. & Cavalcanti, A. L. C., 2012, Unifying Theories of Programming . Lecture Notes in Computer Science, Vol. 7681 . p. 68-87

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

  306. Column generation for exact BN learning: Work in progress

    Cussens, J., 2012, Proc. ECAI-2012 workshop on COmbining COnstraint solving with MIning and LEarning (CoCoMile 2012). p. 21-22

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

  307. Comparative analysis of dynamic task mapping heuristics in heterogeneous NoC-based MPSoCs

    Moller, L., Soares Indrusiak, L., Ost, L., Moraes, F. G. & Glesner, M., 2012, Proceedings of the 2012 International Symposium onSystem on Chip (SoC). IEEE, p. 1-4

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

  308. Developing Predictable Real-Time Embedded Systems using AnvilJ

    Gray, I. & Audsley, N. C., 2012, IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS).

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

  309. Dynamic adaptive search based software engineering

    Harman, M., Burke, E. K., Clark, J. A. & Yao, X., 2012, International Symposium on Empirical Software Engineering and Measurement. ACM, p. 1-8

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

  310. Efficient Constraint Handling During Designing Reliable Automotive Real-time Systems

    Polzlbauer, F., Bate, I. & Brenner, E., 2012, Proceedings of the 17th International Conference on Reliable Software Technologies (Ada-Europe 2012). p. 207-220 14 p.

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

  311. Evolving Robust Networks for Systems-of-Systems

    Aitken, J. M., Alexander, R., Kelly, T. & Poulding, S. M., 2012, Search Based Software Engineering: 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012. Proceedings. Springer-Verlag, p. 30-44 15 p. (Lecture Notes in Computer Science; vol. 7515).

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

  312. Extending an estabished simulation: exploration of the possible effects using a case study in Experimental Autoimmune Encephalomyelitis

    Greaves, R. B., Read, M. N., Timmis, J., Andrews, PAUL. S. & Kumar, V., 2012, Information processing in cells and tissues. Lecture Notes in Computer Science, Vol. 7223. p. 150-161

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

  313. Face Recognition Using Semi-Supervised Spectral Feature Selection

    Zhang, Z. H. & Hancock, E. R., 2012, Proceedings 21st International Conference on Pattern Recognition. IEEE Computer Society Press, p. 1294-1297 6460376

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

  314. Features of CML: a formal modelling language for systems of systems

    Woodcock, J., Cavalcanti, A. L. C., Fitzgerald, J., Larsen, P. G., Miyazawa, A. H. & Perry, S., 2012, 7th International Conference on System of System Engineering. IEEE, p. 445-450

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

  315. From Fault Injection to Mutant Injection: the Next Step for Safety Analysis?

    Rodriguez-Navas, G., Graydon, P. & Bate, I., 2012, Lecture Notes in Computer Science no. 7857. p. 276-277 2 p.

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

  316. Graph Clustering Using Graph Entropy Complexity Traces

    Bai, L., Hancock, E. R., Han, L. & Ren, P., 2012, Proceedings 21st International Conference on Pattern Recognition . IEEE Computer Society Press, p. 2881-2884 6460767

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

  317. Guidelines are only half of the story: accessibility problems encountered by blind users on the web

    Power, C. D., Petrie, H. & Freire, A. P., 2012, CHI '12 : Proceedings of the SIGCHI Conference on Human Factors in Computing Systems . p. 433-442 10 p.

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

  318. Hypergraph Based Semi-Supervised Learning for Gender Classification

    Zhang, Z. H. & Hancock, E. R., 2012, Proceedings 21st International Conference on Pattern Recognition . IEEE Computer Society Press, p. 1747-1750 6460488

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

  319. Hypergraph Matching Based on Marginalized Constrained Compatibility

    Su, J., Dong, L., Ren, P. & Hancock, E. R., 2012, Proceedings 21st International Conference on Pattern Recognition . IEEE Computer Society Press, p. 2922-2925 6460777

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

  320. Immune-inspired Self Healing in Wireless Sensor Networks

    Lim, T. H., Timmis, J., Bate, I. J. & Lau, H., 2012, 11th International Conference, ICARIS 2012. Coello, C. A., Greensmith, J., Krasnogor, N., Lio, P., Nicosia, G. & Pavone, M. (eds.). Springer, Vol. 7597. p. 42-56 15 p. (Lecture Notes in Computer Science).

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

  321. Implementing and Verifying EDF Preemption-Level Resource Control

    Fairbairn, M. L. & Burns, A., 2012, Proceedings Reliable Software Technology - Ada-Europe. Brorsson, M. & Pinho, L. M. (eds.). Springer, Vol. LNCS 7308. p. 193-206 14 p.

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

  322. Introducing safety cases for health IT

    Despotou, G., Kelly, T., White, S. & Ryan, M., 2012, Software Engineering in Health Care (SEHC), 2012 4th International Workshop on. p. 44-50

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

  323. Jensen-Shannon graph kernel using information functionals

    Bai, L., Hancock, E. R. & Ren, P., 2012, Proceedings 21st International Conference on Pattern Recognition . IEEE Computer Society Press, p. 2877-2880

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

  324. M,N-Adhesive Transformation Systems

    Habel, A. & Plump, D., 2012, Proc. 6th International Conference on Graph Transformations . Ehrig, H., Engels, G., Kreowski, H-J. & Rozenberg, G. (eds.). Springer, p. 218-233 16 p. (Lecture Notes in Computer Science; vol. 7562).

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

  325. MADES FP7 EU Project: Effective High Level SysML/MARTE Methodology for Real-Time and Embedded Avionics Systems

    Quadri, I. R., Brosse, E., Gray, I., Matragkas, N., Indrusiak, L. S., Rossi, M., Bagnato, A. & Sadovykh, A., 2012, 2012 7th International Workshop on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC). Indrusiak, LS., Gogniat, G. & Voros, N. (eds.). NEW YORK: IEEE, 6322882

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

  326. Mining rules from player experience and activity data

    Gow, J., Colton, S., Cairns, P. A. & Miller, P., 2012, 8th Annual AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment. p. 148-153

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

  327. Model-Based Ambient Occlusion for Inverse Rendering

    Aldrian, O. & Smith, W. A. P., 2012, Image Analysis and Recognition: 9th International Conference, ICIAR 2012, Aveiro, Portugal, June 25-27, 2012. Proceedings, Part I. PART 1 ed. Springer, Vol. 7324 LNCS. p. 338-347 10 p. (Lecture Notes in Computer Science; vol. 7324).

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

  328. Modelling Uncertain and Time-Dependent Security Labels in MLS Systems

    Clark, J. A., Tapiador, J. E., McDermid, J., Cheng, P. C., Agrawal, D., Ivanic, N. & Slogget, D., 2012, e-Business and Telecommunications : 7th International Joint Conference, ICETE 2010, Athens, Greece, July 26-28, 2010, Revised Selected Papers. Springer, p. 158-171 14 p. (Communications in Computer and Information Science ; vol. 222).

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

  329. Models to Solve the Duplication Problem in Treaty Systems

    Zhao, Y. & Wood, A. M., 2012, 13th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT'12). p. 376-381

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

  330. Networked embedded systems for active ow control in aircraft

    Tovar, E., Pereira, N., Bate, I., Indrusiak, L. S., Penna, S., Negrao, J., Viana, J. C., Philipp, F., Mayer, D., Heras, J., Pacheco, F. & Loureiro, J., 2012, Proc 11th Int Workshop on Real Time Networks (RTN).

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

  331. Not Doing But Thinking: The Role of Challenge in the Gaming Experience

    Cox, A. L., Cairns, P. A., Shah, P. & Carroll, M., 2012, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems . New York: ACM, p. 79-88 10 p.

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

  332. On Voting Strategies for Loosely Synchronized Dependable Real-Time Systems

    Aysan, H., Dobrin, R., Punnekkat, S. & Bate, I., 2012, Proceedings of the 7th IEEE International Symposium on Industrial Embedded Systems.

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

  333. Plan-based reward shaping for multi-agent reinforcement learning

    Devlin, S. & Kudenko, D., 2012, Proceedings of the Adaptive and Learning Agents Workshop 2012, ALA 2012 - Held in Conjunction with the 11th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012. p. 49-56 8 p.

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

  334. Profiling the Fault Tolerance for the Adaptive Protein Processing Associate Memory

    Qadir, O., Timmis, J., Tempesti, G. & Tyrrell, A., 2012, NASA/ESA Conference on Adaptive Hardware and Systems. p. 246-253

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

  335. Quantum reading capacity

    Lupo, C., Pirandola, S., Giovannetti, V., Mancini, S. & Braunstein, S. L., 2012, Optics InfoBase Conference Papers.

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

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

  337. Revealing Complexity through Domain-Specific Modelling and Analysis

    Paige, R. F., Brooke, P. J., Ge, X., Power, C. D., Burton, F. R. & Poulding, S. M., 2012, Large-Scale Complex IT Systems. Development, Operation and Management. Springer, Vol. 7539 LNCS. p. 251-265 15 p. (Lecture Notes in Computer Science; vol. 7539).

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

  338. Rooted Graph Programs

    Plump, D. & Bak, C., 2012, Proceedings 7th International Workshop on Graph Based Tools (GraBaTs 2012). Krause, C. & Westfechtel, B. (eds.). Berlin, 12 p. (Electronic Communications of the EASST; vol. 54).

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

  339. Sampling Graphs from a Probabilistic Generative Model

    Han, L., Hancock, E. R., Wilson, R. C., Bai, L. & Ren, P., 2012, Proceedings 21st International Conference on Pattern Recognition . p. 1643-1646 4 p.

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

  340. Sampling graphs from a probabilistic generative model

    Han, L., Wilson, R., Hancock, E., Bai, L. & Ren, P., 2012, 21st International Conference on Pattern Recognition. p. 1643-1646 6460462

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

  341. Searching for Pareto-optimal Randomised Algorithms

    Millard, A. G., White, D. R. & Clark, J. A., 2012, SSBSE. Springer, Vol. 7515. p. 183-197 15 p. (Lecture Notes in Computer Science).

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

  342. Self-reconfigurable Modular e-pucks

    Murray, L. J., Tyrrell, A. & Timmis, J., 2012, ANTS 2012. Lecture Notes in Computer Science, Vol. 7461. p. 133 144 p.

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

  343. Shape Signature Using the Edge-Based Laplacian

    Aziz, F., Wilson, R. C. & Hancock, E. R., 2012, 21st International Conference on Pattern Recognition . IEEE Computer Society Press, p. 1594-1597 4 p.

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

  344. Shape signature using the edge-based laplacian

    Aziz, F., Wilson, R. C. & Hancock, E. R., 2012, 21st International Conference on Pattern Recognition. p. 1594-1597 6460450

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

  345. Simulating Neurons in Reaction-Diffusion Chemistry

    Stovold, J. H. & O'Keefe, S., 2012, Information Processing in Cells and Tissues: 9th International Conference, IPCAT 2012, Cambridge, UK, March 31 – April 2, 2012. Proceedings. SPRINGER-VERLAG BERLIN, Vol. 7223. p. 143-149 7 p. (Lecture Notes in Computer Science; vol. 7223).

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

  346. Simultaneous Reflectance Estimation and Surface Shape Recovery Using Polarisation

    Zhang, L. & Hancock, E. R., 2012, Proceedings 21st International Conference on Pattern Recognition . IEEE Computer Society Press, p. 1876-1879 4 p.

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

  347. Simultaneous reflectance estimation and surface shape recovery using polarisation

    Zhang, L. & Hancock, E. R., 2012, 21st International Conference on Pattern Recognition. p. 1876-1879 6460520

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

  348. Solving Acquisition Problems Using Model-Driven Engineering

    Burton, F. R., Paige, R. F., Rose, L. M., Kolovos, D., Poulding, S. M. & Smith, S., 2012, Modelling Foundations and Applications: 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings. Springer, Vol. 7349 LNCS. p. 428-443 16 p. (Lecture Notes in Computer Science; vol. 7349).

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

  349. Systematic Experimental Analysis and Evaluation of Routing Protocol in Wireless Sensor Networks

    Lim, T. H., Bate, I. & Timmis, J., 2012, The 2012 UK Electronic Forum. Koelmans, A. & Yakovlev, A. (eds.). Dept. of Education, University of Newcastle upon Tyne, p. 16-25 10 p.

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

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

  351. The Design of GP 2

    Plump, D., 2012, Proceedings 10th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2011). Escobar, S. (ed.). p. 1-12 (Electronic Proceedings in Theoretical Computer Science ; vol. 82).

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

  352. ToucHMore Toolchain and System Software for Energy and Variability Customisation

    Audsley, N. C., Gray, I., Acquaviva, A. & Haines, R., 2012, IEEE International High Level Design Validation and Test Workshop (HLDVT).

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

  353. Tutorials

    Nelson, M. J., Burelli, P., Karpouzis, K., Lucas, S. & Cowling, P., 2012, 2012 IEEE Conference on Computational Intelligence and Games (CIG). p. F-1

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

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

  355. Unsupervised Spectral Feature Selection for Face Recognition

    Zhang, Z. H. & Hancock, E. R., 2012, Proceedings 21st International Conference on Pattern Recognition . IEEE Computer Society Press, p. 1787-1790 4 p.

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

  356. Unsupervised spectral feature selection for face recognition

    Zhang, Z. & Hancock, E. R., 2012, 21st International Conference on Pattern Recognition. p. 1787-1790 6460498

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

  357. Using Genetic Algorithms to Map Hard Real-Time NoC-based Systems

    Racu, A. & Indrusiak, L. S., 2012, 2012 7th International Workshop on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC). Indrusiak, LS., Gogniat, G. & Voros, N. (eds.). NEW YORK: IEEE, p. - 8 p.

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

  358. Validation of Performance Data using Experimental Verification Process in Wireless Sensor Network

    Lim, T. H., Bate, I. & Timmis, J., 2012, Proceedings of the IEEE 17th International Conference on Emerging Technologies and Factory Automation (ETFA 2012).

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

  359. Validation of Performance Data using Experimental Verification Process in Wireless Sensor Networks

    Lim, T. H., Timmis, J. & Bate, I. J., 2012, 17th IEEE International Conference on Emerging Technologies & Factory Automation.

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

  360. Verifying Total Correctness of Graph Programs

    Poskitt, C. & Plump, D., 2012, Proceedings 4th International Workshop on Graph Computation Models (GCM 2012). Echahed, R., Habel, A. & Mosbah, M. (eds.). p. 1-15

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

  361. What do users really care about? a comparison of usability problems found by users and experts on highly interactive websites

    Petrie, H. & Power, C., 2012, CHI '12: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. Konstan, J. A., Chi, E. H. & Höök, K. (eds.). New York: Association for Computing Machinery (ACM), p. 2107-2116 10 p.

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

  362. 2011
  363. 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

  364. Multi-modal routing to tolerate failures

    Lim, T. H., Timmis, J. & Bate, I. J., 1 Dec 2011, 7th International Conference on Intelligent Sensors, Sensor Networks and Information Processing. p. 211-216 6 p.

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

  365. Timing faults and mixed criticality systems

    Burns, A. & Baruah, S., 1 Dec 2011, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6875 LNCS. p. 147-166 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6875 LNCS).

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

  366. Cache Related Pre-emption Delay Aware Response Time Analysis for Fixed Priority Pre-emptive Systems

    Altmeyer, S., Davis, R. I. & Maiza, C., Dec 2011, IEEE Real-Time Systems Symposium. p. 261-271 11 p.

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

  367. Response-Time Analysis for Mixed Criticality Systems

    Baruah, S. K., Burns, A. & Davis, R. I., Dec 2011, Proceedings of 32nd IEEE Real-Time Systems Symposium, 2011. p. 34-43 10 p.

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

  368. A trace-based statistical worst-case execution time analysis of component-based real-time embedded systems

    Lu, Y., Nolte, T., Bate, I. & Cucu-Grosjean, L., 11 Nov 2011, Proceedings of 2011 IEEE 16th Conference on Emerging Technologies and Factory Automation, ETFA 2011. 6059190

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

  369. Intelligent Decision Support using Pattern Matching

    Hodge, V. J., Jackson, T. & Austin, J., 26 Oct 2011, Proceedings of the 1st International Workshop on Future Internet Applications for Traffic Surveillance and Management. SciTePress

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

  370. jStar-eclipse: an IDE for automated verification of Java programs

    Naudziuniene, D., Botincan, M., Distefano, D., Dodds, M., Grigore, R. & Parkinson, M. J., 5 Sep 2011, ESEC/FSE '11 Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering. ACM, p. 428-431 4 p.

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

  371. Optimal Priority Assignment Algorithms for Probabilistic Real-Time Systems

    Maxim, D., Buffet, O., Santinelli, L., Cucu-Grosjean, L. & Davis, R. I., Sep 2011, International conference on Real-Time and Network Systems.

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

  372. Schedulability analysis of CAN with non-abortable transmission requests

    Khan, D. A., Davis, R. I. & Navet, N., Sep 2011, Emerging Technologies and Factory Automation. p. 1-8 8 p.

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

  373. Using a Software Safety Argument Pattern Catalogue: Two Case Studies

    Hawkins, R. D., Clegg, K. D., Alexander, R. & Kelly, T., Sep 2011, Computer Safety, Reliability, and Security: Proceedings of the 30th international conference on Computer safety, reliability, and security. Berlin: SPRINGER-VERLAG BERLIN, Vol. 6894. p. 185-198 14 p. (Lecture Notes in Computer Science; vol. 6894).

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

  374. A statistical response-time analysis of complex real-time embedded systems by using timing traces

    Lu, Y., Nolte, T., Bate, I. & Cucu-Grosjean, L., 29 Aug 2011, SIES 2011 - 6th IEEE International Symposium on Industrial Embedded Systems, Conference Proceedings. p. 43-46 4 p. 5953676

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

  375. ASHiCS: Automating the Search for Hazards in Complex Systems

    Clegg, K. D. & Alexander, R., Aug 2011, Proceedings of the 1st SESAR Innovation Days.

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

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

  377. Is the “System of Systems” a Useful Concept for Hazard Analysis?

    Rae, A. J. & Alexander, R., Aug 2011, Proceedings of the 29th International System Safety Conference (ISSC '11).

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

  378. The Need for SoS Safety Cases

    Alexander, R., Despotou, G. & Kelly, T., Aug 2011, Proceedings of the 29th International System Safety Conference (ISSC '11).

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

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

  380. A comparison of rule inheritance in model-to-model transformation languages

    Wimmer, M., Kappel, G., Kusel, A., Retschitzegger, W., Schönböck, J., Schwinger, W., Kolovos, D., Paige, R., Lauder, M., Schürr, A. & Wagelaar, D., 18 Jul 2011, Theory and Practice of Model Transformations - 4th International Conference, ICMT 2011, Proceedings. p. 31-46 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6707 LNCS).

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

  381. Dynamics for WCET

    Griffin, D. & Burns, A., 1 Jul 2011, 11th Intl. Workshop on Worst-Case Execution Time Analysis.

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

  382. Automatic Safety Analysis of Computer-based Railway Signalling System

    Nui, R., Tang, T., Lisagor, O. & McDermid, J. A., Jul 2011, Proceedings of IEEE International Conference on Intelligent Rail Transportation (IEEE ICIRT 2011). IEEE Intelligent Transportation Systems Society, p. 484-490 7 p.

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

  383. Automatic Safety Analysis of Networked Control System based on Failure Propagation Model

    Nui, R., Tang, T., Lisagor, O. & McDermid, J. A., Jul 2011, Proceedings of IEEE International Conference on Vehicular Electronics and Safety (ICVES 2011). Beijing, China: IEEE Intelligent Transportation Systems Society, p. 53-58 6 p.

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

  384. Controller Area Network (CAN) Schedulability Analysis with FIFO queues

    Davis, R., Kollmann, S., Pollex, V. & Slomka, F., Jul 2011, Euromicro Conference on Real-Time Systems. p. 45-56 12 p.

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

  385. Requirements for a model comparison language

    Williams, J. R., Kolovos, D., Polack, F. A. C. & Paige, R. F., 30 Jun 2011, IWMCP '11 Proceedings of the 2nd International Workshop on Model Comparison in Practice. ACM, p. 26-29 4 p.

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

  386. A statistical approach to simulation model validation in response-time analysis of complex real-time embedded systems

    Lu, Y., Kraft, J., Nolte, T. & Bate, I., 23 Jun 2011, 26th Annual ACM Symposium on Applied Computing, SAC 2011. p. 711-716 6 p.

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

  387. Extending Java for heterogeneous embedded system description

    Plumbridge, G. & Audsley, N., 1 Jun 2011, 6th International Workshop on Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC). IEEE, p. 1-6 6 p.

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

  388. Effective Naturalistic Decision Support for Dynamic Reconfiguration Onboard Modern Aircraft

    Montano, G., McDermid, J. A. & Cairns, P. A., Jun 2011, Proceedings of the 10th International Conference on Naturalistic Decision Making (NDM 2011). Fiore, S. M. & Harper-Sciarini, M. (eds.). Orlando, FL: University of Central Florida

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

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

  390. The effects of variable stationarity in a financial time-series on Artificial Neural Networks

    Butler, M. & Kazakov, D., 1 Apr 2011, 2011 IEEE Symposium on Computational Intelligence for Financial Engineering and Economics (CIFEr). Paris: IEEE, p. 1 -8 8 p.

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

  391. FPZL Schedulability Analysis

    Davis, R. I. & Burns, A., Apr 2011, IEEE Real-Time and Embedded Technology and Applications Symposium. p. 245-256 12 p.

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

  392. IA^3: An Interference Aware Allocation Algorithm for Multicore Hard Real-Time Systems

    Paolieri, M., Quinones, E., Cazorla, F. J., Davis, R. I. & Valero, M., Apr 2011, IEEE Real-Time and Embedded Technology and Applications Symposium. p. 280-290 11 p.

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

  393. Modular reasoning for deterministic parallelism

    Dodds, M., Jagannathan, S. & Parkinson, M. J., 26 Jan 2011, POPL '11 Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. ACM, p. 259-270 12 p.

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

  394. Value-based software traceability workshop (VALSOT 2011)

    Espinoza, A., Paige, R. & Garbajosa, J., 1 Jan 2011, Agile Processes in Software Engineering and Extreme Programming - 12th International Conference, XP 2011, Proceedings. Springer-Verlag, 1 p. (Lecture Notes in Business Information Processing; vol. 77 LNBIP).

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

  395. A Graph-Based Approach to Feature Selection

    Zhang, Z. & Hancock, E. R., 2011, GRAPH-BASED REPRESENTATIONS IN PATTERN RECOGNITION. Jiang, X., Ferrer, M. & Torsello, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 205-214 10 p.

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

  396. A Hypergraph-Based Approach to Feature Selection

    Zhang, Z. & Hancock, E. R., 2011, Computer Analysis of Images and Patterns - 14th International Conference, CAIP 2011, Seville, Spain, August 29-31, 2011, Proceedings, Part I. Real, P., Díaz-Pernil, D., Molina-Abril, H., Berciano, A. & Kropatsch, W. G. (eds.). PART 1 ed. BERLIN: Springer, Vol. 6854. p. 228-235 8 p. (Lecture Notes in Computer Science).

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

  397. A New Approach to Creating Clear Safety Arguments

    Hawkins, R. D., Graydon, P. J., Knight, J. & Kelly, T., 2011, Advances in Systems Safety. SPRINGER-VERLAG LONDON LTD, p. 3-23 21 p.

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

  398. A principled evaluation of the effect of directed mutation on search-based statistical testing

    Poulding, S., Clark, J. A. & Waeselynck, H., 2011, Software Testing, Verification and Validation Workshops (ICSTW), 2011 IEEE Fourth International Conference on. p. 184-193 10 p.

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

  399. A simple abstraction for complex concurrent indexes

    Pinto, P. D. R., Dinsdale-Young, T., Dodds, M. D., Gardner, P. & Wheelhouse, M. J., 2011, OOPSLA '11: Proceedings of the 2011 ACM international conference on Object oriented programming systems language and applications . New York: ACM, p. 845-864 20 p.

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

  400. A taxonomy of number entry error

    Wiseman, S., Cairns, P. & Cox, A., 2011, Proceedings of HCI 2011 - 25th BCS Conference on Human Computer Interaction. British Computer Society (BCS), p. 187-196 10 p.

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

  401. An Information Theoretic Approach to Learning Generative Graph Prototypes

    Han, L., Hancock, E. R. & Wilson, R. C., 2011, SIMILARITY-BASED PATTERN RECOGNITION: FIRST INTERNATIONAL WORKSHOP, SIMBAD 2011. Pelillo, M. & Hancock, ER. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 7005 LNCS. p. 133-148 16 p.

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

  402. Applications of Model Reuse When Using Estimation of Distribution Algorithms to Test Concurrent Software

    Staunton, J. & Clark, J. A., 2011, Search Based Software Engineering - Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011. Proceedings. Cohen, M. B. & Cinnéide, M. Ó. (eds.). Springer, Vol. 6956. p. 97-111 15 p. (Lecture Notes in Computer Science).

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

  403. Approximate Bayesian computation for the parameters of PRISM programs

    Cussens, J., 2011, Proceedings of the 20th International Conference on Inductive Logic Programming. Heidelberg: Springer, Vol. 6489. p. 38-46 9 p.

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

  404. Assessment of Trace-Differences in Timing Analysis for Complex Real-Time Embedded Systems

    Lu, Y., Nolte, T., Bate, I., Kraft, J. & Norstrom, C., 2011, Proceedings of the 6th IEEE International Symposium on Industrial Embedded Systems (SIES'11).

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

  405. Automatic Keypoint Detection on 3D Faces Using a Dictionary of Local Shapes

    Creusot, C., Pears, N. & Austin, J., 2011, Proceedings of the 2011 International Conference on 3D Imaging, Modeling, Processing, Visualization and Transmission. Washington, DC, USA: IEEE Computer Society, p. 204-211 8 p. (3DIMPVT '11).

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

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

  407. Bio-inspired Error Detection for Complex Systems

    Drozda, M., Bate, I. & Timmis, J., 2011, Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing. p. 154-163 10 p.

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

  408. Characterizing Graphs Using Approximate von Neumann Entropy

    Han, L., Hancock, E. R. & Wilson, R. C., 2011, PATTERN RECOGNITION AND IMAGE ANALYSIS: 5TH IBERIAN CONFERENCE, IBPRIA 2011. Vitria, J., Sanches, JM. & Hernandez, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6669 LNCS. p. 484-491 8 p.

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

  409. Collective Monitoring to Achieve Self-Detection of Errors in Swarm Robotics

    Lau, H., Timmis, J. & Bate, I. J., 2011, LNCS. Lecture Notes in Computer Science, Vol. 6826. p. 254-267

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

  410. Conformance Relations for Distributed Testing based on CSP

    Cavalcanti, A. L. C., 2011, IFIP International Conference on Testing Software and Systems. Vol. 7019 LNCS. p. 48-63 16 p.

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

  411. Decorrelating WSN Traffic Patterns with Maximally Uninformative Constrained Routing

    Tapiador, J. E., Srivatsa, M., Clark, J. A. & McDermid, J. A., 2011, NETWORKING 2011 Workshops - International IFIP TC 6 Workshops, PE-CRN, NC-Pro, WCNS, and SUNSET 2011, Held at NETWORKING 2011, Valencia, Spain, May 13, 2011, Revised Selected Papers. Giner, V. C., Manzoni, P. & Pont, A. (eds.). Springer, Vol. 6827. p. 207-218 12 p. (Lecture Notes in Computer Science).

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

  412. Determining the Cause of Negative Dissimilarity Eigenvalues

    Xu, W., Wilson, R. C. & Hancock, E. R., 2011, Computer Analysis of Images and Patterns - 14th International Conference, CAIP 2011, Seville, Spain, August 29-31, 2011, Proceedings, Part I. Real, P., Díaz-Pernil, D., Molina-Abril, H., Berciano, A. & Kropatsch, W. G. (eds.). PART 1 ed. BERLIN: Springer, Vol. 6854. p. 589-597 9 p. (Lecture Notes in Computer Science).

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

  413. Determinization and information set Monte Carlo tree search for the card game Dou Di Zhu

    Whitehouse, D., Powley, E. J. & Cowling, P. I., 2011, Computational Intelligence and Games (CIG), 2011 IEEE Conference on. p. 87-94 8 p.

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

  414. Developing Safe and Dependable Sensornets

    Bate, I., Wu, Y. & Stankovic, J., 2011, Proceedings of the 37th EUROMIICRO Conference on Software Engineering and Advanced Applications. p. 279-282 4 p.

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

  415. Dynamic and Static Prototype Vectors for Semantic Composition

    Klapaftis, I., Goli, V. S. R., McCarthy, D. & Manandhar, S. K., 2011, The Fifth International Joint Conference on Natural Language Processing. 2006-2013 Asian Federation of Natural Language Proceesing, p. 705-713 9 p.

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

  416. EUnit: A Unit Testing Framework for Model Management Tasks

    García-Domínguez, A., Kolovos, D., Rose, L. M., Paige, R. F. & Medina-Bulo, I., 2011, Model Driven Engineering Languages and Systems: 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Proceedings. Springer, Vol. 6981 LNCS. p. 395-409 15 p. (Lecture Notes in Computer Science; vol. 6981).

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

  417. Efficient Task Allocation to FPGAs in the Safety Critical Domain

    Conmy, P. & Bate, I., 2011, Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing. p. 119-128 10 p.

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

  418. Empirical results from an evaluation of the accessibility of websites by dyslexic users

    Freire, A. P., Petrie, H. & Power, C. D., 2011, Proceedings of the Workshop on Accessible Design in the Digital World. p. 41-53 13 p.

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

  419. Engaging Visitors in Museums with Technology: Scales for the Measurement of Visitor and Multimedia Guide Experience

    Othman, M. K., Petrie, H. & Power, C. D., 2011, Human-Computer Interaction – INTERACT 2011: 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part IV. PART 4 ed. Springer, Vol. 6949 LNCS. p. 92-99 8 p. (Lecture Notes in Computer Science; vol. 6949).

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

  420. Entropy versus Heterogeneity for Graphs

    Han, L., Hancock, E. R. & Wilson, R. C., 2011, GRAPH-BASED REPRESENTATIONS IN PATTERN RECOGNITION. Jiang, X., Ferrer, M. & Torsello, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 32-41 10 p.

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

  421. Facial Expression Recognition Using Nonrigid Motion Parameters and Shape-from-Shading

    Liu, F., Hancock, E. R. & Smith, W. A. P., 2011, Computer Analysis of Images and Patterns - 14th International Conference, CAIP 2011, Seville, Spain, August 29-31, 2011, Proceedings, Part II. Real, P., Díaz-Pernil, D., Molina-Abril, H., Berciano, A. & Kropatsch, W. G. (eds.). PART 2 ed. BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6855. p. 105-113 9 p. (Lecture Notes in Computer Science).

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

  422. Failures of a Business Process in Enterprise Systems

    Ge, X., Paige, R. F. & McDermid, J. A., 2011, CENTERIS 2011, Part I: CCIS. Cruz-Cunha, M. (ed.). PART 1 ed. Springer Berlin / Heidelberg, Vol. 219 CCIS. p. 139-146 8 p.

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

  423. Fast and Accurate Transaction-Level Model of a Wormhole Network-on-Chip with Priority Preemptive Virtual Channel Arbitration

    Indrusiak, L. S. & Santos, O. M., 2011, Design Automation and Test in Europe (DATE), 2011. p. 1089-1094 6 p.

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

  424. Feature Point Matching Using a Hermitian Property Matrix

    Haseeb, M. & Hancock, E. R., 2011, SIMILARITY-BASED PATTERN RECOGNITION: FIRST INTERNATIONAL WORKSHOP, SIMBAD 2011. Pelillo, M. & Hancock, ER. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 7005 LNCS. p. 321-332 12 p.

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

  425. Feature Selection for Gender Classification

    Zhang, Z. & Hancock, E. R., 2011, PATTERN RECOGNITION AND IMAGE ANALYSIS: 5TH IBERIAN CONFERENCE, IBPRIA 2011. Vitria, J., Sanches, JM. & Hernandez, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6669 LNCS. p. 76-83 8 p.

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

  426. Finding short counterexamples in promela models using estimation of distribution algorithms

    Staunton, J. & Clark, J. A., 2011, 13th Annual Genetic and Evolutionary Computation Conference, GECCO 2011, Proceedings, Dublin, Ireland, July 12-16, 2011. Krasnogor, N. & Lanzi, P. L. (eds.). ACM, p. 1923-1930 8 p.

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

  427. Formal Methods @ Runtime

    Calinescu, R. & Kikuchi, S., 2011, Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems - 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers. Springer, Vol. 6662. p. 122-135 14 p. (Lecture Notes in Computer Science).

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

  428. From Points to Nodes: Inverse Graph Embedding through a Lagrangian Formulation

    Escolano, F. & Hancock, E. R., 2011, Computer Analysis of Images and Patterns - 14th International Conference, CAIP 2011, Seville, Spain, August 29-31, 2011, Proceedings, Part I. Real, P., Díaz-Pernil, D., Molina-Abril, H., Berciano, A. & Kropatsch, W. G. (eds.). PART 1 ed. BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6854. p. 194-201 8 p. (Lecture Notes in Computer Science).

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

  429. Graph Characterization via Backtrackless Paths

    Aziz, F., Wilson, R. C. & Hancock, E. R., 2011, SIMILARITY-BASED PATTERN RECOGNITION: FIRST INTERNATIONAL WORKSHOP, SIMBAD 2011. Pelillo, M. & Hancock, ER. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 7005 LNCS. p. 149-162 14 p.

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

  430. Graph Clustering Using the Jensen-Shannon Kernel

    Bai, L. & Hancock, E. R., 2011, Computer Analysis of Images and Patterns - 14th International Conference, CAIP 2011, Seville, Spain, August 29-31, 2011, Proceedings, Part I. Real, P., Díaz-Pernil, D., Molina-Abril, H., Berciano, A. & Kropatsch, W. G. (eds.). PART 1 ed. BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6854. p. 394-401 8 p. (Lecture Notes in Computer Science).

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

  431. Graph matching through entropic manifold alignment

    Escolano, F., Hancock, E. R. & Lozano, M. A., 2011, CVPR. p. 2417-2424 8 p.

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

  432. Heterotic Computing

    Kendon, V., Sebald, A. A-M., Stepney, S., Bechmann, M. W., Hines, P., Wagner, R. C., Calude, C. S., Kari, J., Petre, I. & Rozenberg, G., 2011, Unconventional Computation: 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings. Springer, Vol. 6714. p. 113-124 12 p.

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

  433. Identifying Desirable Game Character Behaviours through the Application of Evolutionary Algorithms to Model-Driven Engineering Metamodels

    Williams, J. R., Poulding, S. M., Rose, L. M., Paige, R. F. & Polack, F. A. C., 2011, Search Based Software Engineering: Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011. Proceedings. Vol. 6956 LNCS. p. 112-126 15 p. (Lecture Notes in Computer Science; vol. 6956).

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

  434. Implementing Mixed Criticality Systems in Ada

    Baruah, S. & Burns, A., 2011, Proceedings of Reliable Software Technology - Ada Europe 2011. Romanovsky, A. & Vardanega, T. (eds.). Springer, Vol. LNCS 6652. p. 174-188 15 p.

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

  435. Improved content-based watermarking using scale-invariant feature points

    Li, N., Hancock, E., Zheng, X. & Han, L., 2011, Image Analysis and Processing – ICIAP 2011: 16th International Conference, Ravenna, Italy, September 14-16, 2011, Proceedings, Part I. Springer, p. 636-649 (Lecture Notes in Computer Science; vol. 6978).

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

  436. Improving question recommendation by exploiting information need

    Li, S. & Manandhar, S., 2011, Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies. Stroudsburg, PA, USA: Association for Computational Linguistics, Vol. 1. p. 1425-1434 10 p. (HLT '11).

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

  437. Integrated Model Management with Epsilon

    Kolovos, D., Paige, R. F., Rose, L. M. & Williams, J. R., 2011, Modelling Foundations and Applications: 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings. Springer, Vol. 6698 LNCS. p. 391-392 2 p. (Lecture Notes in Computer Science; vol. 6698).

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

  438. Inverse Rendering in SUV Space with a Linear Texture Model

    Aldrian, O. & Smith, W. A. P., 2011, IEEE Color and Photometry in Computer Vision Workshop in conjunction with ICCV. p. 822-829 8 p.

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

  439. Inverse Rendering with a Morphable Model: A Multilinear Approach

    Aldrian, O. & Smith, W. A. P., 2011, Proceedings of the British Machine Vision Conference.

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

  440. Kernelising the Ihara Zeta Function

    Aziz, F., Wilson, R. C. & Hancock, E. R., 2011, Computer Analysis of Images and Patterns - 14th International Conference, CAIP 2011, Seville, Spain, August 29-31, 2011, Proceedings, Part I. Real, P., Díaz-Pernil, D., Molina-Abril, H., Berciano, A. & Kropatsch, W. G. (eds.). PART 1 ed. BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6854. p. 219-227 9 p. (Lecture Notes in Computer Science).

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

  441. LIPS: A Protocol Suite For Homeostatic Sensornet Management

    Tate, J. & Bate, I., 2011, Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems.

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

  442. Learning Generative Graph Prototypes Using Simplified von Neumann Entropy

    Han, L., Hancock, E. R. & Wilson, R. C., 2011, GRAPH-BASED REPRESENTATIONS IN PATTERN RECOGNITION. Jiang, X., Ferrer, M. & Torsello, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 42-51 10 p.

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

  443. Multi-agent, reward shaping for RoboCup KeepAway

    Devlin, S., Grześ, M. & Kudenko, D., 2011, 10th International Conference on Autonomous Agents and Multiagent Systems 2011, AAMAS 2011. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), Vol. 2. p. 1157-1158 2 p.

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

  444. Mutual Information Criteria for Feature Selection

    Zhang, Z. & Hancock, E. R., 2011, SIMILARITY-BASED PATTERN RECOGNITION: FIRST INTERNATIONAL WORKSHOP, SIMBAD 2011. Pelillo, M. & Hancock, ER. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 7005 LNCS. p. 235-249 15 p.

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

  445. Natural Material Segmentation and Classification Using Polarisation

    Subramaniam, N., Gul e Saman, N. V. & Hancock, E. R., 2011, PATTERN RECOGNITION AND IMAGE ANALYSIS: 5TH IBERIAN CONFERENCE, IBPRIA 2011. Vitria, J., Sanches, JM. & Hernandez, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6669 LNCS. p. 468-475 8 p.

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

  446. Predictability as an Emergent Behaviour

    Burns, A. & Griffin, D., 2011, 4th Workshop on Compositional Theory and Technology for Real‐Time Embedded Systems. Davis, R. I. & Phan, L. T. X. (eds.). p. 27-29 3 p.

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

  447. Probabilistic Instruction Cache Analysis using Bayesian Networks

    Bartlett, M., Bate, I., Cussens, J. & Kazakov, D., 2011, Proceedings of the 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2011). Vol. 1. p. 233 - 242

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

  448. Process-Oriented Subsumption Architecture for Swarm-Robotic Systems

    Posso, J., Sampson, A. T., Simpson, J. & Timmis, J., 2011, Communicating Process Architectures . Vol. 68. p. 303 316 p.

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

  449. Programming Langugaes for Real-Time Applications Executing on Parallel hardware

    Burns, A., 2011, Proceedings of Reliable Software Technology - Ada Europe 2011. Romanovsky, A. & Vardanega, T. (eds.). Vol. LNCS 6652. p. 193-195 3 p.

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

  450. Rectifying Non-euclidean Similarity Data through Tangent Space Reprojection

    Xu, W., Hancock, E. R. & Wilson, R. C., 2011, PATTERN RECOGNITION AND IMAGE ANALYSIS: 5TH IBERIAN CONFERENCE, IBPRIA 2011. Vitria, J., Sanches, JM. & Hernandez, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6669 LNCS. p. 379-386 8 p.

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

  451. Reflection Component Separation Using Statistical Analysis and Polarisation

    Zhang, L., Hancock, E. R. & Atkinson, G. A., 2011, PATTERN RECOGNITION AND IMAGE ANALYSIS: 5TH IBERIAN CONFERENCE, IBPRIA 2011. Vitria, J., Sanches, JM. & Hernandez, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6669 LNCS. p. 476-483 8 p.

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

  452. Refractive Index Estimation Using Polarisation and Photometric Stereo

    Saman, G. & Hancock, E. R., 2011, Computer Analysis of Images and Patterns - 14th International Conference, CAIP 2011, Seville, Spain, August 29-31, 2011, Proceedings, Part II. Real, P., Díaz-Pernil, D., Molina-Abril, H., Berciano, A. & Kropatsch, W. G. (eds.). PART 2 ed. BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6855. p. 548-554 7 p. (Lecture Notes in Computer Science).

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

  453. Remote Evaluation of WCAG 2.0 Techniques by Web Users with Visual Disabilities

    Power, C. D., Petrie, H., Freire, A. P. & Swallow, D. M., 2011, Universal Access in Human-Computer Interaction. Design for All and eInclusion: 6th International Conference, UAHCI 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part I. PART 1 ed. Springer, Vol. 6765 LNCS. p. 285-294 10 p. (Lecture Notes in Computer Science; vol. 6765).

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

  454. Requirements for e-services for disabled and older students in further and higher education

    Petrie, H., Power, C., Swallow, D. & Bostick, S. L., 2011, Proceedings of Accessible Design In the Digital World 2011. University of York

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

  455. Robust Shape and Polarisation Estimation Using Blind Source Separation

    Zhang, L. & Hancock, E. R., 2011, Computer Analysis of Images and Patterns - 14th International Conference, CAIP 2011, Seville, Spain, August 29-31, 2011, Proceedings, Part I. Real, P., DiazPernil, D., MolinaAbril, H., Berciano, A. & Kropatsch, W. (eds.). PART 1 ed. BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6854. p. 178-185 8 p. (Lecture Notes in Computer Science).

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

  456. Safe asynchronous multicore memory operations

    Bontincan, M., Dodds, M., Donaldson, A. F. & Parkinson, M. J., 2011, Automated Software Engineering (ASE), 2011 26th IEEE/ACM International Conference on. IEEE, p. 153-162 10 p.

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

  457. Safety-Critical Java in Circus

    Cavalcanti, A. L. C., Wellings, A., Woodcock, J., Wei, K. & Zeyda, F., 2011, 9th Workshop on Java Technologies for Real-Time and Embedded System. p. 20-29 10 p.

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

  458. Saying Hello World with Epsilon - A Solution to the 2011 Instructive Case

    Rose, L. M., García-Domínguez, A., Williams, J. R., Kolovos, D., Paige, R. F. & Polack, F. A. C., 2011, Proceedings Fifth Transformation Tool Contest. Arxiv (Cornell University), p. 332-339

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

  459. Searching for invariants using genetic programming and mutation testing

    Ratcliff, S., White, D. R. & Clark, J. A., 2011, GECCO 2011 : Proceedings of 13th Annual Conference on Genetic and Evolutionary Computation. Krasnogor, N. & Lanzi, P. L. (eds.). ACM, p. 1907-1914 8 p.

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

  460. Segmentation and Normalisation in Grapheme Codebooks

    Gillam, T., Wilson, R. C. & Clark, J. A., 2011, 2011 International Conference on Document Analysis and Recognition, ICDAR 2011, Beijing, China, September 18-21, 2011. IEEE, p. 613-617 5 p.

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

  461. Shape-from-shading under complex natural illumination

    Huang, R. & Smith, W. A. P., 2011, Image Processing (ICIP), 2011 18th IEEE International Conference on. IEEE, p. 13-16 4 p.

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

  462. Simplification of 3D Morphable Models

    Patel, A. & Smith, W. A. P., 2011, Proceedings of the International Conference on Computer Vision. p. 271-278 8 p.

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

  463. Targeting complex embedded architectures by combining the Multicore Communications API (MCAPI) with Compile-Time Virtualisation

    Gray, I. & Audsley, N. C., 2011, Proceedings of the 2011 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems. p. 51-60

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

  464. The Safety-Critical Java Memory Model: A Formal Account

    Cavalcanti, A., Wellings, A. J. & Woodcock, J., 2011, FM 2011: 17th International Symposium of Formal Methods. Vol. 6664 LNCS. p. 246-261 16 p. (Lecture Notes in Computer Science; vol. 6664).

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

  465. The Safety-critical Java Mission Model: a formal account

    Zeyda, F., Cavalcanti, A. L. C. & Wellings, A., 2011, International Conference on Formal Engineering Methods. Vol. 6991 LNCS. p. 49-65 17 p.

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

  466. The value chain for web accessibility: challenges and opportunities

    Petrie, H., Power, C. D., Swallow, D., Velasco, C. A., Gallagher, B., Magennis, M., Murphy, E., Collin, S. & Down, K., 2011, Proceedings of Accessible Design In the Digital World 2011. University of York

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

  467. Towards Argument-Driven Validation of an in silico Model of Immune Tissue Organogenesis

    Alden, K. J., Andrews, PAUL. S., Timmis, J., Viega-Fernandes, H. & Coles, M. C., 2011, Proceedings of 10th International Conference on Artificial Immune Systems. Lecture Notes in Computer Science, Vol. 6825. p. 66-70 5 p.

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

  468. Towards Cost-Effective High-Assurance Software Product Lines:

    McDermid, J. A. & Hutchesson, S., 2011, Software Product Line Conference (SPLC), 2011 15th International. IEEE Computer Society, p. 55 - 64 10 p.

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

  469. Trace-Based Statistical Response-Time Analysis of Complex Real-Time Embedded Systems

    Lu, Y., Nolte, T., Bate, I. & Cucu-Grosjean, L., 2011, Proceedings of the 6th IEEE International Symposium on Industrial Embedded Systems (SIES'11).

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

  470. Treaties: Behaviour-Controlling Capabilities

    Zhao, Y. & Wood, A. M., 2011, Proc. 2nd Annual International Conference on Advances in Distributed and Parallel Computing (ADPC 2011). Global Science and Technology Forum, p. 19-24

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

  471. Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models

    Santos, O. M. D., Woodcock, J. & Paige, R. F., 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. 117-126 10 p.

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

  472. Using card sorts for understanding website information architectures: technological, methodological and cultural issues

    Petrie, H., Power, C., Cairns, P. & Seneler, C., 2011, Human-Computer Interaction – INTERACT 2011 : 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part IV. Berlin, Heidelberg: Springer-verlag, p. 309-322 14 p. (Lecture Notes in Computer Science; vol. 6949).

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

  473. Using observation ageing to improve Markovian model learning in QoS engineering

    Calinescu, R. C., Johnson, K. H. A. & Rafiq, Y., 2011, Proceedings of the 2nd ACM/SPEC International Conference on Performance Engineering. p. 505 510 p.

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

  474. Video Subset Selection for Measurement Based Worst Case Execution Time Analysis

    Wheeler, S., Bate, I. & Bartlett, M., 2011, Proceedings of the 6th IEEE International Symposium on Industrial Embedded Systems (SIES'11).

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

  475. Vista s: towards Behavioural Cloud Control

    Wood, A. M. & Zhao, Y., 2011, Euro-Par 2010 Parallel Processing Workshops : HeteroPar, HPCC, HiBB, CoreGrid, UCHPC, HPCF, PROPER, CCPI, VHPC, Ischia, Italy, August 31–September 3, 2010, Revised Selected Papers. Springer, Vol. 6586 LNCS. p. 689-696 8 p. (Lecture Notes in Computer Science; vol. 6586).

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

  476. When the requirements for adaptation and high integrity meet

    Calinescu, R., 2011, Proceedings of the 8th ESEC/FSE Workshop on Assurances for Self-Adaptive Systems. New York, NY, USA: ACM, p. 1-4 4 p. (ASAS '11).

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

  477. 2010
  478. Dividing point value selections for Improved Quick Processor-Demand Analysis

    Zhang, F. & Burns, A., 16 Dec 2010, ICSTE 2010 - 2010 2nd International Conference on Software Technology and Engineering, Proceedings. Vol. 1. p. V1-170 -V1-175 5608891

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

  479. Minimal image sets for robust spherical gradient photometric stereo

    Dutta, A. & Smith, W. A. P., 15 Dec 2010, SA '10 ACM SIGGRAPH ASIA 2010 Sketches. ACM, 22

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

  480. Depinning behaviour of domain wall in magnetic nanowire with asymmetric notch

    Liao, J., Ma, B., Zhang, Z., Jin, Q., Huang, Z., Hu, X., Ding, A., Zhang, W., Wu, J. & Xu, Y., 1 Dec 2010, Proceedings - 2010 8th International Vacuum Electron Sources Conference and Nanocarbon, IVESC 2010 and NANOcarbon 2010. p. 589-590 2 p. 5644171

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

  481. Direct magnetic imaging of domain wall manipulation in necked permalloy wire using XPEEM

    Zhang, W., Wong, P. K. J., Morton, S. A., Scholl, A., Wu, J., Xu, Y. B., Van Der Laan, G., Yang, H. F., Xia, K., Gu, C. Z., Huang, Z. C., Luo, C. & Zhai, Y., 1 Dec 2010, Proceedings - 2010 8th International Vacuum Electron Sources Conference and Nanocarbon, IVESC 2010 and NANOcarbon 2010. p. 496-497 2 p. 5644238

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

  482. Evaluating goal-oriented analysis in the domain of enterprise information systems

    Tabatabaie, M., Polack, F. A. C. & Paige, R. F., 1 Dec 2010, ENTERprise Information Systems - International Conference, CENTERIS 2010, Proceedings. PART 1 ed. p. 62-70 9 p. (Communications in Computer and Information Science; vol. 109 CCIS, no. PART 1).

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

  483. Reasoning About the Reliability of Multi-version, Diverse Real-Time Systems

    Burns, A. & Littlewood, B., 1 Dec 2010, 2010 IEEE 31st Real-Time Systems Symposium (RTSS). IEEE Computer Society Press, p. 73-81 9 p.

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

  484. KAOS-β: A goal-oriented process model for EIS

    Tabatabaie, M., Polack, F. A. C. & Paige, R. F., 30 Nov 2010, Proceedings of the 8th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2010, in Conjunction with ICEIS 2010. p. 40-49 10 p.

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

  485. Sensitivity analysis for EDF scheduled arbitrary deadline real-time systems

    Zhang, F., Burns, A. & Baruah, S., 24 Nov 2010, Proceedings - 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2010. p. 61-70 10 p. 5591291

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

  486. Partitioned EDF scheduling for multiprocessors using a C=D task splitting scheme

    Burns, A., Davis, R. I., Wang, P. & Zhang, F., Nov 2010, International conference on Real-Time and Network Systems.

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

  487. Quantifying the Suboptimality of Uniprocessor Fixed Priority Non-Pre-emptive Scheduling

    Davis, R. I., George, L. & Courbin, P., Nov 2010, International Conference on Real-Time and Network Systems.

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

  488. Reducing Queue Lock Pessimism in Multiprocessor Schedulability Analysis

    Chang, Y., Davis, R. I. & Wellings, A. J., Nov 2010, International conference on Real-Time and Network Systems. p. 99-108

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

  489. VHDL Guidance for Safe and Certifiable FPGA Design

    Conmy, P., Pygott, C. & Bate, I., 1 Oct 2010, IET System Safety Conference.

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

  490. Task parameter computations for constraint deadline real-time systems with EDF scheduling

    Zhang, F., Burns, A. & Baruah, S., 27 Aug 2010, Proceedings of International Conference onComputer Design and Applications (ICCDA). Vol. 3. p. V3-553 -V3-557 5541363

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

  491. A note on traces refinement and the conf relation in the unifying theories of programming

    Cavalcanti, A. & Gaudel, M. C., 26 Aug 2010, Unifying Theories of Programming - Second International Symposium, UTP 2008, Revised Selected Papers. p. 42-61 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5713 LNCS).

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

  492. Encoding Circus programs in ProofPower-Z

    Zeyda, F. & Cavalcanti, A., 26 Aug 2010, Unifying Theories of Programming - Second International Symposium, UTP 2008, Revised Selected Papers. p. 218-237 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5713 LNCS).

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

  493. A state-based approach to traceability maintenance

    Drivalos-Matragkas, N., Kolovos, D. S., Paige, R. F. & Fernandes, K. J., 2 Aug 2010, Proceedings of the 6th ECMFA Traceability Workshop, ECMFA-TW'10. p. 23-30 8 p.

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

  494. Instruction Cache Prediction Using Bayesian Networks

    Bartlett, M., Bate, I. & Cussens, J., 1 Aug 2010, Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010). Lisbon, Portugal: IOS Press, Vol. 215. p. 1099-1100 2 p. (Frontiers in Artificial Intelligence and Applications; vol. 215).

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

  495. Techniques For The Synthesis Of Multiprocessor Tasksets

    Emberson, P., Stafford, R. & Davis, R. I., Jul 2010, WATERS workshop at the Euromicro Conference on Real-Time Systems. p. 6-11

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

  496. Instruction Set Simulator for MPSoCs based on NoCs and MIPS Processors

    Moller, L., Rodrigues, A., Moraes, F., Indrusiak, L. S. & Glesner, M., 14 May 2010, Proceedings of the 5th International Workshop on Reconfigurable Communication-centric Systems on Chip (ReCoSoC). Hübner, M., Lagadec, L., Sander, O. & Becker, J. (eds.). Karlsruhe: KIT Scientific Publishing, p. 7-12 5 p.

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

  497. Towards a Model-Based Refinement Process for Contractual Statecharts

    Paige, R. F., 4 May 2010, Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), 2010 13th IEEE International Symposium on . 2010 ed. IEEE Computer Society, Vol. 2. p. 108-115 8 p.

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

  498. Language Vulnerabilities - Let's not forget Concurrency

    Burns, A. & Wellings, A. J., 1 Apr 2010, Proceedings of 14th International Real-Time Ada Workshop, IRTAW. ACM, Vol. XXX. p. 26-32 7 p. (Ada Letters).

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

  499. Supporting Execution on Multiprocessor Platforms

    Burns, A. & Wellings, A. J., 1 Apr 2010, Proceedings of 14th International Real-Time Ada Workshop, IRTAW. Vol. XXX. (ACM Ada Letters).

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

  500. Do sensornet protocol variants yield real benefits?

    Tate, J. & Bate, I., 1 Mar 2010, 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010, Oxford, England, UK, 22-26 March 2010. Sterritt, R., Eames, B. & Sprinkle, J. (eds.). Los Alamitos, CA: IEEE Computer Society Press, p. 19-28 10 p.

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

  501. Maintaining Stable Node Populations In Long-Lifetime Sensornets

    Tate, J. & Bate, I., 1 Mar 2010, 15th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2010, Oxford, United Kingdom, 22-26 March 2010. Calinescu, R., Paige, R. F. & Kwiatkowska, M. Z. (eds.). Los Alamitos, CA: IEEE Computer Society Press, p. 159-168 10 p.

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

  502. A Comparison of Model Migration Tools

    Rose, L., Herrmannsdoerfer, M., Williams, J., Kolovos, D., Garces, K., Paige, R., Polack, F., Petriu, D. (ed.), Rouquette, N. (ed.) & Haugen, Ã. (ed.), 2010, Model Driven Engineering Languages and Systems. PART 1 ed. Springer Berlin / Heidelberg, Vol. 6394. p. 61-75 15 p. (Lecture Notes in Computer Science).

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

  503. A Hoare Calculus for Graph Programs

    Poskitt, C. M. & Plump, D., 2010, Proceedings 5th International Conference on Graph Transformation (ICGT 2010). Ehrig, H., Rensink, A., Rozenberg, G. & Schürr, A. (eds.). Springer, Vol. 6372 . p. 139-154 (Lecture Notes in Computer Science; vol. 6372).

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

  504. A Linear Approach of 3D Face Shape and Texture Recovery using a 3D Morphable Model

    Aldrian, O. & Smith, W. A. P., 2010, Proceedings of the British Machine Vision Conference.

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

  505. A Neural-Endocrine Architecture for Foraging in Swarm Robotic Systems

    Timmis, J., Murray, L. & Neal, M., 2010, NICSO 2010: NATURE INSPIRED COOPERATIVE STRATEGIES FOR OPTIMIZATION. Gonzalez, JR., Pelta, DA., Cruz, C., Terrazas, G. & Krasnogor, N. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 284. p. 319-330 12 p.

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

Previous 1 2 3 4 Next