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. Graph heat kernel based image smoothing

    Fan, Z., Hancock, E. R. & Shang, L., 1 Dec 2012, Graph-Based Methods in Computer Vision: Developments and Applications. IGI Global, p. 302-330 29 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

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

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

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

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

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

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

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

  16. Interfacing java to hardware coprocessors and FPGAs

    Whitham, J. & Audsley, N., 1 Nov 2012, Distributed, Embedded and Real-time Java Systems. Springer US, Vol. 9781441981585. p. 177-197 21 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  17. Preface

    Higuera-Toledano, M. T. & Wellings, A. J., 1 Nov 2012, Distributed, Embedded and Real-time Java Systems. Higuera-Toledano, M. T. & Wellings, A. J. (eds.). p. v-viii

    Research output: Chapter in Book/Report/Conference proceedingChapter

  18. Programming embedded systems: Interacting with the embedded platform

    Dibble, P., Hunt, J. J. & Wellings, A. J., 1 Nov 2012, Distributed, Embedded and Real-time Java Systems. Springer US, Vol. 9781441981585. p. 129-158 30 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  19. Supporting Multiprocessors in the Real-Time Specification for Java Version 1.1

    Wellings, A. J., Dibble, P. & Holmes, D., 1 Nov 2012, Distributed, Embedded and Real-time Java Systems. Higuera-Toledano, M. T. & Wellings, A. J. (eds.). Springer US, Vol. 9781441981585. 23 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

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

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

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

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

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

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

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

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

  31. Computing gender difference using Fisher-Rao metric from facial surface normals

    Ceolin, S. & Hancock, E. R., 1 Aug 2012, SIBGRAPI 2012 (XXV Conference on Graphics, Patterns and Images). C. Freitas L. Silva, R. S. & Sarkar, S. (eds.). p. 336-343 8 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  46. 3D Face Recognition

    Mian, A. & Pears, N. E., 2012, 3D Imaging, Analysis and Applications. Springer, p. 311-366 55 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  47. 3D Shape Classification Using Commute Time

    Haseeb, M. & Hancock, E., 2012, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, SSPRSPR 2012, Hiroshima, Japan, November 7-9, 2012. Proceedings. Gimel'farb, G. L., Hancock, E. R., Imiya, A., Kuijper, A., Kudo, M., Omachi, S., Windeatt, T. & Yamada, K. (eds.). Springer Berlin/Heidelberg, Vol. 7626. p. 208-215 8 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  48. A Jensen-Shannon Kernel for Hypergraphs

    Bai, L., Hancock, E. & Ren, P., 2012, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, SSPRSPR 2012, Hiroshima, Japan, November 7-9, 2012. Proceedings. Gimel'farb, G. L., Hancock, E. R., Imiya, A., Kuijper, A., Kudo, M., Omachi, S., Windeatt, T. & Yamada, K. (eds.). Springer Berlin/Heidelberg, Vol. 7626. p. 181-189 9 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

  52. A Statistical Operator for Detecting Weak Edges in Low Contrast Images

    Mittal, A., Sofat, S., Hancock, E. R. & Mousset, S., 2012, Image Analysis and Recognition - 9th International Conference, ICIAR 2012, Aveiro, Portugal, June 25-27, 2012. Proceedings, Part I. Campilho, A. J. C. & Kamel, M. S. (eds.). PART 1 ed. Springer Berlin/Heidelberg, Vol. 7324. p. 89-96 8 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

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

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

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

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

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

  61. An Efficient Scheme for Color Edge Detection in Uniform Color Space

    Mittal, A., Sofat, S. & Hancock, E. R., 2012, Autonomous and Intelligent Systems - Third International Conference, AIS 2012, Aveiro, Portugal, June 25-27, 2012. Proceedings. Kamel, M., Karray, F. & Hagras, H. (eds.). Springer, Vol. 7326. p. 260-267 8 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

  64. Approximate Axial Symmetries from Continuous Time Quantum Walks

    Rossi, L., Torsello, A. & Hancock, E., 2012, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, SSPRSPR 2012, Hiroshima, Japan, November 7-9, 2012. Proceedings. Gimel'farb, G. L., Hancock, E. R., Imiya, A., Kuijper, A., Kudo, M., Omachi, S., Windeatt, T. & Yamada, K. (eds.). Springer Berlin/Heidelberg, Vol. 7626. p. 144-152 9 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  65. Assessing Software Interference Management When Modifying Safety-Related Software: Computer Safety, Reliability, and Security

    Graydon, P. J. & Kelly, T., 2012, Computer Safety, Reliability, and Security. Ortmeier, F. & Daniel, P. (eds.). Springer Berlin / Heidelberg, Vol. 7613. p. 132-145 14 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

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

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

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

  72. Contracting for Assurance of Military Aviation Software Systems

    Reinhardt, D. W. & McDermid, J. A., 2012, Proceedings of the Australian System Safety Conference 2012.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  73. Detection of Edges in Color Images: A Review and Evaluative Comparison of State-of-the-Art Techniques

    Mittal, A., Sofat, S. & Hancock, E. R., 2012, Autonomous and Intelligent Systems - Third International Conference, AIS 2012, Aveiro, Portugal, June 25-27, 2012. Proceedings. Kamel, M., Karray, F. & Hagras, H. (eds.). Springer, Vol. 7326. p. 250-259 10 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

  77. Energy and Environment

    Emberson, L., Rockström, J., He, K., Amann, M., Barron, J., Feresu, S., Hicks, K., Johanson, F. X., Karlqvist, A., Klimont, Z., Mylvakanam, I., Offutt, M., Song, W. W., Vallack, H. & Zhang, Q., 2012, The Global Energy Assessment: Toward a Sustainable Future : key findings summary for policymakers technical summary. IIASA, Laxenburg, Austria and Cambridge University Press, UK, p. 191-254

    Research output: Chapter in Book/Report/Conference proceedingChapter

  78. Estimating Surface Characteristics and Extracting Features from Polarisation

    Zhang, L. & Hancock, E., 2012, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, SSPRSPR 2012, Hiroshima, Japan, November 7-9, 2012. Proceedings. Gimel'farb, G. L., Hancock, E. R., Imiya, A., Kuijper, A., Kudo, M., Omachi, S., Windeatt, T. & Yamada, K. (eds.). Springer Berlin/Heidelberg, Vol. 7626. p. 400-408 9 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

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

  83. Formal Methods for the Development and Verification of Autonomic IT Systems

    Calinescu, R., Kikuchi, S. & Kwiatkowska, M., 2012, Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification. Cong-Vinh, P. (ed.). IGI Global, p. 1-37

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

  86. Graph Complexity from the Jensen-Shannon Divergence

    Bai, L. & Hancock, E., 2012, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, SSPRSPR 2012, Hiroshima, Japan, November 7-9, 2012. Proceedings. Gimel'farb, G. L., Hancock, E. R., Imiya, A., Kuijper, A., Kudo, M., Omachi, S., Windeatt, T. & Yamada, K. (eds.). Springer Berlin/Heidelberg, Vol. 7626. p. 79-88 10 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

  88. Heat Flow-Thermodynamic Depth Complexity in Directed Networks

    Escolano, F., Bonev, B. & Hancock, E., 2012, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, SSPRSPR 2012, Hiroshima, Japan, November 7-9, 2012. Proceedings. Gimel'farb, G. L., Hancock, E. R., Imiya, A., Kuijper, A., Kudo, M., Omachi, S., Windeatt, T. & Yamada, K. (eds.). Springer Berlin/Heidelberg, Vol. 7626. p. 190-198 9 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

  91. Hypergraph Spectra for Semi-supervised Feature Selection

    Zhang, Z., Hancock, E. & Bai, X., 2012, Machine Learning and Knowledge Discovery in Databases - European Conference, ECML PKDD 2012, Bristol, UK, September 24-28, 2012. Proceedings, Part I. Flach, P. A., Bie, T. D. & Cristianini, N. (eds.). PART 1 ed. Springer Berlin/Heidelberg, Vol. 7523. p. 207-222 16 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  92. Hypergraph Spectra for Unsupervised Feature Selection

    Zhang, Z. & Hancock, E., 2012, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, SSPRSPR 2012, Hiroshima, Japan, November 7-9, 2012. Proceedings. Gimel'farb, G. L., Hancock, E. R., Imiya, A., Kuijper, A., Kudo, M., Omachi, S., Windeatt, T. & Yamada, K. (eds.). Springer Berlin/Heidelberg, Vol. 7626. p. 620-628 9 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

  95. Information Theoretic Prototype Selection for Unattributed Graphs

    Han, L., Rossi, L., Torsello, A., Wilson, R. & Hancock, E., 2012, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, SSPRSPR 2012, Hiroshima, Japan, November 7-9, 2012. Proceedings. Gimel'farb, G. L., Hancock, E. R., Imiya, A., Kuijper, A., Kudo, M., Omachi, S., Windeatt, T. & Yamada, K. (eds.). Springer Berlin/Heidelberg, Vol. 7626. p. 33-41 9 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

  97. Introduction [to 3D Imaging, Analysis and Applications]

    Koch, R., Pears, N. E. & Liu, Y., 2012, 3D Imaging, Analysis and Applications. London: Springer, p. 1-31 31 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

  99. Localized graph-based feature selection for clustering

    Zhang, Z. & Hancock, E., 2012, Image Analysis and Recognition - 9th International Conference, ICIAR 2012, Aveiro, Portugal, June 25-27, 2012. Proceedings, Part I. Campilho, A. J. C. & Kamel, M. S. (eds.). PART 1 ed. Springer Berlin/Heidelberg, Vol. 7324. p. 1-10 10 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

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

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

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

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

  107. Nonclassical Computation: a dynamical systems perspective

    Stepney, S., 2012, Handbook of Natural Computing. Rozenberg, G., Bäck, T. & Kok, J. N. (eds.). Springer, Vol. 2. p. 1979-2025

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

  110. Passive 3D Imaging

    Se, S. & Pears, N. E., 2012, 3D Imaging, Analysis and Applications. Springer, p. 35-94 60 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

  114. RT-OSGi: Integrating the OSGi framework with the real-time specification for Java

    Richardson, T. & Wellings, A. J., 2012, Distributed, Embedded and Real-time Java Systems. Higuera-Toledano, T. M. & Wellings, A. J. (eds.). Springer US, Vol. 9781441981585. p. 293-322 30 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

  117. Safety Critical Software

    McDermid, J. A., 2012, Encyclopedia of Aerospace Engineering. Blockley, R. & Shyy, W. (eds.). John Wiley & Sons

    Research output: Chapter in Book/Report/Conference proceedingEntry for encyclopedia/dictionary

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

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

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

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

  122. Shape Analysis Using the Edge-Based Laplacian

    Aziz, F., Wilson, R. & Hancock, E., 2012, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, SSPRSPR 2012, Hiroshima, Japan, November 7-9, 2012. Proceedings. Gimel'farb, G. L., Hancock, E. R., Imiya, A., Kuijper, A., Kudo, M., Omachi, S., Windeatt, T. & Yamada, K. (eds.). Springer Berlin/Heidelberg, Vol. 7626. p. 382-390 9 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

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

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

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

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

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

  131. The Risks of LSCITS: The Odds are Stacked Against Us

    McDermid, J. A., 2012, Development, Operation and Management of Large-Scale Complex IT Systems: Proceedings of the 17th Monterey Workshop 2012, Oxford, UK.. Calinescu, R. & Garlan, D. (eds.). SPRINGER-VERLAG LONDON LTD, Vol. 7539 LNCS. p. 94-117 24 p.

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

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

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

  134. Unsupervised Clustering of Human Pose Using Spectral Embedding

    Haseeb, M. & Hancock, E., 2012, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, SSPRSPR 2012, Hiroshima, Japan, November 7-9, 2012. Proceedings. Gimel'farb, G. L., Hancock, E. R., Imiya, A., Kuijper, A., Kudo, M., Omachi, S., Windeatt, T. & Yamada, K. (eds.). Springer Berlin/Heidelberg, Vol. 7626. p. 467-473 7 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

  137. Using Compositional Verification to Manage Change in Large-Scale Systems

    Calinescu, R. C., Kikuchi, S. & Johnson, K. H. A., 2012, Large-Scale Complex IT Systems - Development, Operation and Management. Vol. 7539.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  180. An Information Theoretic Approach to Gender Feature Selection

    Zhang, Z., Hancock, E. R. & Wu, J., 2011, 2011 IEEE INTERNATIONAL CONFERENCE ON COMPUTER VISION WORKSHOPS (ICCV WORKSHOPS). NEW YORK: IEEE, p. - 7 p.

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

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

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

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

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

  185. Auditory Display in Assistive Technology

    Edwards, A. D. N., 2011, The Sonification Handbook. Hermann, T., Hunt, A. & Neuhoff, J. (eds.). Berlin: Logos Verlag Berlin

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  217. Information Theoretic Methods for Learning Generative Models for Relational Structures

    Hancock, E. R., Han, L. & Wilson, R. C., 2011, 2011 IEEE INTERNATIONAL CONFERENCE ON COMPUTER VISION WORKSHOPS (ICCV WORKSHOPS). NEW YORK: IEEE, p. - 2 p.

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

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

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

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

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

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

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

  224. Model-based Failure Analysis of Business Process

    Ge, X., Paige, R. F. & McDermid, J. A., 2011, ICEIS 2011 - Proceedings of the 13th International Conference on Enterprise Information Systems, Volume 3, Beijing, China. 8-11 June, 2011. SciTePress, Vol. 3 ISAS. p. 388-391 4 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

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

  229. Preface

    Pelillo, M. & Hancock, E., 2011, Lecture Notes in Computer Science 7005 . Springer, Vol. 7005 LNCS. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

    Research output: Chapter in Book/Report/Conference proceedingForeword/postscript

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  246. System Safety Engineering: The Benefits and Practicalities of Globalization

    McDermid, J. A., 2011, 29th International System Safety Conference Proceedings, Las Vegas, Nevada. 8-12 August 2011. The International System Safety Society

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

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

  248. Tensor-based Total Bregman Divergences between Graphs

    Escolano, F., Liu, M. & Hancock, E. R., 2011, 2011 IEEE INTERNATIONAL CONFERENCE ON COMPUTER VISION WORKSHOPS (ICCV WORKSHOPS). NEW YORK: IEEE, p. - 8 p.

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

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

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

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

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

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

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

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

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

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

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

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

  260. 2010
  261. 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

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

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

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

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

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

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

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

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

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

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

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

  273. Supporting Explicit Interpretation of Standards and Guidance

    Stephenson, Z. R. & McDermid, J. A., Oct 2010, IET Conference Publications: 5th IET International Conference on System Safety 2010. 567 CP ed. IEEE, Vol. 2010. p. 1-6 6 p.

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

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

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

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

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

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

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

  280. An Artificial Immune System for Robot Organisms

    Timmis, J., Tyrrell, A., Mokhtar, M., Ismail, A., Owens, N. & Bi, R., Jun 2010, Symbiotic Multi-Robot Organisms: Reliability, Adaptability and Evolution. Levi & Kernback (eds.). Springer, p. 268-288 20 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  281. Analysing System Failure Behaviours with PRISM

    Ge, X., Paige, R. F. & McDermid, J. A., Jun 2010, Proceedings of the 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion (SSIRI-C). p. 130-136 6 p.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  296. AI for Herding Sheep.

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

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

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

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

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

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

  301. Artificial Immune Systems

    Timmis, J., Sammut, C. (ed.) & Webb, G. I. (ed.), 2010, Encyclopedia of Machine Learning. Springer, p. 40-44 5 p.

    Research output: Chapter in Book/Report/Conference proceedingEntry for encyclopedia/dictionary

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

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

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

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

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

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

  308. Checking Graph-Transformation Systems for Confluence

    Plump, D., 2010, Manipulation of Graphs, Algebras and Pictures: Essays Dedicated to Hans-Jörg Kreowski on the Occasion of His 60th Birthday. Drewes, F., Habel, A., Hoffmann, B. & Plump, D. (eds.). Technische Universität Berlin, 16 p. (Electronic Communications of the EASST; vol. 26).

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

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

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

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

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

  313. Development of High Integrity Software Product Lines using Model Transformation

    Hutchesson, S. G. & McDermid, J. A., 2010, Computer Safety, Reliability and Security: SAFECOMP'10 Proceedings of the 29th International Conference on Computer Safety, Reliability, and Security. Heidelberg: Springer, Vol. 6351. p. 389-401 13 p.

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

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

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

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

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

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

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

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

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

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

  323. Fine-Grained Timing Using Genetic Programming

    White, D. R., Tapiador, J. E., Castro, J. C. H., Clark, J. A., Esparcia-Alcázar, A. I. (ed.), Ekárt, A. (ed.), Silva, S. (ed.), Dignum, S. (ed.) & Etaner-Uyar, A. S. (ed.), 2010, Genetic Programming, 13th European Conference, EuroGP 2010, Istanbul, Turkey, April 7-9, 2010. Proceedings. Springer, Vol. 6021. p. 325-336 12 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  324. Fostering character education with games and interactive story generation

    Hodhod, R., Cairns, P. & Kudenko, D., 2010, Designing Games for Ethics: Models, Techniques and Frameworks. IGI Global, p. 208-233 26 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

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

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

  330. Induction

    Cussens, J., 2010, Encyclopedia of Machine Learning. Sammut, C. & Webb, G. I. (eds.). SPRINGER, p. 519-522 4 p.

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

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

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

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

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

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

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

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

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

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

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

  341. Programming Phase: Formal Methods

    Paige, R. F., Woodcock, J., Brooke, P. J. & Cavalcanti, A., 2010, Encyclopedia of Software Engineering. Taylor and Francis, p. 772-785 14 p.

    Research output: Chapter in Book/Report/Conference proceedingEntry for encyclopedia/dictionary

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  363. The Game of Life Rules on Penrose Tilings: still life and oscillators

    Owens, N. & Stepney, S., 2010, Game of Life Cellular Automata. Springer, p. 331-378 48 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

  365. Time perception, immersion and music in videogames

    Sanders, T. & Cairns, P., 2010, Proceedings of the 24th BCS Conference on Human Computer Interaction HCI2010. p. 7 1 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

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

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

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

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

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

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

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

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

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

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

  379. 2009
  380. 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

  381. Exploring enterprise information systems

    Tabatabaie, M., Paige, R. & Kimble, C., 1 Dec 2009, Social, Managerial, and Organizational Dimensions of Enterprise Information Systems. IGI Global, p. 415-432 18 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  382. General-purpose autonomic computing

    Calinescu, R., 1 Dec 2009, Autonomic Computing and Networking. Springer US, p. 3-30 28 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

  385. The structure of partial isometries

    Hines, P. M. & Braunstein, S., Nov 2009, Semantic Techniques in Quantum Computation. Gay, S. & Mackie, I. (eds.). Cambridge: Cambridge University Press, p. 361-388 28 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

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

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

  391. On Generative Parameterisations of Markov Logic Networks

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

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

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

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

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

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

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

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

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

  399. Towards establishing a self-management architecture for dynamic risk management in 'intelligent' aero-engine control

    Kurd, Z., Kelly, T., McDermid, J. A., Calinescu, R. & Kwiatkowska, M. Z., Jan 2009, IET System Safety 2009. 555 CP ed. London: IET and SaRS, Vol. 2009. p. 33-40

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  414. An Argument-Based Approach to the Integration of Safety and Design

    Attwood, K. C., Kelly, T. & Wilkinson, P., 2009, Journal of the Safety and Reliability Society. 4 ed. Vol. 29. p. 5-16 11 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  435. Defence Standard 00-56 Issue 4: Towards Evidence-Based Safety Standards

    Menon, C., Hawkins, R. & McDermid, J., 2009, Safety-Critical Systems: Problems, Process and Practice: Proceedings of the Seventeenth Safety-Critical Systems Symposium Brighton, UK, 3 - 5 February 2009 . Dale, C. & Anderson, T. (eds.). SPRINGER, p. 223-243 21 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

  439. Domain Analysis of an Electronic Health records System

    Ge, X., Paige, R. F. & McDermid, J. A., 2009, FOSD '09 Proceedings of the First International Workshop on Feature-Oriented Software Development . New York: ACM, p. 49-54 5 p.

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

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

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

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

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

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

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

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

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

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

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

  450. Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control

    Kurd, Z., Kelly, T., McDermid, J., Calinescu, R. & Kwiatkowska, M., 2009, Computer Safety, Reliability, and Security: 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings . Buth, B., Rabe, G. & Seyfarth, T. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5775. p. 326-341 16 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

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

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

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

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

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

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

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

  461. Immunecomputing

    Timmis, J. & Meyers, R. A. (ed.), 2009, Encyclopedia of Complexity and Systems Science. Springer, p. 4776-4788 13 p.

    Research output: Chapter in Book/Report/Conference proceedingEntry for encyclopedia/dictionary

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

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

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

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

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

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

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

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

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

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

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

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

  474. Metaheuristic traceability attack against SLMAP, an RFID lightweight authentication protocol

    Hernandez-Castro, J. C., Tapiador, J. E., Peris-Lopez, P., Clark, J. A. & Talbi, E-G., 2009, 23rd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2009, Rome, Italy, May 23-29, 2009. IEEE, p. 1-5 5 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

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

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

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

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

  482. Motion History Histograms for Human Action Recognition

    Meng, H., Pears, N., Freeman, M., Bailey, C., Kisacanin, B. (ed.), Bhattacharyya, S. S. (ed.) & Chai, S. (ed.), 2009, Embedded Computer Vision. SPRINGER-VERLAG LONDON LTD, p. 139-162 24 p. (Advances in Pattern Recognition).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  483. Navigational Consistency in Websites: What Does it Mean to Users?

    Petrie, H., Papadofragkakis, G., Power, C. & Swallow, D., 2009, HUMAN-COMPUTER INTERACTION - INTERACT 2009, PT I. Gross, T., Gulliksen, J., Kotze, P., Oestreicher, L., Palanque, P. & Prates, RO. (eds.). PART 1 ed. BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5726. p. 423-427 5 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

  486. Power-Aware Intrusion Detection in Mobile Ad Hoc Networks

    Sen, S., Clark, J. A., Tapiador, J. E., Zheng, J. (ed.), Mao, S. (ed.), Midkiff, S. F. (ed.) & Zhu, H. (ed.), 2009, Ad Hoc Networks, First International Conference, ADHOCNETS 2009, Niagara Falls, Ontario, Canada, September 22-25, 2009. Revised Selected Papers. Springer, Vol. 28. p. 224-239 16 p. (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering).

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

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

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

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

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

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

  495. Relaxation labelling using distributed neural networks

    Austin, J., 2009, Biologically-Inspired Optimisation Methods: Parallel Algorithms, Systems and Applications. Lewis, A., Mostaghim, S. & Randall, M. (eds.). Berlin: Springer, p. 111-138 28 p. (Studies in Computational Intelligence; vol. 210).

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

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

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

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

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

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

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

Previous 1 2 3 Next