Search research publications and outputs

  1. 3D Facial Landmark Localisation by Matching Simple Descriptors

    Romero-Huertas, M. & Pears, N., 2008, 2008 IEEE SECOND INTERNATIONAL CONFERENCE ON BIOMETRICS: THEORY, APPLICATIONS AND SYSTEMS (BTAS). NEW YORK: IEEE, p. 346-351 6 p.

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

  2. 3D Object Recognition Using Hyper-Graphs and Ranked Local Invariant Features

    Xia, S. & Hancock, E. R., 2008, STRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION. DaVitoria Lobo, N., Kasparis, T., Roli, F., Kwok, JT., Georgiopoulos, M., Anagnostopoulos, GC. & Loog, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5342 LNCS. p. 117-126 10 p.

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

  3. A Comparison of State-Based Modelling Tools for Model Validation

    Aydal, E. G., Utting, M. & Woodcock, J., 2008, p. 278-296.

    Research output: Contribution to conferencePaperpeer-review

  4. A Model-Driven Approach to Assuring Process Reliability

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

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

  5. A Neuro-Immune inspired robust real time visual tracking system

    Liu, Y., Timmis, J. & Clarke, T., 2008, Artificial Immune Systems : 7th International Conference, ICARIS 2008, Phuket, Thailand, August 10-13, 2008. Proceedings. Springer, p. 188-199 12 p. (Lecture Notes in Computer Science ; vol. 5132).

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

  6. A New Paradigm for SpeckNets: Inspiration from Fungal Colonies

    Falconer, R., Bown, J., Hart, E. & Timmis, J., 2008, p. 90-95.

    Research output: Contribution to conferencePaperpeer-review

  7. A Note on Traces Refinement and the it onf Relation in the Unifying Theories of Programming

    Cavalcanti, A. & Gaudel, M-C., 2008, p. 42-61.

    Research output: Contribution to conferencePaperpeer-review

  8. A Simplified Executable Model to Evaluate Latency and Throughput of Networks-on-Chip

    Ost, L., Moraes, F. G., Moller, L., Indrusiak, L. S., Glesner, M., Maatta, S. & Nurmi, J., 2008, Proc 21st Symposium on Integrated Circuits and Systems Design (SBCCI). New York: Association for Computing Machinery (ACM), p. 170-175 6 p.

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

  9. A Supercompiler for Core Haskell

    Mitchell, N. & Runciman, C., 2008, Implementation and Application of Functional Languages: 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers. Springer, Vol. 5083. p. 147-164 (Lecture Notes in Computer Science; vol. 5083).

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

  10. A Theory of Pointers for the UTP

    Harwood, W., Cavalcanti, A. & Woodcock, J., 2008, p. 141-155.

    Research output: Contribution to conferencePaperpeer-review

  11. A comparison of state-based modelling tools for model validation

    Aydal, E. G., Utting, M. & Woodcock, J., 2008, OBJECTS, COMPONENTS, MODELS AND PATTERNS. Paige, RF. & Meyer, B. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 278-296 19 p.

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

  12. A constraint language for specifying combinatorial problems

    Frisch, A., Harvey, W., Jefferson, C., Martínez-Hernández, B. & Miguel, I., Sep 2008

    Article in Journal of Constraints

  13. A supercompiler for core Haskell

    Mitchell, N. & Runciman, C., 2008, Springer Lectures Notes in Computer Science: Implementation and Application of Functional Languages. Springer, Vol. 5083. p. 147-164 18 p.

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

  14. ABZ2008 VSR-Net Workshop

    Woodcock, J. & Boca, P., 2008, p. 378-379.

    Research output: Contribution to conferencePaperpeer-review

  15. ABZ2008 VSR-Net Workshop

    Woodcock, J. & Boca, P., 2008, ABSTRACT STATE MACHINES, B AND Z, PROCEEDINGS. Borger, E., Butler, M., Bowen, JP. & Boca, P. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5238 LNCS. p. 378-379 2 p.

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

  16. ARTOO: adaptive random testing for object-oriented software

    Ciupa, I., Leitner, A., Oriol, M. & Meyer, B., 2008, ICSE '08 : Proceedings of the 30th international conference on Software engineering . p. 71-80

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

  17. Active Contour Detection of Linear Patterns in Spectrogram Images

    Lampert, T. & O'Keefe, S., 2008, 19TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOLS 1-6. NEW YORK: IEEE, p. 3350-3353 4 p.

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

  18. Adaptable Lymphocytes for Artificial Immune Systems

    Andrews, P. S. & Timmis, J., 2008, p. 376-386.

    Research output: Contribution to conferencePaperpeer-review

  19. Adaptable lymphocytes for artificial immune systems

    Andrews, P. S. & Timmis, J., 2008, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Bentley, PJ., Lee, D. & Jung, S. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5132 LNCS. p. 376-386 11 p.

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

  20. Adaptive Circuit Control through Gene Expression

    Clegg, K. & Stepney, S., 2008, p. 154-163.

    Research output: Contribution to conferencePaper

  21. Adjusting Analogy Software Effort Estimation Based on Fuzzy Logic.

    Azzeh, M., Neagu, D. & Cowling, P. I., 2008, ICSOFT (SE/MUSE/GSDCA). p. 127-132 6 p.

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

  22. An Actor-Oriented Group Mobility Model for Wireless Ad Hoc Sensor Networks

    Ochirsuren, E., Indrusiak, L. S. & Glesner, M., 1 Jun 2008, p. 174 -179.

    Research output: Contribution to conferencePaperpeer-review

  23. An Artificial Immune System for Evolving Amino Acid Clusters Tailored to Protein Function Prediction

    Secker, A., Davies, M. N., Freitas, A. A., Timmis, J., Clark, E. & Flower, D. R., 2008, p. 242-253.

    Research output: Contribution to conferencePaperpeer-review

  24. An Artificial Lymph Node Architecture for Homeostasis in Collective Robotic Systems

    Mokhtar, M., Timmis, J., Tyrrell, A. M. & Bi, R., 2008, SASOW 2008: SECOND IEEE INTERNATIONAL CONFERENCE ON SELF-ADAPTIVE AND SELF-ORGANIZING SYSTEMS WORKSHOPS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 126-131 6 p.

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

  25. An Empirical Analysis of the Impact of Prioritised Sweeping on the DynaQ's Performance

    Grzes, M. & Kudenko, D., 2008, p. 1041-1051.

    Research output: Contribution to conferencePaperpeer-review

  26. An Investigation into Server Parameter Selection for Hierarchical Fixed Priority Pre-emptive Systems

    Davis, R. I. & Burns, A., Oct 2008, International conference on Real-Time and Network Systems. p. 19-28

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

  27. An analogue sum and threshold neuron based on the quantum tunnelling amplification of electrical pulses

    Samardak, A., Nogaret, A., Taylor, S., Austin, J., Farrer, I. & Ritchie, D. A., 7 Aug 2008

    Article in New Journal of Physics

  28. An efficient and predictable implementation of asynchronous event handling in the RTSJ

    Kim, M. & Wellings, A. J., 2008, Proceedings of the 6th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2008, 24-26 September 2008, Santa Clara, California, USA. Bollella, G. & Locke, C. D. (eds.). ACM, Vol. 343. p. 48-57 10 p. (ACM International Conference Proceeding Series).

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

  29. Analogue Circuit Control through Gene Expression

    Clegg, K. & Stepney, S., 2008, p. 154-163.

    Research output: Contribution to conferencePaper

  30. Analogue circuit control through gene expression

    Clegg, K. & Stepney, S., 2008, APPLICATIONS OF EVOLUTIONARY COMPUTING, PROCEEDINGS. Giacobini, M. (ed.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 4974 LNCS. p. 154-163 10 p.

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

  31. Application of HTK to the Polish language

    Zi'olko, B., Manandhar, S., Wilson, R. C., Zi'olko, M. & Galka, J., 2008, 2008 INTERNATIONAL CONFERENCE ON AUDIO, LANGUAGE AND IMAGE PROCESSING, VOLS 1 AND 2, PROCEEDINGS. Wan, WG., Luo, FL. & Yu, XQ. (eds.). NEW YORK: IEEE, p. 1759-1764 6 p.

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

  32. Application-Defined Virtualisation for Embedded Real-Time Software on Complex Architectures

    Gray, I. & Audsley, N. C., 2008, 2nd Junior Researcher Workshop on Real-Time Computing, in conjunction with RTNS.

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

  33. Applying UML Interactions and Actor-Oriented Simulation to the Design Space Exploration of Network-on-Chip Interconnects

    Indrusiak, L. S., Ost, L., Moller, L., Moraes, F. & Glesner, M., 1 Apr 2008, p. 491 -494.

    Research output: Contribution to conferencePaperpeer-review

  34. Association between macro and micro mineral composition, and intrinsic mechanical properties, DXA, and cortical thickness, in human femurs and deer antler bone

    Landete-Castillejos, T., Currey, J. D., Estevez, J. A., Gonzalez, B., Insausti, R., Garcia, A., Martinez, A., Ceacero, F., Garcia, A. J. & Gallego, L., 2008

    Article in Calcified tissue international

  35. Automatic extraction of notions from course material

    Pedroni, M., Oriol, M., Meyer, B. & Angerer, L., 2008, p. 251.

    Research output: Contribution to conferencePaperpeer-review

  36. Automorphisms of transition graphs for a linear cellular automaton

    Powley, E. J. & Stepney, S., 2008, p. 55-68.

    Research output: Contribution to conferencePaperpeer-review

  37. Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological Reactivity

    Amálio, N., Polack, F. & Zhang, J., 2008, p. 323-336.

    Research output: Contribution to conferencePaper

  38. Autonomous and/or interactive constraints-based software reconfiguration for planetary rover

    Montano, G. & McDermid, J. A., 2008, Proceedings of the 10th European Space Agency Workshop on Advanced Space Technologies for Robotics and Automation (ASTRA 2008). Noordwijk (The Netherlands). 11-13 November 2008. EUROPEAN SPACE AGENCY

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

  39. Bayesian network learning by compiling to weighted MAX-SAT

    Cussens, J., 2008, Proceedings of the 24th Conference on Uncertainty in Artificial Intelligence (UAI 2008). McAllester, D. & Myllymaki, P. (eds.). Corvallis, Oregon: AUAI Press, p. 105-112 8 p.

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

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

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

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

  41. Birkhoff Polytopes, Heat Kernels and Graph Complexity

    Escolano, F., Hancock, E. R. & Lozano, M. A., 2008, 19TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOLS 1-6. NEW YORK: IEEE, p. 2572-2576 5 p.

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

  42. Blocking time monitoring in the real-time specification for Java

    Santos, O. M. D. & Wellings, A. J., 2008, Proceedings of the 6th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2008, 24-26 September 2008, Santa Clara, California, USA. Bollella, G. & Locke, C. D. (eds.). ACM, Vol. 343. p. 135-143 9 p. (ACM International Conference Proceeding Series).

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

  43. CLP(BN ): constraint logic programming for probabilistic knowledge

    Santos Costa, V., Page, D. & Cussens, J., 2008, Probabilistic Inductive Logic Programming: Theory and Applications. De Raedt, L., Frasconi, P., Kersting, K. & Muggleton, S. (eds.). Berlin: Springer, p. 156-188 32 p. (Lecture Notes in Artificial Intelligence; vol. 4911).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  44. Can opponent models aid poker player evolution?

    Baker, R. JS., Cowling, P. I., Randall, T. WG. & Jiang, P., 2008, Computational Intelligence and Games, 2008. CIG'08. IEEE Symposium On. p. 23-30 8 p.

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

  45. Can process-based and product-based approaches to software safety certification be reconciled?

    Kelly, T. P., 2008, IMPROVEMENTS IN SYSTEM SAFETY. Redmill, F. & Anderson, T. (eds.). GODALMING: SPRINGER-VERLAG LONDON LTD, p. 312 10 p.

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

  46. Challenges in Relational Learning for Real-Time Systems Applications

    Bartlett, M., Bate, I. & Kazakov, D., 2008, INDUCTIVE LOGIC PROGRAMMING, ILP 2008. Zelezny, F. & Lavrac, N. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5194 LNAI. p. 42-58 17 p.

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

  47. Characterising intrusion detection sensors

    Shaikh, SA., Chivers, H., Nobles, P. & Clark, J. A., 2008

    Article in Network Security

  48. Clustering Using Class Specific Hyper Graphs

    Xia, S. & Hancock, E. R., 2008, STRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION. DaVitoria Lobo, N., Kasparis, T., Roli, F., Kwok, JT., Georgiopoulos, M., Anagnostopoulos, GC. & Loog, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5342 LNCS. p. 318-328 11 p.

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

  49. Combining Shape-from-Shading and Stereo using Gaussian-Markov Random Fields

    Haines, T. S. F. & Wilson, R. C., 2008, 19TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOLS 1-6. NEW YORK: IEEE, p. 1064-1067 4 p.

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

  50. Combining reinforcement learning with symbolic planning

    Grounds, M. & Kudenko, D., 2008, ADAPTIVE AGENTS AND MULTI-AGENT SYSTEMS. Tuyls, K., Nowe, A., Guessoum, Z. & Kudenko, D. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 4865 LNAI. p. 75-86 12 p.

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

  51. Combining shape-from-shading and stereo using Gaussian-Markov random fields

    Haines, T. S. F. & Wilson, R. C., 8 Dec 2008, p. 1-4. 4 p.

    Research output: Contribution to conferencePaperpeer-review

  52. Communicating Process Architectures 2008

    Welch, P. H. (ed.), Stepney, S. (ed.), Polack, F. (ed.), Barnes, F. R. M. (ed.), McEwan, A. A. (ed.), Stiles, G. S. (ed.), Broenink, J. F. (ed.) & Sampson, A. T. (ed.), 2008, IOS Press. (Concurrent Systems Engineering Series; vol. 66)

    Research output: Book/ReportBook

  53. Complex Systems Models: Engineering Simulations

    Polack, F. A. C., Hoverd, T., Sampson, A. T., Stepney, S. & Timmis, J., 2008, Proceedings of the Eleventh International Conference on the Simulation and Synthesis of Living Systems. MIT Press, Cambridge, MA., p. 482-489

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

  54. Constructing Models with the Human-Usable Textual Notation

    Rose, L. M., Paige, R. F., Kolovos, D. S. & Polack, F. A. C., 2008, MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS. Czarnecki, K., Ober, I., Bruel, JM. & Volter, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5301 LNCS. p. 249-263 15 p.

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

  55. Constructing Models with the Human-Usable Textual Notation

    Rose, L. M., Paige, R. F., Kolovos, D. S. & Polack, F. A. C., 2008, p. 249-263.

    Research output: Contribution to conferencePaperpeer-review

  56. Course management with TrucStudio

    Pedroni, M., Oriol, M., Meyer, B., Albonico, E. & Angerer, L., 1 Aug 2008, p. 260.

    Research output: Contribution to conferencePaperpeer-review

  57. Detecting and Repairing Inconsistencies across Heterogeneous Models

    Kolovos, D., Paige, R. & Polack, F., 2008, p. 356--364.

    Research output: Contribution to conferencePaperpeer-review

  58. Determining Whether a Problem Characteristic Affects Heuristic Performance

    Ridge, E., Kudenko, D., Cotta, C. (ed.) & Hemert, J. I. V. (ed.), 2008, Recent Advances in Evolutionary Computation for Combinatorial Optimization. Springer, Vol. 153. p. 21-35 15 p. (Studies in Computational Intelligence).

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

  59. Determining Whether a Problem Characteristic Affects Heuristic Performance A Rigorous Design of Experiments Approach

    Ridge, E. & Kudenko, D., 2008, RECENT ADVANCES IN EVOLUTIONARY COMPUTATION FOR COMBINATORIAL OPTIMIZATION. Cotta, C. & VanHemert, J. (eds.). NEW YORK: Springer, p. 21-35 15 p.

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

  60. Directions for Methodological Research in Information Visualization

    Craft, B. & Cairns, P. A., 2008, p. 44-50.

    Research output: Contribution to conferencePaperpeer-review

  61. Display Registration for Device Interaction: a Proof of Principle Prototype

    Pears, N., Olivier, P. & Jackson, D., 2008, p. 446-451.

    Research output: Contribution to conferencePaperpeer-review

  62. Display registration for device interaction - A proof of principle prototype

    Pears, N., Olivier, P. & Jackson, D., 2008, VISAPP 2008: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON COMPUTER VISION THEORY AND APPLICATIONS, VOL 1. Araujo, HJ. (ed.). SETUBAL: INSTICC-INST SYST TECHNOLOGIES INFORMATION CONTROL & COMMUNICATION, Vol. 1. p. 446-451 6 p.

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

  63. ESSENCE: A constraint language for specifying combinatorial problems

    Frisch, A. M., Harvey, W., Jefferson, C., Hernández, B. M. & Miguel, I., Sep 2008

    Article in Journal of Constraints

  64. Editorial

    Jones, C. B. & Woodcock, J., 2008

    Article in Formal Asp. Comput.

  65. Empirical Investigation of an Artificial Cytokine Network

    Read, M., Timmis, J. & Andrews, P. S., 2008, p. 340-351.

    Research output: Contribution to conferencePaperpeer-review

  66. Empirical investigation of an Artificial Cytokine Network

    Read, M., Timmis, J. & Andrews, P. S., 2008, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Bentley, PJ., Lee, D. & Jung, S. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5132 LNCS. p. 340-351 12 p.

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

  67. Enabling Self-Reconfiguration on a Video Processing Platform

    Ackermann, K. F., Hoffmann, B., Indrusiak, L. S. & Glesner, M., 2008, Proc Int Symposiun on Industrial Embedded Systems (SIES). IEEE, p. 19-26 8 p.

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

  68. Encoding it ircus Programs in ProofPowerZ

    Zeyda, F. & Cavalcanti, A., 2008, p. 218-237.

    Research output: Contribution to conferencePaperpeer-review

  69. Enforcing Behaviour with Anonymity

    Wright, J. & Stepney, S., 2008.

    Research output: Contribution to conferencePaper

  70. Enforcing Image Consistency in Multiple 3-D Object Modelling

    Grum, M. & Bors, A. G., 2008, 19TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOLS 1-6. NEW YORK: IEEE, p. 132-135 4 p.

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

  71. Engineering Safety-Critical Complex Systems

    Alexander, R., Kelly, T. & Alexander-Bown, R., Sep 2008, CoSMoS 2008: Proceedings of the 2008 Workshop on Complex Systems Modelling and Simulation. Luniver Press, p. 33-62

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

  72. Evaluation and Comparison of Inferred Regular Grammars

    Walkinshaw, N., Bogdanov, K. & Johnson, K. H. A., 2008, Grammatical Inference: Algorithms and Applications . Vol. 5278/2008. p. 252 265 p.

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

  73. Evaluation of OCL for large-scale modelling: A different view of the Mondex purse

    Aydal, E. G., Paige, R. F. & Woodcock, J., 2008, MODELS IN SOFTWARE ENGINEERING. Giese, H. (ed.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5002 LNCS. p. 194-205 12 p.

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

  74. Evolution of Cooperation in an Incentive Based Business Game Environment

    Bista, S. K., Dahal, K. P. & Cowling, P. I., 2008, Global Design to Gain a Competitive Edge. Springer London, p. 875-882 8 p.

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

  75. Evolving Intrusion Detection Rules on Mobile Ad Hoc Networks

    Sen, S. & Clark, J. A., 2008, PRICAI 2008: TRENDS IN ARTIFICIAL INTELLIGENCE. Ho, TB. & Zhou, ZH. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5351 LNAI. p. 1053-1058 6 p.

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

  76. Exact Response Time Scheduling Analysis of Accumulatively Monotonic Multiframe Real Time Tasks

    Zuhily, A. & Burns, A., 2008, p. 410-424.

    Research output: Contribution to conferencePaperpeer-review

  77. Exact Scheduling Analysis of Accumulatively Monotonic Multiframe Tasks Subjected to Release Jitter and Arbitrary Deadlines

    Zuhily, A. & Burns, A., 2008, 2008 IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, PROCEEDINGS. Fay, IA. (ed.). NEW YORK: IEEE, p. 600-607 8 p.

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

  78. Exact response time scheduling analysis of Accumulatively Monotonic multiframe real time tasks

    Zuhily, A. & Burns, A., 2008, THEORETICAL ASPECTS OF COMPUTING - ICTAC 2008, PROCEEDINGS. Fitzgerald, JS., Haxthausen, AE. & Yenigun, H. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5160 LNCS. p. 410-424 15 p.

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

  79. Exact scheduling analysis of accumulatively monotonic multiframe tasks subjected to release jitter and arbitrary deadlines

    Zuhily, A. & Burns, A., 2008, p. 600-607.

    Research output: Contribution to conferencePaperpeer-review

  80. Experience Report: Visualizing Data through Functional Pipelines

    Duke, D., Borgo, R., Runciman, C. & Wallace, M., 1 Sep 2008, p. 379--382.

    Research output: Contribution to conferencePaper

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

    Emberson, P. & Bate, I., 2008, RTSS: 2008 REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 270-279 10 p.

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

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

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

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

  83. Extremism propagation in social networks with hubs

    Franks, D. W., Noble, J., Kaufmann, P. & Stagl, S., Aug 2008

    Article in Adaptive behavior

  84. Facial gender classification using shape from shading and weighted principal geodesic analysis

    Wu, J., Smith, W. A. P. & Hancock, E. R., 2008, IMAGE ANALYSIS AND RECOGNITION, PROCEEDINGS. Campilho, A. & Kamel, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5112 LNCS. p. 925-934 10 p.

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

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

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

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

  86. Forming Virtual Traces for WCET Analysis and Reduction

    Whitham, J. & Audsley, N., 2008, RTCSA 2008: 14TH IEEE INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS - PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 377-386 10 p.

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

  87. From Separation Logic to Hyperedge Replacement and Back

    Dodds, M., 2008, Graph Transformations: 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings. Springer, Vol. 5214 LNCS. p. 484-486 3 p. (Lecture Notes in Computer Science; vol. 5214).

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

  88. From immersion to addiction in videogames

    Seah, M. & Cairns, P., 2008, Proceedings of the 22nd British HCI Group Annual. British Computer Society Swinton, UK, UK, Vol. 1. p. 55-63

    Research output: Chapter in Book/Report/Conference proceedingChapter

  89. From immersion to addiction in videogames

    Seah, M. & Cairns, P. A., 2008, p. 55-63.

    Research output: Contribution to conferencePaper

  90. Gender Classification based on Facial Surface Normals

    Wu, J., Smith, W. A. P. & Hancock, E. R., 2008, 19TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOLS 1-6. NEW YORK: IEEE, p. 476-479 4 p.

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

  91. Generation of Dilemma-Based Narratives: Method and Turing Test Evaluation

    Barber, H. & Kudenko, D., 2008, p. 214-217.

    Research output: Contribution to conferencePaperpeer-review

  92. Generation of Dilemma-Based Narratives: Method and Turing Test Evaluation

    Barber, H. & Kudenko, D., 2008, INTERACTIVE STORYTELLING, PROCEEDINGS. Spierling, U. & Szilas, N. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5334 LNCS. p. 214-217 4 p.

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

  93. Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools

    Plump, D., Taentzer, G., Biermann, E., Bisztray, D., Bohnet, B., Boneva, I., Boronat, A., Geiger, L., Geiß, R., Horvath, Á., Kniemeyer, O., Mens, T., Ness, B. & Vajk, T., 2008, Applications of Graph Transformation with Industrial Relevance (AGTIVE 2007): Revised Selected and Invited Papers. Springer, p. 514-539 (Lecture Notes in Computer Science; vol. 5088).

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

  94. Getting Farther on Software Evolution via AOP and Reflection

    Oriol, M., Cazzola, W., Chiba, S. & Saake, G., 2008, p. 63-69.

    Research output: Contribution to conferencePaperpeer-review

  95. Grand Challenge 7: Journeys in Non-Classical Computation

    Stepney, S., Abramsky, S., Adamatzky, A., Johnson, C. G., Timmis, J., Gelenbe, E., Abramsky, S. & Sassone, V., 2008, p. 407-421.

    Research output: Contribution to conferencePaperpeer-review

  96. Graph Characteristic from the Gauss-Bonnet Theorem

    ElGhawalby, H. & Hancock, E. R., 2008, p. 207-216.

    Research output: Contribution to conferencePaperpeer-review

  97. Graph Characteristic from the Gauss-Bonnet Theorem

    ElGhawalby, H. & Hancock, E. R., 2008, STRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION. DaVitoria Lobo, N., Kasparis, T., Roli, F., Kwok, JT., Georgiopoulos, M., Anagnostopoulos, GC. & Loog, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5342 LNCS. p. 207-216 10 p.

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

  98. Graph Characteristics from the Ihara Zeta Function

    Ren, P., Wilson, R. C. & Hancock, E. R., 2008, STRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION. DaVitoria Lobo, N., Kasparis, T., Roli, F., Kwok, JT., Georgiopoulos, M., Anagnostopoulos, GC. & Loog, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5342 LNCS. p. 257-266 10 p.

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

  99. Graph Drawing using Quantum Commute Time

    Emms, D., Hancock, E. & Wilson, R., 2008, p. 3743-3746. 4 p.

    Research output: Contribution to conferencePaperpeer-review

  100. Graph Edit Distance without Correspondence from Continuous-Time Quantum Walks

    Emms, D., Wilson, R. C. & Hancock, E. R., 2008, STRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION. DaVitoria Lobo, N., Kasparis, T., Roli, F., Kwok, JT., Georgiopoulos, M., Anagnostopoulos, GC. & Loog, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5342 LNCS. p. 514 10 p.

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

  101. Guest Editorial

    Barkaoui, K., Broy, M., Cavalcanti, A. & Cerone, A., 2008

    Editorial in Formal Asp. Comput.

  102. Human Involvement in the Dynamic Reconfiguration Process of Integrated Modular Avionics

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

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

  103. Hybrid quantum computation in quantum optics

    van Loock, P., Munro, W. J., Nemoto, K., Spiller, T. P., Ladd, T. D., Braunstein, S. L. & Milburn, G. J., 1 Aug 2008

    Article in Physical Review A

  104. Hyperheuristics: recent developments

    Chakhlevitch, K. & Cowling, P., 2008, Adaptive and multilevel metaheuristics. Springer Berlin/Heidelberg, p. 3-29 27 p.

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

  105. Identifying Perceptual Structures In Trademark Images

    Hodge, V. J., Hollier, G. P., Austin, J. & Eakins, J., 13 Feb 2008, p. 1-6. 6 p.

    Research output: Contribution to conferencePaperpeer-review

  106. Immune Systems and Computation: An Interdisciplinary Adventure

    Timmis, J., Andrews, P. S., Owens, N. D. L. & Clark, E., 2008, p. 8-18.

    Research output: Contribution to conferencePaperpeer-review

  107. Immune systems and computation: An interdisciplinary adventure

    Timmis, J., Andrews, P., Owens, N. & Clark, E., 2008, UNCONVENTIONAL COMPUTATION, PROCEEDINGS. Calude, CS., Costa, JF., Freund, R., Oswald, M. & Rozenberg, G. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5204 LNCS. p. 818 11 p.

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

  108. Immuno-Engineering

    Timmis, J., Hart, E., Hone, A., Neal, M., Robins, A., Stepney, S. & Tyrrell, A., 2008.

    Research output: Contribution to conferencePaperpeer-review

  109. Immuno-engineering

    Timmis, J., Hart, E., Hone, A., Neal, M., Robins, A., Stepney, S. & Tyrrell, A., 2008, BIOLOGICALLY-INSPIRED COLLABORATIVE COMPUTING. Hinchey, M., Pagnoni, A., Rammig, FJ. & Schmeck, H. (eds.). NEW YORK: Springer, p. 317 15 p.

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

  110. Implementation and Application of Functional Languages

    Mitchell, N., Runciman, C., Chitil, O., Horváth, Z. & Zsók, V., 2008, p. 147-164. 18 p.

    Research output: Contribution to conferencePaperpeer-review

  111. Implementation of a generic autonomic framework

    Calinescu, R., 29 Aug 2008, Proceedings - 4th International Conference on Autonomic and Autonomous Systems, ICAS 2008. p. 124-129 6 p. 4488333

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

  112. Improving analogy software effort estimation using fuzzy feature subset selection algorithm

    Azzeh, M., Neagu, D. & Cowling, P., 2008, Proceedings of the 4th international workshop on Predictor models in software engineering. p. 71-78 8 p.

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

  113. Improving metaheuristic performance by evolving a variable fitness function

    Dahal, K., Remde, S., Cowling, P. & Colledge, N., 2008, European Conference on Evolutionary Computation in Combinatorial Optimization. p. 170-181 12 p.

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

  114. Innovations in measuring accessibility: theoretical and practical perspectives

    Petrie, H., Power, C., Adams, R., Hwang, F., Weber, G., Darzentas, J. S. & Velasco, C. A., 2008, p. 197-198.

    Research output: Contribution to conferencePaperpeer-review

  115. Internalization, qualitative methods, and evaluation

    Faisal, S., Craft, B., Cairns, P. & Blandford, A., 2008, p. 1-8.

    Research output: Contribution to conferencePaper

  116. Investigating Patterns for the Process-Oriented Modelling and Simulation of Space in Complex Systems

    Andrews, P. S., Sampson, A. T., Bjørndalen, J. M., Stepney, S., Timmis, J., Warren, D. N. & Welch, P. H., 2008, p. 17-24.

    Research output: Contribution to conferencePaper

  117. Investigating emergence by coarse graining Elementary Cellular Automata

    Weeks, A., Polack, F. & Stepney, S., 2008, p. 686-693.

    Research output: Contribution to conferencePaper

  118. Investigating the Use of Argument Modularity to Optimise Through-Life System Safety Assurance

    Despotou, G. & Kelly, T., 2008, System Safety, 2008 3rd IET International Conference on. 542 CP ed. p. 1-6 6 p.

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

  119. Kernel Bandwidth Estimation in Methods based on Probability Density Function Modelling

    Bors, A. G. & Nasios, N., 2008, 19TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOLS 1-6. NEW YORK: IEEE, p. 3354-3357 4 p.

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

  120. LOGITBOOST WEKA CLASSIFIER SPEECH SEGMENTATION

    Ziolko, B., Manandhar, S., Wilson, R. C. & Ziolko, M., 2008, 2008 IEEE INTERNATIONAL CONFERENCE ON MULTIMEDIA AND EXPO, VOLS 1-4. NEW YORK: IEEE, p. 1297-1300 4 p.

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

  121. Language model based on POS tagger

    Ziolko, B., Manandhar, S., Wilson, R. C. & Ziolko, M., 26 Jul 2008, SIGMAP 2008: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SIGNAL PROCESSING AND MULTIMEDIA APPLICATIONS. Assuncao, P. & Faria, S. (eds.). SETUBAL: INSTICC-INST SYST TECHNOLOGIES INFORMATION CONTROL & COMMUNICATION, p. 177-180 4 p.

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

  122. Linking VDM and Z

    Woodcock, J. & Freitas, L., 2008, ICECCS 2008: THIRTEENTH IEEE INTERNATIONAL CONFERENCE ON THE ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS. Breitman, K., Woodcock, J., Sterritt, R. & Hinchey, MG. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 143-152 10 p.

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

  123. Linking VDM and Z

    Woodcock, J. & Freitas, L., 2008, p. 143-152.

    Research output: Contribution to conferencePaperpeer-review

  124. Logitboost weka classifier speech segmentation

    Ziólko, B., Manandhar, S., Wilson, R. C. & Ziólko, M., 23 Jun 2008, p. 1297-1300. 4 p.

    Research output: Contribution to conferencePaperpeer-review

  125. Manifesto - Model Engineering for Complex Systems

    Bézivin, J., Paige, R. F., Aßmann, U., Rumpe, B. & Schmidt, D., 17 Oct 2008, Perspectives Workshop: Model Engineering of Complex Systems (MECS). 4 p. (Dagstuhl Seminar Proceedings; vol. 08331).

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

  126. Measuring Skin Reflectance Parameters

    Dickens, M. P., Smith, W. A. P., Ragheb, H. & Hancock, E. R., 2008, 19TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOLS 1-6. NEW YORK: IEEE, p. 2921-2924 4 p.

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

  127. Measuring and defining the experience of immersion in games

    Jennett, C., Cox, A. L., Cairns, P., Dhoparee, S., Epps, A., Tijs, T. & Walton, A., Sep 2008

    Article in International Journal of Human-Computer Studies

  128. Measuring graph similarity using spectral geometry

    ElGhawalby, H. & Hancock, E. R., 2008, IMAGE ANALYSIS AND RECOGNITION, PROCEEDINGS. Campilho, A. & Kamel, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5112 LNCS. p. 517-526 10 p.

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

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

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

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

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

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

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

  131. Modelling User-Phishing Interaction

    Dong, X., Clark, J. A. & Jacob, J., 2008, 2008 CONFERENCE ON HUMAN SYSTEM INTERACTIONS, VOLS 1 AND 2. NEW YORK: IEEE, p. 633-638 6 p.

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

  132. Molecular resonances and the Jacobi shape transition in 48Cr

    Salsac, M. D., Haas, F., Courtin, S., Algora, A., Beck, C., Beghini, S., Behera, B. R., Chapman, R., Corradi, L., Dombradi, Z., Farnea, E., Fioretto, E., Gadea, A., Jenkins, D. G., Latina, A., Lebhertz, D., Lenzi, S., Liang, X., Marginean, N., Montagnoli, G. & 16 others, Napoli, D., Papka, P., Pokrovski, I., Pollarolo, G., Rousseau, M., Sahin, E., Sanchez, A. S. I., Scarlassara, F., Sohler, D., Stefanini, M., Szilner, S., Trotta, M., Ur, C., Della Vedova, F., Wang, Z. M. & Wiedemann, K. T., 1 May 2008

    Article in Journal of Physics: Conference Series

  133. Multi-Agent Reinforcement Learning for Intrusion Detection: A case study and evaluation

    Servin, A. & Kudenko, D., 2008, p. 873-874.

    Research output: Contribution to conferencePaperpeer-review

  134. Multi-Agent Reinforcement Learning for Intrusion Detection: A Case Study and Evaluation

    Servin, A. & Kudenko, D., 2008, MULTIAGENT SYSTEM TECHNOLOGIES, PROCEEDINGS. Bergmann, R., Lindemann, G., Kirn, S. & Pechoucek, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5244 LNAI. p. 159-170 12 p.

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

  135. Multi-agent reinforcement learning for intrusion detection

    Servin, A. & Kudenko, D., 2008, ADAPTIVE AGENTS AND MULTI-AGENT SYSTEMS. Tuyls, K., Nowe, A., Guessoum, Z. & Kudenko, D. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 211-223 13 p.

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

  136. Multigrid Reinforcement Learning with Reward Shaping

    Grzes, M. & Kudenko, D., 2008, p. 357-366.

    Research output: Contribution to conferencePaperpeer-review

  137. Multigrid Reinforcement Learning with Reward Shaping

    Grzes, M. & Kudenko, D., 2008, ARTIFICIAL NEURAL NETWORKS - ICANN 2008, PT I. Kurkova, V., Neruda, R. & Koutnik, J. (eds.). PART 1 ed. BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5163 LNCS. p. 357-366 10 p.

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

  138. Multiple image disparity correction for 3-D scene representation

    Grum, M. & Bors, A. G., Oct 2008, p. 209-212. 4 p.

    Research output: Contribution to conferencePaperpeer-review

  139. Multiprocessors and the Real-time Specification for Java

    Wellings, A. J., 2008, ISORC 2008: 11TH IEEE SYMPOSIUM ON OBJECT/COMPONENT/SERVICE-ORIENTED REAL-TIME DISTRIBUTED COMPUTING - PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 255-261 7 p.

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

  140. New Directions in Worst-Case Execution Time Analysis

    Bate, I. & Kazakov, D., 2008, 2008 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-8. NEW YORK: IEEE, p. 3545-3552 8 p.

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

  141. New Directions in Worst-Case Execution Time Analysis

    Bate, I. & Kazakov, D., 2008, IEEE Congress on Evolutionary Computation (IEEE CEC 2008) within.

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

  142. No Going Back: An Interactive Visualization Application for Trailblazing on the Web

    Power, C., McQuillan, I., Petrie, H., Kennaugh, P., Daley, M. & Wozniak, G., 1 Jul 2008, Information Visualisation, 2008. IV '08. 12th International Conference . I E E E, p. 133 -142

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

  143. No going back: An interactive visualization application for trailblazing on the web

    Power, C., McQuillan, I., Petrie, H., Kennaugh, P., Daley, M. & Wozniak, G., 2008, PROCEEDINGS OF THE 12TH INTERNATIONAL INFORMATION VISUALISATION. Banissi, E., Stuart, L., Jern, M., Andrienko, G., Marchese, FT., Memon, N., Alhajj, R., Wyeld, TG., Burkhard, RA., Grinstein, G., Groth, D., Ursyn, A., Maple, C., Faiola, A. & Craft, B. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 133-142 10 p.

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

  144. Not all patterns, but enough: an automatic verifier for partial but sufficient pattern matching

    Mitchell, N. & Runciman, C., 2008, p. 49--60.

    Research output: Contribution to conferencePaper

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

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

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

  146. Objects, Components, Models and Patterns: 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings

    Paige, R. F. (ed.) & Meyer, B. (ed.), 2008, Springer. (Lecture notes in Business Information Processing; vol. 11)

    Research output: Book/ReportBook

  147. On the Predictability of Random Tests for Object-Oriented Software

    Ciupa, I., Pretschner, A., Leitner, A., Oriol, M. & Meyer, B., 1 Apr 2008, p. 72--81.

    Research output: Contribution to conferencePaperpeer-review

  148. On the formal development of safety-critical software

    Galloway, A., Iwu, F., McDermid, J. & Toyn, I., 2008, VSTTE: Verified Software Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised. Meyer, B. & Woodcock, J. (eds.). Zurich, Switzerland: SPRINGER-VERLAG BERLIN, Vol. LNCS 4171. p. 362-373 12 p.

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

  149. On the meaning of modes in uniprocessor real-time systems

    Martins, P. & Burns, A., 2008, p. 324-325.

    Research output: Contribution to conferencePaperpeer-review

  150. Optimizing amino acid groupings for GPCR classification

    Davies, M. N., Secker, A., Freitas, A. A., Clark, E., Timmis, J. & Flower, D. R., 15 Sep 2008

    Article in Bioinformatics

  151. POSIX and the Verification Grand Challenge: A Roadmap

    Freitas, L., Woodcock, J. & Butterfield, A., 2008, p. 153-162.

    Research output: Contribution to conferencePaperpeer-review

  152. POSIX and the Verification Grand Challenge: a roadmap

    Freitas, L., Woodcock, J. & Butterfield, A., 2008, ICECCS 2008: THIRTEENTH IEEE INTERNATIONAL CONFERENCE ON THE ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS. Breitman, K., Woodcock, J., Sterritt, R. & Hinchey, MG. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 153-162 10 p.

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

  153. PRINCIPAL COMPONENT ANALYSIS OF SPECTRAL COEFFICIENTS FOR MESH WATERMARKING

    Luo, M. & Bors, A. G., 2008, 2008 IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, PROCEEDINGS. NEW YORK: IEEE, p. 441-444 4 p.

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

  154. Parallel reinforcement learning with linear function approximation

    Grounds, M. & Kudenko, D., 2008, ADAPTIVE AGENTS AND MULTI-AGENT SYSTEMS. Tuyls, K., Nowe, A., Guessoum, Z. & Kudenko, D. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 4865 LNAI. p. 60-74 15 p.

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

  155. Parts Based Generative Models for Graphs

    White, D. & Wilson, R. C., 2008, 19TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOLS 1-6. NEW YORK: IEEE, p. 3318-3321 4 p.

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

  156. Parts based generative models for graphs

    White, D. & Wilson, R. C., 8 Dec 2008, p. 1-4.

    Research output: Contribution to conferencePaperpeer-review

  157. Pattern Vectors from the Ihara Zeta Function

    Ren, P., Wilson, R. C. & Hancock, E. R., 2008, 19TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOLS 1-6. NEW YORK: IEEE, p. 2495-2498 4 p.

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

  158. Plan-based Reward Shaping for Reinforcement Learning

    Grzes, M. & Kudenko, D., 2008, 2008 4TH INTERNATIONAL IEEE CONFERENCE INTELLIGENT SYSTEMS, VOLS 1 AND 2. NEW YORK: IEEE, Vol. 3. p. 416-423 8 p.

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

  159. Policy Evolution with Genetic Programming: a Comparison of Three Approaches

    Lim, Y. T., Cheng, P. C., Clark, J. A. & Rohatgi, P., 2008, 2008 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-8. NEW YORK: IEEE, p. 1792-1800 9 p.

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

  160. Policy Evolution with Grammatical Evolution

    Linn, Y. T., Cheng, P. C., Clark, J. A. & Rohatgi, P., 2008, SIMULATED EVOLUTION AND LEARNING, PROCEEDINGS. Li, X., Kirley, M., Zhang, M., Green, D., Ciesielski, V., Abbass, H., Michalewicz, Z., Hendtlass, T., Deb, K., Tan, KC., Branke, J. & Shi, Y. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5361 LNAI. p. 71-80 10 p.

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

  161. Policy evolution with genetic programming

    Lim, YT., Cheng, PC. & Clark, J. A., 2008.

    Research output: Contribution to conferencePaper

  162. Polytopal Graph Complexity, Matrix Permanents, and Embedding

    Escolano, F., Hancock, E. R. & Lozano, M. A., 2008, STRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION. DaVitoria Lobo, N., Kasparis, T., Roli, F., Kwok, JT., Georgiopoulos, M., Anagnostopoulos, GC. & Loog, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5342 LNCS. p. 237-246 10 p.

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

  163. Practical Distributed Processing

    Brooke, P. J. & Paige, R. F., 2008, Springer. 262 p. (Undergraduate Topics in Computer Science)

    Research output: Book/ReportBook

  164. Predictable Out-of-order Execution Using Virtual Traces

    Whitham, J. & Audsley, N., 2008, RTSS: 2008 REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 445-455 11 p.

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

  165. Priority Assignment for Real-Time Wormhole Communication in On-Chip Networks

    Shi, Z. & Burns, A., 2008, p. 421-430.

    Research output: Contribution to conferencePaperpeer-review

  166. Priority Assignment for Real-Time Wormhole Communication in On-Chip Networks

    Shi, Z. & Burns, A., 2008, RTSS: 2008 REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 421-430 10 p.

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

  167. Processing group parameters in the real-time specification for Java

    Wellings, A. J. & Kim, M. S., 2008, Proceedings of the 6th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2008, 24-26 September 2008, Santa Clara, California, USA. Bollella, G. & Locke, C. D. (eds.). ACM, Vol. 343. p. 3-9 7 p. (ACM International Conference Proceeding Series).

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

  168. Protein folding with stochastic L-Systems

    Danks, G., Stepney, S. & Caves, L., 2008, p. 150-157.

    Research output: Contribution to conferencePaper

  169. Quantitative Evaluation on Heat Kernel Permutation Invariants

    Xiao, B., Wilson, R. C. & Hancock, E. R., 2008, STRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION. DaVitoria Lobo, N., Kasparis, T., Roli, F., Kwok, JT., Georgiopoulos, M., Anagnostopoulos, GC. & Loog, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5342 LNCS. p. 217-226 10 p.

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

  170. Quantum Illumination with Gaussian States

    Tan, S-H., Erkmen, B. I., Giovannetti, V., Guha, S., Lloyd, S., Maccone, L., Pirandola, S. & Shapiro, J. H., 18 Dec 2008

    Letter in Physical Review Letters

  171. RBF shape histograms and their application to 3D face processing

    Pears, N., 2008, p. 1-8.

    Research output: Contribution to conferencePaperpeer-review

  172. Ranking the Local Invariant Features for the Robust Visual Saliencies

    Xia, S., Ren, P. & Hancock, E. R., 2008, 19TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOLS 1-6. NEW YORK: IEEE, p. 3173-3176 4 p.

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

  173. Real-Time Communication Analysis for On-Chip Networks with Wormhole Switching

    Shi, Z. & Burns, A., 1 Apr 2008, p. 161 -170.

    Research output: Contribution to conferencePaperpeer-review

  174. Recognising Facial Expressions Using Spherical Harmonics

    Sharpe, J. & Hancock, E. R., 2008, p. 157-166.

    Research output: Contribution to conferencePaperpeer-review

  175. Recognising Facial Expressions Using Spherical Harmonics

    Sharpe, J. & Hancock, E. R., 2008, STRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION. DaVitoria Lobo, N., Kasparis, T., Roli, F., Kwok, JT., Georgiopoulos, M., Anagnostopoulos, GC. & Loog, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5342 LNCS. p. 157-166 10 p.

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

  176. Recovering Face Shape and Reflectance Properties from Single Images

    Smith, W. A. P. & Hancock, E. R., 2008, 2008 8TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATIC FACE & GESTURE RECOGNITION (FG 2008), VOLS 1 AND 2. NEW YORK: IEEE, p. 178-185 8 p.

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

  177. Remove this!

    Nasios, N. & Bors, AG., 2008, en.scientificcommons.org.

    Research output: Book/ReportBook

  178. Reputation Attacks in Mediated and Automated Systems

    Rabaiotti, JR., Chivers, H. & Clark, J. A., 2008.

    Research output: Contribution to conferencePaperpeer-review

  179. Research Method for Human-Computer Interaction

    Cairns, P. A. (ed.) & Cox, A. L. (ed.), 2008, Cambridge University Press. 264 p.

    Research output: Book/ReportBook

  180. Research methods for HCI

    Cox, A. L., Cairns, P. A., Thimbleby, H. W. & Webb, N., 2008, p. 221-222.

    Research output: Contribution to conferencePaperpeer-review

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

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

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

  182. Reviewing and Evaluating Automatic Term Recognition Techniques

    Korkontzelos, I., Klapaftis, I. P. & Manandhar, S., 2008, p. 248-259.

    Research output: Contribution to conferencePaperpeer-review

  183. Reviewing and evaluating Automatic Term Recognition techniques

    Korkontzelos, I., Klapaftis, L. P. & Manandhar, S., 2008, ADVANCES IN NATURAL LANGUAGE PROCESSING, PROCEEDINGS. Nordstrom, B. & Ranta, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5221 LNAI. p. 248-259 12 p.

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

  184. Robustness Analysis of SARSA(lambda): Different Models of Reward and Initialisation

    Grzes, M. & Kudenko, D., 2008, p. 144-156.

    Research output: Contribution to conferencePaperpeer-review

  185. Robustness analysis of SARSA(lambda): Different models of reward and initialisation

    Grzes, M. & Kudenko, D., 2008, ARTIFICIAL INTELLIGENCE: METHODOLOGY, SYSTEMS, AND APPLICATIONS. Dochev, D., Pistore, M. & Traverso, P. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 144-156 13 p.

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

  186. Run Time Detection of Blocking Time Violations in Real-Time Systems

    dos Santos, O. M. & Wellings, A., 2008, RTCSA 2008: 14TH IEEE INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS - PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 347-356 10 p.

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

  187. Schemas in Directed Emergent Drama

    Arinbjarnar, M. & Kudenko, D., 2008, INTERACTIVE STORYTELLING, PROCEEDINGS. Spierling, U. & Szilas, N. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5334 LNCS. p. 180-185 6 p.

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

  188. Schemas in Directed Emergent Drama

    Arinbjarnar, M. & Kudenko, D., 2008, p. 180-185.

    Research output: Contribution to conferencePaperpeer-review

  189. Searching for resource-efficient programs: low-power pseudorandom number generators

    White, D. R., Clark, J. A., Jacob, J. & Poulding, S. M., 2008, p. 1775-1782.

    Research output: Contribution to conferencePaperpeer-review

  190. Security of two-way quantum cryptography against asymmetric attacks - art. no. 709215

    Pirandola, S., Mancini, S., Lloyd, S. & Braunstein, S. L., 2008, p. 9215.

    Research output: Contribution to conferencePaperpeer-review

  191. Segmentation of Biological Cell Images for Sonification

    Edwards, A. D. N., Hines, G. & Hunt, A., 1 May 2008, p. 128 -132.

    Research output: Contribution to conferencePaperpeer-review

  192. Simulating biology: towards understanding what the simulation shows

    Andrews, P. S., Polack, F., Sampson, A. T., Timmis, J. & Coles, M., 2008, p. 93-123.

    Research output: Contribution to conferencePaper

  193. Simulation and Prediction in Safety Case Evidence

    Alexander, R. & Kelly, T., 2008.

    Research output: Contribution to conferencePaper

  194. SmallCheck and Lazy SmallCheck automatic exhaustive testing for small values

    Runciman, C., Naylor, M. & Lindblad, F., 2008, HASKELL'08: PROCEEDINGS OF THE ACM SIGPLAN 2008 HASKELL SYMPOSIUM. NEW YORK: ASSOC COMPUTING MACHINERY, p. 37-48 12 p.

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

  195. Software project similarity measurement based on fuzzy C-means

    Azzeh, M., Neagu, D. & Cowling, P., 2008, International Conference on software process. p. 123-134 12 p.

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

  196. Solving quantified constraint satisfaction problems

    Gent, I. P., Nightingale, P., Rowley, A. & Stergiou, K., 1 Apr 2008

    Article in Artificial Intelligence

  197. Special track on Coordination Models, Languages and Architectures: editorial message

    Schumacher, M. I. & Wood, A., 2008, p. 80-81.

    Research output: Contribution to conferenceOther

  198. Spectral Embedding of Feature Hypergraphs

    Ren, P., Wilson, R. C. & Hancock, E. R., 2008, STRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION. DaVitoria Lobo, N., Kasparis, T., Roli, F., Kwok, JT., Georgiopoulos, M., Anagnostopoulos, GC. & Loog, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5342 LNCS. p. 308-317 10 p.

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

  199. Strengthening inferred specifications using search based testing

    Ghani, K. & Clark, JA., 2008.

    Research output: Contribution to conferencePaperpeer-review

  200. Structuring Safety Cases for Autonomous Systems

    Alexander, R., Herbert, N. & Kelly, T., 2008.

    Research output: Contribution to conferencePaper

  201. Supervised Principal Geodesic Analysis on Facial Surface Normals for Gender Classification

    Wu, J., Smith, W. A. P. & Hancock, E. R., 2008, STRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION. DaVitoria Lobo, N., Kasparis, T., Roli, F., Kwok, JT., Georgiopoulos, M., Anagnostopoulos, GC. & Loog, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5342 LNCS. p. 664-673 10 p.

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

  202. Supporting the support workers: training and supporting support workers for students with disabilities through e-learning, online resources and communication

    Sannia, M., Petrie, H., Power, C. D. & Swallow, D., 2008, Conference on Interactive Computer Aided Learning 2008. Kassel University Press

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

  203. Survivability Management for Integrated Modular Safety-Critical Space Systems

    Montano, G. & McDermid, J. A., 2008, Proceedings of the 3rd International Association for the Advancement of Space Safety (IAASS 2008). Roma (Italy). 21-23 October 2008. International Association for the Advancement of Space Safety

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

  204. The Epsilon Generation Language

    Rose, L. M., Paige, R. F., Kolovos, D. S. & Polack, F. A. C., 2008, MODEL DRIVEN ARCHITECTURE - FOUNDATIONS AND APPLICATIONS, PROCEEDINGS. Schieferdecker, I. & Hartman, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5095 LNCS. p. 116 16 p.

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

  205. The Epsilon Generation Language

    Rose, L. M., Paige, R. F., Kolovos, D. S. & Polack, F. A. C., 2008, p. 1--16.

    Research output: Contribution to conferencePaperpeer-review

  206. The Epsilon Transformation Language

    Kolovos, D. S., Paige, R. F. & Polack, F. A. C., 2008, THEORY AND PRACTICE OF MODEL TRANSFORMATIONS. Vallecillo, A., Gray, J. & Pierantonio, A. (eds.). NEW YORK: Springer, Vol. 5063 LNCS. p. 46-60 15 p.

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

  207. The Epsilon Transformation Language

    Kolovos, D. S., Paige, R. F. & Polack, F., 2008, Theory and Practice of Model Transformations : First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008 Proceedings. Springer, p. 46-60 (Lecture Notes in Computer Science; vol. 5063).

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

  208. The GP Programming System

    Manning, G. & Plump, D., 2008, Proceedings of the Seventh International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008). p. 1-13 (Electronic Communications of the EASST; vol. 10).

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

  209. The Grand Challenge of Scalability for Model Driven Engineering

    Kolovos, D. S., Paige, R. F. & Polack, F., 2008, p. 48-53.

    Research output: Contribution to conferencePaperpeer-review

  210. The Miracle of Reactive Programming

    Woodcock, J., 2008, p. 202-217.

    Research output: Contribution to conferencePaperpeer-review

  211. The Reduceron: Widening the von Neumann Bottleneck for Graph Reduction using an FPGA

    Naylor, M. & Runciman, C., 2008, p. 129-146.

    Research output: Contribution to conferencePaper

  212. The Reduceron: Widening the von Neumann bottleneck for graph reduction using an FPGA

    Naylor, M. & Runciman, C., 2008, IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES. Chitil, O., Horvath, Z. & Zsok, V. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5083 LNCS. p. 129-146 18 p.

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

  213. The Role of Dependency Links in Ensuring Architectural View Consistency

    Radjenovic, A. & Paige, R. F., 2008, p. 199-208. 9 p.

    Research output: Contribution to conferencePaperpeer-review

  214. The challenges faced by academia preparing students for industry: what we teach and what we do

    Oshlyansky, L., Cairns, P. A., Sasse, A. & Harrison, C., 2008, p. 203-204.

    Research output: Contribution to conferencePaperpeer-review

  215. The insecticidal activity of recombinant garlic lectins towards aphids

    Fitches, E., Wiles, D., Douglas, A. E., Hinchliffe, G., Audsley, N. & Gatehouse, J. A., Oct 2008

    Article in Insect Biochemistry and Molecular Biology

  216. The pathways of complement

    Aitken, J. M., Clarke, T. & Timmis, J. I., 2008, Lecture Notes in Computer Science: Artificial Immune Systems. Springer Berlin / Heidelberg, Vol. 5132. p. 364-375 12 p.

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

  217. There's always one! modelling outlying user performance

    Schiller, J. & Cairns, P. A., 2008, p. 3513-3518.

    Research output: Contribution to conferencePaperpeer-review

  218. There's always one! Modelling outlying user performance

    Schiller, J. & Cairns, P., 2008, Conference on Human Factors in Computing Systems - Proceedings. p. 3513-3518 6 p.

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

  219. Threat Modelling in User Performed Authentication

    Dong, X., Clark, J. A. & Jacob, J. L., 2008, INFORMATION AND COMMUNICATIONS SECURITY, PROCEEDINGS. Chen, L., Ryan, MD. & Wang, G. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5308 LNCS. p. 49-64 16 p.

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

  220. TinyOS extensions for a wireless sensor network node based on a dynamically reconfigurable processor

    Ochirsuren, E., Hinkelmann, H., Indrusiak, L. S. & Glesner, M., 2008, Distributed Embedded Systems: Design, Middleware and Resources. LAXENBURG: IFIP - International Federation for Information Processing, Vol. 271. p. 161-170 10 p.

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

  221. Towards Agile Engineering of High-Integrity Systems

    Paige, R. F., Charalambous, R., Ge, X. & Brooke, P. J., 2008, COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS. Harrison, MD. & Sujan, MA. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5219 LNCS. p. 30-43 14 p.

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

  222. Towards Agile Engineering of High-Integrity Systems

    Paige, R. F., Charalambous, R., Ge, X. & Brooke, P. J., 2008, p. 30-43. 13 p.

    Research output: Contribution to conferencePaperpeer-review

  223. Towards a generic autonomic architecture for legacy resource management

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

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

  224. Towards an Executable Model of Auxin Transport Canalisation

    Garnett, P., Stepney, S. & Leyser, O., 2008, p. 63-91.

    Research output: Contribution to conferencePaper

  225. Traces as a Solution to Pessimism and Modeling Costs in WCET Analysis

    Whitham, J. & Audsley, N. C., 2008, 8th International Workshop on Worst-Case Execution Time (WCET) Analysis: Prague, Czech Republic, July 1, 2008. Kirner, R. (ed.). Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, Vol. 8. (OASICS).

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

  226. Tuning Protocols To Improve The Energy Efficiency Of Sensornets

    Tate, J., Bate, I. & Poulding, S., 1 Sep 2008, Fourth UK Embedded Forum.

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

  227. UTP Semantics for Handel-C

    Perna, J. I. & Woodcock, J., 2008, p. 142-160.

    Research output: Contribution to conferencePaperpeer-review

  228. Unifying Theories of Interrupts

    McEwan, A. A. & Woodcock, J., 2008, p. 122-141.

    Research output: Contribution to conferencePaperpeer-review

  229. Unit Testing Model Management Operations

    Kolovos, D. S., Paige, R. F., Rose, L. M. & Polack, F. A. C., 2008.

    Research output: Contribution to conferencePaperpeer-review

  230. Untitled

    Barkaoui, K., Broy, M., Cavalcanti, A. & Cerone, A., Jul 2008

    Editorial in Formal Aspects of Computing

  231. User Behaviour Based Phishing Websites Detection

    Dong, X., Clark, J. A. & Jacob, J. L., 2008, 2008 INTERNATIONAL MULTICONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGY (IMCSIT), VOLS 1 AND 2. Ganzha, M., Paprzycki, M. & PelechPilichowski, T. (eds.). NEW YORK: IEEE, Vol. 3. p. 728-735 8 p.

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

  232. Using Bayes Theorem for Path Prediction

    Baker, R., Cowling, P., Randall, T. & Jiang, P., 2008, 9th Informatics Research Workshop for Research Students, University of Bradford, UK.

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

  233. Using trace scratchpads to reduce execution times in predictable real-time architectures

    Whitham, J. & Audsley, N., 2008, PROCEEDINGS OF THE 14TH IEEE REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM. LOS ALAMITOS: IEEE COMPUTER SOC, p. 305-316 12 p.

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

  234. Utilising Application Flexibility in Energy Aware Computing

    Bate, I., 2008, RTCSA 2008: 14TH IEEE INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS - PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 285-290 6 p.

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

  235. Utilising Application Flexibility in Energy Aware Computing

    Bate, I., 2008, 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications. p. 285-290 6 p.

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

  236. Validation of Executable Application Models Mapped onto Network-on-Chip Platforms

    Määttä, S., Indrusiak, L. S., Ost, L., Moller, L., Nurmi, J., Glesner, M. & Moraes, F., 2008, Int Symposium on Industrial Embedded Systems. New York: IEEE, p. 118-125 8 p.

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

  237. Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings

    Shankar, N. (ed.) & Woodcock, J. (ed.), 2008, Springer. (Lecture Notes in Computer Science; vol. 5295)

    Research output: Book/ReportBook

  238. WHERE? Risk, Uncertainty and Software Safety

    McDermid, J. A., 2008.

    Research output: Contribution to conferencePaper

  239. WHERE? Through Life Safety Management: Some Concepts and Issues: Some Concepts and Issues

    McDermid, J. A., 2008.

    Research output: Contribution to conferencePaperpeer-review

  240. WSRF-based modeling of clinical trial information for collaborative cancer research

    Zang, T., Calinescu, R., Harris, S., Tsui, A., Kwiatkowska, M., Gibbons, J., Davies, J., Maccallum, P. & Caldas, C., 5 Sep 2008, Proceedings CCGRID 2008 - 8th IEEE International Symposium on Cluster Computing and the Grid. p. 73-81 9 p. 4534204

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

  241. Web Accessibility: Automatic/Manual Evaluation and Authoring Tools

    Petrie, H., Power, C. & Weber, G., 2008, p. 334-337.

    Research output: Contribution to conferencePaperpeer-review

  242. Web accessibility - Automatic/manual evaluation and authoring tools - Introduction to the special thematic session

    Petrie, H., Power, C. & Weber, G., 2008, COMPUTERS HELPING PEOPLE WITH SPECIAL NEEDS, PROCEEDINGS. Miesenberger, K., Klaus, J., Zagler, W. & Karshmer, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5105 LNCS. p. 334-337 4 p.

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

  243. Who Supports the Support Workers? e-Learning for Support Workers of Students With Disabilities

    Power, C., Petrie, H., Swallow, D. & Sannia, M., 2008, 7TH EUROPEAN CONFERENCE ON E-LEARNING, VOL 2. Willimas, R. & Remenyi, D. (eds.). NR READING: ACADEMIC CONFERENCES LTD, p. 304-312 9 p.

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

  244. Word Sense Induction Using Graphs of Collocations

    Klapaftis, I. P. & Manandhar, S., 2008, Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence . Amsterdam: IOS Press, p. 298-302 4 p.

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

  245. YASS: a Scaleable Sensornet Simulator for Large Scale Experimentation

    Tate, J. & Bate, I., 1 Sep 2008, Communicating Process Architectures 2008. Welch, PH., Stepney, S., Polack, FAC., Barnes, FRM., McEwan, AA. & Stiles, GS. (eds.). AMSTERDAM: I O S PRESS, p. 411-430 20 p.

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