Search research publications and outputs

  1. Conference article › Research › Peer-reviewed
  2. Review article › Research › Peer-reviewed
  3. A magnetic evaluation of interaction and noise characteristics of CoNiCr thin films

    Mayo, P. I., O'Grady, K., Kelly, P. E., Cambridge, J., Sanders, I. L., Yogi, T. & Chantrell, R. W., 1991

    Review article in Journal of Applied Physics

  4. Advances in photonic quantum sensing

    Pirandola, S., Bardhan, B. R., Gehring, T., Weedbrook, C. & Lloyd, S., 1 Dec 2018

    Review article in Nature photonics

  5. Chemotherapy for advanced ovarian cancer

    Advanced Ovarian Cancer Trialists Group, 25 Jan 1999

    Review article in Cochrane Database of Systematic Reviews

  6. Chapter (peer-reviewed) › Research › Peer-reviewed
  7. A Metamodel for the Evolution of Evolution

    Andrews, PAUL. S. & Stepney, S., 2015, European Conference of Artificial Life 2015. MIT Press, p. 621-628

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

  8. A Survey of Outlier Detection Methodologies

    Hodge, V. J. & Austin, J., 26 Sep 2013, Fundamentals of Regression Modeling. Babones, S. (ed.). (SAGE Benchmarks in Social Research Methods).

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

  9. Abstraction and representation in living organisms: when does a biological system compute?

    Horsman, D., Kendon, V., Stepney, S. & Young, P., 1 Sep 2017, Representation and Reality in Humans, Other Living Organisms and Intelligent Machines. Dodig-Crnkovic, G. & Giovagnoli, R. (eds.). Springer, p. 91-116

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

  10. Bio-Reflective Architectures for Evolutionary Innovation

    Hickinbotham, S. J. & Stepney, S., 2016, Proceedings of the Artificial Life Conference 2016. MIT Press, p. 192–199

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

  11. 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)peer-review

  12. Confluence of Graph Transformation Revisited

    Plump, D., 2005, Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday. Middledorp, A., VanOostrom, V., VanRaamsdonk, F. & DeVrijer, R. (eds.). BERLIN: Springer, p. 280-308 29 p. (Lecture Notes in Computer Science; vol. 3838).

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

  13. Conservation of matter increases evolutionary activity

    Hickinbotham, S. J. & Stepney, S., 2015, European Conference on Artificial Life 2015. MIT Press, p. 98-105

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

  14. Developing the Safety Case for MediPi: An Open-Source Platform for Self Management

    Habli, I., Carr, A., Murphy, D., Dugdale, I., Dyson, A. & Robinson, R., Apr 2017, Informatics for Health : Connected Citizen-Led Wellness and Population Health. Randell, R., Cornet, R., McCowan, C., Peek, N. & J. Scott, P. (eds.). IOS Press, p. 78-82 5 p. (Studies in Health Technology and Informatics; vol. 235).

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

  15. Emergent Bonding Properties in the Spiky RBN AChem

    Krastev, M. S., Sebald, A. A-M. & Stepney, S., 2016, Proceedings of the Artificial Life Conference 2016. MIT Press, p. 600–607

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

  16. Environmental bias forces parasitism in Tierra

    Hickinbotham, S. J. & Stepney, S., 2015, European Conference on Artificial Life 2015. MIT Press, p. 294-301

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

  17. Hypergraph Rewriting: Critical Pairs and Undecidability of Confluence

    Plump, D., 1993, Term Graph Rewriting: Theory and Practice. Sleep, R., Plasmeijer, R. & van Eekelen, M. (eds.). John Wiley, p. 201-213 13 p.

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

  18. Jordan Algebra AChems: Exploiting Mathematical Richness for Open Ended Design

    Faulkner, P. S. M., Sebald, A. A-M. & Stepney, S., 2016, Proceedings of the Artificial Life Conference 2016. MIT Press, p. 582–589

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

  19. Modular Termination of Graph Transformation

    Plump, D., Feb 2018, Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig. Heckel, R. & Taentzer, G. (eds.). Springer, p. 231-244 14 p. (Lecture Notes in Computer Science; vol. 10800).

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

  20. Probabilistic Analysis

    Maxim, D., Cucu-Grosjean, L. & Davis, R. I., 18 Feb 2019, Handbook of Real-Time Computing. Springer, p. 1-23

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

  21. Sub-Symbolic Artificial Chemistries

    Faulkner, P. S. M., Krastev, M. S., Sebald, A. A-M. & Stepney, S., 27 Oct 2017, Inspired by Nature. Springer, p. 287-322 36 p.

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

  22. Synthesis and Verification of Self-aware Computing Systems

    Calinescu, R. C., Autili, M., Cámara, J., Di Marco, A., Gerasimou, S., Inverardi, P., Perucci, A., Jansen, N., Katoen, J-P., Kwiatkowska, M., Mengshoel, O. J., Spalazzese, R. & Tivoli, M., 2017, Self-Aware Computing Systems. SPRINGER, p. 337-373 37 p.

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

  23. Templar – A Framework for Template-Method Hyper-Heuristics

    Swan, J. & Burles, N. J., 2015, Genetic Programming: 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings. Machado, P., Heywood, M., McDermott, J., Castelli, M., Garcia-Sanchez, P., Burelli, P., Risi, S. & Sim, K. (eds.). Cham: Springer International Publishing, p. 205-216 (Lecture Notes in Computer Science; vol. 9025).

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

  24. Term Graph Rewriting

    Plump, D., 1999, Handbook of Graph Grammars and Computing by Graph Transformation, Volume 2: Applications, Languages and Tools. Ehrig, H., Engels, G., Kreowski, H-J. & Rozenberg, G. (eds.). World Scientific Publishing, Vol. 2. p. 3-61

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

  25. Wallace: An efficient generic evolutionary framework

    Timperley, C. S. & Stepney, S., 2015, European Conference on Artificial Life 2015. MIT Press, p. 365-372

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

  26. Chapter (peer-reviewed) › Research › Not peer-reviewed
  27. 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)

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

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

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

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

  32. Featured article › Research
  33. Meet the Learning and Teaching Forum

    Penfold-Mounce, R. A., Quinn, S. V., Bramwell-Dicks, A. F. & Hurst, G., 2019, Forum Magazine.

    Research output: Contribution to specialist publicationFeatured article

  34. Article › Research
  35. Affective Musical Interaction: Influencing Users’ Behaviour and Experiences with Music

    Bramwell-Dicks, A. F., Petrie, H., Edwards, A. D. N. & Power, C. D., 2013, Music and Human-Computer Interaction, p. 67-83.

    Research output: Contribution to specialist publicationArticle

  36. Working paper › Research
  37. A Comparison of CS Student Backgrounds at Two Universities

    Pedroni, M. & Oriol, M., 2009.

    Research output: Working paper

  38. A Failure and Recovery Algebra

    McDermid, J. A., 1992.

    Research output: Working paper

  39. A Safe Subset of Statecharts for Safety-Critical Applications

    Shi, F. G., Armstrong, J. M. & McDermid, J. A., 17 Aug 2001.

    Research output: Working paper

  40. A Z Subset for Direct Implementation and Code Generation

    Shi, F. G., McDermid, J. A. & Armstrong, J. M., 17 Nov 2001.

    Research output: Working paper

  41. ASAM II Concepts: Principles Underlying the Construction of Safety Cases Using SAM

    McDermid, J. A., Fenelon, P. & Wilson, S. P., 16 Apr 1999.

    Research output: Working paper

  42. Ada on multiple processors

    McDermid, J. A., 1982, Royal Signals and Radar Establishment, 9 p.

    Research output: Working paper

  43. An Electronic Purse: Specification, Refinement, and Proof

    Stepney, S., Cooper, D. & Woodcock, J., 1 Jul 2000, Oxford: Oxford University Computing Laboratory.

    Research output: Working paper

  44. An Evaluation of the Ten15 Persistent Store

    Blanchard, T. D. & McDermid, J. A., 1 Dec 1992.

    Research output: Working paper

  45. An Examination of the Efficiency of Sorted Deduction

    Abrams, C. B. & Frisch, A. M., Mar 1993.

    Research output: Working paper

  46. An Introduction to ZedCharts and Its Applications

    Shi, F., McDermid, J. A. & Armstrong, J. M., 17 Jan 2002.

    Research output: Working paper

  47. An introduction to the FLEX computer system

    Foster, J. M., Moir, C. I., Currie, I. F., McDermid, J. A., Edwards, P. W., Morison, J. D. & Pygott, C. H., 1979, Defense Technical Information Center, 22 p.

    Research output: Working paper

  48. Assurance in High Integrity Software

    McDermid, J. A., 1987.

    Research output: Working paper

  49. Asynchronous Patterns for Dynamic Maintenance

    Oriol, M., 2006, Zurich: Citeseer.

    Research output: Working paper

  50. Automatic Modelling of 3D Craniofacial Form

    Pears, N. E. & Duncan, C., 22 Jan 2016, p. 1-57, 57 p.

    Research output: Working paper

  51. Comparative Data Mining for Microarrays: A Case Study Based on Multiple Myeloma

    Page, D., Zhan, F., Cussens, J., Waddell, M., Hardin, J., Barlogie, B. & Shaughnessy, Jr., J., 1 Nov 2002.

    Research output: Working paper

  52. Cryptanalysis of Song's advanced smart card based password authentication protocol

    Tapiador, J. E., Hernandez-Castro, J. C., Peris-Lopez, P. & Clark, J. A., 11 Nov 2011.

    Research output: Working paper

  53. Dependability Measurement of Safety Critical Systems

    Jackson, T. O., McDermid, J. A., Wand, I. C. & Wilikens, M., 1994.

    Research output: Working paper

  54. Dependability Measurement of Safety Critical Systems: Models and Data Refinement

    Jackson, T. O., McDermid, J. A., Wand, I. C. & Wilikens, M., 15 Sep 2000.

    Research output: Working paper

  55. Entropic Dynamic Time Warping Kernels for Co-evolving Financial Time Series Analysis

    Bai, L., Cui, L., Xu, L., Wang, Y., Zhang, Z. & Hancock, E. R., 21 Oct 2019, Arxiv (Cornell University).

    Research output: Working paper

  56. Evidence of coupling between magnon excitation and the Gilbert damping in half-metallic oxides

    Lu, X., Atkinson, L. J., Kuerbanjiang, B., Liu, B., Li, G., Wang, Y., Wang, J., Ruan, X., Wu, J., Evans, R. F. L., Lazarov, V. K., Chantrell, R. W. & Xu, Y., 30 Oct 2017, Arxiv (Cornell University).

    Research output: Working paper

  57. Fault Tolerant Computing

    McDermid, J. A., 1979, Royal Signals and Radar Establishment, 25 p.

    Research output: Working paper

  58. Fundamental Limits of Repeaterless Quantum Communications

    Pirandola, S., Laurenza, R., Ottaviani, C. & Banchi, L., 29 Oct 2015, p. 1-34, 34 p.

    Research output: Working paper

  59. Further Inductive Mercury Programming and IMP0.5

    Fisher, B. & Cussens, J., 1 Mar 2009.

    Research output: Working paper

  60. General Benchmarks for Quantum Repeaters

    Pirandola, S. & Laurenza, R., 15 Dec 2015, p. 1-12, 12 p.

    Research output: Working paper

  61. Graph Convolutional Neural Networks based on Quantum Vertex Saliency

    Bai, L., Jiao, Y., Rossi, L., Cui, L., Cheng, J. & Hancock, E. R., 4 Sep 2018, (arXiv).

    Research output: Working paper

  62. Guiding Reuse with Risk Assessments

    Burd, E. L. & McDermid, J. A., 1992.

    Research output: Working paper

  63. Handling Composition of Systems Using Matrices

    Shi, Q., McDermid, J. A. & Moffett, J. D., 1 Jan 1992.

    Research output: Working paper

  64. How Discord underlies the Noise Resilience of Quantum Illumination

    Weedbrook, C., Pirandola, S., Thompson, J., Vedral, V. & Gu, M., 11 Dec 2013, p. 1-7.

    Research output: Working paper

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

    de Beaudrap, N., Giovannetti, V., Severini, S. & Wilson, R., 30 Apr 2013, p. 1-7.

    Research output: Working paper

  66. Learning Aligned-Spatial Graph Convolutional Networks for Graph Classification

    Bai, L., Jiao, Y., Cui, L. & Hancock, E. R., 6 Apr 2019, (arXiv).

    Research output: Working paper

  67. Learning Safe Neural Network Controllers with Barrier Certificates

    Zhao, H., Zeng, X., Chen, T., Liu, Z. & Woodcock, J., 18 Sep 2020, (CoRR).

    Research output: Working paper

  68. Learning Vertex Convolutional Networks for Graph Classification

    Bai, L., Cui, L., Wu, S., Jiao, Y. & Hancock, E. R., 26 Feb 2019, (arXiv).

    Research output: Working paper

  69. Metrics for Computing Trust in a Multi-Agent Environment

    Bista, S. K., Dahal, K. P., Cowling, P. I. & Tuladhar, B. M., 2013.

    Research output: Working paper

  70. Modular Dynamics of Financial Market Networks

    Silva, F. N., Comin, C. H., Peron, T. K. D., Rodrigues, F. A., Ye, C., Wilson, R. C., Hancock, E. & Costa, L. . F., 21 Jan 2015, p. 1-13, 13 p.

    Research output: Working paper

  71. Non-Markovian Reactivation of Quantum Relays

    Pirandola, S., Ottaviani, C., Jacobsen, C. S., Spedalieri, G., Braunstein, S. L., Gehring, T. & Andersen, U. L., 27 May 2015, p. 1-7, 7 p.

    Research output: Working paper

  72. On the Trustworthiness of Computing Systems

    Dobson, J. E., McDermid, J. A. & Randell, B., 1990.

    Research output: Working paper

  73. Optimal Performance of a Quantum Network

    Pirandola, S., 5 Jan 2016.

    Research output: Working paper

  74. Production of Hierarchic Checkpoint Structures

    McDermid, J. A., 1980, Royal Signals and Radar Establishment.

    Research output: Working paper

  75. Requirements and Constraints on Software Engineering Environments for Dependable Systems

    McDermid, J. A., Hocking, E. S., Shi, Q. & Dobson, J. E., 1990.

    Research output: Working paper

  76. Reuse as a Project Management Tool

    Burd, E. L. & McDermid, J. A., 1992.

    Research output: Working paper

  77. Security Models and Enterprise Models

    Dobson, J. E. & McDermid, J. A., 1989.

    Research output: Working paper

  78. Some Issues in The Formal Design of Redundant Systems

    McDermid, J. A. & Morgan, G., 1989.

    Research output: Working paper

  79. Specification and Design for Timeliness

    Kopetz, H., Fohler, G., Kantz, H., Schuetz, W., Zainlinger, R., Burns, A., McDermid, J. A. & Bhattacharyya, A., 1990.

    Research output: Working paper

  80. Super-Additivity and Entanglement Assistance in Quantum Reading

    Lupo, C. & Pirandola, S., 4 Mar 2016.

    Research output: Working paper

  81. The Analysis of Safety Arguments in the Specification of a Motor Speed Control Loop

    Clarke, S. J., Coombes, A. & McDermid, J. A., 1990.

    Research output: Working paper

  82. The Language of Causation for Describing the Behaviour of Systems

    Moffett, J. D., Hall, J. G. & McDermid, J. A., 19 Oct 2003.

    Research output: Working paper

  83. The Probe Project

    Blanchard, T. D. & McDermid, J. A., 1992.

    Research output: Working paper

  84. Thermal Quantum Metrology

    Spedalieri, G., Braunstein, S. L. & Pirandola, S., 18 Feb 2016.

    Research output: Working paper

  85. Toward Practical Dynamic Software Updating

    Neamtiu, I., Stoyle, G., Oriol, M. & Hicks, M., 2005, College Park: Citeseer.

    Research output: Working paper

  86. Unraveling the Evolution of Defectors in Online Business Games

    Bista, S. K., Dahal, K. P., Cowling, P. I. & Tuladhar, B. M., 2013.

    Research output: Working paper

  87. What is Integration and do IPSEs Provide It?

    Brown, A. W. & McDermid, J. A., 1991.

    Research output: Working paper

  88. XVDM - Exercise and Execute VDM Directly

    Heping, H., Mander, K. C. & McDermid, J. A., 1990.

    Research output: Working paper

  89. Other chapter contribution › Research
  90. A Continuous-Time Quantum Walk Kernel for Unattributed Graphs

    Rossi, L., Torsello, A. & Hancock, E. R., 2013, Graph-Based Representations in Pattern Recognition. Kropatsch, W., Artner, N., Haxhimusa, Y. & Jiang, X. (eds.). Springer Berlin / Heidelberg, Vol. 7877. p. 101-110 (Lecture Notes in Computer Science).

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

  91. A Fast Jensen-Shannon Subgraph Kernel

    Bai, L. & Hancock, E. R., 2013, Image Analysis and Processing – ICIAP 2013. Petrosino, A. (ed.). PART 1 ed. Springer Berlin / Heidelberg, Vol. 8156. p. 181-190 (Lecture Notes in Computer Science).

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

  92. A Graph Embedding Method Using the Jensen-Shannon Divergence

    Bai, L., Hancock, E. R. & Han, L., 2013, Computer Analysis of Images and Patterns. Wilson, R., Hancock, E., Bors, A. & Smith, W. (eds.). PART 1 ed. Springer Berlin / Heidelberg, Vol. 8047. p. 102-109 (Lecture Notes in Computer Science).

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

  93. A Quantum Jensen-Shannon Graph Kernel Using the Continuous-Time Quantum Walk

    Bai, L., Hancock, E. R., Torsello, A. & Rossi, L., 2013, Graph-Based Representations in Pattern Recognition. Kropatsch, W., Artner, N., Haxhimusa, Y. & Jiang, X. (eds.). Springer Berlin / Heidelberg, Vol. 7877. p. 121-131 (Lecture Notes in Computer Science).

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

  94. A re-characterization of hyper-heuristics

    Swan, J., De Causmaecker, P., Martin, S. & Özcan, E., 19 Sep 2017, (Accepted/In press) Recent Developments of Metaheuristics. L. Amodeo E-G. Talbi, F. Y. (ed.). Springer, p. 1-16 16 p.

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

  95. Abstraction and reformulation in the generation of constraint models - (Extended abstract)

    Frisch, A. M., 2007, Abstraction, Reformulation, and Approximation, Proceedings. Miguel, I. & Ruml, W. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 23 2 p.

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

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

  97. Analysis of Wave Packet Signature of a Graph

    Aziz, F., Wilson, R. C. & Hancock, E. R., 2013, Computer Analysis of Images and Patterns. Wilson, R., Hancock, E., Bors, A. & Smith, W. (eds.). PART 1 ed. Springer Berlin / Heidelberg, Vol. 8047. p. 128-136 (Lecture Notes in Computer Science).

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

  98. Analysis of the Schrödinger Operator in the Context of Graph Characterization

    Suau, P., Hancock, E. R. & Escolano, F., 2013, Similarity-Based Pattern Recognition. Hancock, E. & Pelillo, M. (eds.). Springer Berlin / Heidelberg, Vol. 7953. p. 190-203 (Lecture Notes in Computer Science).

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

  99. Assurance in High-Integrity Software

    McDermid, J. A. & Sennett, C. T. (ed.), 1989, High-integrity software. Pitman, p. 226-273 48 p.

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

  100. Attributed Graph Similarity from the Quantum Jensen-Shannon Divergence

    Rossi, L., Torsello, A. & Hancock, E. R., 2013, Similarity-Based Pattern Recognition. Hancock, E. & Pelillo, M. (eds.). Springer Berlin / Heidelberg, Vol. 7953. p. 204-218 (Lecture Notes in Computer Science).

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

  101. Automatically Detecting Fallacies in System Safety Arguments

    Kelly, T., Wells, S., Yuan, T. & Manandhar, S., 2015, Proceedings of the 15th International Workshop on Computation Models of Natural Argument. p. 1-10 10 p.

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

  102. Birds of a feather Group on Safety Critical Systems

    Cullyer, W. J., McDermid, J. A., Halang, W. A. (ed.) & Stoyenko, A. D. (ed.), 1993, Real-Time Computing. Springer-verlag, p. 755-756 2 p.

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

  103. Complexity Fusion for Indexing Reeb Digraphs

    Escolano, F., Hancock, E. R. & Biasotti, S., 2013, Computer Analysis of Images and Patterns. Wilson, R., Hancock, E., Bors, A. & Smith, W. (eds.). PART 1 ed. Springer Berlin / Heidelberg, Vol. 8047. p. 120-127 (Lecture Notes in Computer Science).

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

  104. Deductive Reasoning and Statistical Inference

    Cussens, J., 2005, Encyclopedia of Statistics in Behavioral Science. Chichester: John Wiley & Sons

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

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

  106. Discovering Relational Structure in Program Synthesis Problems with Analogical Reasoning

    Swan, J. & Krawiec, K., 1 Jul 2016, Genetic Programming Theory and Practice XIV. Riolo, R., Tozier, B. & Goldman, B. (eds.). Ann Arbor, USA: Springer, (Genetic and Evolutionary Computation).

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

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

  108. Eigenvector Sign Correction for Spectral Correspondence Matching

    Haseeb, M. & Hancock, E. R., 2013, Image Analysis and Processing – ICIAP 2013. Petrosino, A. (ed.). PART 2 ed. Springer Berlin / Heidelberg, Vol. 8157. p. 41-50 (Lecture Notes in Computer Science).

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

  109. Entropy and Heterogeneity Measures for Directed Graphs

    Ye, C., Wilson, R. C., Comin, C., F. Costa, L. & Hancock, E. R., 2013, Similarity-Based Pattern Recognition. Hancock, E. & Pelillo, M. (eds.). Springer Berlin / Heidelberg, Vol. 7953. p. 219-234 (Lecture Notes in Computer Science).

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

  110. Estimating Complex Refractive Index Using Ellipsometry

    Saman, G. & Hancock, E. R., 2013, Image Analysis and Processing – ICIAP 2013. Petrosino, A. (ed.). PART 1 ed. Springer Berlin / Heidelberg, Vol. 8156. p. 201-210 (Lecture Notes in Computer Science).

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

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

  112. Experiments in Inductive Chart Parsing

    Cussens, J. & Pulman, S., 2000, Learning Language in Logic. Cussens, J. & Dzeroski, S. (eds.). SPRINGER, Vol. 1925. (LNAI).

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

  113. Formal Refinement in SysML

    Miyazawa, A. & Cavalcanti, A. L. C., 2014, 11th International Conference on Integrated Formal Methods: Proceedings. Albert, E. & Sekerinski, E. (eds.). SPRINGER, p. 155-170 16 p. (Lecture Notes in Computer Science; vol. 8739).

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

  114. Gaussian Wave Packet on a Graph

    Aziz, F., Wilson, R. C. & Hancock, E. R., 2013, Graph-Based Representations in Pattern Recognition. Kropatsch, W., Artner, N., Haxhimusa, Y. & Jiang, X. (eds.). Springer Berlin / Heidelberg, Vol. 7877. p. 224-233 (Lecture Notes in Computer Science).

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

  115. Graph Characteristics from the Schrödinger Operator

    Suau, P., Hancock, E. R. & Escolano, F., 2013, Graph-Based Representations in Pattern Recognition. Kropatsch, W., Artner, N., Haxhimusa, Y. & Jiang, X. (eds.). Springer Berlin / Heidelberg, Vol. 7877. p. 172-181 (Lecture Notes in Computer Science).

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

  116. Graph Characterization Using Gaussian Wave Packet Signature

    Aziz, F., Wilson, R. C. & Hancock, E. R., 2013, Similarity-Based Pattern Recognition. Hancock, E. & Pelillo, M. (eds.). Springer Berlin / Heidelberg, Vol. 7953. p. 176-189 (Lecture Notes in Computer Science).

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

  117. Heterogeneity Index for Directed Graphs

    Ye, C., Wilson, R. C. & Hancock, E. R., 2013, Computer Analysis of Images and Patterns. Wilson, R., Hancock, E., Bors, A. & Smith, W. (eds.). PART 2 ed. Springer Berlin / Heidelberg, Vol. 8048. p. 424-431 (Lecture Notes in Computer Science).

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

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

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

  120. Information-Theoretic Dissimilarities for Graphs

    Escolano, F., Hancock, E. R., Liu, M. & Lozano, M., 2013, Similarity-Based Pattern Recognition. Hancock, E. & Pelillo, M. (eds.). Springer Berlin / Heidelberg, Vol. 7953. p. 90-105 (Lecture Notes in Computer Science).

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

  121. Integrating Probabilistic and Logical Reasoning

    Cussens, J., 2001, Foundations of Bayesianism. Corfield, D. & Williamson, J. (eds.). Dordrecht: Kluwer, Vol. 24. p. 241-260 20 p. (Applied Logic Series).

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

  122. Leibniz on Probability and Statistics

    Cussens, J., 2014, (Accepted/In press) Oxford Handbook on Leibniz. Antognazza, M. R. (ed.). Oxford: Oxford University Press

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

  123. Logic-based Formalisms for Statistical Relational Learning

    Cussens, J., 2007, Introduction to Statistical Relational Learning. Getoor, L. & Taskar, B. (eds.). Cambridge, MA: MIT Press

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

  124. Manifold Learning and the Quantum Jensen-Shannon Divergence Kernel

    Rossi, L., Torsello, A. & Hancock, E. R., 2013, Computer Analysis of Images and Patterns. Wilson, R., Hancock, E., Bors, A. & Smith, W. (eds.). PART 1 ed. Springer Berlin / Heidelberg, Vol. 8047. p. 62-69 (Lecture Notes in Computer Science).

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

  125. Pattern Recognition with Non-Euclidean Similarities

    Hancock, E. R., Xu, E. & Wilson, R. C., 2014, Man-Machine Interactions 3. Gruca, D. A., Czach?rski, T. & Kozielski, S. (eds.). Springer International Publishing, p. 3-15 13 p. (Advances in Intelligent Systems and Computing; vol. 242).

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

  126. SAM - A Tool to Support the Construction, Review and Evolution of Safety Arguments

    Forder, J., Higgins, C., McDermid, J. A., Storrs, G., Redmill, F. (ed.) & Anderson, T. (ed.), 1993, Directions in Safety-Critical Systems: Proceedings of the First Safety-Critical Systems Symposium . Springer-Verlag, p. 195-216 22 p.

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

  127. SCJ-Circus: a refinement-oriented formal notation for Safety-Critical Java

    Miyazawa, A. & Cavalcanti, A. L. C., 2015, REFINE Workshop.

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

  128. Safety Engineering and Assurance for Real-Time Systems

    McDermid, J. A., Halong, W. A. (ed.) & Stoyenko, A. D. (ed.), 1994, Real-Time Computing. Springer-Verlag

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

  129. Security Models and Enterprise Models

    Dobson, J. E., McDermid, J. A. & Landwehr, C. (ed.), 1988, Database Security II : Status and Prospects. II ed. IFIP - International Federation for Information Processing, p. 1-36 36 p.

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

  130. Similarity Analysis from Limiting Quantum Walks

    Curado, M., Escolano, F., Hancock, E., Nourbakhsh, F., Pelillo, M. & Hancock, E. R., 2015, Similarity-Based Pattern Recognition: Third International Workshop, SIMBAD 2015, Copenhagen, Denmark, October 12–14, 2015, Proceedings. Feragen, A., Pelillo, M. & Loog, M. (eds.). Springer International Publishing, Vol. 9370. p. 38-53 16 p. (Lecture Notes in Computer Science).

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

  131. Software Deployment for Distributed Embedded Real-Time Systems of Automotive Applications

    Polzlbauer, F., Bate, I. & Brenner, E., 2014, Embedded and Real Time System Development - A Software Engineering Perspective. Springer, p. 305-328 24 p.

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

  132. Software Hazard and Safety Analysis

    McDermid, J. A., Damm, W. (ed.) & Olderog, E-R. (ed.), 2002, Formal Techniques in Real-Time and Fault-Tolerant Systems. Damn, W. & Olderog, E-R. (eds.). Springer-verlag, p. 23-36 14 p. (Lecture Notes in Computer Science; vol. 2469).

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

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

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

  135. The impact of rule ranking on the quality of associative classifiers

    Thabtah, F., Cowling, P. & Peng, Y., 2006, Research and Development in Intelligent Systems XXII. Springer London, p. 277-287 11 p.

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

  136. TurboTensors for Entropic Image Comparison

    Escolano, F., Hancock, E. R., Bonev, B. & Lozano, M. A., 2013, Graph-Based Representations in Pattern Recognition. Kropatsch, W., Artner, N., Haxhimusa, Y. & Jiang, X. (eds.). Springer Berlin / Heidelberg, Vol. 7877. p. 51-60 (Lecture Notes in Computer Science).

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

  137. Using a large set of low level heuristics in a hyperheuristic approach to personnel scheduling

    Cowling, P. I. & Chakhlevitch, K., 2007, Evolutionary Scheduling. Springer Berlin/Heidelberg, p. 543-576 34 p.

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

  138. Visualising Magnitude: Graphical Number Representations Help Users Detect Large Number Entry Errors

    Borghouts, J. W., Soboczenski, F., Cairns, P. & Brumby, D. P., 2015, HFES 2015 International Annual Meeting.

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

  139. Foreword/postscript › Research
  140. 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

  141. Conference contribution › Research
  142. "Devices are people too" - Using process patterns to elicit security requirements in novel domains: A ubiquitous healthcare example

    Liu, Y., Clark, J. A. & Stepney, S., 2005, SECURITY IN PERVASIVE COMPUTING, PROCEEDINGS. Hutter, D. & Ullmann, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 31-45 15 p.

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

  143. (True) polymorphism in SPARK2000

    Lin, T. M. & McDermid, J. A., 2000, RELIABLE SOFTWARE TECHNOLOGIES ADA-EUROPE 2000. Keller, HB. & Plodereder, E. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 252-265 14 p.

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

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

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

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

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

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

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

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

  147. 2nd International Workshop on Software Engineering Methods in Spreadsheets (SEMS 2015)

    Hermans, F., Paige, R. F. & Sestoft, P., 2015, 37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 2. Bertolino, A. (ed.). IEEE, Vol. 2. p. 1005-1006 2 p.

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

  148. 3-D terrain from synthetic aperture radar images

    Bors, A. G., Hancock, E. R. & Wilson, R. C., 2000, IEEE WORKSHOP ON COMPUTER VISION BEYOND THE VISIBLE SPECTRUM: METHODS AND APPLICATIONS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 63-72 10 p.

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

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

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

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

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

  153. 3D scene correction using disparities with its projections

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

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

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

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

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

  155. 7th International Workshop on Modeling in Software Engineering (MiSE 2015)

    Gray, J., Chechik, M., Kulkarni, V. & Paige, R. F., 2015, 37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 2. Bertolino, A. (ed.). IEEE, Vol. 2. p. 985-986 2 p.

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

  156. A BAYESIAN INTERPRETATION FOR THE HOPFIELD NETWORK

    HANCOCK, E. R. & KITTLER, J., 1993, 1993 IEEE INTERNATIONAL CONFERENCE ON NEURAL NETWORKS, VOLS 1-3. NEW YORK: I E E E, COMPUTER SOC PRESS, p. 341-346 6 p.

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

  157. A Bailout Protocol for Mixed Criticality Systems

    Bate, I., Burns, A. & Davis, R. I., 1 Jul 2015, Proceedings, 27th Euromicro Conference on Real-Time Systems: ECRTS 2015. IEEE, p. 259-268 10 p. (Euromicro Conference on Real-Time Systems).

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

  158. A Bayesian Analysis of Algorithms for Learning Finite Functions

    Cussens, J., 1995, Machine Learning: Proceedings of the Twelfth International Conference (ML95). Prieditis, A. & Russell, S. (eds.). San Francisco, CA: Morgan Kaufmann Publishers, p. 142-149 8 p.

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

  159. A Bayesian approach to 3D surface fitting and refinement.

    Turner, M. & Hancock, E. R., 1995, PROCEEDINGS OF THE 6TH BRITISH MACHINE VISION CONFERENCE 1995, VOLS 1 AND 2. Pycock, D. (ed.). GUILDFORD: B M V A PRESS, p. 67-76 10 p.

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

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

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

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

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

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

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

  162. A Circus semantics for Ravenscar protected objects

    Atiya, D. A., King, S. & Woodcock, J. C. P., 2003, FME 2003: FORMAL METHODS, PROCEEDINGS. Araki, K., Gnesi, S. & Mandrioli, D. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 617-635 19 p.

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

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

  164. A Contract-based Approach to Designing Safe Systems

    Bate, I., Hawkins, R., McDermid, J., Lindsay, P. A. & Cant, A., 2003, Proceedings of the 8th Australian Workshop on Safety Critical Systems and Software. p. 25-36 12 p.

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

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

  166. A Cross-Cultural Study of Motivations to Participate in a Crowdsourcing Project to Support People with Disabilities

    Layas, F., Petrie, H. & Power, C. D., 2015, Third AAAI Conference on Human Computation and Crowdsourcing.

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

  167. A DETAILED INVESTIGATION INTO THE EFFECTIVENESS OF EARCONS

    Brewster, S. A., Wright, P. C. & Edwards, A. D. N., 1994, AUDITORY DISPLAY. Kramer, G. (ed.). READING: ADDISON-WESLEY PUBL CO, p. 471-498 28 p.

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

  168. A DEVELOPMENT OF HAZARD ANALYSIS TO AID SOFTWARE-DESIGN

    McDermid, J. A. & Pumfrey, D. J., 1994, COMPASS '94 - PROCEEDINGS OF THE NINTH ANNUAL CONFERENCE ON COMPUTER ASSURANCE. NEW YORK: I E E E, p. 17-25 9 p.

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

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

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

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

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

  171. A Formal Model of the Safety-Critical Java Level 2 Paradigm

    Luckcuck, M. S., Cavalcanti, A. L. C. & Wellings, A. J., 24 May 2016, Integrated Formal Methods. Springer, p. 226-241 (Lecture Notes in Computer Science; vol. 9681).

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

  172. A Framework For The Evaluation Of Measurement-based Timing Analyses

    Lesage, B., Griffin, D., Soboczenski, F., Bate, I. & Davis, R. I., Nov 2015, 23rd International Conference on Real-Time Networks and Systems (RTNS): Proceedings of the 23rd International Conference on Real Time and Networks Systems. New York: ACM, p. 35-44

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

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

  174. A Framework for Scheduling in Safety-Critical Embedded Control Systems

    Bate, I. & Burns, A., 1999, 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 13-16 December 1999, Hong Kong, China. IEEE Computer Society, p. 46-53 8 p.

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

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

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

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

  176. A Functional-Logic Library for Wired

    Naylor, M., Axelsson, E. & Runciman, C., 2007, HASKELL'07: PROCEEDINGS OF THE ACM SIGPLAN 2007 HASKELL WORKSHOP. NEW YORK: ASSOC COMPUTING MACHINERY, p. 37-48 12 p.

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

  177. A Generic and Compositional Framework for Multicore Response Time Analysis

    Altmeyer, S., Davis, R. I., Soares Indrusiak, L., Maiza, C., Nelis, V. & Reineke, J., Nov 2015, RTNS '15 : Proceedings of the 23rd International Conference on Real Time and Networks Systems. ACM, p. 129-138

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

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

  179. A HIERARCHICAL EVIDENCE COMBINING EDGE DETECTOR

    HANCOCK, E. R., HAINDL, M. & KITTLER, J., 1992, PROGRESS IN IMAGE ANALYSIS AND PROCESSING II. SINGAPORE: WORLD SCIENTIFIC PUBL CO PTE LTD, p. 494-501 8 p.

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

  180. A High-Order Depth-Based Graph Matching Method

    Bai, L., Zhang, Z., Ren, P. & Hancock, E. R., 2015, Computer Analysis of Images and Patterns :16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015 Proceedings, Part I. Azzopardi, G. & Petkov, N. (eds.). SPRINGER, Vol. 9256. p. 465-476 12 p. (Lecture Notes in Computer Science; vol. 9256).

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

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

  182. A Human Ear Reconstruction Autoencoder

    Sun, H., Pears, N. E. & Dai, H., 8 Feb 2021, 16th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications. Springer International Publishing

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

  183. A Hypergraph Kernel from Isomorphism Tests

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

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

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

  185. A Java-Based Real-Time Reactive Stream Framework

    Gray, I. & Wellings, A., 2016, Proceedings of the 19th IEEE International Symposium on Real-Time Computing.

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

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

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

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

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

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

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

  190. A Markov chain model of the B-cell algorithm

    Clark, E., Hone, A. & Timmis, J., 2005, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Jacob, C., Pilat, ML., Bentley, PJ. & Timmis, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 318-330 13 p.

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

  191. A Maturity Model for Integrating Agile Processes and User Centred Design

    Paige, R. F., Mostafa, D. S. E. D. N. & Cairns, P. A., Jun 2016, Software Process Improvement and Capability Determination (SPICE). 16th International Conference ed. p. 109-122 14 p.

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

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

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

  194. A Mumford-Shah Diffusion Process for Shape-from-Shading

    Robles-Kelly, A. & Hancock, E. R., 2002, BMVC 2000.

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

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

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

  197. A New Approach to Creating Clear Safety Arguments

    Hawkins, R. D., Kelly, T., Graydon, P. J. & Knight, J., 2011, Advances in Systems Safety. SPRINGER-VERLAG LONDON LTD, p. 3-23 21 p.

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

  198. A PCI bus based correlation matrix memory and its application to k-NN classification

    Zhou, P. & Austin, J., 1999, PROCEEDINGS OF THE SEVENTH INTERNATIONAL CONFERENCE ON MICROELECTRONICS FOR NEURAL, FUZZY AND BIO-INSPIRED SYSTEMS, MICORNEURO'99. LOS ALAMITOS: IEEE COMPUTER SOC, p. 196-204 9 p.

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

  199. A Pattern for Arguing the Assurance of Machine Learning in Medical Diagnosis Systems

    Picardi, C., Hawkins, R. D., Paterson, C. & Habli, I., 30 Apr 2019, (Accepted/In press) 38th International Conference on Computer Safety, Reliability and Security – SafeComp 2019.

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

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

  201. A Practical Message ID Assignment Policy for Controller Area Network that Maximizes Extensibility

    Pölzlbauer, F., Davis, R. I. & Bate, I. J., Oct 2016, Proceedings of 24th International Conference on Real-Time Networks and Systems: RTNS16. ACM Digital Library, p. 45-54

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

  202. A Probabilistic approach to sparse multi scale phase based stereo

    Ulusoy, K., Halici, U. U. & Hancock, E. R., 2004, PROCEEDINGS OF THE IEEE 12TH SIGNAL PROCESSING AND COMMUNICATIONS APPLICATIONS CONFERENCE. NEW YORK: IEEE, p. 249-252 4 p.

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

  203. A Profile for High-Integrity Real-Time Java Programs

    Puschner, P. P. & Wellings, A. J., 2001, 4th International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), 2-4 May 2001, Magdeburg, Germany. IEEE Computer Society, p. 15-22 8 p.

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

  204. A Quantum Jensen-Shannon Graph Kernel Using Discrete-Time Quantum Walks

    Bai, L., Rossi, L., Ren, P., Zhang, Z. & Hancock, E. R., 2015, Graph-Based Representations in Pattern Recognition :10th IAPR-TC-15 International Workshop, GbRPR 2015, Beijing, China, May 13-15, 2015. Proceedings. Liu, C-L., Luo, B., Kropatsch, W. G. & Cheng, J. (eds.). SPRINGER, p. 252-261 10 p. (Lecture Notes in Computer Science; vol. 9069).

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

  205. A RELATIONAL PROGRAMMING SYSTEM WITH INFERRED REPRESENTATIONS

    Cattrall, D. & Runciman, C., 1992, PROGRAMMING LANGUAGE IMPLEMENTATION AND LOGIC PROGRAMMING. Bruynooghe, M. & Wirsing, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 475-476 2 p.

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

  206. A Reference Interpreter for the Graph Programming Language GP 2

    Bak, C., Faulkner, G., Plump, D. & Runciman, C., 2015, Proceedings 1st Workshop Graphs as Models (GaM 2015). Rensink, A. & Zambon, E. (eds.). Electronic Proceedings in Theoretical Computer Science, Vol. 181. p. 48-64 17 p. (Electronic Proceedings in Theoretical Computer Science; vol. 181).

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

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

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

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

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

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

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

  211. A Schedulability Compatible Multiprocessor Resource Sharing Protocol - MrsP

    Burns, A. & Wellings, A. J., 15 Oct 2013, Proceedings - Euromicro Conference on Real-Time Systems. p. 282-291 10 p. 6602108

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

  212. A Simple Coupled Statistical Model for 3D Face Shape Recovery

    Castelan, M. & Hancock, E. R., 2006, ICPR 2006. p. 231-234 4 p.

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

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

  214. A Static Timing Analysis Environment Using Java Architecture for Safety Critical Real-Time Systems

    Hu, E. Y-S., Bernat, G. & Wellings, A. J., 2002, 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002), 7-9 January 2002, San Diego, CA, USA. IEEE Computer Society, p. 77-84 8 p.

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

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

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

  217. A Stepwise Approach to Linking Theories

    De Oliveira Salazar Ribeiro, P. F., Cavalcanti, A. L. C. & Woodcock, J., 2016, Unifying Theories of Programming. Springer, (Lecture Notes in Computer Science).

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

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

  219. A Suspension-Trace Semantics for CSP

    Cavalcanti, A. L. C., Hierons, R. M., Nogueira, S. & Sampaio, A. C. A., 1 Jul 2016, International Symposium on Theoretical Aspects of Software Engineering. IEEE, p. 3-13 11 p.

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

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

  221. A Systematic Review of Cloud Lock-In Solutions

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

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

  222. A Tool Architecture for Application of Portable Code to Future Avionic Systems

    Grigg, A., Audsley, N. C., Bate, I. J., Fletcher, M. A. & Wake, A. S., 2001, Proceedings of ERA Avionics Conference. ERA TECHNOLOGY LTD

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

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

  224. A Traceability-Driven Approach to Model Transformation Testing

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

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

  225. A Unification Algorithm for GP

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

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

  226. A Wormhole NoC Protocol for Mixed Criticality Systems

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

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

  227. A Worst-Case Behavior Analysis for Hard Real-Time Transactions

    Byun, J., Burns, A., Davis, R. & Wellings, A. J., 1997, Real-Time Database Systems. Vol. 396. p. 235-249

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

  228. A behavioural notion of subtyping for object-oriented programming in SPARK95.

    Lin, T. M. & McDermid, J. A., 2003, RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2003. Rosen, JP. & Strohmeier, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 309-321 13 p.

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

  229. A case study for a WWW based CAD framework

    Indrusiak, L. S. & Reis, R. A. D., 1998, XI BRAZILIAN SYMPOSIUM ON INTEGRATED CIRCUIT DESIGN, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 116-119 4 p.

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

  230. A cellular system for pattern recognition using associative neural networks

    Orovas, C. & Austin, J., 1998, CNNA 98 - 1998 FIFTH IEEE INTERNATIONAL WORKSHOP ON CELLULAR NEURAL NETWORKS AND THEIR APPLICATIONS - PROCEEDINGS. Tavsanoglu, V. (ed.). NEW YORK: IEEE, p. 143-148 4 p.

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

  231. A coevolutionary model for the virus game

    Cowling, P. I., Naveed, M. H. & Hossain, M. A., 2006, Computational Intelligence and Games, 2006 IEEE Symposium on. p. 45-51 7 p.

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

  232. A comparative study of real-valued negative selection to statistical anomaly detection techniques

    Stibor, T., Timmis, J. & Eckert, C., 2005, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Jacob, C., Pilat, ML., Bentley, PJ. & Timmis, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 262-275 14 p.

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

  233. A comparison of major issues for the development of forensics in cloud computing

    Jacob, J. L. & Aydin, M., Dec 2013, Proceedings 2013 8th International Conference for Internet Technology and Secured Transactions (ICITST). p. 77--82

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

  234. A comparison of one-pass and bi-directional approaches applied to large-scale road inspection

    Chen, Y., Polack, F., Cowling, P. & Remde, S., 2017, Operations Research and Enterprise Systems - 5th International Conference, ICORES 2016, Revised Selected Papers. Springer-Verlag, Vol. 695. p. 180-200 21 p. (Communications in Computer and Information Science; vol. 695).

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

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

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

  237. A comparison of the asynchronous transfer of control features in Ada and the real-time specification for Java (TM)

    Brosgol, B. M. & Wellings, A., 2003, RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2003. Rosen, JP. & Strohmeier, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 113-128 16 p.

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

  238. A comparison of the business object notation and the unified modeling language

    Paige, R. F. & Ostroff, J. S., 1 Jan 1999, UML 1999 - The Unified Modeling Language: Beyond the Standard - 2nd International Conference, Proceedings. Rumpe, B. & France, R. (eds.). Springer-Verlag, p. 67-82 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1723).

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

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

  240. A computational model of degeneracy in a lymph node

    Andrews, P. S. & Timmis, J., 2006, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Bersini, H. & Carneiro, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 164-177 14 p.

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

  241. A computer based system for space allocation optimisation

    Burke, EK., Cowling, P., Landa, JD., McCollum, B. & Varley, D., 2000, Proceedings of the 27th International Conference on Computers and Industrial Engineering.

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

  242. A constructive task mapping algorithm for hard real-time embedded NoCs

    Sayuti, M. N. S. M. & Indrusiak, L. S., 18 May 2016, Proceedings - 2015 IEEE Conference on System, Process and Control, ICSPC 2015. Institute of Electrical and Electronics Engineers Inc., p. 123-128 6 p. 7473571

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

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

  244. A correspondence measure for graph matching using the discrete quantum walk

    Emms, D., Hancock, E. R. & Wilson, R. C., 2007, Graph-Based Representations in Pattern Recognition, Proceedings. Escolano, F. & Vento, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 81-91 11 p.

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

  245. A coupled relaxation method for finding perceptual structures

    Wilson, R. C., 18 Aug 2004, STRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION, PROCEEDINGS. Fred, A., Caelli, T., Duin, RPW., Campilho, A. & DeRidder, D. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 224-232 9 p.

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

  246. A denotational semantics for Handel-C hardware compilation

    Perna, J. I. & Woodcock, J., 2007, FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS. Butler, M., Hinchey, MG. & LarrondoPetrie, MM. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 266-285 20 p.

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

  247. A deterministic implementation process for accurate and traceable system timing and space analysis

    Ward, M. & Audsley, N. C., 2007, 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Proceedings. LOS ALAMITOS: IEEE COMPUTER SOC, p. 432-437 6 p.

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

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

  249. A distributed associative memory for symbolic reasoning

    Austin, J., 1997, CONNECTIONIST-SYMBOLIC INTEGRATION. Sun, R. & Alexandre, F. (eds.). MAHWAH: LAWRENCE ERLBAUM ASSOC PUBL, p. 265-278 14 p.

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

  250. A facial statistical model from complex numbers

    Castelan, M. & Hancock, E. R., 2006, 18th International Conference on Pattern Recognition, Vol 1, Proceedings. p. 235-238 4 p.

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

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

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

  253. A formal template language enabling metaproof

    Amalio, N., Stepney, S. & Polack, F., 2006, FM 2006: FORMAL METHODS, PROCEEDINGS. Misra, J., Nipkow, T. & Sekerinski, E. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 252-267 16 p.

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

  254. A function for hard real-time system search-based task mapping optimisation

    Sayuti, M. N. S. M. & Indrusiak, L. S., 2015, Real-Time Distributed Computing (ISORC): 2015 IEEE 18th International Symposium on Real-Time Distributed Computing. Institute of Electrical and Electronics Engineers Inc., p. 66-73 8 p.

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

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

  256. A generic framework for population-based algorithms, implemented on multiple FPGAs

    Newborough, J. & Stepney, S., 2005, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Jacob, C., Pilat, ML., Bentley, PJ. & Timmis, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 43-55 13 p.

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

  257. A generic, scalable and globally arbitrated memory tree for shared DRAM access in real-time systems

    Dev Gomony, M., Garside, J., Akesson, B., Audsley, N. & Goossens, K., 22 Apr 2015, 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE). Institute of Electrical and Electronics Engineers Inc., p. 193-198 6 p. 7092381

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

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

  259. A graph kernel from the depth-based representation

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

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

  260. A graph spectral approach to shape-from-shading

    Robles-Kelly, A. & Hancock, E. R., 2002, 2002 INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, VOL II, PROCEEDINGS. NEW YORK: IEEE, p. 569-572 4 p.

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

  261. A grid based diagnostics and prognosis system for Rolls Royce Aero Engines: The DAME project.

    Austin, J., 2004, PROCEEDINGS OF THE SECOND INTERNATIONAL WORKSHOP ON CHALLENGES OF LARGE APPLICATIONS IN DISTRIBUTED ENVIRONMENTS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 22 1 p.

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

  262. A hardware IP-core for information retrieval

    Freeman, M. & Jayasooriya, T., 2006, DSD 2006: 9th EUROMICRO Conference on Digital System Design: Architectures, Methods and Tools, Proceedings. Muthukumar, V. (ed.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 115-122 8 p.

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

  263. A hardware-accelerated novel IR system

    Weeks, M., Hodge, V. J. & Austin, J., 2002, 10TH EUROMICRO WORKSHOP ON PARALLEL, DISTRIBUTED AND NETWORK-BASED PROCESSING, PROCEEDINGS. Vajda, F. & Podhorszki, N. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 283-289 7 p.

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

  264. A hierarchical framework for modal correspondence matching

    Carcassoni, M. & Hancock, E. R., 2001, 11TH INTERNATIONAL CONFERENCE ON IMAGE ANALYSIS AND PROCESSING, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 327-332 6 p.

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

  265. A high performance k-NN classifier using a binary correlation matrix memory

    Zhou, P., Austin, J. & Kennedy, J., 1999, ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 11. Kearns, MS., Solla, SA. & Cohn, DA. (eds.). CAMBRIDGE: M I T PRESS, p. 713-719 7 p.

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

  266. A human action recognition system for embedded computer vision application

    Meng, H., Pears, N. & Bailey, C., 2007, 2007 IEEE CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION, VOLS 1-8. NEW YORK: IEEE, p. 3213-3218 6 p.

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

  267. A hyperheuristic approach to scheduling a sales summit

    Cowling, P., Kendall, G. & Soubeiga, E., 2000, International Conference on the Practice and Theory of Automated Timetabling. p. 176-190 15 p.

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

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

  269. A linear generative model for graph structure

    Luo, B., Wilson, R. C. & Hancock, E. R., 2005, GRAPH-BASED REPRESENTATIONS IN PATTERN RECOGNITION, PROCEEDINGS. Brun, L. & Vento, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 54-62 9 p.

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

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

  271. A lossless data reduction technique for wireless EEG recorders and its use in selective data filtering for seizure monitoring

    Dai, C. & Crispin-Bailey, C., 25 Aug 2015, 2015 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC 2015): Proceedings of a meeting held 25-29 August 2015, Milan, Italy.. IEEE, p. 6186-6189 5 p.

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

  272. A maximum likelihood framework for iterative eigendecomposition

    Robles-Kelly, A. & Hancock, E. R., 2001, EIGHTH IEEE INTERNATIONAL CONFERENCE ON COMPUTER VISION, VOL I, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 654-661 8 p.

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

  273. A mechanism for implementing precise exceptions in pipelined processors

    Alli, S. & Bailey, C., 2004, PROCEEDINGS OF THE EUROMICRO SYSTEMS ON DIGITAL SYSTEM DESIGN. Selvaraj, H. (ed.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 598-602 5 p.

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

  274. A model for real time mobility based on the RTSJ

    AlRahmawy, M. & Wellings, A. J., 2007, Proceedings of the 5th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2007, Institute of Computer Engineering, Vienna University of Technology, 26-28 September 2007, Vienna, Austria. Bollella, G. (ed.). ACM, p. 155-164 10 p. (ACM International Conference Proceeding Series).

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

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

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

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

  276. A neural network architecture for trademark image retrieval

    Alwis, S. & Austin, J., 1999, ENGINEERING APPLICATIONS OF BIO-INSPIRED ARTIFICIAL NEURAL NETWORKS, VOL II. Mira, J. & SanchezAndres, JV. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 361-372 12 p.

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

  277. A neural relaxation technique for chemical graph matching

    Turner, M. & Austin, J., 1997, FIFTH INTERNATIONAL CONFERENCE ON ARTIFICIAL NEURAL NETWORKS. EDISON: INST ELECTRICAL ENGINEERS INSPEC INC, p. 187-192 6 p.

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

  278. A neural supergraph matching architecture

    Klinger, S. & Austin, J., 2005, Proceedings of the International Joint Conference on Neural Networks (IJCNN), Vols 1-5. NEW YORK: IEEE, p. 2453-2458 6 p.

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

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

  280. A novel approach to the detection of cheating in multiplayer online games

    Laurens, P., Paige, R. F., Brooke, P. J. & Chivers, H., 2007, 12TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING COMPLEX COMPUTER SYSTEMS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 97-106 10 p.

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

  281. A parameter-free hyperheuristic for scheduling a sales summit

    Cowling, P., Kendall, G. & Soubeiga, E., 2001, Proceedings of the 4th metaheuristic international conference. Vol. 1101. p. 127-131 5 p.

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

  282. A pattern restore method for restoring missing patterns in server side clickstream data

    Ting, I-H., Kudenko, D. & Kimble, C., 2005, Web Technologies Research and Development - APWeb 2005. Zhang, Y., Tanaka, K., Yu, JX., Wang, S. & Li, M. (eds.). Berlin / Heidelberg: Springer, p. 501-512 11 p. (Lecture Notes in Computer Science; vol. 3399).

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

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

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

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

  284. A practical evaluation of synchronicity in action potentials with noise

    Edwards, J. & O'Keefe, S., 2015, CF '15 Proceedings of the 12th ACM International Conference on Computing . ACM, 2 p. 42

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

  285. A pragmatic perspective on UML for system-on-chip design

    Indrusiak, L. S., 2005, Norchip 2005, Proceedings. NEW YORK: IEEE, p. 169-171 3 p.

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

  286. A principled design methodology for auditory interaction

    Mitsopoulos, E. N. & Edwards, A. D. N., 1999, HUMAN-COMPUTER INTERACTION - INTERACT '99. Sasse, MA. & Johnson, C. (eds.). AMSTERDAM: I O S PRESS, p. 263-271 5 p.

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

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

  288. A probabilistic framework for schedulability analysis

    Burns, A., Bernat, G. & Broster, I., 2003, EMBEDDED SOFTWARE, PROCEEDINGS. Alur, R. & Lee, I. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 115 15 p.

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

  289. A proposed mechanism for super-pipelined instruction-issue for ILP stack machines

    Bailey, C., 2004, Proceedings of Euromicro Symposium on Digital Systems. Selvaraj, H. (ed.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 121-129 8 p.

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

  290. A real-time RMI framework for the RTSF

    Borg, A. & Wellings, A., 2003, 15TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 238-246 9 p.

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

  291. A real-time isolate specification for Ravenscar-Java

    Cai, H. & Wellings, A., 2004, SEVENTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS. Gustafsson, J., Aoki, T. & Lee, I. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 325-328 4 p.

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

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

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

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

  293. A review of existing interfaces of automated examination and lecture scheduling systems

    McCollum, B., Ahmadi, S., Burke, E., Barone, R., Cheng, P. & Cowling, P., 2002, PATAT. p. 262-264 3 p.

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

  294. A robust eigendecomposition framework for inexact graph-matching

    Luo, B. & Hancock, E. R., 2001, 11TH INTERNATIONAL CONFERENCE ON IMAGE ANALYSIS AND PROCESSING, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 465-470 6 p.

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

  295. A round robin scheduling policy for Ada

    Burns, A., Harbour, M. G. & Wellings, A. J., 2003, RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2003. Rosen, JP. & Strohmeier, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 334-343 10 p.

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

  296. A selection mechanism based upon the explicit expression of preference

    Audsley, N. C. & Baker, R. E., 2004, Proceedings of the 1st ACM SIGSOFT Workshop on Self-Managed Systems, WOSS 2004, Newport Beach, California, USA, October 31 - November 1, 2004. Garlan, D., Kramer, J. & Wolf, A. L. (eds.). ACM, p. 13-17 5 p.

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

  297. A selective encryption for heterogenous color JPEG images based on VLC and AES stream cipher

    Rodrigues, J. M., Puech, W. & Bors, A. G., Jun 2006, Proc. IS\&T European Conference on Color in Graphics, Imaging and Vision, Leeds, UK,. IS&T, p. 34-39 6 p.

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

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

  299. A spectral analysis of perceptual shape variation

    Hughes, A. & Wilson, R. C., 2003, 12TH INTERNATIONAL CONFERENCE ON IMAGE ANALYSIS AND PROCESSING, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 38-43 6 p.

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

  300. A spectral generative model for graph structure

    Xiao, B. & Hancock, E. R., 2006, STRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION, PROCEEDINGS. Yeung, DY., Kwok, JT., Fred, A., Roli, F. & DeRidder, D. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 173-181 9 p.

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

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

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

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

  304. A study of concurrency in the Ant Colony System algorithm

    Ridge, E., Kudenko, D. & Kazakov, D., 2006, 2006 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-6. NEW YORK: IEEE, p. 1647-1654 8 p.

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

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

  306. A survey and case study of practical examination timetabling problems

    Cowling, P., Kendall, G. & Hussin, N. M., 2002, PATAT. p. 258-261 4 p.

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

  307. A systematic approach to safety case maintenance

    Kelly, T. P. & McDermid, J. A., 1999, COMPUTER SAFETY, RELIABILITY AND SECURITY. Felici, M., Kanoun, K. & Pasquini, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 13-26 14 p.

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

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

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

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

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

  310. A technique for managing complexity of use cases for large complex embedded systems

    Nasr, E., McDermid, J. & Bernat, G., 2002, ISORC 2002: FIFTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS. Bacellar, L., Puschner, P. & Hong, S. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 225-232 4 p.

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

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

  312. A tutorial introduction to CSP in unifying theories of programming

    Cavalcanti, A. & Woodcock, J., 2006, REFINEMENT TECHNIQUES IN SOFTWARE ENGINEERING. Cavalcanti, A., Sampaio, A. & Woodcock, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 220-268 49 p.

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

  313. A variational approach for color image segmentation

    Nasios, N. & Bors, A. G., 2004, PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOL 1. Kittler, J., Petrou, M. & Nixon, M. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 680-683 4 p.

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

  314. A virtual organisation deployed on a service orientated architecture for distributed data mining applications

    Jackson, T., Jessop, M., Fletcher, M. & Austin, J., 2007, Grid-Based Problem Solving Environments. Gaffney, PW. & Pool, JCT. (eds.). NEW YORK: SPRINGER, p. 155-170 16 p.

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

  315. A, framework for integrating the real-time specification for Java and Java's remote method invocation

    Wellings, A., Clark, R., Jensen, D. & Wells, D., 2002, ISORC 2002: FIFTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS. Bacellar, L., Puschner, P. & Hong, S. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 13-22 10 p.

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

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

  317. ADAPTIVE ESTIMATION OF HYSTERESIS THRESHOLDS

    HANCOCK, E. R. & KITTLER, J., 1991, 1991 IEEE COMPUTER SOCIETY CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION. LOS ALAMITOS: I E E E, COMPUTER SOC PRESS, p. 196-201 6 p.

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

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

  319. AI for Herding Sheep.

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

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

  320. AN EVALUATION OF EARCONS FOR USE IN AUDITORY HUMAN-COMPUTER INTERFACES

    Brewster, S. A., Wright, P. C. & Edwards, A. D. N., 1993, HUMAN FACTORS IN COMPUTING SYSTEMS. Ashlund, S., Henderson, A., Hollnagel, E., Mullet, K. & White, T. (eds.). AMSTERDAM: I O S PRESS, p. 222-227 6 p.

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

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

  322. APD-A tool for identifying behavioural patterns automatically from clickstream data

    Ting, I-H., Clark, L., Kimble, C., Kudenko, D. & Wright, P., 2007, Knowledge-Based Intelligent Information and Engineering Systems: KES 2007 - WIRN 2007, Pt II, Proceedings. Apolloni, B., Howlett, RJ. & Jain, L. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 66-73 8 p.

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

  323. APPLICATION OF AN ASSOCIATIVE MEMORY TO THE ANALYSIS OF DOCUMENT FAX IMAGES

    Okeefe, S. E. M. & Austin, J., 1994, BMVC94 - PROCEEDINGS OF THE 5TH BRITISH MACHINE VISION CONFERENCE, VOLS 1 AND 2. Hancock, ER. (ed.). YORK: BRITISH MACHINE VISION CONF, p. 315-325 11 p.

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

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

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

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

  327. Absolute and relative temporal constraints in hard real-time databases

    Audsley, N. C., Burns, A., Richardson, M. F. & Wellings, A. J., 1 Dec 1992, Proceedings - 4th Euromicro Workshop on Real-Time Systems, ECRTS 1992. p. 148-153 6 p. 637486

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

  328. Accelerating Immunos 99

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

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

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

  330. Accessibility of Shared Space by visually challenged people

    Melis-Dankers, B., Havik, E., Steyvers, F., Petrie, H. & Kooijman, A., 12 Feb 2015, "Enabling Access for Persons with Visual Impairment": Proceedings of the International Conference ICEAPVI Athens, Greece, February 12-14, 2015. Kouroupetroglou, G. (ed.). National and Kapodistrian University of Athens, p. 120-126 7 p.

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

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

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

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

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

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

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

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

  334. Accurate capture of timing parameters in inductively-coupled on-chip interconnects

    Murgan, T., Schlachta, C., Petrov, M., Indrusiak, L., Garcia Ortiz, A., Glesner, M. & Reis, R., 2004, SBCCI2004:17TH SYMPOSIUM ON INTEGRATED CIRCUITS AND SYSTEMS DESIGN, PROCEEDINGS. NEW YORK: ASSOC COMPUTING MACHINERY, p. 117-122 6 p.

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

  335. Achieving Appropriate Test Coverage for Reliable Measurement-Based Timing Analysis

    Law, S. A. & Bate, I., 1 Sep 2016, Proceedings - 28th Euromicro Conference on Real-Time Systems, ECRTS 2016. Vol. 2016-August. p. 189-199 11 p. 7557880. (Real-Time Systems (ECRTS), Euromicro Conference on).

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

  336. Achieving integrated process and product safety arguments

    Habli, I. & Kelly, T., 2007, Safety of Systems. Redmill, F. & Anderson, T. (eds.). GODALMING: SPRINGER-VERLAG LONDON LTD, p. 55-68 14 p.

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

  337. Achieving minimal and deterministic interrupt execution in stack-based processor architectures

    Bailey, C., 2000, PROCEEDINGS OF THE 26TH EUROMICRO CONFERENCE, VOLS I AND II. Vajda, F. (ed.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 368-375 8 p.

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

  338. Acquiring height maps of faces from a single image

    Castelan, M. & Hancock, E. R., 2004, 2ND INTERNATIONAL SYMPOSIUM ON 3D DATA PROCESSING, VISUALIZATION, AND TRANSMISSION, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 183-190 8 p.

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

  339. Ada 2012: Resource Sharing and Multiprocessors

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

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

  340. Ada 95: An Effective Concurrent Programming Language

    Burns, A. & Wellings, A. J., 1996, Reliable Software Technologies - Ada-Europe '96, 1996 : Proceedings ofAda-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, 1996. Strohmeier, A. (ed.). Springer, Vol. 1088. p. 58-77 20 p. (Lecture Notes in Computer Science).

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

  341. Adaptable Image Processing System based on FPGA Modular Multi Kernel Instantiations

    Ackermann, K. F., Mayer, F., Indrusiak, L. S. & Glesner, M., 2006, Proceedings of the 2nd International Workshop on Reconfigurable Communication-centric Systems-on-Chip, ReCoSoC 2006, Montpellier, France, July 2006. Sassatelli, G., Indrusiak, L. S., Glesner, M. & Torres, L. (eds.). Univ. Montpellier II, p. 183-188 6 p.

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

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

  343. Adaptation in digital games: The effect of challenge adjustment on player performance and experience

    Denisova, A. & Cairns, P., 5 Oct 2015, CHI PLAY 2015 - Proceedings of the 2015 Annual Symposium on Computer-Human Interaction in Play. Association for Computing Machinery, Inc, p. 97-101 5 p.

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

  344. Adapting scale by minimising spectral defocusing for shape from texture

    Ribeiro, E. & Hancock, E. R., 2000, 2000 INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, VOL III, PROCEEDINGS. NEW YORK: IEEE, p. 893-896 4 p.

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

  345. Adaptive Agents and Multi-Agent Systems II: Adaptation and Multi-Agent Learning

    Kudenko, D. & Kazakov, D., 2005, Adaptive Agents and Multi-Agent Systems II: Adaptation and Multi-Agent Learning.

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

  346. Adaptive Generation of Dilemma-based Interactive Narratives

    Barber, H., Kudenko, D., Jain, L. C. (ed.) & Handa, H. (ed.), 2007, Advanced Intelligent Paradigms in Computer Games. Springer, Vol. 71. p. 19-37 19 p. (Studies in Computational Intelligence).

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

  347. Adaptive Graph Learning for Unsupervised Feature Selection

    Zhang, Z., Bai, L., Liang, Y. & Hancock, E. R., 2015, Computer Analysis of Images and Patterns :16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015 Proceedings, Part I. Azzopardi, G. & Petkov, N. (eds.). SPRINGER, Vol. 9256. p. 790-800 11 p. (Lecture Notes in Computer Science; vol. 9256).

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

  348. Adaptive Mixed Criticality Scheduling with Deferred Preemption

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

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

  349. Adaptive Scheduling Using Reflection

    Mitchell, S. E., Burns, A. & Wellings, A. J., 1997, Object-Oriented Technology, ECOOP'97 Workshop Reader: ECOOP'97 Workshops, Jyväskylä, Finland, June 9-13, 1997. Bosch, J. & Mitchell, S. (eds.). Springer, Vol. 1357. p. 74-79 6 p. (Lecture Notes in Computer Science).

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

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

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

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

  351. Adaptively parameterised hyperheuristics for sales summit scheduling

    Cowling, P., Kendall, G. & Soubeiga, E., 2001, Selected Papers from the 4th Metaheuristics International Conference.

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

  352. Adding Spreadsheets to the MDE Toolkit

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

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

  353. Adding instruction cache effect to schedulability analysis of preemptive real-time systems

    Busquets-Mataix, J. V., Serrano, J. J., Ors, R., Gil, P. J. & Wellings, A. J., 1996, IEEE Real Time Technology and Applications Symposium. IEEE Computer Society, p. 204-

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

  354. Adding temporal annotations and associated verification to the Ravenscar Profile

    Burns, A. & Lin, T. M., 2003, RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2003. Rosen, JP. & Strohmeier, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 80-91 12 p.

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

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

  356. Addressing dynamic dispatching issues in WCET analysis for object-oriented hard real-time systems

    Hu, E. Y. S., Bernat, G. & Wellings, A., 2002, ISORC 2002: FIFTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS. Bacellar, L., Puschner, P. & Hong, S. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 109-116 6 p.

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

  357. Addressing the 4+1 Software Safety Assurance Principles within Scrum

    Doss, O. & Kelly, T., 2016, Proceedings of the Scientific Workshop Proceedings of XP2016, Edinburgh, Scotland, UK, May 24, 2016. New York: ACM: New York, p. 17 1 p.

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

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

  359. Advanced structural representations for question classification and answer re-ranking

    Quarteroni, S., Moschitti, A., Manandhar, S. & Basili, R., 2007, Advances in Information Retrieval. Amati, G., Carpineto, C. & Romano, G. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 234-245 12 p.

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

  360. Advances in Bayesian Network Learning using Integer Programming

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

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

  361. Advantages of the Linz-Sprott weak nonlinearity on the FPGA implementation of chaotic systems: a comparative analysis

    Indrusiak, L. S., Dutra e Silva Junior, E. C. & Glesner, M., 2005, ISSCS 2005: International Symposium on Signals, Circuits and Systems, Proceedings. NEW YORK: IEEE, p. 753-756 4 p.

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

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

  363. Agile security using an incremental security architecture

    Chivers, H., Paige, R. F. & Ge, X. C., 2005, EXTREME PROGRAMMING AND AGILE PROCESSES IN SOFTWARE ENGINEERING, PROCEEDINGS. Baumeister, H., Marchesi, M. & Holcombe, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 57-65 9 p.

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

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

  365. Algorithms for distributed exploration

    Walker, T., Kudenko, D., Strens, M. J. A., López de Mántaras, R. (ed.) & Saitta, L. (ed.), 2004, ECAI 2004: 16TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS. LopezdeMantaras, R. & Saitta, L. (eds.). AMSTERDAM: IOS Press, p. 84-88 5 p.

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

  366. Almost Boolean functions: The design of Boolean functions by spectral inversion

    Clark, J. A., Jacob, J. L., Maitra, S. & Stanica, P., 2003, CEC: 2003 CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-4, PROCEEDINGS. NEW YORK: IEEE, p. 2173-2180 8 p.

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

  367. An Actor-Oriented Model-Based Design Flow for Systems-on-Chip

    Indrusiak, L. S. & Glesner, M., 2006, Dagstuhl-Workshop MBEES: : Modellbasierte Entwicklung eingebetteter Systeme II, Schloss Dagstuhl, Germany, 9.-13. Januar 2006, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. Giese, H., Rumpe, B. & Schätz, B. (eds.). TU Braunschweig, Institut für Software Systems Engineering, Vol. 2006-1. p. 65-74 10 p. (Informatik-Bericht).

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

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

  369. An Agglomerative Hierarchical Clustering Algorithm for Labelling Morphs

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

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

  370. An Analysable Bus-Guardian for Event-Triggered Communication

    Broster, I. & Burns, A., 2003, Proceedings of the 24th IEEE Real-Time Systems Symposium. p. 410-419 9 p.

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

  371. An Approach to Designing Safety Critical Systems using the Unified Modelling Language

    Bate, I., Hawkins, R. & Toyn, I., 2003, Proceedings of the Workshop on Critical Systems Development with UML. Technische Universtat Munchen, p. 3-17 15 p.

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

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

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

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

  373. An Approach to Task Attribute Assignment for Uniprocessor Systems

    Bate, I. & Burns, A., 1 Jun 1999, 11th Euromicro Workshop on Real-Time Systems. p. 46-53 8 p.

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

  374. An Approach to the Evaluation of Assistive Technology

    Stevens, R. D. & Edwards, A. D. N., 1996, International ACM Conference on Assistive Technologies. p. 64-71 8 p.

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

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

  376. An Assessment Framework for Automatic Code Generator Tools

    Audsley, N., Bate, I. & O'Halloran, C., 2004, Proceedings of the 22nd International System Safety Conference. p. 665-674 10 p.

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

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

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

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

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

  379. An Automated Constraint Modelling and Solving Toolchain

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

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

  380. An EDF Run-Time Profile based on Ravenscar

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

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

  381. An Edge-Based Matching Kernel Through Discrete-Time Quantum Walks

    Bai, L., Zhang, Z., Ren, P., Rossi, L. & Hancock, E. R., 2015, Image Analysis and Processing — ICIAP 2015 : 18th International Conference, Genoa, Italy, September 7-11, 2015, Proceedings, Part I. Murino, V. & Puppo, E. (eds.). SPRINGER, p. 27-38 12 p. (Lecture Notes in Computer Science; vol. 9279).

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

  382. An Edge-Based Matching Kernel for Graphs Through the Directed Line Graphs

    Bai, L., Zhang, Z., Wang, C. & Hancock, E. R., 2015, Computer Analysis of Images and Patterns : 16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015, Proceedings, Part II. Azzopardi, G. & Petkov, N. (eds.). SPRINGER, p. 85-95 11 p. (Lecture Notes in Computer Science; vol. 9257).

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

  383. An Entropic Edge Assortativity Measure

    Ye, C., Wilson, R. C. & Hancock, E. R., 2015, Graph-Based Representations in Pattern Recognition :10th IAPR-TC-15 International Workshop, GbRPR 2015, Beijing, China, May 13-15, 2015. Proceedings. Liu, C-L., Luo, B., Kropatsch, W. G. & Cheng, J. (eds.). SPRINGER, p. 23-33 11 p. (Lecture Notes in Computer Science; vol. 9069).

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

  384. An Evaluation Template for Expert Review of Maturity Models

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

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

  385. An Extended Fixed Priority Scheme for Mixed Criticality Systems

    Baruah, S., Burns, A. & Davis, R. I., Aug 2013, Workshop on Real-Time Mixed Criticality Systems (ReTiMics). George, L. & Lipari, G. (eds.). p. 18-24 7 p.

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

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

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

  388. An Improved Auditory Interface for the Exploration of Lists

    Pitt, I. J. & Edwards, A. D. N., 1997, ACM Multimedia. p. 51-61 11 p.

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

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

  390. An Improved Speaker Diarization System

    Fu, R. & Benest, I. D., 2007, INTERSPEECH 2007: 8TH ANNUAL CONFERENCE OF THE INTERNATIONAL SPEECH COMMUNICATION ASSOCIATION, VOLS 1-4. BAIXAS: ISCA-INST SPEECH COMMUNICATION ASSOC, p. 1253-1256 4 p.

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

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

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

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

  394. An OCL-based Bridge from Concrete to Abstract Syntax

    Herrera, A. S-B., Willink, E. D. & Paige, R. F., 2015, Proceedings of the 15th International Workshop on OCL and Textual Modeling co-located with 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015): Ottawa, Canada, September 28, 2015.. Brucker, A. D., Egea, M., Gogolla, M. & Tuong, F. (eds.). CEUR-WS.org, p. 19-34 16 p. (CEUR Workshop Proceedings; vol. 1512).

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

  395. An Opportunistic Transmission Protocol for Body Sensor Networks using RSSI and On-board Accelerometer

    Lim, T. H. & Bate, I., 2015, Intelligent Sensors, Sensor Networks and Information Processing (ISSNIP): 2015 IEEE 10th International Conference on Intelligent Sensors, Sensor Networks and Information Processing (ISSNIP). IEEE, p. 1-6 7 p.

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

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

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

  398. An adaptive length chromosome hyperheuristic genetic algorithm for a trainer scheduling problem

    Han, L., Kendall, G. & Cowling, P., 2002, Proceedings of the 4th Asia-Pacific conference on simulated evolution and learning (SEAL’02). p. 267-271 5 p.

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

  399. An agile and extensible code generation framework

    Kolovos, D. S., Paige, R. F. & Polack, F. A. C., 2005, EXTREME PROGRAMMING AND AGILE PROCESSES IN SOFTWARE ENGINEERING, PROCEEDINGS. Baumeister, H., Marchesi, M. & Holcombe, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 226-229 4 p.

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

  400. An analysis of problem difficulty for a class of optimisation heuristics

    Ridge, E. & Kudenko, D., 2007, Evolutionary Computation in Combinatorial Optimization, Proceedings. Cotta, C. & VanHemert, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 198-209 12 p.

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

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

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

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

  402. An approach to task attribute assignment for uniprocessor systems

    Bate, I. & Burns, A., 1999, PROCEEDINGS OF THE 11TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 46-53 8 p.

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

  403. An architecture for distributed search and data-mining in condition monitoring applications

    Jackson, T., Fletcher, M., Liang, B., Jessop, M. & Austin, J., 2007, 2007 IEEE AEROSPACE CONFERENCE, VOLS 1-9. NEW YORK: IEEE, p. 3871-3882 12 p.

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

  404. An architecture for modelling emergence in CA-like systems

    Polack, F., Stepney, S., Turner, H., Welch, P. & Barnes, F., 2005, ADVANCES IN ARTIFICAL LIFE, PROCEEDINGS. Capcarrere, MS., Freitas, AA., Bentley, PJ., Johnson, CG. & Timmis, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 433-442 10 p.

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

  405. An associative memory for association rule mining

    Baez-Monroy, V. O. & O'Keefe, S., 2007, 2007 IEEE INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS, VOLS 1-6. NEW YORK: IEEE, p. 2227-2232 6 p.

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

  406. An associative memory for association rule mining

    Baez-Monroy, V. O. & O'Keefe, S., 1 Dec 2007, IEEE International Conference on Neural Networks - Conference Proceedings. p. 2227-2232 6 p. 4371304

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

  407. An automated approach to specification-based program inspection

    Liu, S. Y., Nagoya, F., Chen, Y. T., Goya, M. & McDermid, J. A., 2005, FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS. Lau, KK. & Banach, R. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 421-434 14 p.

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

  408. An automated framework for structural test-data generation

    Tracey, N., Clark, J., Mander, K. & McDermid, J., 1998, 13TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 285-288 4 p.

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

  409. An effective schedulability analysis for fault-tolerant hard real-time systems

    Lima, G. M. D. & Burns, A., 2001, 13TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 209-216 8 p.

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

  410. An efficient and practical local synchronous bandwidth allocation scheme for the timed-token MAC protocol

    Zhang, S. J., Burns, A. & Wellings, A., 1996, IEEE INFOCOM '96 - FIFTEENTH ANNUAL JOINT CONFERENCE OF THE IEEE COMPUTER AND COMMUNICATIONS SOCIETIES: NETWORKING THE NEXT GENERATION, PROCEEDINGS VOLS 1-3. LOS ALAMITOS: I E E E, COMPUTER SOC PRESS, p. 920-927 8 p.

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

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

  412. An efficient experimental methodology for configuring search-based design algorithms

    Poulding, S., Emberson, P., Bate, I. & Clark, J. A., 2007, Proceedings of 10th IEEE High Assurance System Engineering Symposium (HASE 2007). USA: computer.org, p. 53-62 10 p.

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

  413. An efficient hardware implementation of a self-adaptable equalizer for WCDMA downlink UMTS standard

    Prudencio, R. B., Indrusiak, L. S. & Glesner, M., 2006, IEEE Computer Society Annual Symposium on VLSI, Proceedings. LOS ALAMITOS: IEEE COMPUTER SOC, p. 77-81 5 p.

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

  414. An efficient page lock/release OS mechanism for out-of-core embedded applications

    Patil, A. & Audsley, N., 2007, 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Proceedings. LOS ALAMITOS: IEEE COMPUTER SOC, p. 81-88 8 p.

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

  415. An eigenvector method for shape-from-shading

    Robles-Kelly, A. & Hancock, E. R., 2003, 12TH INTERNATIONAL CONFERENCE ON IMAGE ANALYSIS AND PROCESSING, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 474-479 6 p.

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

  416. An incremental recovery cache supporting software fault tolerance

    Rogers, P. & Wellings, A. J., 1999, RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE' 99. Harbour, MG. & DelaPuente, JA. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 385-396 12 p.

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

  417. An integrated approach to domain analysis and reuse for engineering complex systems

    Lam, W., Whittle, B., McDermid, J. & Wilson, S., 1996, IEEE SYMPOSIUM AND WORKSHOP ON ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS. LOS ALAMITOS: I E E E, COMPUTER SOC PRESS, p. 102-109 8 p.

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

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

  419. An integrated framework for trademark image retrieval using gestalt features and CMM neural network

    Alwis, S. & Austin, J., 1999, SEVENTH INTERNATIONAL CONFERENCE ON IMAGE PROCESSING AND ITS APPLICATIONS. EDISON: INST ELECTRICAL ENGINEERS INSPEC INC, p. 290-295 6 p.

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

  420. An interactive approach to profiling parallel functional programs

    Charles, N. & Runciman, C., 1999, IMPLEMENTATION OF FUNCTIONAL LANGUAGES. Hammond, K., Davie, T. & Clack, C. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 20-37 18 p.

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

  421. An investigation into mutation operators for Particle Swarm Optimization

    Andrews, P. S., 2006, 2006 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-6. NEW YORK: IEEE, p. 1029-1036 8 p.

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

  422. An investigation of a hyperheuristic genetic algorithm applied to a trainer scheduling problem

    Cowling, P., Kendall, G. & Han, L., 2002, Evolutionary Computation, 2002. CEC'02. Proceedings of the 2002 Congress on. Vol. 2. p. 1185-1190 6 p.

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

  423. An object-oriented structuring for Z based on views

    Amalio, N., Polack, F. & Stepney, S., 2005, ZB 2005: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B, PROCEEDINGS. Treharne, H., King, S., Henson, M. & Schneider, S. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 262-278 17 p.

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

  424. An operational semantics in UTP for a language of reactive designs

    Woodcock, J., 2006, UNIFYING THEORIES OF PROGRAMMING. Dunne, S. & Stoddart, B. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 84-84 1 p.

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

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

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

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

  426. An outline pattern language for Z: Five illustrations and two tables

    Stepney, S., Polack, F. & Toyn, I., 2003, ZB 2003: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B. Bert, D., Bowen, JP., King, S. & Walden, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 219 18 p.

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

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

  428. An “As Desired” Model of the Software Safety Assurance Lifecycle

    Osborne, M., Hawkins, R. D. & Nicholson, M., 10 Feb 2021, Safety Critical Systems Symposium (SSS '21).

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

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

  430. Analysing APEX applications

    Audsley, N. & Wellings, A., 1996, 17TH IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS. Sipple, RS. (ed.). LOS ALAMITOS: I E E E, COMPUTER SOC PRESS, p. 39-44 6 p.

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

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

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

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

  432. Analysis of checkpointing for schedulability of real-time systems

    Punnekkat, S. & Burns, A., 1997, FOURTH INTERNATIONAL WORKSHOP ON REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS. LOS ALAMITOS: I E E E, COMPUTER SOC PRESS, p. 198-205 8 p.

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

  433. Analysis of hierarchical EDF pre-emptive scheduling

    Zhang, F. & Burns, A., 2007, RTSS 2007: 28TH IEEE INTERNATIONAL REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 423-434 12 p.

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

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

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

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

  435. Analyzing Heuristic Performance with Response Surface Models: Prediction, Optimization and Robustness

    Ridge, E. & Kudenko, D., 2007, GECCO 2007: GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, VOL 1 AND 2. NEW YORK: ASSOC COMPUTING MACHINERY, p. 150-157 8 p.

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

  436. Angelicism in the theory of reactive processes

    De Oliveira Salazar Ribeiro, P. F. & Cavalcanti, A. L. C., 2015, Unifying Theories of Programming: 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers. SPRINGER, p. 42-61 20 p. (Lecture Notes in Computer Science; vol. 8963).

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

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

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

  439. Application areas of AIS: The past, the present and The Future

    Hart, E. & Timmis, J., 2005, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Jacob, C., Pilat, ML., Bentley, PJ. & Timmis, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 483-497 15 p.

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

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

  441. Application of correlation memory matrices in high frequency asset allocation

    Kustrin, D., Austin, J. & Sanders, A., 1997, FIFTH INTERNATIONAL CONFERENCE ON ARTIFICIAL NEURAL NETWORKS. EDISON: INST ELECTRICAL ENGINEERS INSPEC INC, p. 167-172 6 p.

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

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

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

  444. Applying Communication Patterns to Actor-Oriented Models

    Thuy, A., Indrusiak, L. S. & Glesner, M., 2006, Forum on specification and Design Languages, FDL 2006, September 19-22, 2006, Darmstadt, Germany, Proceedings. ECSI, p. 407-409 3 p.

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

  445. Applying artificial immune systems to real-time embedded systems

    Lay, N. & Bate, I., 2007, Congress on Evolutionary Computation (CEC). NEW YORK: IEEE, p. 3743-3750 8 p.

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

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

  447. Applying web usage mining techniques to discover potential browsing problems of users

    Ting, I-H., Kimble, C. & Kudenko, D., 2007, 7th IEEE International Conference on Advanced Learning Technologies, Proceedings. Spector, JM., Sampson, DG., Okamoto, T., Kinshuk, X., Cerri, SA., Ueno, M. & Kashihara, A. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 929-930 2 p.

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

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

  449. Appropriate mechanisms for the support of optional processing in hard real-time systems

    Audsley, N. C., Davis, R. I., Burns, A. & Wellings, A. J., May 1994, IEEE Workshop on Real-Time Operating Systems and Software. p. 23-27

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

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

  451. Architectural Considerations in the Certification of Modular Systems

    Bate, I. & Kelly, T., 2002, Computer Safety, Reliability and Security - 21st International Conference, SAFECOMP 2002. Vol. LNCS 2434. p. 321-333 13 p.

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

  452. Architecture Trade-off Analysis and Codesign for Safety-Related Real-Time Embedded Systems

    Bate, I. & Audsley, N., 2002, Proceedings of 1st International Workshop on Embedded Systems Codesign. p. 8-15 8 p.

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

  453. Architecture Trade-off Analysis and the Influence on Component Design

    Bate, I. & Audsley, N., 2002, Proceedings of the Workshop on Component-based Software Engineering.

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

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

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

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

  455. Are Neural Networks Really the Holy Grail? A Comparison of Multivariate Calibration for Low-cost Environmental Sensors

    Fang, X., Bate, I. J. & Griffin, D. J., 26 Nov 2020, (Accepted/In press) 11th EAI International Conference on Sensor Systems and Software.

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

  456. Artificial immune systems and the grand challenge for non-classical computation

    Stepney, S., Clark, J. A., Johnson, C. G., Partridge, D. & Smith, R. E., 2003, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Timmis, J., Bentley, P. & Hart, E. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 204-216 13 p.

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

  457. Assessing complex computer based systems using the goal structuring notation

    Wilson, S. P., McDermid, J. A., Pygott, C. H. & Tombs, D. J., 1996, SECOND IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS. LOS ALAMITOS: I E E E, COMPUTER SOC PRESS, p. 498-505 8 p.

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

  458. Assessing the Use of Eclipse MDE Technologies in Open-Source Software Projects

    Kolovos, D. S., Matragkas, N. D., Korkontzelos, I., Ananiadou, S. & Paige, R. F., 2015, Proceedings of the International Workshop on Open Source Software for Model Driven Engineering co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015) : Ottawa, Canada, September 29, 2015. CEUR-WS.org, p. 20-29 10 p. (CEUR Workshop Proceedings; vol. 1541).

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

  459. Assessing the safety of integrity level partitioning in software

    McDermid, J. A. & Pumfrey, D. J., 2000, LESSONS IN SYSTEM SAFETY. Redmill, F. & Anderson, T. (eds.). GODALMING: SPRINGER-VERLAG LONDON LTD, p. 134-152 19 p.

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

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

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

  462. Assigning Semantics to Graphical Concrete Syntaxes

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

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

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

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

  465. Assuring Safety for Component Based Software Engineering

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

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

  466. Asynchronous data sharing in multiprocessor real time systems using process consensus

    Chen, J. & Burns, A., 1998, 10TH EUROMICRO WORKSHOP ON REAL-TIME SYSTEMS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 29 8 p.

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

  467. Asynchronous event handling and real-time threads in the Real-time Specification for Java

    Wellings, A. J. & Burns, A., 2002, EIGHTH IEEE REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 81-89 9 p.

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

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

  469. Asynchronous event handling in the real-time specification for Java

    Kim, M. & Wellings, A. J., 2007, Proceedings of the 5th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2007, Institute of Computer Engineering, Vienna University of Technology, 26-28 September 2007, Vienna, Austria. Bollella, G. (ed.). ACM, p. 3-12 10 p. (ACM International Conference Proceeding Series).

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

  470. At the interface of inductive logic programming and statistics

    Cussens, J., 2004, INDUCTIVE LOGIC PROGRAMMING, PROCEEDINGS. Camacho, R., King, R. & Srinivasan, AS. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 23 2 p.

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

  471. Attribute-Value and Relational Learning: A Statistical Viewpoint

    Cussens, J., 2000, Proceedings of the ICML-2000 Workshop on Attribute-Value and Relational Learning: Crossing the Boundaries. De Raedt, L. & Kramer, S. (eds.). p. 35-39 5 p.

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

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

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

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

  473. Automated Calibration of agent-based immunological simulations

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

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

  474. Automated Symmetry Breaking and Model Selection in Conjure

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

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

  475. Automated Verification and Validation for High Integrity Systems: A Targeted Formal Methods Approach

    Burton, S., Clark, J. A., Galloway, A. & McDermid, J. A., 2000, Proceedings of the NASA Langley Formal Methods Workshop.

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

  476. Automated benchmarking of functional data structures

    Moss, G. E. & Runciman, C., 1999, PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES. Gupta, G. (ed.). BERLIN: SPRINGER-VERLAG BERLIN, p. 115 15 p.

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

  477. Automated calibration of agent-based immunological simulations

    Read, M. N., Tripp, M., Leonova, H., Rose, L. M. & Timmis, J., 2 Sep 2013, Advances in Artificial Life, ECAL 2013: Proceedings of the Twelfth European Conference on the Synthesis and Simulation of Living Systems. MIT Press, p. 874-875 (Complex Adaptive Systems).

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

  478. Automated design of security protocols

    Chen, H., Clark, J. A. & Jacob, J. L., 2003, CEC: 2003 CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-4, PROCEEDINGS. NEW YORK: IEEE, p. 2181-2188 8 p.

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

  479. Automated generalisation of function definitions

    Bakewell, A. & Runciman, C., 1999, FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS. Middledorp, A. & Sato, T. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 225-240 16 p.

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

  480. Automatic Classification of Music Genre using Masked Conditional Neural Networks

    Medhat, F., Chesmore, E. D. & Robinson, J. A., 11 Nov 2017, 2017 IEEE International Conference on Data Mining (ICDM). IEEE

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

Previous 1 2 3 4 5 6 7 8 ...11 Next