Search research publications and outputs

  1. 2012
  2. 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  50. An Automated Approach to Generating Efficient Constraint Solvers

    Balasubramaniam, D., Jefferson, C. A., Kotthoff, L., Miguel, I. J. & Nightingale, P., 2012, 2012 34th international conference on software engineering (ICSE 2012). IEEE, p. 661-671 11 p.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  112. Refractive index estimation using photometric stereo

    Saman, G. & Hancock, E., 1 Dec 2011, ICIP 2011: 2011 18th IEEE International Conference on Image Processing. p. 1925-1928 4 p. 6115847. (Proceedings - International Conference on Image Processing, ICIP).

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  133. Dominion: an architecture-driven approach to generating efficient constraint solvers

    Balasubramaniam, D., De Silva, L. R., Jefferson, C. A., Kotthoff, L., Miguel, I. J. & Nightingale, P., 1 Jun 2011, Proceedings of the 9th Working IEEE/IFIP Conference on Software Architecture (WICSA). United States: IEEE Computer Society Press, p. 228-231 4 p.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  165. Exploiting short supports for generalised arc consistency for arbitrary constraints

    Nightingale, P., Gent, I. P., Jefferson, C. A. & Miguel, I. J., 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011). Walsh, T. (ed.). IJCAI/AAAI, p. 623-628 6 p.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  220. 2010
  221. 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  249. A Safety Case Approach to Assuring Configurable Architectures of Safety-Critical Product Lines

    Habli, I. & Kelly, T., 2010, ARCHITECTING CRITICAL SYSTEMS, PROCEEDINGS. Giese, H. (ed.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6150 LNCS. p. 142-160 19 p.

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

  250. A feedback-driven timing synchronisation protocol for cellular sensornets

    Tate, J. & Bate, I., 2010, Proceedings of the 7th IEEE International Conference on Mobile Ad-hoc and Sensor Systems. IEEE, p. 482-491 10 p.

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

  251. A locality model for the real-time specification for Java

    Malik, A. H., Wellings, A. J. & Chang, Y., 2010, Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2010, Prague, Czech Republic, August 19-21, 2010. Kalibera, T. & Vitek, J. (eds.). ACM, p. 36-45 10 p. (ACM International Conference Proceeding Series).

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

  252. AEINS: The role of interactive narrative in fostering character education

    Hodhod, R., Kudenko, D. & Cairns, P., 2010, Proceedings of the 3rd International Symposium on AI and Games - A Symposium at the AISB 2010 Convention. p. 47-53 7 p.

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

  253. AI for Herding Sheep.

    Cowling, P. I. & Gmeinwieser, C., 2010, AIIDE.

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

  254. Accessibility of Blended and E-Learning for Mature Age and Disabled Students and Staff: Introduction to the Special Thematic Session

    Petrie, H., Power, C., Veasco, C. A. & Boticario, J. G., 2010, COMPUTERS HELPING PEOPLE WITH SPECIAL NEEDS, PROCEEDINGS, PT 1. Miesenberger, K., Klaus, J., Zagler, W. & Karshmer, A. (eds.). PART 1 ed. BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6179 LNCS. p. 484-485 2 p.

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

  255. Accessibility of blended and E-learning for mature age and disabled students and staff: introduction to the special thematic session

    Petrie, H., Power, C. D., Velasco, C. A. & Boticario, J. G., 2010, International Conference on Computers Helping People with Special Needs. Springer, p. 484-485 2 p.

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

  256. An Iterative Approach for Development of Safety-Critical Software and Safety Arguments

    Ge, X., Paige, R. F. & McDermid, J. A., 2010, AGILE Conference, 2010. IEEE, p. 35-43 9 p.

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

  257. An Overview of the SoBP for Software in the Context of DS 00-56 Issue 4

    Menon, C., Hawkins, R. D., McDermid, J. A. & Kelly, T. P., 2010, Making Systems Safer. Dale, C. & Anderson, T. (eds.). London: SPRINGER-VERLAG LONDON LTD, p. 129-147 19 p.

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

  258. Assessing trustworthiness of nodes to enhance performance in mobile ad hoc networks

    Bista, S. K., Dahal, K., Cowling, P. & Bouras, A., 2010, Privacy Security and Trust (PST), 2010 Eighth Annual International Conference on. p. 80-87 8 p.

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

  259. Associating Minutiae between Distorted Fingerprints Using Minimal Spanning Tree

    Zhu, E., Hancock, E., Ren, P., Yin, J. & Zhang, J., 2010, IMAGE ANALYSIS AND RECOGNITION, 2010, PT II, PROCEEDINGS. Campilho, A. & Kamel, M. (eds.). PART 2 ed. BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6112 LNCS. p. 235-245 11 p.

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

  260. Assurance of Automotive Safety – A Safety Case Approach

    Habli, I. & Palin, R. A., 2010, 29th International Conference on Computer Safety, Reliability and Security .

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

  261. Asynchronous event handling and safety critical Java

    Wellings, A. J. & Kim, M., 2010, Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2010, Prague, Czech Republic, August 19-21, 2010. Kalibera, T. & Vitek, J. (eds.). ACM, p. 53-62 10 p. (ACM International Conference Proceeding Series).

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

  262. C-Link: Concept Linkage in Knowledge Repositories.

    Cowling, P. I., Remde, S., Hartley, P., Stewart, W., Stock-Brooks, J. & Woolley, T., 2010, AAAI Spring Symposium: Linked Data Meets Artificial Intelligence.

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

  263. Can recognising multiword expressions improve shallow parsing?

    Korkontzelos, I. & Manandhar, S., 2010, Human language technologies: the 2010 Annual Conference of the North American Chapter of the Association for Computational Linguistics. Stroudsburg, PA: Association for Computational Linguistics, p. 636-644 9 p.

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

  264. Combining Behavioural Real-time Software Modelling with the OSCI TLM-2.0 Communication Standard

    Yu, K. & Audsley, N. C., 2010, 10th IEEE International Conference on Computer and Information Technology, CIT 2010, Bradford, West Yorkshire, UK, June 29-July 1, 2010. IEEE Computer Society, p. 1825-1832 8 p.

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

  265. Concurrent abstract predicates

    Dinsdale-Young, T., Dodds, M. D., Gardner, P., Parkinson, M. J. & Vafeiadis, V., 2010, ECOOP 2010 – Object-Oriented Programming : 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings. Springer, p. 504-528 25 p. (Lecture Notes in Computer Science; vol. 6183).

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

  266. Data Mining Techniques for Proactive Fault Diagnostics of Electronic Gaming Machines

    Butler, M. & Keselj, V., 2010, ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS. Farzindar, A. & Keselj, V. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6085 LNAI. p. 366-369 4 p.

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

  267. Detection of skin lesions using diffuse polarisation

    Subramaniam, N., Saman, G. & Hancock, E., 2010, 2010 IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING. NEW YORK: IEEE, p. 3021-3024 4 p.

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

  268. Dispatching Domains for Multiprocessor Platforms and Their Representation in Ada

    Burns, A. & Wellings, A., 2010, RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2010. Real, J. & Vardanega, T. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6106 LNCS. p. 41-53 13 p.

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

  269. Distinguishing facial expression using the Fisher-Rao metric

    Ceolin, S. & Hancock, E. R., 2010, 2010 IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING. NEW YORK: IEEE, p. 1437-1440 4 p.

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

  270. Dual Priority Scheduling: Is the Processor Utilisation bound 100%?

    Burns, A., 2010, Proceedings of 1st International Real-Time Scheduling Open Problems Seminar, RTSOPS 2010. Davis, R. I. & Fisher, N. (eds.). p. 3-4 2 p.

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

  271. Ensemble Classification for Constraint Solver Configuration

    Kotthoff, L., Miguel, I. J. & Nightingale, P. W., 2010, Proceedings of the 16th International Conference on Principles and Practice of Constraint Programming. Cohen, D. (ed.). Netherlands: SPRINGER, Vol. 6308. p. 321-329 9 p. (Lecture Notes in Computer Science).

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

  272. Evaluation and Integration of COTS in Evidence based Assurance Frameworks

    Despotou, G., Bennett, M. & Kelly, T., 2010, MAKING SYSTEMS SAFER. Dale, C. & Anderson, T. (eds.). GODALMING: SPRINGER-VERLAG LONDON LTD, p. 233-254 22 p.

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

  273. Experiments in objet trouvé browsing

    Colton, S., Gow, J., Torres, P. & Cairns, P., 2010, Proceedings of the International Conference on Computational Creativity, ICCC-10. p. 238-247 10 p.

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

  274. Explicit Stabilisation for Modular Rely-Guarantee Reasoning

    Wickerson, J., Dodds, M. & Parkinson, M. J., 2010, Programming Languages and Systems: 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings. Springer, Vol. 6012 LNCS. p. 610-629 20 p. (Lecture Notes in Computer Science; vol. 6012).

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

  275. Exploring the Identity Manifold: Constrained Operations in Face Space

    Patel, A. & Smith, W. A. P., 2010, Proceedings of the European Conference on Computer Vision. PART 6 ed. Vol. 6316 LNCS. p. 112-125 14 p.

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

  276. Face Recognition Using Simplicial Complexes

    Zou, C. & Hancock, E. R., 2010, ADVANCES IN PATTERN RECOGNITION. CarrascoOchoa, JA., MartinezTrinidad, JF. & Kittler, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6256 LNCS. p. 22-29 8 p.

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

  277. Generating Special-Purpose Stateless Propagators for Arbitrary Constraints

    Gent, I. P., Jefferson, C. A., Miguel, I. J. & Nightingale, P. W., 2010, Principles and Practice of Constraint Programming – CP 2010. Cohen, D. (ed.). Netherlands: SPRINGER, Vol. 6308. p. 206-220 15 p. (Lecture Notes in Computer Science).

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

  278. Graph Programs

    Plump, D., 2010, Pre-Proceedings 1st International Workshop on Strategies in Rewriting, Proving, and Programming (IWS 2010). Kirchner, H. & Munoz, C. (eds.). p. 39-44 6 p.

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

  279. Hoare Logic for Graph Programs

    Plump, D. & Poskitt, C. M., 2010, Proceedings THEORY Workshop at Verified Software: Theories, Tools and Experiments (VS-THEORY 2010). Naumann, D. & Yang, H. (eds.). 11 p.

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

  280. Improving QoS of Multi-layer Networks-on-Chip with Partial and Dynamic Reconfiguration of Routers

    Moller, L., Fischer, P., Moraes, F., Indrusiak, L. S. & Glesner, M., 2010, 2010 International Conference on Field Programmable Logic and Applications (FPL). p. 229-233 5 p.

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

  281. Incrementally Discovering Object Classes Using Similarity Propagation and Graph Clustering

    Xia, S. & Hancock, E. R., 2010, COMPUTER VISION - ACCV 2009, PT III. Zha, H., Taniguchi, RI. & Maybank, S. (eds.). PART 3 ed. BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5996 LNCS. p. 373-383 11 p.

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

  282. Investigating Average versus Worst-Case Timing Behavior of Data Caches and Data Scratchpads

    Whitham, J. & Audsley, N., 2010, 2010 22nd Euromicro Conference on Real-Time Systems (ECRTS). p. 165-174

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

  283. Learning Bayesian Networks for Improved Instruction Cache Analysis

    Bartlett, M., Bate, I. & Cussens, J., 2010, 2010 Ninth International Conference on Machine Learning and Applications: Proceedings of the 9th International Conference on Machine Learning and Applications. IEEE, p. 417-423 7 p.

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

  284. Learning When to Use Lazy Learning in Constraint Solving

    Gent, I. P., Jefferson, C. A., Kotthoff, L., Miguel, I. J., Moore, N. C. A., Nightingale, P. & Petrie, K., 2010, Proceedings of the 19th European Conference on Artificial Intelligence (ECAI-2010). IOS Press, p. 873-878 6 p. (Frontiers in Artificial Intelligence and Applications).

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

  285. Learning the Nature of Generalisation Errors in a 3D Morphable Model

    Aldrian, O. & Smith, W. A. P., 2010, Proceedings of the International Conference on Image Processing. p. 4557-4560 4 p.

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

  286. Model Migration with Epsilon Flock

    Rose, L. M., Kolovos, D. S., Paige, R. F. & Polack, F. A. C., 2010, THEORY AND PRACTICE OF MODEL TRANSFORMATIONS. Tratt, L. & Gogolla, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6142 LNCS. p. 184-198 15 p.

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

  287. Model-Based Assurance for Justifying Automotive Functional Safety

    Habli, I., Kelly, T., Rivett, R. S. & Ibarra, I., 2010, 2010 SAE World Congress, Detroit.

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

  288. Optimising IDS Sensor Placement

    Chen, H., Clark, J. A., Shaikh, S. A., Chivers, H. & Nobles, P., 2010, FIFTH INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY, AND SECURITY: ARES 2010, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 315-320 6 p.

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

  289. PAC-MDP learning with knowledge-based admissible models

    Grzes, M. & Kudenko, D., 2010, Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010). Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems , p. 349-356 8 p.

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

  290. Partitioned EDF Scheduling for Multiprocessors using a C=D Scheme

    Burns, A., Davis, R. I., Wang, P. & Zhang, F., 2010, Proceedings of 18th International Conference on Real-Time and Network Systems (RTNS). p. 169-178 10 p.

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

  291. Photometric Stereo under Low Frequency Environment Illumination

    Huang, R. & Smith, W. A. P., 2010, Advances in Visual Computing: 6th International Symposium, ISVC 2010, Las Vegas, NV, USA, November 29 – December 1, 2010, Proceedings, Part II. PART 2 ed. Springer, Vol. 6454 LNCS. p. 139-150 12 p. (Lecture Notes in Computer Science; vol. 6454).

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

  292. Reflections on the Simulation of Complex Systems for Science

    Polack, F. A. C., Andrews, P. S., Ghetiu, T., Read, M., Stepney, S., Timmis, J. & Sampson, A. T., 2010, Engineering of Complex Computer Systems (ICECCS), 2010 15th IEEE International Conference on . IEEE, p. 276-285 9 p.

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

  293. Risk Based Access Control with Uncertain and Time-dependent Sensitivity

    Clark, J. A., Tapiador, J. E., McDermid, J. A., Cheng, P-C., Agrawal, D., Ivanic, N. & Slogget, D., 2010, Proceedings of the 2010 International Conference on Security and Cryptography. Katsikas, S. & Samarati, P. (eds.). SciTePress, p. 1-9 9 p.

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

  294. Satisfying Test Preconditions through Guided Object Selection

    Wei, Y., Gebhardt, S., Meyer, B. & Oriol, M., 2010, Software Testing, Verification and Validation (ICST), 2010 Third International Conference on. IEEE, p. 303-312

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

  295. Searching a multivariate partition space using weighted MAX-SAT

    Liverani, S., Cussens, J. & Smith, J. Q., 2010, Proceedings of the Sixth International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics (CIBB) 2009. Masulli, F., Peterson, L. & Tagliaferri, R. (eds.). SPRINGER, p. 240-253 14 p. (LNBI 6160).

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

  296. Semi-supervised Feature Selection for Gender Classification

    Wu, J., Smith, W. A. P. & Hancock, E. R., 2010, COMPUTER VISION - ACCV 2009, PT II. Zha, HB., Taniguchi, RI. & Maybank, S. (eds.). PART 2 ed. BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5995 LNCS. p. 23-33 11 p.

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

  297. Sensitivity analysis of relative deadline for EDF scheduled real-time systems

    Zhang, F., Burns, A. & Baruah, S., 2010, Proceedings of 2nd International Conference on Mechanical and Electronics Engineering (ICMEE). p. V1-296 -V1-301

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

  298. Sensitivity analysis of task period for EDF scheduled arbitrary deadline real-time systems

    Zhang, F., Burns, A. & Baruah, S., 2010, Proceedings of 3rd IEEE International Conference on Computer Science and Information Technology (ICCSIT). p. 23-28 6 p.

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

  299. Sensitivity analysis of the minimum task period for arbitrary deadline real-time systems

    Zhang, F., Burns, A. & Baruah, S., 2010, Proceedings of the 16th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC). IEEE Computer Society Press, p. 101-108 8 p. 5703233

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

  300. Shape and Refractive Index Recovery from Single-View Polarisation Images

    Huynh, C. P., Robles-Kelly, A. & Hancock, E., 2010, 2010 IEEE CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION (CVPR). LOS ALAMITOS: IEEE COMPUTER SOC, p. 1229-1236 8 p.

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

  301. Software Engineering Techniques for the Development of Systems of Systems

    Calinescu, R. & Kwiatkowska, M., 2010, FOUNDATIONS OF COMPUTER SOFTWARE: FUTURE TRENDS AND TECHNIQUES FOR DEVELOPMENT. Choppy, C. & Sokolsky, O. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6028 LNCS. p. 59-82 24 p.

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

  302. Software stage-effort estimation based on association rule mining and Fuzzy set theory

    Azzeh, M., Cowling, P. I. & Neagu, D., 2010, Computer and Information Technology (CIT), 2010 IEEE 10th International Conference on. p. 249-256 8 p.

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

  303. Spatial pyramid local keypoints quantization for bag of visual patches image representation

    Alqasrawi, Y., Neagu, D. & Cowling, P., 2010, Intelligent Systems Design and Applications (ISDA), 2010 10th International Conference on. p. 1270-1274 5 p.

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

  304. Spherical Embeddings for non-Euclidean Dissimilarities

    Wilson, R. C., Hancock, E. R., Pekalska, E. & Duin, R. P. W., 2010, 2010 IEEE CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION (CVPR). LOS ALAMITOS: IEEE COMPUTER SOC, p. 1903-1910 8 p.

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

  305. Studying the Applicability of the Scratchpad Memory Management Unit

    Whitham, J. & Audsley, N. C., 2010, 16th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2010, Stockholm, Sweden, April 12-15, 2010. Caccamo, M. (ed.). IEEE Computer Society, p. 205-214 10 p.

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

  306. Supporting Islands of Coherency for highly-parallel embedded architectures using Compile-Time Virtualisation

    Gray, I. & Audsley, N. C., 2010, Proceedings of the 13th International Workshop on Software & Compilers for Embedded Systems.

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

  307. Surface Material Segmentation Using Polarisation

    Subramaniam, N. & Hancock, E., 2010, ADVANCES IN PATTERN RECOGNITION. CarrascoOchoa, JA., MartinezTrinidad, JF. & Kittler, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6256. p. 115-124 10 p.

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

  308. Taming EMF and GMF Using Model Transformation

    Kolovos, D. S., Rose, L. M., bin Abid, S., Paige, R. F. & Polack, F. A. C., 2010, Model Driven Engineering Languages and Systems : 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I. Springer, p. 211-225 (Lecture Notes in Computer Science; vol. 6394).

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

  309. Taxonomy Learning Using Word Sense Induction

    Klapaftis, I. P. & Manandhar, S., 2010, Human Language Technologies: The 2010 Annual Conference of the North American Chapter of the ACL. Association for Computational Linguistics, p. 82-90

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

  310. Tenori-on stage: YouTube as performance space

    Blythe, M. & Cairns, P., 2010, NordiCHI 2010: Extending Boundaries - Proceedings of the 6th Nordic Conference on Human-Computer Interaction. p. 72-81 10 p.

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

  311. The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005

    Wellings, A. & Burns, A., 2010, RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2010. Real, J. & Vardanega, T. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6106 LNCS. p. 196-207 12 p.

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

  312. The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005

    Wellings, A. J. & Burns, A., 2010, Proceedings of Reliable Software Technologies - Ada-Europe. Real, J. & Vardanega, T. (eds.). Springer, Vol. LNCS 6106. p. 196-207 12 p.

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

  313. The Semantics of Graph Programs

    Plump, D. & Steinert, S., 2010, Proceedings 10th International Workshop on Rule-Based Programming (RULE 2009). Mackie, I. & Martins Moreira, A. (eds.). p. 27-38 (Electronic Proceedings in Theoretical Computer Science ; vol. 21).

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

  314. Timing Analyzing for Systems with Execution Dependencies between Tasks

    Lu, Y., Nolte, T., Bate, I. & Norstrom, C., 2010, The 25th ACM Symposium on Applied Computing (SAC2010). p. 357-358 2 p.

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

  315. Timing Analyzing for Systems with Task Execution Dependencies

    Lu, Y., Nolte, T., Bate, I. & Norstrom, C., 2010, Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2010, Seoul, Korea, 19-23 July 2010. Ahamed, S. I., Bae, D-H., Cha, S. D., Chang, C. K., Subramanyan, R., Wong, E. & Yang, H-I. (eds.). IEEE Computer Society, p. 515-524 10 p.

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

  316. Towards memory management for service-oriented real-time systems

    Richardson, T., Wellings, A. J., Dianes, J. A. & Díaz, M., 2010, Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2010, Prague, Czech Republic, August 19-21, 2010. Kalibera, T. & Vitek, J. (eds.). ACM, p. 128-137 10 p. (ACM International Conference Proceeding Series).

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

  317. Trace Specifications in Alloy

    Jacob, J. L., 2010, ABSTRACT STATE MACHINES, ALLOY, B AND Z, PROCEEDINGS. Frappier, M., Glasser, U., Khurshid, S., Laleau, R. & Reeves, S. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5977 LNCS. p. 105-117 13 p.

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

  318. Understanding and Supporting the Needs of Educational Professionals Working with Students with Disabilities and Mature Age Students

    Swallow, D., Petrie, H. & Power, C., 2010, COMPUTERS HELPING PEOPLE WITH SPECIAL NEEDS, PROCEEDINGS, PT 1. Miesenberger, K., Klaus, J., Zagler, W. & Karshmer, A. (eds.). PART 1 ed. BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6179 LNCS. p. 486-491 6 p.

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

  319. Understanding the Safety Lifecycle of Systems of Systems

    Despotou, G. & Kelly, T., 2010, 28th International System Safety Conference (ISSC).

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

  320. UoY: Graphs of Unambiguous Vertices for Word Sense Induction and Disambiguation

    Korkontzelos, I. & Manandhar, S., 2010, Proceedings of the 5th International Workshop on Semantic Evaluation, SemEval@ACL 2010, Uppsala University, Uppsala, Sweden, July 15-16, 2010. p. 355-358 4 p.

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

  321. Using the Fisher-Rao Metric to Compute Facial Similarity

    Ceolin, S. & Hancock, E. R., 2010, IMAGE ANALYSIS AND RECOGNITION, PT I, PROCEEDINGS. Campilho, A. & Kamel, M. (eds.). PART 1 ed. BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6111 LNCS. p. 384-393 10 p.

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

  322. Using the executor framework to implement asynchronous event handling in the RTSJ

    Kim, M. & Wellings, A. J., 2010, Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2010, Prague, Czech Republic, August 19-21, 2010. Kalibera, T. & Vitek, J. (eds.). ACM, p. 16-25 10 p. (ACM International Conference Proceeding Series).

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

  323. Virtual Learning Environments: Another Barrier to Blended and E-Learning

    Power, C., Petrie, H., Sakharov, V. & Swallow, D., 2010, COMPUTERS HELPING PEOPLE WITH SPECIAL NEEDS, PROCEEDINGS, PT 1. Miesenberger, K., Klaus, J., Zagler, W. & Karshmer, A. (eds.). PART 1 ed. BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6179 LNCS. p. 519-526 8 p.

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

  324. Wattsup? Motivating reductions in domestic energy consumption using social networks

    Foster, D., Lawson, S., Blythe, M. & Cairns, P., 2010, NordiCHI 2010: Extending Boundaries - Proceedings of the 6th Nordic Conference on Human-Computer Interaction. p. 178-187 10 p.

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

  325. Word sense induction disambiguation using hierarchical random graphs

    Klapaftis, I. P. & Manandhar, S., 2010, EMNLP '10 Proceedings of the 2010 Conference on Empirical Methods in Natural Language Processing . Stroudsburg, PA: Association for Computational Linguistics, p. 745-755 10 p.

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

  326. transML: A Family of Languages to Model Model Transformations

    Guerra, E., de Lara, J., Kolovos, D., Paige, R., dos Santos, O., Petriu, D., Rouquette, N. & Haugen, Ø., 2010, Model Driven Engineering Languages and Systems : 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I. p. 106-120 15 p.

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

  327. 2009
  328. An Improved Lightweight Synchronisation Primitive For Sensornets

    Tate, J. & Bate, I., 1 Dec 2009, IEEE 6th International Conference on Mobile Adhoc and Sensor Systems, MASS 2009, 12-15 October 2009, Macau (S.A.R.), China. Macau: IEEE Computer Society, Los Alamitos, CA, p. 448-457 10 p.

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

  329. On adaptive self-organization in artificial robot organisms

    Kernbach, S., Hamann, H., Stradner, J., Thenius, R., Schmickl, T., Crailsheim, K., Van Rossum, A. C., Sebag, M., Bredeche, N., Yao, Y., Baele, G., Van De Peer, Y., Timmis, J., Mohktar, M., Tyrrell, A., Eiben, A. E., McKibbin, S. P., Liu, W. & Winfield, A. F. T., 1 Dec 2009, Computation World: Future Computing, Service Computation, Adaptive, Content, Cognitive, Patterns, ComputationWorld 2009. p. 33-43 11 p. 5359550

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

  330. Priority Assignment for Global Fixed Priority Pre-Emptive Scheduling in Multiprocessor Real-Time Systems

    Davis, R. I. & Burns, A., Dec 2009, IEEE Real-Time Systems Symposium. p. 398-409 12 p.

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

  331. CONNECT challenges: Towards emergent connectors for eternal networked systems

    Issarny, V., Steffen, B., Jonsson, B., Blair, G., Grace, P., Kwiatkowska, M., Calinescu, R., Inverardi, P., Tivoli, M., Bertolino, A. & Sabetta, A., 22 Oct 2009, Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS. p. 154-161 8 p. 5090523

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

  332. Quantifying the Suboptimality of Uniprocessor Fixed Priority Pre-emptive Scheduling for Sporadic Tasksets with Arbitrary Deadlines

    Davis, R. I., Rothvoss, T., Baruah, S. K. & Burns, A., Oct 2009, International conference on Real-Time and Network Systems.

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

  333. Spare Capacity Distribution Using Exact Response-Time Analysis

    Zabos, A., Davis, R. I., Burns, A. & Harbour, M. G., Oct 2009, International conference on Real-Time and Network Systems. p. 97-106

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

  334. Discriminative Clustering for Content-Based Tag Recommendation in Social Bookmarking Systems

    Hassan, M. T., Karim, A., Manandhar, S. & Cussens, J., 1 Sep 2009, ECML PKDD Discovery Challenge 2009 (DC09). Eisterlehner, F., Hotho, A. & Jäschke, R. (eds.). Bled, Slovenia: CEUR Workshop Proceedings, Vol. 497. p. 85-97 13 p.

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

  335. Resource-definition policies for autonomic computing

    Calinescu, R., 23 Jul 2009, Proceedings of the 5th International Conference on Autonomic and Autonomous Systems, ICAS 2009. p. 111-116 6 p. 4976590

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

  336. On Generative Parameterisations of Markov Logic Networks

    Cussens, J., 1 Jul 2009, Proc. SRL 09.

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

  337. Energy Efficient Duty Allocation Protocols For Wireless Sensor Networks

    Tate, J. & Bate, I., 1 Jun 2009, 14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009, Potsdam, Germany, 2-4 June 2009. Los Alamitos: IEEE Computer Society Press, p. 58-67 10 p.

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

  338. Anomaly Detection Inspired by Immune Network Theory: A Proposal

    Lau, HK., [Unknown], J. T. & [Unknown], I. B., 1 May 2009, Proceedings of the 2009 IEEE Congress on Evolutionary Computation (CEC '09). IEEE, p. 3045-3051 7 p.

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

  339. Comparing Design Of Experiments and Evolutionary Approaches To Multi-Objective Optimisation Of Sensornet Protocols

    Tate, J., Woolford-Lim, B., Bate, I. & Yao, X., 1 May 2009, Proceedings of the 10th IEEE Congress on Evolutionary Computation. p. 1137-1144 8 p.

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

  340. Understanding Behavioural Tradeoffs In Large-Scale Sensornet Design

    Tate, J. & Bate, I., 1 May 2009, IEEE International Workshop on Quantitative Evaluation of Large-Scale Systems and Technologies. NEW YORK: IEEE Computer Society Press, p. 1085-1091 7 p.

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

  341. Guaranteed Loop Bound Identification from Program Traces for WCET

    Bartlett, M., Bate, I. & Kazakov, D., 1 Apr 2009, Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS). LOS ALAMITOS: IEEE Computer Society, p. 287-294

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

  342. Tuning Complex Sensornet Systems Using Principled Engineering Methods

    Tate, J. & Bate, I., 1 Apr 2009, Proceedings of the 16th Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems. Los Alamitos, CA: IEEE Computer Society Press, p. 275-284 10 p.

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

  343. Addressing Challenges of Hazard Analysis in Systems of Systems

    Despotou, G., Alexander, R. & Kelly, T., 1 Mar 2009, 2009 IEEE INTERNATIONAL SYSTEMS CONFERENCE, PROCEEDINGS. NEW YORK: IEEE, p. 167-172 6 p.

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

  344. 09381 Extended Abstracts Collection - Refinement Based Methods for the Construction of Dependable Systems

    Abrial, J-R., Butler, M. J., Joshi, R., Troubitsyna, E. & Woodcock, J. C. P., 2009, Refinement Based Methods for the Construction of Dependable Systems, 13.09. - 18.09.2009. Abrial, J-R., Butler, M. J., Joshi, R., Troubitsyna, E. & Woodcock, J. C. P. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, Vol. 09381. (Dagstuhl Seminar Proceedings).

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

  345. 3D Morphable Face Models Revisited

    Patel, A. & Smith, W. A. P., 2009, CVPR: 2009 IEEE CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION, VOLS 1-4. NEW YORK: IEEE, p. 1327-1334 8 p.

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

  346. A Deployment Value Model for Intrusion Detection Sensors

    Shaikh, S. A., Chivers, H., Nobles, P., Clark, J. A. & Chen, H., 2009, Advances in Information Security and Assurance, Third International Conference and Workshops, ISA 2009, Seoul, Korea, June 25-27, 200. Vol. 5576 LNCS. p. 250-259 10 p.

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

  347. A Framework for Remote User Evaluation of Accessibility and Usability of Websites

    Power, C., Petrie, H. & Mitchell, R., 2009, UNIVERSAL ACCESS IN HUMAN-COMPUTER INTERACTION: ADDRESSING DIVERSITY, PT I, PROCEEDINGS. Stephanidis, C. (ed.). PART 1 ed. BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5614 LNCS. p. 594-601 8 p.

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

  348. A Multi-objective Optimisation Approach to IDS Sensor Placement

    Chen, H., Clark, J. A., Tapiador, J. E., Shaikh, S. A., Chivers, H. & Nobles, P., 2009, COMPUTATIONAL INTELLIGENCE IN SECURITY FOR INFORMATION SYSTEMS. Herrero, A., Gastaldo, P., Zunino, R. & Corchado, E. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 63 AISC. p. 101-108 8 p.

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

  349. A Riemannian Self-Organizing Map

    Yu, D., Hancock, E. R. & Smith, W. A. P., 2009, IMAGE ANALYSIS AND PROCESSING - ICIAP 2009, PROCEEDINGS. Foggia, P., Sansone, C. & Vento, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5716 LNCS. p. 229-238 10 p.

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

  350. A Rigorous Evaluation of Crossover and Mutation in Genetic Programming

    White, D. R. & Poulding, S., 2009, GENETIC PROGRAMMING. Vanneschi, L., Gustafson, S., Moraglio, A., DeFalco, I. & Ebner, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5481 LNCS. p. 220-231 12 p.

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

  351. A Statistical Model for Daylight Spectra

    Williams, M. & Smith, W. A. P., 2009, Advances in Visual Computing: 5th International Symposium, ISVC 2009, Las Vegas, NV, USA, November 30 - December 2, 2009, Proceedings, Part I. PART 1 ed. Springer, Vol. 5875 LNCS. p. 632-643 12 p. (Lecture Notes in Computer Science; vol. 5875).

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

  352. A deviation based Systems of Systems safety view for modelling Architectural Frameworks

    Despotou, G. & Kelly, T., 2009, Systems Safety 2009. Incorporating the SaRS Annual Conference, 4th IET International Conference on. 555 CP ed. Vol. 2009. p. 1-6 6 p.

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

  353. A fuzzy classifier based on correlation matrix memories

    Aykin, E. & O'Keefe, S., 2009, Recent Advances in Fuzzy Systems: Proceedings of the 10th WSEAS international conference on Fuzzy systems . Mastorakis, N., Croitoru, A., Balas, V. E., Son, E. & Mladenov, V. (eds.). Stevens Point, Wisconsin: World Scientific and Engineering Academy and Society (WSEAS), p. 63-68

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

  354. A grammatical evolution approach to intrusion detection on mobile ad hoc networks

    en, S. & Clark, J. A., 2009, Proceedings of the second ACM conference on Wireless network security. New York, NY, USA: ACM, p. 95-102 8 p. (WiSec '09).

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

  355. ANISOTROPIC FLUID SOLVER FOR ROBUST OPTICAL FLOW SMOOTHING

    Doshi, A. & Bors, A. G., 2009, 2009 10TH INTERNATIONAL WORKSHOP ON IMAGE ANALYSIS FOR MULTIMEDIA INTERACTIVE SERVICES. NEW YORK: IEEE, p. 117-120 4 p.

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

  356. AUTOMATIC MULTILINGUAL LEXICON GENERATION USING WIKIPEDIA AS A RESOURCE

    Shahid, A. R. & Kazakov, D., 2009, ICAART 2009: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE. Fred, A. (ed.). SETUBAL: INSTICC-INST SYST TECHNOLOGIES INFORMATION CONTROL & COMMUNICATION, p. 357-360 4 p.

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

  357. An Adaptive Neuro-Endocrine System for Robotic Systems

    Timmis, J., Neal, M. & Thorniley, J., 2009, 2009 IEEE WORKSHOP ON ROBOTIC INTELLIGENCE IN INFORMATIONALLY STRUCTURED SPACE. NEW YORK: IEEE, p. 129-136 8 p.

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

  358. An Immuno-engineering Approach for Anomaly Detection in Swarm Robotics

    Lau, HK., Bate, I. & Timmis, J., 2009, Proceedings of the 8th International Conference on Artificial Immune Systems (ICARIS 2009). Andrews, P. S., Timmis, J., Owens, N. D. L., Aickelin, U., Hart, E., Hone, A. & Tyrrell, A. M. (eds.). Springer, p. 136-150 15 p. (LNCS 5666).

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

  359. An Immuno-engineering Approach for Anomaly Detection in Swarm Robotics

    Lau, H., Bate, I. & Timmis, J., 2009, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Andrews, PS., Timmis, J., Owens, NDL., Aickelin, U., Hart, E., Hone, A. & Tyrrell, AM. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5666 LNCS. p. 136-150 15 p.

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

  360. An RTSJ-based reconfigurable server component

    AlRahmawy, M. & Wellings, A. J., 2009, Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2009, Madrid, Spain, September 23-25, 2009. Higuera-Toledano, M. T. & Schoeberl, M. (eds.). ACM, p. 31-40 10 p. (ACM International Conference Proceeding Series).

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

  361. Anomaly Detection Inspired by Immune Network Theory: A Proposal

    Lau, H., Timmis, J. & Bate, I., 2009, 2009 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-5. NEW YORK: IEEE, p. 3045-3051 7 p.

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

  362. Applying fixed-priority preemptive scheduling with preemption threshold to asynchronous event handling in the RTSJ

    Kim, M. & Wellings, A. J., 2009, Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2009, Madrid, Spain, September 23-25, 2009. Higuera-Toledano, M. T. & Schoeberl, M. (eds.). ACM, p. 80-89 10 p. (ACM International Conference Proceeding Series).

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

  363. Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form Automated Verification of Critical Systems

    Besnard, L., Gautier, T., Moy, M., Talpin, J-P., Johnson, K. H. A. & Maraninchi, F., 2009, Proceedings of the Ninth International Workshop onAutomated Verification of Critical Systems.

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

  364. Bayesian Estimation of Kernel Bandwidth for Nonparametric Modelling

    Bors, A. G. & Nasios, N., 2009, ARTIFICIAL NEURAL NETWORKS - ICANN 2009, PT II. Alippi, C., Polycarppou, M., Panayiotou, C. & Ellinas, G. (eds.). PART 2 ed. BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5769 LNCS. p. 245-254 10 p.

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

  365. Binary exponential back off for tabu tenure in hyperheuristics

    Remde, S., Dahal, K., Cowling, P. & Colledge, N., 2009, European Conference on Evolutionary Computation in Combinatorial Optimization. p. 109-120 12 p.

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

  366. CADS*: Computer-Aided Development of Self-* Systems

    Calinescu, R. & Kwiatkowska, M., 2009, FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS. Chechik, M. & Wirsing, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5503. p. 421-424 4 p.

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

  367. Certification of FPGAs - Current Issues and Possible Solutions

    Conmy, P. & Bate, I., 2009, Safety-critical Systems Symposium 2009. Springer, p. 149-165 17 p.

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

  368. Certification of FPGAs - Current Issues and Possible Solutions

    Bate, I. & Conmy, P., 2009, SAFETY-CRITICAL SYSTEMS: PROBLEMS, PROCESS AND PRACTICE. Dale, C. & Anderson, T. (eds.). NEW YORK: SPRINGER, p. 149-165 17 p.

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

  369. Characteristic Polynomial Analysis on Matrix Representations of Graphs

    Ren, P., Wilson, R. C. & Hancock, E. R., 2009, GRAPH-BASED REPRESENTATIONS IN PATTERN RECOGNITION, PROCEEDINGS. Torsello, A., Escolano, F. & Brun, L. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5534 LNCS. p. 243-252 10 p.

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

  370. Characterizing Graphs Using Spherical Triangles

    ElGhawalby, H. & Hancock, E. R., 2009, PATTERN RECOGNITION AND IMAGE ANALYSIS, PROCEEDINGS. Araujo, H., Mendonca, AM., Pinho, AJ. & Torres, MI. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5524 LNCS. p. 465-472 8 p.

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

  371. Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005

    Burns, A., Wellings, A. J. & Zhang, F., 2009, RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2009. Kordon, F. & Kermarrec, Y. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5570 LNCS. p. 119-133 15 p.

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

  372. Comparing Algorithms for Search-Based Test Data Generation of Matlab (R) Simulink (R) Models

    Ghani, K., Clark, J. A. & Zhan, Y., 2009, 2009 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-5. NEW YORK: IEEE, p. 2940-2947 8 p.

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

  373. Comparing Design Of Experiments and Evolutionary Approaches To Multi-Objective Optimisation Of Sensornet Protocols

    Tate, J., Woolford-Lim, B., Bate, I. & Yao, X., 2009, 2009 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-5. NEW YORK: IEEE, p. 1137-1144 8 p.

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

  374. Content Personalization for Inclusive Education through Model-Driven Engineering

    Power, C. & Paige, R., 2009, UNIVERSAL ACCESS IN HUMAN-COMPUTER INTERACTION: APPLICATIONS AND SERVICES, PT III. Staphanidis, C. (ed.). PART 3 ed. BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5616 LNCS. p. 102-109 8 p.

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

  375. Content personalization for inclusive education through model-driven engineering

    Power, C. D. & Paige, R., 2009, International Conference on Universal Access in Human-Computer Interaction. Springer, p. 102-109 8 p.

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

  376. Critical Methods and User Generated Content: the iPhone on YouTube

    Blythe, M. & Cairns, P., 2009, CHI2009: PROCEEDINGS OF THE 27TH ANNUAL CHI CONFERENCE ON HUMAN FACTORS IN COMPUTING SYSTEMS, VOLS 1-4. Greenberg, S., Hudson, SE., Hinkley, K., RingelMorris, M. & Olsen, DR. (eds.). NEW YORK: ASSOC COMPUTING MACHINERY, p. 1467-1476 10 p.

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

  377. Critical methods and user generated content: the iPhone on YouTube

    Blythe, M. & Cairns, P., 2009, CHI '09: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. New York: Association for Computing Machinery (ACM), p. 1467-1476 10 p.

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

  378. Deny-Guarantee Reasoning

    Dodds, M. D., Feng, X., Parkinson, M. J. & Vafeiadis, V., 2009, Programming Languages and Systems, 18th European Symposium on Programming: ESOP 2009. Springer New York: Springer, Vol. 5502. p. 363-377 15 p. (Lecture Notes in Computer Science; vol. 5502).

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

  379. Design patterns for supporting RTSJ component models

    AlRahmawy, M. & Wellings, A. J., 2009, Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2009, Madrid, Spain, September 23-25, 2009. Higuera-Toledano, M. T. & Schoeberl, M. (eds.). ACM, p. 11-20 10 p. (ACM International Conference Proceeding Series).

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

  380. Different Models for Model Matching: An analysis of approaches to support model differencing

    Kolovos, D. S., Di Ruscio, D., Pierantonio, A. & Paige, R. F., 2009, 2009 ICSE WORKSHOP ON COMPARISON AND VERSIONING OF SOFTWARE MODELS. NEW YORK: IEEE, p. 16 6 p.

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

  381. Duality of Actor and Character Goals in Virtual Drama

    Arinbjarnar, M. & Kudenko, D., 2009, INTELLIGENT VIRTUAL AGENTS, PROCEEDINGS. Ruttkay, Z., Kipp, M., Nijholt, A. & Vilhjalmsson, HH. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5773 LNAI. p. 386-392 7 p.

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

  382. Dynamic security policy learning

    Lim, Y. T., Cheng, P-C., Rohatgi, P. & Clark, J. A., 2009, Proceedings of the first ACM workshop on Information security governance. New York, NY, USA: ACM, p. 39-48 10 p. (WISG '09).

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

  383. EQUATION DISCOVERY FOR MACROECONOMIC MODELLING

    Kazakov, D. & Tsenova, T., 2009, ICAART 2009: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE. Fred, A. (ed.). SETUBAL: INSTICC-INST SYST TECHNOLOGIES INFORMATION CONTROL & COMMUNICATION, p. 318-323 6 p.

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

  384. EXTRACTING GENDER DISCRIMINATING FEATURES FROM FACIAL NEEDLE-MAPS

    Wu, J., Smith, W. A. P., Hancock, E. R. & Kawulok, M., 2009, 2009 16TH IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, VOLS 1-6. NEW YORK: IEEE, p. 2421-2424 4 p.

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

  385. Eavesdropping of two-way coherent-state quantum cryptography via Gaussian quantum cloning machines

    Pirandola, S., Mancini, S., Lloyd, S. & Braunstein, S., 2009, ICQNM 2009: THIRD INTERNATIONAL CONFERENCE ON QUANTUM, NANO AND MICRO TECHNOLOGIES: PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 38-41 4 p.

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

  386. Educational Narrative and Student Modeling for Ill-Defined Domains

    Hodhod, R., Kudenko, D. & Cairns, P., 2009, ARTIFICIAL INTELLIGENCE IN EDUCATION. Dimitrova, V., Mizoguchi, R., DuBoulay, B. & Graesser, A. (eds.). 1 ed. AMSTERDAM: I O S PRESS, Vol. 200. p. 638-640 3 p.

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

  387. Enhanced Automation for Managing Model and Metamodel Inconsistency

    Rose, L. M., Kolovos, D. S., Paige, R. F. & Polack, F. A. C., 2009, 2009 IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 545-549 5 p.

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

  388. Enhancing the platform independence of the real-time specification for Java

    Wellings, A. J., Chang, Y. & Richardson, T., 2009, Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2009, Madrid, Spain, September 23-25, 2009. Higuera-Toledano, M. T. & Schoeberl, M. (eds.). ACM, p. 61-69 9 p. (ACM International Conference Proceeding Series).

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

  389. Establishing Correspondences between Models with the Epsilon Comparison Language

    Kolovos, D. S., Paige, R. F., Hartman, A. & Rensink, A., 2009, Model Driven Architecture - Foundations and Applications : 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings. Springer, p. 146-157 (Lecture Notes in Computer Science; vol. 5562).

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

  390. Establishing Correspondences between Models with the Epsilon Comparison Language

    Kolovos, D. S., 2009, MODEL DRIVEN ARCHITECTURE - FOUNDATIONS AND APPLICATIONS, PROCEEDINGS. Paige, RF., Hartman, A. & Rensink, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5562 LNCS. p. 146-157 12 p.

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

  391. Evolution of Cooperativeness in a Business Game Relying on Acquaintance Based Trustworthiness Assessment

    Bista, S. K., Dahal, K. P., Cowling, P. I. & Tuladhar, B. M., 2009, IEEE Conference on Commerce and Enterprise Computing, 2009. CEC '09. IEEE Computer Society, p. 16-23 8 p.

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

  392. Exposing non-standard architectures to embedded software using compile-time virtualisation

    Gray, I. & Audsley, N. C., 2009, CASES '09 Proceedings of the 2009 international conference on Compilers, architecture, and synthesis for embedded systems . New York: ACM, p. 147-156

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

  393. Flow Complexity: Fast Polytopal Graph Complexity and 3D Object Clustering

    Escolano, F., Giorgi, D., Hancock, E. R., Lozano, M. A. & Falcidieno, B., 2009, Graph-based representations in pattern recognition: proceedings. Torsello, A., Escolano, F. & Brun, L. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5534 LNCS. p. 253-262 10 p.

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

  394. Functional Hazard Assessment in Product-Lines – A Model-Based Approach

    Habli, I., Kelly, T. & Paige, R. F., 2009, International Workshop on Model-Driven Product Line Engineering.

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

  395. Geometric Characterizations of Graphs Using Heat Kernel Embeddings

    El-Ghawalby, H. & Hancock, E. R., 2009, MATHEMATICS OF SURFACES XIII. Hancock, ER., Martin, RR. & Sabin, MA. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5654 LNCS. p. 124-142 19 p.

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

  396. Getting Farther on Software Evolution via AOP and Reflection Report on the 5th RAM-SE Workshop at ECOOP 2008

    Oriol, M., Cazzola, W., Chiba, S. & Saake, G., 2009, OBJECT-ORIENTED TECHNOLOGY. Eugster, P. (ed.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5475 LNCS. p. 63-69 7 p.

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

  397. Grammatical Evolution of L-systems

    Beaumont, D. & Stepney, S., 2009, 2009 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-5. NEW YORK: IEEE, p. 2446-2453 8 p.

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

  398. Graph Regularisation Using Gaussian Curvature

    ElGhawalby, H. & Hancock, E. R., 2009, GRAPH-BASED REPRESENTATIONS IN PATTERN RECOGNITION, PROCEEDINGS. Torsello, A., Escolano, F. & Brun, L. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5534 LNCS. p. 233-242 10 p.

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

  399. Graph-Based Object Class Discovery

    Xia, S. & Hancock, E. R., 2009, COMPUTER ANALYSIS OF IMAGES AND PATTERNS, PROCEEDINGS. Jiang, X. & Petkov, N. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5702 LNCS. p. 385-393 9 p.

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

  400. Hypergraphs, Characteristic Polynomials and the Ihara Zeta Function

    Ren, P., Aleksic, T., Wilson, R. C. & Hancock, E. R., 2009, COMPUTER ANALYSIS OF IMAGES AND PATTERNS, PROCEEDINGS. Jiang, X. & Petkov, N. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5702 LNCS. p. 369-376 8 p.

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

  401. Implementing time-predictable load and store operations

    Whitham, J. & Audsley, N., 2009, EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software . New York: ACM, p. 265-274

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

  402. Improvement to Quick Processor-demand Analysis for EDF-Scheduled Real-Time Systems

    Zhang, F. & Burns, A., 2009, PROCEEDINGS OF THE 21ST EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 76-86 11 p.

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

  403. Improving Optimistic Exploration in Model-Free Reinforcement Learning

    Grzes, M. & Kudenko, D., 2009, ADAPTIVE AND NATURAL COMPUTING ALGORITHMS. Kolehmainen, M., Toivanen, P. & Beliczynski, B. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5495 LNCS. p. 360-369 10 p.

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

  404. Internationalization and Localization of Websites: Navigation in English Language and Chinese Language Sites

    Petrie, H., Power, C. & Song, W., 2009, INTERNATIONALIZATION, DESIGN AND GLOBAL DEVELOPMENT, PROCEEDINGS. BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5623 LNCS. p. 293-300 8 p.

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

  405. JSR-282 status report

    Dibble, P. C. & Wellings, A. J., 2009, Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2009, Madrid, Spain, September 23-25, 2009. Higuera-Toledano, M. T. & Schoeberl, M. (eds.). ACM, p. 179-182 4 p. (ACM International Conference Proceeding Series).

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

  406. Knowledge-Based Reinforcement Learning for Data Mining

    Kudenko, D. & Grzes, M., 2009, AGENTS AND DATA MINING INTERACTION. Cao, L., Gorodetsky, V., Liu, J., Weiss, G. & Yu, PS. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5680 LNAI. p. 21-22 2 p.

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

  407. Landmark Localisation in 3D Face Data

    Romero, M. & Pears, N., 2009, AVSS: 2009 6TH IEEE INTERNATIONAL CONFERENCE ON ADVANCED VIDEO AND SIGNAL BASED SURVEILLANCE. NEW YORK: IEEE, p. 73-78 6 p.

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

  408. Learning Class Specific Graph Prototypes

    Xia, S. & Hancock, E. R., 2009, IMAGE ANALYSIS AND PROCESSING - ICIAP 2009, PROCEEDINGS. Foggia, P., Sansone, C. & Vento, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5716 LNCS. p. 269-277 9 p.

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

  409. Learning Large Scale Class Specific Hyper Graphs for Object Recognition

    Xia, S. & Hancock, E. R., 2009, PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE ON IMAGE AND GRAPHICS (ICIG 2009). Zhang, YJ. (ed.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 366-371 6 p.

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

  410. Learning a Self-organizing Map Model on a Riemannian Manifold

    Yu, D. J., Hancock, E. R. & Smith, W. A. P., 2009, MATHEMATICS OF SURFACES XIII. Hancock, ER., Martin, RR. & Sabin, MA. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5654 LNCS. p. 375-390 16 p.

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

  411. Local Patch Blind Spectral Watermarking Method for 3D Graphics

    Luo, M., Wang, K., Bors, A. G. & Lavoue, G., 2009, DIGITAL WATERMARKING. Ho, ATS., Shi, YQ., Kim, HJ. & Barni, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5703 LNCS. p. 211-226 16 p.

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

  412. Mechanised Translation of Control Law Diagrams into Circus

    Zeyda, F. & Cavalcanti, A., 2009, Integrated Formal Methods. Leuschel, M. & Wehrheim, H. (eds.). SPRINGER-VERLAG BERLIN, Vol. 5423 LNCS. p. 151-166 16 p. (Lecture Notes in Computer Science; vol. 2999).

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

  413. Mixed Timing System-level Embedded Software Modelling and Simulation Approach

    Yu, K. & Audsley, N. C., 2009, 2009 INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 193-200 8 p.

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

  414. Model-Checking the Linux Virtual File System

    Galloway, A., Luettgen, G., Muehlberg, J. T. & Siminiceanu, R. I., 2009, VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION. Jones, ND. & MullerOlm, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5403 LNCS. p. 74-88 15 p.

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

  415. Modelling Equidistant Frequency Permutation Arrays in Constraints

    Gent, I. P., McKay, P., Miguel, I., Nightingale, P. & Huczynska, S., 2009, Eighth Symposium on Abstraction, Reformulation, and Approximation,. Bulitko, V. & Beck, C. J. (eds.). AAAI Press

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

  416. Modelling Equidistant Frequency Permutation Arrays: An Application of Constraints to Mathematics

    Huczynska, S., McKay, P., Miguel, I. J. & Nightingale, P. W., 2009, Proceedings of the 15th International Conference on Principles and Practice of Constraint Programming. Gent, I. (ed.). Netherlands: SPRINGER, Vol. 5732. p. 50-64 15 p. (Lecture Notes in Computer Science).

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

  417. Modelling and Simulation of Granuloma Formation in Visceral Leishmaniasis

    Fluegge, A. J., Timmis, J., Andrews, P., Moore, J. W. J. & Kaye, P., 2009, 2009 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-5. NEW YORK: IEEE, p. 3052-3059 8 p.

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

  418. Monte Carlo search applied to card selection in Magic: The Gathering

    Ward, C. D. & Cowling, P. I., 2009, Computational Intelligence and Games, 2009. CIG 2009. IEEE Symposium on. p. 9-16 8 p.

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

  419. Motion Feature Combination for Human Action Recognition in Video

    Meng, H., Pears, N. & Bailey, C., 2009, Computer Vision and Computer Graphics. Theory and Applications : International Conference VISIGRAPH 2007, Barcelona, Spain, March 8-11, 2007. Revised Selected Papers. Springer, p. 151-163 13 p. (Communications in Computer and Information Science ; vol. 21).

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

  420. Pairwise Similarity Propagation Based Graph Clustering for Scalable Object Indexing and Retrieval

    Xia, S. & Hancock, E. R., 2009, GRAPH-BASED REPRESENTATIONS IN PATTERN RECOGNITION, PROCEEDINGS. Torsello, A., Escolano, F. & Brun, L. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5534 LNCS. p. 184-194 11 p.

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

  421. Point-Pair Descriptors for 3D Facial Landmark Localisation

    Romero, M. & Pears, N., 2009, 2009 IEEE 3RD INTERNATIONAL CONFERENCE ON BIOMETRICS: THEORY, APPLICATIONS AND SYSTEMS. NEW YORK: IEEE, p. 80-85 6 p.

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

  422. Probabilistic Failure Propagation and Transformation Analysis

    Ge, X., Paige, R. F. & McDermid, J. A., 2009, SAFECOMP '09 : Proceedings of the 28th International Conference on Computer Safety, Reliability, and Security. Berlin, Heidelberg: Springer-Verlag, p. 215-228 14 p. (Lecture Notes In Computer Science; vol. 5775).

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

  423. Professional Issues in System Safety Engineering

    McDermid, JA., Thomas, M. & Redmill, F., 2009, SAFETY-CRITICAL SYSTEMS: PROBLEMS, PROCESS AND PRACTICE. Dale, C. & Anderson, T. (eds.). NEW YORK: SPRINGER, p. 135-145 11 p.

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

  424. Providing temporal isolation in the OSGi framework

    Richardson, T., Wellings, A. J., Dianes, J. A. & Díaz, M., 2009, Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2009, Madrid, Spain, September 23-25, 2009. Higuera-Toledano, M. T. & Schoeberl, M. (eds.). ACM, p. 1-10 10 p. (ACM International Conference Proceeding Series).

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

  425. Raising the Level of Abstraction in the Development of GMF-based Graphical Model Editors

    Kolovos, D. S., Rose, L. M., Paige, R. F. & Polack, F. A. C., 2009, 2009 ICSE WORKSHOP ON MODELING IN SOFTWARE ENGINEERING (MISE). NEW YORK: IEEE, p. 13-19 7 p.

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

  426. Real-Time Communication Analysis with a Priority Share Policy in On-Chip Networks

    Shi, Z. & Burns, A., 2009, PROCEEDINGS OF THE 21ST EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 312 10 p.

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

  427. Reconstructing 3D Facial Shape Using Spherical Harmonics

    Zou, C., Zhao, G. & Hancock, E. R., 2009, IMAGE ANALYSIS AND PROCESSING - ICIAP 2009, PROCEEDINGS. Foggia, P., Sansone, C. & Vento, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5716 LNCS. p. 949-957 9 p.

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

  428. Refactoring Asynchronous Event Handling in the Real-Time Specification for Java

    Kim, M. & Wellings, A., 2009, PROCEEDINGS OF THE 21ST EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 25-34 10 p.

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

  429. Reinforcement Learning in RoboCup KeepAway with Partial Observability

    Devlin, S., Grzes, M. & Kudenko, D., 2009, 2009 IEEE/WIC/ACM INTERNATIONAL JOINT CONFERENCES ON WEB INTELLIGENCE (WI) AND INTELLIGENT AGENT TECHNOLOGIES (IAT), VOL 2. BaezaYates, R., Berendt, B., Bertino, E., Lim, EP. & Pasi, G. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, Vol. 2. p. 201-208 8 p.

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

  430. Representation and Structural biases in CGP

    Payne, A. J. & Stepney, S., 2009, 2009 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-5. NEW YORK: IEEE, p. 1064-1071 8 p.

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

  431. Road Vehicle Classification using Support Vector Machines

    Chen, Z., Pears, N., Freeman, M. & Austin, J., 2009, Intelligent Computing and Intelligent Systems, 2009. ICIS 2009. IEEE International Conference on . IEEE, Vol. 4. p. 214-218 5 p.

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

  432. SPECULAR AND DIFFUSE REFLECTANCE IN MICROFACET MODELS

    Smith, W. A. P. & Hancock, E. R., 2009, 2009 16TH IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, VOLS 1-6. NEW YORK: IEEE, p. 3737-3740 4 p.

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

  433. SYNTHESIS OF THE SR PROGRAMMING LANGUAGE FOR COMPLEX FPGAS

    Gasson, N. & Audsley, N., 2009, FPL: 2009 INTERNATIONAL CONFERENCE ON FIELD PROGRAMMABLE LOGIC AND APPLICATIONS. Danek, M. & Kadlec, J. (eds.). NEW YORK: IEEE, p. 617-621 5 p.

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

  434. Self-organisation for Survival in Complex Computer Architectures

    Polack, F. A. C., 2009, Self-Organizing Architectures: First International Workshop, SOAR 2009, Cambridge, UK, September 14, 2009, Revised Selected and Invited Papers. SPRINGER, Vol. 6090 LNCS. p. 66-83 18 p. (Lecture Notes in Computer Science; vol. 6090).

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

  435. Semi-Automated Safety Analysis for Field Programmable Gate Arrays

    Conmy, P. & Bate, I., 2009, 16TH ANNUAL IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER BASED SYSTEMS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 166-175 10 p.

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

  436. Semi-automated Safety Analysis for Field Programmable Gate Arrays

    Conmy, P. & Bate, I., 2009, Proceedings of the 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems. p. 166-175 10 p.

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

  437. Serious games to teach ethics

    Hodhod, R., Kudenko, D. & Cairns, P., 2009, Adaptive and Emergent Behaviour and Complex Systems - Proceedings of the 23rd Convention of the Society for the Study of Artificial Intelligence and Simulation of Behaviour, AISB 2009. p. 43-52 10 p.

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

  438. Shape watermarking based on minimizing the quadric error metric

    Luo, M. & Bors, A. G., 2009, SMI 2009: IEEE INTERNATIONAL CONFERENCE ON SHAPE MODELING AND APPLICATIONS, PROCEEDINGS. Yong, JH., Spagnuolo, M. & Wang, W. (eds.). NEW YORK: IEEE, p. 103-110 8 p.

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

  439. Shape-from-shading driven 3D Morphable Models for Illumination Insensitive Face Recognition

    Patel, A. & Smith, W. A. P., 2009, Proceedings of the British Machine Vision Conference.

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

  440. Sketching sketching: Outlines of a collaborative design method

    Craft, B. & Cairns, P., 2009, People and Computers XXIII Celebrating People and Technology - Proceedings of HCI 2009. p. 65-72 8 p.

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

  441. Software Assurance Arguments vs. Formal Mathematical Arguments: A Complementary Role

    Habli, I., Kelly, T., McDermid, J. A. & Stephenson, Z., 2009, IEEE International Symposium on Software Reliability Engineering.

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

  442. Software effort estimation based on weighted fuzzy grey relational analysis

    Azzeh, M., Neagu, D. & Cowling, P., 2009, Proceedings of the 5th International Conference on Predictor Models in Software Engineering. p. 8 1 p.

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

  443. Structure-Preserving Regularisation Constraints for Shape-from-Shading

    Huang, R. & Smith, W. A. P., 2009, COMPUTER ANALYSIS OF IMAGES AND PATTERNS, PROCEEDINGS. Jiang, X. & Petkov, N. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5702 LNCS. p. 865-872 8 p.

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

  444. T Cell Receptor Signalling Inspired Kernel Density Estimation and Anomaly Detection

    Owens, N. D. L., Greensted, A., Timmis, J. & Tyrrell, A., 2009, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Andrews, PS., Timmis, J., Owens, NDL., Aickelin, U., Hart, E., Hone, A. & Tyrrell, AM. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5666 LNCS. p. 122-135 14 p.

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

  445. The Graph Programming Language GP

    Plump, D., 2009, Algebraic Informatics : Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings. Springer, p. 99-122 24 p. (Lecture Notes in Computer Science; vol. 5725).

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

  446. The engineering of concurrent simulations of complex systems

    Polack, F. A. C., Andrews, P. S. & Sampson, A. T., 2009, 2009 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION. NEW YORK: IEEE, p. 217-224 8 p.

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

  447. The proper treatment of undefinedness in constraint languages

    Frisch, A. M. & Stuckey, P. J., 2009, Principles and Practice of Constraint Programming - CP 2009 : 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings. SPRINGER-VERLAG BERLIN, p. 367-382 (Lecture Notes in Computer Science; vol. 5732).

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

  448. Thread-local Scope Caching for Real-time Java

    Wellings, A. & Schoeberl, M., 2009, PROCEEDINGS OF THE 12TH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT/COMPONENT/SERVICE-ORIENTED REAL-TIME DISTRIBUTED COMPUTING. LOS ALAMITOS: IEEE COMPUTER SOC, p. 275-282 8 p.

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

  449. Tuning Complex Sensornet Systems Using Principled Engineering Methods

    Tate, J. & Bate, I., 2009, 16TH ANNUAL IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER BASED SYSTEMS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 275-284 10 p.

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

  450. Using UML to Model EAE and Its Regulatory Network

    Read, M., Timmis, J., Andrews, P. S. & Kumar, V., 2009, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Andrews, PS., Timmis, J., Owens, NDL., Aickelin, U., Hart, E., Hone, A. & Tyrrell, AM. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5666 LNCS. p. 46 3 p.

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

  451. Using hardware methods to improve time-predictable performance in real-time Java systems

    Whitham, J., Audsley, N. C. & Schoeberl, M., 2009, Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2009, Madrid, Spain, September 23-25, 2009. Higuera-Toledano, M. T. & Schoeberl, M. (eds.). ACM, p. 130-139 10 p. (ACM International Conference Proceeding Series).

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

  452. Using neural networks for strategy selection in real-time strategy games

    Randall, T., Cowling, P., Baker, R. & Jiang, P., 2009, AISB 2009 Symposium: AI and Games, Edinburgh, Scotland, 8th-9th April.

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

  453. Using quantitative analysis to implement autonomic IT systems

    Calinescu, R. & Kwiatkowska, M., 2009, Proceedings of the 31st International Conference on Software Engineering (ICSE). p. 100-110 11 p.

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

  454. WCET Analysis of Modern Processors Using Multi-Criteria Optimisation

    Khan, U. & Bate, I., 2009, 1ST INTERNATIONAL SYMPOSIUM ON SEARCH BASED SOFTWARE ENGINEERING, PROCEEDINGS. DiPenta, M. & Poulding, S. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 103-112 10 p.

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

  455. WCET Analysis of Modern Processors Using Multi-Criteria Optimisation

    Khan, U. & Bate, I., 2009, Proceedings of the 1st International Symposium on Search Based Software Engineering (SSBSE '09). p. 103-112 10 p.

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

  456. Web Accessibility Metrics: Effects of Different Computational Approaches

    Freire, A. P., Power, C., Petrie, H., Tanaka, E. H., Rocha, H. V. & Fortes, R. P. M., 2009, UNIVERSAL ACCESS IN HUMAN-COMPUTER INTERACTION: APPLICATIONS AND SERVICES, PT III. Staphanidis, C. (ed.). PART 3 ed. BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5616 LNCS. p. 664-673 10 p.

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

  457. Weighted Graph Characteristics from Oriented Line Graph Polynomials

    Ren, P., Wilson, R. C. & Hancock, E. R., 2009, 2009 IEEE 12TH INTERNATIONAL CONFERENCE ON COMPUTER VISION (ICCV). NEW YORK: IEEE, p. 2280-2287 8 p.

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

  458. Widening the Goal Posts: Program Stretching to Aid Search Based Software Testing

    Ghani, K. & Clark, J. A., 2009, 1ST INTERNATIONAL SYMPOSIUM ON SEARCH BASED SOFTWARE ENGINEERING, PROCEEDINGS. DiPenta, M. & Poulding, S. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 122-131 10 p.

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

  459. 2008
  460. Human Involvement in the Dynamic Reconfiguration Process of Integrated Modular Avionics

    Montano, G. & McDermid, J., 9 Dec 2008, Digital Avionics Systems Conference (DASC): 2008 IEEE/AIAA : 27TH DIGITAL AVIONICS SYSTEMS CONFERENCE. NEW YORK: IEEE, p. 775-787 13 p.

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

  461. Metamodel-based generation of WSRF-compliant SOA for collaborative cancer research

    Zang, T., Calinescu, R., Harris, S., Tsui, A., Crichton, C., Kwiatkowska, M., Gibbons, J., Davies, J., Brenton, J. & Caldas, C., 1 Dec 2008, Proceedings - 4th IEEE International Conference on eScience, eScience 2008. p. 406-407 2 p. 4736819

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

  462. Methodology for the model-driven development of self-managing systems

    Calinescu, R., 1 Dec 2008, Conference on Computing Frontiers - Proceedings of the 2008 Conference on Computing Frontiers, CF'08.

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

  463. Novel features in languages of the epsilon model management platform

    Kolovos, D. S., Paige, R. F. & Polack, F. A. C., 1 Dec 2008, 30th International Conference on Software Engineering, ICSE 2008 Co-located Workshops - Proceedings of the 2008 International Workshop on Models in Software Engineering, MiSE'08. p. 69-73 5 p.

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

  464. Towards a generic autonomic architecture for legacy resource management

    Calinescu, R., 1 Dec 2008, Innovations and Advanced Techniques in Systems, Computing Sciences and Software Engineering. p. 410-415 6 p.

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

  465. Response Time Upper Bounds for Fixed Priority Real-Time Systems.

    Davis, R. I. & Burns, A., Dec 2008, IEEE Real-Time Systems Symposium. p. 407-418 12 p.

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

  466. A Model-Driven Approach to Assuring Process Reliability

    Habli, I. & Kelly, T., 1 Nov 2008, 19th International Symposium on Software Reliability Engineering, 2008. . p. 7 -16

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

  467. Extending A Task Allocation Algorithm For Graceful Degradation Of Real-Time Distributed Embedded Systems

    Emberson, P. & Bate, I., 1 Nov 2008, Proceedings 29th Real-Time Systems Symposium (RTSS 08). p. 270-279 10 p.

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

  468. Finding Faults: Manual Testing vs. Random+ Testing vs. User Reports

    Ciupa, I., Meyer, B., Oriol, M. & Pretschner, A., Nov 2008, 19th International Symposium on Software Reliability Engineering, 2008. ISSRE 2008. . p. 157-166 10 p.

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

  469. Belief Propagation with Directional Statistics for Solving the Shape-from-Shading Problem

    Haines, T. S. F. & Wilson, R. C., 12 Oct 2008, COMPUTER VISION - ECCV 2008, PT III, PROCEEDINGS. Forsyth, D., Torr, P. & Zisserman, A. (eds.). PART 3 ed. BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5304 LNCS. p. 780-791 12 p.

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

  470. An Investigation into Server Parameter Selection for Hierarchical Fixed Priority Pre-emptive Systems

    Davis, R. I. & Burns, A., Oct 2008, International conference on Real-Time and Network Systems. p. 19-28

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

  471. WSRF-based modeling of clinical trial information for collaborative cancer research

    Zang, T., Calinescu, R., Harris, S., Tsui, A., Kwiatkowska, M., Gibbons, J., Davies, J., Maccallum, P. & Caldas, C., 5 Sep 2008, Proceedings CCGRID 2008 - 8th IEEE International Symposium on Cluster Computing and the Grid. p. 73-81 9 p. 4534204

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

  472. Tuning Protocols To Improve The Energy Efficiency Of Sensornets

    Tate, J., Bate, I. & Poulding, S., 1 Sep 2008, Fourth UK Embedded Forum.

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

  473. YASS: a Scaleable Sensornet Simulator for Large Scale Experimentation

    Tate, J. & Bate, I., 1 Sep 2008, Communicating Process Architectures 2008. Welch, PH., Stepney, S., Polack, FAC., Barnes, FRM., McEwan, AA. & Stiles, GS. (eds.). AMSTERDAM: I O S PRESS, p. 411-430 20 p.

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

  474. Engineering Safety-Critical Complex Systems

    Alexander, R., Kelly, T. & Alexander-Bown, R., Sep 2008, CoSMoS 2008: Proceedings of the 2008 Workshop on Complex Systems Modelling and Simulation. Luniver Press, p. 33-62

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

  475. Implementation of a generic autonomic framework

    Calinescu, R., 29 Aug 2008, Proceedings - 4th International Conference on Autonomic and Autonomous Systems, ICAS 2008. p. 124-129 6 p. 4488333

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

  476. Language model based on POS tagger

    Ziolko, B., Manandhar, S., Wilson, R. C. & Ziolko, M., 26 Jul 2008, SIGMAP 2008: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SIGNAL PROCESSING AND MULTIMEDIA APPLICATIONS. Assuncao, P. & Faria, S. (eds.). SETUBAL: INSTICC-INST SYST TECHNOLOGIES INFORMATION CONTROL & COMMUNICATION, p. 177-180 4 p.

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

  477. No Going Back: An Interactive Visualization Application for Trailblazing on the Web

    Power, C., McQuillan, I., Petrie, H., Kennaugh, P., Daley, M. & Wozniak, G., 1 Jul 2008, Information Visualisation, 2008. IV '08. 12th International Conference . I E E E, p. 133 -142

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

  478. 3D Facial Landmark Localisation by Matching Simple Descriptors

    Romero-Huertas, M. & Pears, N., 2008, 2008 IEEE SECOND INTERNATIONAL CONFERENCE ON BIOMETRICS: THEORY, APPLICATIONS AND SYSTEMS (BTAS). NEW YORK: IEEE, p. 346-351 6 p.

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

  479. 3D Object Recognition Using Hyper-Graphs and Ranked Local Invariant Features

    Xia, S. & Hancock, E. R., 2008, STRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION. DaVitoria Lobo, N., Kasparis, T., Roli, F., Kwok, JT., Georgiopoulos, M., Anagnostopoulos, GC. & Loog, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5342 LNCS. p. 117-126 10 p.

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

  480. A Neuro-Immune inspired robust real time visual tracking system

    Liu, Y., Timmis, J. & Clarke, T., 2008, Artificial Immune Systems : 7th International Conference, ICARIS 2008, Phuket, Thailand, August 10-13, 2008. Proceedings. Springer, p. 188-199 12 p. (Lecture Notes in Computer Science ; vol. 5132).

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

  481. A Simplified Executable Model to Evaluate Latency and Throughput of Networks-on-Chip

    Ost, L., Moraes, F. G., Moller, L., Indrusiak, L. S., Glesner, M., Maatta, S. & Nurmi, J., 2008, Proc 21st Symposium on Integrated Circuits and Systems Design (SBCCI). New York: Association for Computing Machinery (ACM), p. 170-175 6 p.

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

  482. A Supercompiler for Core Haskell

    Mitchell, N. & Runciman, C., 2008, Implementation and Application of Functional Languages: 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers. Springer, Vol. 5083. p. 147-164 (Lecture Notes in Computer Science; vol. 5083).

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

  483. A comparison of state-based modelling tools for model validation

    Aydal, E. G., Utting, M. & Woodcock, J., 2008, OBJECTS, COMPONENTS, MODELS AND PATTERNS. Paige, RF. & Meyer, B. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 278-296 19 p.

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

  484. A supercompiler for core Haskell

    Mitchell, N. & Runciman, C., 2008, Springer Lectures Notes in Computer Science: Implementation and Application of Functional Languages. Springer, Vol. 5083. p. 147-164 18 p.

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

  485. ABZ2008 VSR-Net Workshop

    Woodcock, J. & Boca, P., 2008, ABSTRACT STATE MACHINES, B AND Z, PROCEEDINGS. Borger, E., Butler, M., Bowen, JP. & Boca, P. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5238 LNCS. p. 378-379 2 p.

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

  486. ARTOO: adaptive random testing for object-oriented software

    Ciupa, I., Leitner, A., Oriol, M. & Meyer, B., 2008, ICSE '08 : Proceedings of the 30th international conference on Software engineering . p. 71-80

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

  487. Adaptable lymphocytes for artificial immune systems

    Andrews, P. S. & Timmis, J., 2008, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Bentley, PJ., Lee, D. & Jung, S. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5132 LNCS. p. 376-386 11 p.

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

  488. Adjusting Analogy Software Effort Estimation Based on Fuzzy Logic.

    Azzeh, M., Neagu, D. & Cowling, P. I., 2008, ICSOFT (SE/MUSE/GSDCA). p. 127-132 6 p.

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

  489. An Artificial Lymph Node Architecture for Homeostasis in Collective Robotic Systems

    Mokhtar, M., Timmis, J., Tyrrell, A. M. & Bi, R., 2008, SASOW 2008: SECOND IEEE INTERNATIONAL CONFERENCE ON SELF-ADAPTIVE AND SELF-ORGANIZING SYSTEMS WORKSHOPS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 126-131 6 p.

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

  490. An efficient and predictable implementation of asynchronous event handling in the RTSJ

    Kim, M. & Wellings, A. J., 2008, Proceedings of the 6th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2008, 24-26 September 2008, Santa Clara, California, USA. Bollella, G. & Locke, C. D. (eds.). ACM, Vol. 343. p. 48-57 10 p. (ACM International Conference Proceeding Series).

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

  491. Analogue circuit control through gene expression

    Clegg, K. & Stepney, S., 2008, APPLICATIONS OF EVOLUTIONARY COMPUTING, PROCEEDINGS. Giacobini, M. (ed.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 4974 LNCS. p. 154-163 10 p.

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

  492. Application of HTK to the Polish language

    Zi'olko, B., Manandhar, S., Wilson, R. C., Zi'olko, M. & Galka, J., 2008, 2008 INTERNATIONAL CONFERENCE ON AUDIO, LANGUAGE AND IMAGE PROCESSING, VOLS 1 AND 2, PROCEEDINGS. Wan, WG., Luo, FL. & Yu, XQ. (eds.). NEW YORK: IEEE, p. 1759-1764 6 p.

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

  493. Application-Defined Virtualisation for Embedded Real-Time Software on Complex Architectures

    Gray, I. & Audsley, N. C., 2008, 2nd Junior Researcher Workshop on Real-Time Computing, in conjunction with RTNS.

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

  494. Autonomous and/or interactive constraints-based software reconfiguration for planetary rover

    Montano, G. & McDermid, J. A., 2008, Proceedings of the 10th European Space Agency Workshop on Advanced Space Technologies for Robotics and Automation (ASTRA 2008). Noordwijk (The Netherlands). 11-13 November 2008. EUROPEAN SPACE AGENCY

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

  495. Birkhoff Polytopes, Heat Kernels and Graph Complexity

    Escolano, F., Hancock, E. R. & Lozano, M. A., 2008, 19TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOLS 1-6. NEW YORK: IEEE, p. 2572-2576 5 p.

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

  496. Blocking time monitoring in the real-time specification for Java

    Santos, O. M. D. & Wellings, A. J., 2008, Proceedings of the 6th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2008, 24-26 September 2008, Santa Clara, California, USA. Bollella, G. & Locke, C. D. (eds.). ACM, Vol. 343. p. 135-143 9 p. (ACM International Conference Proceeding Series).

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

  497. Can opponent models aid poker player evolution?

    Baker, R. JS., Cowling, P. I., Randall, T. WG. & Jiang, P., 2008, Computational Intelligence and Games, 2008. CIG'08. IEEE Symposium On. p. 23-30 8 p.

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

  498. Can process-based and product-based approaches to software safety certification be reconciled?

    Kelly, T. P., 2008, IMPROVEMENTS IN SYSTEM SAFETY. Redmill, F. & Anderson, T. (eds.). GODALMING: SPRINGER-VERLAG LONDON LTD, p. 312 10 p.

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

  499. Challenges in Relational Learning for Real-Time Systems Applications

    Bartlett, M., Bate, I. & Kazakov, D., 2008, INDUCTIVE LOGIC PROGRAMMING, ILP 2008. Zelezny, F. & Lavrac, N. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5194 LNAI. p. 42-58 17 p.

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

  500. Clustering Using Class Specific Hyper Graphs

    Xia, S. & Hancock, E. R., 2008, STRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION. DaVitoria Lobo, N., Kasparis, T., Roli, F., Kwok, JT., Georgiopoulos, M., Anagnostopoulos, GC. & Loog, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5342 LNCS. p. 318-328 11 p.

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

  501. Combining Shape-from-Shading and Stereo using Gaussian-Markov Random Fields

    Haines, T. S. F. & Wilson, R. C., 2008, 19TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOLS 1-6. NEW YORK: IEEE, p. 1064-1067 4 p.

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

  502. Combining reinforcement learning with symbolic planning

    Grounds, M. & Kudenko, D., 2008, ADAPTIVE AGENTS AND MULTI-AGENT SYSTEMS. Tuyls, K., Nowe, A., Guessoum, Z. & Kudenko, D. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 4865 LNAI. p. 75-86 12 p.

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

  503. Complex Systems Models: Engineering Simulations

    Polack, F. A. C., Hoverd, T., Sampson, A. T., Stepney, S. & Timmis, J., 2008, Proceedings of the Eleventh International Conference on the Simulation and Synthesis of Living Systems. MIT Press, Cambridge, MA., p. 482-489

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

  504. Constructing Models with the Human-Usable Textual Notation

    Rose, L. M., Paige, R. F., Kolovos, D. S. & Polack, F. A. C., 2008, MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS. Czarnecki, K., Ober, I., Bruel, JM. & Volter, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5301 LNCS. p. 249-263 15 p.

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

  505. Determining Whether a Problem Characteristic Affects Heuristic Performance

    Ridge, E., Kudenko, D., Cotta, C. (ed.) & Hemert, J. I. V. (ed.), 2008, Recent Advances in Evolutionary Computation for Combinatorial Optimization. Springer, Vol. 153. p. 21-35 15 p. (Studies in Computational Intelligence).

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

Previous 1 2 3 Next