Search research publications and outputs

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

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

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

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

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

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

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

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

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

  10. 3D Mesh Steganalysis using local shape features

    Li, Z. & Bors, A. G., May 2016, Proc. IEEE Int. Conf. on Acoustics, Speech and Signal Processing (ICASSP). IEEE, p. 2144-2148 5 p.

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

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

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

  13. 3D Steganalysis Using LaplacianSmoothing at Various Levels

    Li, Z., Liu, F. & Bors, A. G., 2018, Proc. International Conference on Cloud Computing and Security (ICCCS). Springer, Vol. 11068. p. 223-232 (Lecture Notes in Computer Science).

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

  14. 3D Steganalysis Using the Extended Local Feature Set

    Li, Z., Gong, D., Liu, F. & Bors, A. G., 2018, Proc. of IEEE International Conference on Image Processing. IEEE, p. 1683-1687 5 p.

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

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

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

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

  18. A 3D Morphable Model of Craniofacial Shape and Texture Variation

    Dai, H., Pears, N. E., Smith, W. A. P. & Duncan, C., 25 Dec 2017, Proceedings - 2017 IEEE International Conference on Computer Vision, ICCV 2017. Vol. 2017-October. p. 3104-3112 9 p. 8237597. ( Title Proceedings / IEEE International Conference on Computer Vision.).

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

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

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

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

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

  23. A Binary Neural Shape Matcher using Johnson Counters and Chain Codes

    Hodge, V., O'Keefe, S. & Austin, J., 10 Mar 2006, BICS.

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

  24. A Calculus of Space, Time, and Causality: its Algebra, Geometry, Logic

    Hoare, T., Struth, G. & Woodcock, J. C. P., 4 Nov 2019, Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings. Ribeiro, P. & A. S. (eds.). Lecture Notes in Computer Science, Vol. 11885.

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

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

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

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

  28. A Comparison Framework for Spectrogram Track Detection Algorithms

    Lampert, T. & O'Keefe, S., 1 May 2009, Computer Recognition Systems . Kurzynski, M. & Wozniak, M. (eds.). Springer, Vol. 3. p. 119 126 p. (Advances in Intelligent and Soft Computing ; vol. 57/2009).

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

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

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

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

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

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

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

  35. A Data-augmented 3D Morphable Model of the Ear

    Dai, H., Pears, N. E. & Smith, W. A. P., 15 May 2018, The 13th IEEE International Conference on AUTOMATIC FACE AND GESTURE RECOGNITION (FG 2018) . IEEE, 5 p.

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

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

  37. A Domain Specific Transformation Language to Bridge Concrete and Abstract Syntax

    Herrera, A. S-B., Willink, E. D. & Paige, R. F., 1 Jul 2017, Theory and Practice of Model Transformations - 9th International Conference, ICMT 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings. SPRINGER, p. 3-18 16 p. (Lecture Notes in Computer Science; vol. 9765).

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

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

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

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

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

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

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

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

  45. A Game that Makes You Question...” Exploring the Role of Reflection for the Player Experience

    Mekler, E., Iacovides, I. & Bopp, J., Oct 2018, Proceedings of the annual ACM Conference CHI Play 2018. ACM

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

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

  47. A Graph Kernel based on Jensen-Shannon Representation

    Bai, L., Zhang, Z. & Hancock, E. R., 2015, International Joint Conference on Artificial Intelligence (IJCAI). 8 p.

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

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

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

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

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

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

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

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

  55. A Jensen-Shannon Divergence Kernel for Directed Graphs

    Ye, C., Wilson, R. C. & Hancock, E. R., 8 Nov 2016, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, S+SSPR 2016, Mérida, Mexico, November 29 - December 2, 2016, Proceedings. p. 196-206 11 p. (Lecture Notes in Computer Science (LNCS); vol. 10029).

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

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

  57. A Lightweight Hat: simple type-preserving instrumentation for self-tracing lazy functional programs

    Chitil, O., Faddegon, M. & Runciman, C., 2016, Proceedings of 28th Symposium on Implementation and Application of Functional Languages. ASSOC COMPUTING MACHINERY, 10

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

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

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

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

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

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

  63. A Mixed Method Approach for Evaluating and Improving the Design of Learning in Puzzle Games

    Scozzi, M. V., Iacovides, I. & Linehan, C., 1 Oct 2017, The ACM SIGCHI Annual Symposium on Computer-Human Interaction in Play (CHIPLAY 2017). ACM, p. 217-228

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

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

  65. A Multi-Scale Piecewise-Linear Feature Detector for Spectrogram Tracks

    Lampert, T., Pears, N. & O'Keefe, S., 2009, AVSS: 2009 6TH IEEE INTERNATIONAL CONFERENCE ON ADVANCED VIDEO AND SIGNAL BASED SURVEILLANCE. NEW YORK: IEEE, p. 330-335 6 p.

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

  66. A Multi-agent Framework for Dependable Adaptation of Evolving System Architectures

    Johnson, K. H. A., Sinha, R., Calinescu, R. & Ruan, J., 2015, 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA). IEEE, p. 159-166

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

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

  68. A Multiresolution 3D Morphable Face Model and Fitting Framework

    Huber, P., Hu, G., Tena, R., Mortazavian, P., Koppen, W. P., Christmas, W., Rätsch, M. & Kittler, J., Feb 2016, Proceedings of the 11th Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications. SciTePress, Vol. 4. p. 79-86

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

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

  70. A Nested Alignment Graph Kernel through the Dynamic Time Warping Framework

    Bai, L., Rossi, L., Cui, L. & Hancock, E. R., 2017, Graph-Based Representations in Pattern Recognition - 11th IAPR-TC-15 International Workshop, GbRPR 2017, Anacapri, Italy, May 16-18, 2017, Proceedings. Springer Berlin / Heidelberg, p. 59-69 11 p.

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

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

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

  73. A New Approach to Creating Clear Safety Arguments

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  87. A Scalable, Correct Time-stamped Stack

    Dodds, M., Haas, A. & Kirsch, C. M., 2015, Proceedings of the 42th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages.. ACM, 14 p.

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

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

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

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

  91. A Smart Contract for Boardroom Voting with Maximum Voter Privacy

    McCorry, P., Shahandashti, S. F. & Hao, F., 2017, Financial Cryptography and Data Security - 21st International Conference, FC 2017, Revised Selected Papers: 21st International Conference, FC 2017, Sliema, Malta, April 3-7, 2017, Revised Selected Papers. Kiayias, A. (ed.). Springer, p. 357-375 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10322 LNCS).

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

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

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

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

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

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

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

  98. A SysML Profile for Fault Trees: Linking Safety Models to System Design

    Clegg, K. D., McDermid, J. A., Grigg, A. & Mole, L., 8 Aug 2019, Computer Safety, Reliability, and Security: SAFECOMP 2019. Romanovsky, A. & Troubitsyna, E. (eds.). Springer Nature , Vol. 11698. p. 85-93 (Lecture Notes in Computer Science; vol. 11698).

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

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

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

  101. A Team Based Player Versus Player Recommender Systems Framework For Player Improvement

    Joshi, R., Gupta, V., Li, X., Cui, Y., Wang, Z., Ravari, Y., klabjan, D., Sifa, R., Parsaianen, A., Drachen, A. & Demediuk, S. P., 29 Jan 2019, (Accepted/In press) Proceedings of ACSW.

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

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

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

  104. A Tool for Development and Evaluation of Accessible Web 2.0 Applications

    Kervina, D., Pustisek, M., Ackermann, P., Velasco, C. A. & Power, C. D., 2012, 21st International Electrotechnical and Computer Science Conference. IEEE COMPUTER SOC, p. 89-92 4 p.

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

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

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

  107. A Verified Protocol to Implement Multi-way Synchronisation and Interleaving in CSP

    Oliveira, M. V. M., Júnior, I. S. D. M. & Woodcock, J., 2013, Software Engineering and Formal Methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings. Hierons, R. M., Merayo, M. G. & Bravetti, M. (eds.). SPRINGER, Vol. 8137. p. 46-60 15 p. (Lecture Notes in Computer Science).

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  136. A framework for constraint based local search using ESSENCE

    Akgun, O., Attieh, S. W. A., Gent, I. P., Jefferson, C. A., Miguel, I. J., Nightingale, P. W., Salamon, A. Z., Spracklen, P. & Wetter, J. P., 13 Jul 2018, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. Lang, J. (ed.). International Joint Conferences on Artificial Intelligence, p. 1242-1248 7 p.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  164. A novel entropy-based graph signature from the average mixing matrix

    Bai, L., Rossi, L., Cui, L. & Hancock, E. R., 1 Dec 2016, 2016 23rd International Conference on Pattern Recognition (ICPR). Davis, L., Bimbo, A. D. & Lovell, B. (eds.). Los Alamitos, CA, USA: IEEE Computer Society Press, p. 1339-1344 6 p.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  193. A taxonomy of attacks on secure devices

    Rae, A. & Wildman, L., 2003, Proceedings of the Australia Information Warfare and Security Conference 2003. p. 251-264

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

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

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

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

  197. A transitive aligned Weisfeiler-Lehman subtree kernel

    Bai, L., Rossi, L., Cui, L. & Hancock, E. R., 1 Dec 2016, 2016 23rd International Conference on Pattern Recognition (ICPR). Davis, L., Bimbo, A. D. & Lovell, B. (eds.). Los Alamitos, CA, USA: IEEE Computer Society Press, p. 396-401 6 p.

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

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

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

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

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

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

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

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

  205. AI for Herding Sheep.

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

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

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

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

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

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

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

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

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

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

  214. Absorptive scattering model for rough laminar surfaces

    Dahlan, H. A. & Hancock, E. R., 1 Dec 2016, 2016 23rd International Conference on Pattern Recognition (ICPR). Davis, L., Bimbo, A. D. & Lovell, B. (eds.). Los Alamitos, CA, USA: IEEE Computer Society Press, p. 1905-1910 6 p.

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

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

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

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

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

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

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

  221. Accurate Analysis of Quality Properties of Software with Observation-Based Markov Chain Refinement

    Paterson, C. A. & Calinescu, R. C., 2017, (Accepted/In press) IEEE International Conference on Software Architecture (ICSA 2017). IEEE

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

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

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

    Law, S. A. & Bate, I., 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

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

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

  226. Achieving performance portability for a heat conduction solver mini-application on modern multi-core systems

    Kirk, R. O., Mudalige, G. R., Reguly, I. Z., Wright, S. A., Martineau, M. J. & Jarvis, S. A., 26 Sep 2017, Proceedings - 2017 IEEE International Conference on Cluster Computing, CLUSTER 2017. Institute of Electrical and Electronics Engineers Inc., Vol. 2017-September. p. 834-841 8 p. 8049026

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

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

  228. Active Contour Detection of Linear Patterns in Spectrogram Images

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

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

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

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

  231. AdaptMC: A Control-Theoretic Approach for Achieving Resilience in Mixed-Criticality Systems

    Papadopoulos, A., Bini, E., Baruah, S. & Burns, A., 4 Jul 2018, Proceeding ECRTS Conference. Altmeyer, S. (ed.). Dagstuhl: LIPICS, p. 14:1-14:22 22 p. 14

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

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

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

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

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

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

  237. Adaptive Feature Selection Based on the Most Informative Graph-Based Features

    Lu, B., Cui, L., Rossi, L. & Hancock, E. R., 2017, Graph-Based Representations in Pattern Recognition - 11th IAPR-TC-15 International Workshop, GbRPR 2017, Anacapri, Italy, May 16-18, 2017, Proceedings. Springer Berlin / Heidelberg, p. 276-287 12 p.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  256. AirTight: A Resilient Wireless Communication Protocol for Mixed-Criticality Systems

    Burns, A., Harbin, J. R., Soares Indrusiak, L., Bate, I. J., Davis, R. I. & Griffin, D. J., 1 Aug 2018, IEEE Embedded and Real-Time Computing Systems and Applications: RTCSA. 11 p.

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

  257. Algebraic Compilation of Safety-Critical Java Bytecode

    Baxter, J. & Cavalcanti, A. L. C., 1 Sep 2017, Integrated Formal Methods. Polikarpova, N. & Schneider, S. (eds.). Springer, p. 161-176 16 p.

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

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

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

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

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

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

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

  264. An Aligned Subtree Kernel for Weighted Graphs

    Bai, L., Rossi, L. & Hancock, E. R., 2015, International Conference on Machine Learning (ICML) 2015. Vol. 37. p. 30-39 10 p.

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

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

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

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

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

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

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

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

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

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

  274. An Axiomatic Value Model for Isabelle/UTP

    Zeyda, F., Foster, S. D. & Freitas, L., 2016, (Accepted/In press) 6th International Symposium on Unifying Theories of Programming. p. 1-20 20 p.

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

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

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

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

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

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

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

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

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

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

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

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

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

  287. An Interval Algebra for Multiprocessor Resource Allocation

    Soares Indrusiak, L. & Dziurzanski, P., 20 Jul 2015, The International Conference on Systems, Architectures, Modeling and Simulation (SAMOS). Soudris, D. & Carro, L. (eds.). 8 p.

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

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

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

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

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

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

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

  294. An XML-based Factory Description Language for Smart Manufacturing Plants in Industry 4.0: Factory Description Language

    Zhao, S., Dziurzanski, P. & Soares Indrusiak, L., 3 Jul 2019, International Workshop on Reconfigurable and Communication-centric Cyber-Physical Systems.

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

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

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

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

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

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

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

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

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

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

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

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

  306. An edge-based matching kernel on commute-time spanning trees

    Bai, L., Cui, L., Escolano, F. & Hancock, E. R., 1 Dec 2016, 2016 23rd International Conference on Pattern Recognition (ICPR). Davis, L., Bimbo, A. D. & Lovell, B. (eds.). Los Alamitos, CA, USA: IEEE Computer Society Press, p. 2103-2108 6 p.

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

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

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

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

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

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

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

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

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

  315. An incremental verification framework for component-based software systems

    Johnson, K. H. A., Calinescu, R. C. & Kikuchi, S., 2013, CBSE '13 : Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering. New York: ACM, p. 33-42 10 p.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  329. Analysing RoboChart with probabilities

    Conserva Filho, M. S., Marinho, R., Mota, A. & Woodcock, J., 24 Oct 2018, Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Proceedings. Massoni, T. & Mousavi, M. R. (eds.). Springer Verlag, p. 198-214 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11254 LNCS).

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

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

  331. Analysis and Optimization of Message Acceptance Filter Configurations for Controller Area Network (CAN)

    Pölzlbauer, F., Bate, I. J. & Davis, R. I., 2017, International Conference on Real-Time Networks and Systems. ACM, p. 247-256

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

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

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

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

  335. Analysis of the use of genetic algorithms for indoor localisation via cloud point matching

    Boland, M. & Soares Indrusiak, L., 24 Mar 2018, (Accepted/In press) Proceedings of the Genetic and Evolutionary Computation Conference. 8 p.

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

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

  337. Analyzing graph time series using a generative model

    Ye, C., Wilson, R. C. & Hancock, E. R., 1 Dec 2016, 2016 23rd International Conference on Pattern Recognition (ICPR). Davis, L., Bimbo, A. D. & Lovell, B. (eds.). Los Alamitos, CA, USA: IEEE Computer Society Press, p. 3338-3343 6 p.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  366. Assured Reinforcement Learning for Safety-Critical Applications

    Mason, G. R., Calinescu, R. C., Kudenko, D. & Banks, A., 2017, Doctoral Consortium at the 10th International Conference on Agents and Artificial Intelligence. SciTePress, 8 p.

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

  367. Assured Reinforcement Learning with Formally Verified Abstract Policies

    Mason, G. R., Calinescu, R. C., Kudenko, D. & Banks, A., 2017, 9th International Conference on Agents and Artificial Intelligence (ICAART).

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

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

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

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

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

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

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

  374. Athanor: High-Level Local Search Over Abstract Constraint Specifications in Essence

    Attieh, S. W. A., Dang, N., Jefferson, C., Miguel, I. & Nightingale, P., 10 Aug 2019, Proceedings of the 28th International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence, p. 1056-1063 8 p.

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

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

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

  377. Attributed Graph Transformation via Rule Schemata: Church-Rosser Theorem

    Plump, D. & Hristakiev, I., 3 Dec 2016, Software Technologies: Applications and Foundations : STAF 2016 Collocated Workshops, Revised Selected Papers. Milazzo, P., Wimmer, M. & Varró, D. (eds.). Springer, Vol. 9946. p. 145-160 16 p. (Lecture Notes in Computer Science; vol. 9946).

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

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

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

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

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

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

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

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

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

  386. Automatic Code Generation for Airborne Systems

    Audsley, N. C., Bate, I. J. & Crook-Dawkins, S. K., 1 Mar 2003, Proceedings of the IEEE Aerospace Conference. IEEE, p. 8-15 8 p.

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

  387. Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints

    Ansótegui, C., Bofill, M., Coll, J., Dang, N., Esteban, J. L., Miguel, I. J., Nightingale, P., Salamon, A. Z., Suy, J. & Villaret, M., 30 Sep 2019, Proceedings of the 25th International Conference on Principles and Practice of Constraint Programming. Springer, p. 20-36 17 p.

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

  388. Automatic Improvement of Apache Spark Queries using Semantics-preserving Program Reduction

    Kocsis, Z. A., Drake, J. H., Carson, D. & Swan, J., 2016, Genetic and Evolutionary Computation Conference, GECCO 2016, Denver, USA, July 20-24, 2016, Companion Material Proceedings.

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

  389. Automatic Keypoint Detection on 3D Faces Using a Dictionary of Local Shapes

    Creusot, C., Pears, N. & Austin, J., 2011, Proceedings of the 2011 International Conference on 3D Imaging, Modeling, Processing, Visualization and Transmission. Washington, DC, USA: IEEE Computer Society, p. 204-211 8 p. (3DIMPVT '11).

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

  390. Automatic Property Checking of Robotic Applications

    Miyazawa, A., De Oliveira Salazar Ribeiro, P. F., Li, W., Cavalcanti, A. L. C. & Timmis, J., 14 Dec 2017, IEEE/RSJ International Conference on Intelligent Robots and Systems. p. 3869-3876 8 p.

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

  391. Automatic Safety Analysis of Computer-based Railway Signalling System

    Nui, R., Tang, T., Lisagor, O. & McDermid, J. A., Jul 2011, Proceedings of IEEE International Conference on Intelligent Rail Transportation (IEEE ICIRT 2011). IEEE Intelligent Transportation Systems Society, p. 484-490 7 p.

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

  392. Automatic Safety Analysis of Networked Control System based on Failure Propagation Model

    Nui, R., Tang, T., Lisagor, O. & McDermid, J. A., Jul 2011, Proceedings of IEEE International Conference on Vehicular Electronics and Safety (ICVES 2011). Beijing, China: IEEE Intelligent Transportation Systems Society, p. 53-58 6 p.

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

  393. Automatic Translation from Circus to Java

    Freitas, A. & Cavalcanti, A., 2006, FM 2006: FORMAL METHODS, PROCEEDINGS. Misra, J., Nipkow, T. & Sekerinski, E. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 115-130 16 p.

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

  394. Automatic code generation for airborne systems

    Audsley, N., Bate, I. & Crook-Dawkins, S., 2003, 2003 IEEE AEROSPACE CONFERENCE PROCEEDINGS, VOLS 1-8. NEW YORK: IEEE, p. 2863-2873 11 p.

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

  395. Automatic critiques of interface modes

    Gow, J., Thimbleby, H. & Cairns, P., 2006, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 3941 LNCS. p. 201-212 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3941 LNCS).

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

  396. Automatic discovery and exploitation of promising subproblems for tabulation

    Akgun, O., Gent, I. P., Jefferson, C. A., Miguel, I. J., Nightingale, P. W. & Salamon, A. Z., 27 Aug 2018, Principles and Practice of Constraint Programming: 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings. Hooker, J. (ed.). Netherlands: Springer, p. 3-12 10 p. (Lecture Notes in Computer Science).

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

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

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

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

  398. Automatically Improving Constraint Models in Savile Row through Associative-Commutative Common Subexpression Elimination

    Nightingale, P., Akgun, O., Gent, I. P., Jefferson, C. & Miguel, I., 8 Sep 2014, Principles and Practice of Constraint Programming. Cham: SPRINGER, p. 590-605 16 p. (Lecture Notes in Computer Science; vol. 8656).

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

  399. Automatically improving SAT encoding of constraint problems through common subexpression elimination in Savile Row

    Nightingale, P., Spracklen, P. & Miguel, I. J., 1 Oct 2015, Principles and Practice of Constraint Programming: 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings. Pesant, G. (ed.). Netherlands: SPRINGER, Vol. 9255. p. 330-340 11 p. (Lecture Notes in Computer Science).

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

  400. Automating Verification of State Machines with Reactive Designs and Isabelle/UTP

    Foster, S. D., Baxter, J. E., Cavalcanti, A. L. C., Miyazawa, A. H. & Woodcock, JAMES. C. P., 5 Oct 2018, 15th International Conference on Formal Aspects of Component Software. Ölveczky, P. C. & Bae, K. (eds.). Springer, p. 137-155 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11222 LNCS).

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

  401. Automorphs and involutions

    Jackson, T., 2000, NUMBER THEORY. Jakubec, S., Nemoga, K. & Porubsky, S. (eds.). BRATISLAVA: SLOVAK ACADEMY SCIENCES MATHEMATICAL INSTITUTE, p. 59-63 5 p.

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

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

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

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

  403. Average and Worst-Case Latency Improvements in Mixed-Criticality Wormhole Networks-on-Chip

    Soares Indrusiak, L., Harbin, J. R. & Burns, A., 8 Jul 2015, 27th Euromicro Conference on Real-Time Systems (ECRTS15): Proceedings. IEEE, p. 47-56 10 p. (Proceedings: Euromicro Conference on Real-Time Systems ; vol. 27).

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

  404. BONITA: A set of tuple space primitives for distributed coordination

    Rowstron, A. I. T. & Wood, A. M., 1997, THIRTIETH HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, VOL 1. ElRewini, H. & Patt, YN. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 379-388 10 p.

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

  405. Bad Modelling Teaching Practices

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

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

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

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

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

  407. Baselines for joint-action reinforcement learning of coordination in cooperative multi-agent systems

    Carpenter, M. & Kudenko, D., 2005, ADAPTIVE AGENTS AND MULTI-AGENT SYSTEMS II. Kudenko, D., Kazakov, D. & Alonso, E. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 55-72 18 p.

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

  408. Bayes and pseudo-Bayes estimates of conditional probability and their reliability

    Cussens, J., 1993, Machine Learning: ECML-93. Brazdil, P. B. (ed.). Springer, Vol. 667. p. 136-152 17 p. (LNAI).

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

  409. Bayesian Estimation of Kernel Bandwidth for Nonparametric Modelling

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

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

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

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

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

  411. Bayesian network learning with cutting planes

    Cussens, J., 2011, Proceedings of the 27th Conference on Uncertainty in Artificial Intelligence (UAI 2011). Cozman, F. & Pfeffer, A. (eds.). Corvallis, Oregon: AUAI Press, p. 153-160 8 p.

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

  412. Bayesian opponent modeling in a simple poker environment

    Baker, R. JS. & Cowling, P. I., 2007, Computational Intelligence and Games, 2007. CIG 2007. IEEE Symposium on. p. 125-131 7 p.

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

  413. Behavioral Program Synthesis: Insights and Prospects

    Krawiec, K., Swan, J. & O'Reilly, U-M., 2015, Genetic Programming Theory and Practice XIII : GPTP 2015, University of Michigan, Ann Arbor. Riolo, R., Worzel, B., Kotanchek, M. & Kordon, A. (eds.). Springer, p. 191-209 19 p. (Genetic and Evolutionary Computation).

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

  414. Behavioural Models for FMI Co-simulations

    Cavalcanti, A. L. C., Woodcock, J. C. P. & Amalio, N., 2016, International Colloquium on Theoretical Aspects of Computing. Sampaio, A. C. A. & Wang, F. (eds.). Springer, Vol. 9965. p. 255-273 19 p. (Lecture Notes in Computer Science).

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

  415. Behavioural Sets and Operations in Treaty Systems

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

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

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

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

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

  417. Benchmarking, System Design and Case-studies for Multi-core based Embedded Automotive Systems

    Dziurzanski, P., Singh, A. K., Indrusiak, L. S. & Saballus, B., Jan 2016, Proc. 2nd Int Workshop on Dynamic Resource Allocation and Management in Embedded, High Performance and Cloud Computing (DREAMCloud) - HiPEAC Conference. Arxiv (Cornell University), 6 p.

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

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

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

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

  419. Bidding policies for market-based HPC workflow scheduling

    Burkimsher, A. & Indrusiak, L. S., Jan 2016, Proc. 2nd Int Workshop on Dynamic Resource Allocation and Management in Embedded, High Performance and Cloud Computing (DREAMCloud) - HiPEAC Conference. Arxiv (Cornell University), 7 p.

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

  420. Binary exponential back off for tabu tenure in hyperheuristics

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

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

  421. Bio-inspired Error Detection for Complex Systems

    Drozda, M., Bate, I. & Timmis, J., 2011, Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing. p. 154-163 10 p.

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

  422. Bio-inspired distributed task remapping for multiple video stream decoding on homogeneous NoCs

    Mendis, H. R., Indrusiak, L. S. & Audsley, N. C., 9 Dec 2015, ESTIMedia 2015 : 13th IEEE Symposium on Embedded Systems for Real-Time Multimedia. Institute of Electrical and Electronics Engineers Inc., 7351765

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

  423. Biomolecular immune-computer: Theoretical basis and experimental simulator

    Goncharova, L. B., Jacques, Y., Martin-Vide, C., Tarakanov, A. O. & Timmis, J. I., 2005, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Jacob, C., Pilat, ML., Bentley, PJ. & Timmis, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 72-85 14 p.

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

  424. Birkhoff Polytopes, Heat Kernels and Graph Complexity

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

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

  425. Blind watermarking of 3D shapes using localized constraints

    Bors, A. G., 2004, 2ND INTERNATIONAL SYMPOSIUM ON 3D DATA PROCESSING, VISUALIZATION, AND TRANSMISSION, PROCEEDINGS. Aloimonos, Y. & Taubin, G. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 242-249 8 p.

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

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

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

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

  427. Board Evaluation For The Virus Game.

    Cowling, P. I., 2005, CIG.

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

  428. Bragg Diffraction Patterns as Graph Characteristics

    Escolano, F. & Hancock, E. R., 22 Mar 2018, Eleventh International Conference on Energy Minimisation Methods in Computer Vision and Pattern Recognition. Springer Nature , Vol. 10746. p. 59-72 13 p. (Lecture Notes in Computer Science).

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

  429. Breaking row and column symmetries in matrix models

    Flener, P., Frisch, A. M., Hnich, B., Kiziltan, Z., Miguel, I., Pearson, J. & Walsh, T., Sep 2002, Proceedings of the 8th International Conference on Principles and Practice of Constraint Programmin. Berlin / Heidelberg: Springer, p. 462-477 15 p. (Lecture Notes in Computer Science; vol. 2470).

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

  430. Bridging Proprietary Modelling and Open-Source Model Management Tools: The Case of PTC Integrity Modeller and Epsilon

    Zolotas, A., Rodriguez, H. H., Kolovos, D. S., Paige, R. F. & Hutchesson, S., 7 Nov 2017, Proceedings - ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, MODELS 2017. Institute of Electrical and Electronics Engineers Inc., p. 237-247 11 p. 8101270

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

  431. Buffer-aware bounds to multi-point progressive blocking in priority-preemptive NoCs

    Soares Indrusiak, L., Burns, A. & Nikolic, B., Mar 2018, Proceedings of the 2018 Design, Automation & Test in Europe Conference (DATE). p. 219-224

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

  432. Building Dialectal Arabic Corpora

    Elgabou, H. A. M. & Kazakov, D. L., 7 Sep 2017, The First Workshop on Human-Informed Translation and Interpreting Technology (HiT-IT). p. 52-57 6 p.

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

  433. Building Model-Driven Engineering Traceability

    Paige, R. F., Olsen, G. K., Kolovos, D., Zschaler, S. & Power, C. D., 2010, ECMDA Traceability Workshop (ECMDA-TW). Sintef, p. 49 1 p.

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

  434. Building a Preliminary Safety Case: An Example from Aerospace

    Bate, I. J., Burns, A., Kelly, T. P. & McDermid, J. A., 1997, Proceedings of the 1997 Australian Workshop on Industrial Experience with Safety Critical Systems and Software, Sydney, Australia. p. 1-10 10 p.

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

  435. Burns Standard Notation for real time scheduling

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

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

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

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

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

  437. C-NNAP: A dedicated platform for binary neural networks

    Kennedy, J. V., Austin, J., Pack, R. & Cass, B., 1997, FIFTH INTERNATIONAL CONFERENCE ON ARTIFICIAL NEURAL NETWORKS. EDISON: INST ELECTRICAL ENGINEERS INSPEC INC, p. 161-166 6 p.

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

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

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

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

  439. CAUSALITY AS A MEANS FOR THE EXPRESSION OF REQUIREMENTS FOR SAFETY-CRITICAL SYSTEMS

    Coombes, A., McDermid, J. & Morris, P., 1994, COMPASS '94 - PROCEEDINGS OF THE NINTH ANNUAL CONFERENCE ON COMPUTER ASSURANCE. NEW YORK: I E E E, p. 223-231 9 p.

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

  440. CGRASS: A system for transforming constraint satisfaction problems

    Frisch, A. M., Miguel, I. & Walsh, T., 2003, RECENT ADVANCES IN CONSTRAINTS. OSullivan, B. (ed.). BERLIN: SPRINGER-VERLAG BERLIN, p. 15-30 16 p.

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

  441. CLP(BN): Constraint Logic Programming for Probabilistic Knowledge

    Santos Costa, V., Page, D., Qazi, M. & Cussens, J., 2003, Proceedings of the Nineteenth Annual Conference on Uncertainty in Artificial Intelligence (UAI--2003). rulff, U. K. & Meek, C. (eds.). Acapulco, Mexico: MORGAN KAUFMANN PUB INC, p. 517-524 8 p.

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

  442. CMSEBA 2014 Workshop Report

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

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

  443. COMFLEX: a high speed packet switch for Inter-Computer Communication

    McDermid, J. A., 1978, IRIA 1978. p. 187-204

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

  444. COMMitMDE 2017 - 2nd international workshop on collaborative modelling in MDE

    Bosch, J., Malavolta, I., Gérard, S., Muccini, H. & Kolovos, D., 2017, CEUR Workshop Proceedings: Proceedings of MODELS 2017 Satellite Event: Workshops. Vol. 2019. p. 123-124 2 p.

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

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

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

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

  446. CONNER: A Concurrent ILP Learner in Description Logic

    Algahtani, E. & Kazakov, D. L., 26 Jul 2019, (Accepted/In press) Inductive Logic Programming: 29th International Conference, ILP 2019. Springer, (LNAI; no. 11770).

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

  447. COTS product selection for safety-critical systems

    Ye, F. & Kelly, T., 2004, COTS BASED SOFTWARE SYSTEMS, PROCEEDINGS. Port, D. (ed.). BERLIN: SPRINGER-VERLAG BERLIN, p. 53-62 10 p.

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

  448. CSP and Kripke Structures

    Cavalcanti, A. L. C., Huang, W-L., Peleska, J. & Woodcock, J. C. P., 2015, Theoretical Aspects of Computing - ICTAC 2015. Leucker, M., Rueda, C. & Valencia, F. D. (eds.). SPRINGER, p. 505-523 19 p. (Lecture Notes in Computer Science; vol. 9399).

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

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

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

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

  450. Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra

    Foster, S. D., Ye, K., Cavalcanti, A. L. C. & Woodcock, JAMES. C. P., 1 Nov 2018, Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Proceedings. Guttmann, W., Desharnais, J. & Joosten, S. (eds.). Lecture Notes in Computer Science, Vol. 11194. p. 205-224 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11194 LNCS).

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

  451. Can opponent models aid poker player evolution?

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

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

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

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

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

  453. Can recognising multiword expressions improve shallow parsing?

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

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

  454. Capturing and Replaying Architectural Knowledge through Derivational Analogy

    Habli, I. & Kelly, T., 2007, 2nd International Workshop on SHAring and Reusing architectural Knowledge – Architecture, rationale, and Design Intent.

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

  455. Cartographic indexing into a database of remotely sensed images

    Huet, B. & Hancock, E. R., 1996, THIRD IEEE WORKSHOP ON APPLICATIONS OF COMPUTER VISION - WACV '96, PROCEEDINGS. LOS ALAMITOS: I E E E, COMPUTER SOC PRESS, p. 814 7 p.

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

  456. Cartographic matching with millimetre radar images

    Moss, S. & Hancock, E. R., 1996, THIRD IEEE WORKSHOP ON APPLICATIONS OF COMPUTER VISION - WACV '96, PROCEEDINGS. LOS ALAMITOS: I E E E, COMPUTER SOC PRESS, p. 70-76 7 p.

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

  457. Cautious Induction in Inductive Logic Programming

    Anthony, S., Frisch, A. M., Lavrac, N. (ed.) & Dzeroski, S. (ed.), 1997, Inductive Logic Programming: Proc. of the Seventh Int. Workshop. Prague, Czech Republic: Springer, Vol. 1297. p. 45-60 16 p. (Lecture Notes in Artificial Intelligence).

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

  458. Certification of FPGAs - Current Issues and Possible Solutions

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

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

  459. Certification of FPGAs - Current Issues and Possible Solutions

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

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

  460. Chaining model transformations

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

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

  461. Challenges and best practices in policy-based autonomic architectures

    Calinescu, R., 1 Dec 2007, Proceedings - DASC 2007: Third IEEE International Symposium on Dependable, Autonomic and Secure Computing. p. 65-74 10 p. 4351390

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

  462. Challenges for artificial immune systems

    Timmis, J., 2006, NEURAL NETS. Apolloni, B., Marinaro, M., Necosia, G. & Tagliaferri, R. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 355-367 13 p.

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

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

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

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

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

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

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

  465. Challenges of Safety Assurance for Industry 4.0

    Jaradat, O., Šljivo, I., Habli, I. & Hawkins, R. D., Sep 2017, 13th European Dependable Computing Conference (EDCC). p. 103-106

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

  466. Challenges of establishing a software product line for an aerospace engine monitoring system

    Habli, I., Kelly, T. & Hopkins, I., 2007, SPLC 2007: 11TH INTERNATIONAL SOFTWARE PRODUCT LINE CONFERENCE, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 193-202 10 p.

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

  467. Challenging AI: Evaluating the Effect of MCTS-Driven Dynamic Difficulty Adjustment on Player Enjoyment

    Demediuk, S. P., Tamassia, M., Li, X. & Raffe, W., 29 Jan 2019, Proceedings of ACSW.

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

  468. Challenging formal specifications by mutation: a CSP security example

    Srivatanakul, T., Clark, J. A., Stepney, S. & Polack, F., 2003, ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS. Azada, D. (ed.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 340-350 11 p.

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

  469. Characteristic Polynomial Analysis on Matrix Representations of Graphs

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

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

  470. Characterizing Graphs Using Approximate von Neumann Entropy

    Han, L., Hancock, E. R. & Wilson, R. C., 2011, PATTERN RECOGNITION AND IMAGE ANALYSIS: 5TH IBERIAN CONFERENCE, IBPRIA 2011. Vitria, J., Sanches, JM. & Hernandez, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6669 LNCS. p. 484-491 8 p.

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

  471. Characterizing Graphs Using Spherical Triangles

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

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

  472. Cheap Remarks about Concurrent Programs

    Walker, M. & Runciman, C., 22 Jan 2018, (Accepted/In press) Proceedings of 14th International Symposium on Functional and Logic Programming. Springer, 15 p.

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

  473. Checking Graph Programs for Confluence

    Plump, D. & Hristakiev, I., 23 Jan 2018, Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Revised Selected Papers. Seidl, M. & Zschaler, S. (eds.). Springer, p. 92-108 16 p. (Lecture Notes in Computer Science; vol. 10748).

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

  474. Checking SysML Models for Co-Simulation

    Amálio, N., Payne, R., Cavalcanti, A. L. C. & Woodcock, J., 2016, International Conference on Formal Engineering Methods. Springer, (Lecture Notes in Computer Science).

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

  475. Checking the shape safety of pointer manipulations

    Plump, D., Bakewell, A. & Runciman, C., 2004, Relational Methods in Computer Science (RelMiCS 7), Revised Selected Papers. Berghammer, R., Moller, B. & Struth, G. (eds.). Berlin: Springer, p. 48-61 14 p. (Lecture Notes in Computer Science; vol. 3051).

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

  476. Checkpointing and Error Recovery in Distributed Systems

    McDermid, J. A., 1981, Proc. 2nd Int. Conf. on Distributed Computing Systems. p. 271-282 12 p.

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

  477. Chemical structure matching using correlation matrix memories

    Austin, J., Turner, A., Turner, M. & Lees, K., 1999, NINTH INTERNATIONAL CONFERENCE ON ARTIFICIAL NEURAL NETWORKS (ICANN99), VOLS 1 AND 2. EDISON: IEEE, Vol. 2. p. 619-624 5 p.

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

  478. Choice function and random hyperheuristics

    Kendall, G., Cowling, P. & Soubeiga, E., 2002, Proceedings of the fourth Asia-Pacific conference on simulated evolution and learning, SEAL. p. 667-671 5 p.

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

  479. Choosing the fittest subset of low level heuristics in a hyperheuristic framework

    Chakhlevitch, K. & Cowling, P., 2005, European Conference on Evolutionary Computation in Combinatorial Optimization. p. 23-33 11 p.

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

  480. Circus Time with Reactive Designs

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

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

  481. Closed frequent itemset mining with arbitrary side constraints

    Kocak, G., Akgun, O., Miguel, I. J. & Nightingale, P. W., 17 Nov 2018, Workshop proceedings (OEDM 2018) of the 2018 IEEE International Conference on Data Mining (ICDM). IEEE Computer Society, 9 p.

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

  482. Cloud-COVER: Using User Security Attribute Preferences and Propagation Analysis to Prioritise Threats to Systems

    Aydin, M. M. & Jacob, J. L., 7 Sep 2015, Intelligence and Security Informatics Conference (EISIC), 2015 European Workshop. Hammoudeh, M. & Han, L. (eds.). IEEE, p. 53-60 8 p.

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

  483. Clustering Using Class Specific Hyper Graphs

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

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

  484. Co-Motion: Mobility and wellbeing in later life

    Bevan, M. A., Petrie, H., Cambridge, H. M., Cinderby, S., Croucher, K. L., Swallow, D. M., Gilroy, R. & Attuyer, K., 21 Aug 2016, Universal Design 2016: Learning from the past, designing for the future (Proceedings of the 3rd International Conference on Universal Design, UD2016). . Amsterdam: IOS Press, Vol. 229. p. 627 - 629 2 p.

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

  485. Collaborative design using a shared object spaces infrastructure

    Sawicki, S., Brisolara, L., Indrusiak, L. S. & Reis, R., 2002, 15TH SYMPOSIUM ON INTEGRATED CIRCUITS AND SYSTEMS DESIGN, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 163-168 6 p.

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

  486. Collective Monitoring to Achieve Self-Detection of Errors in Swarm Robotics

    Lau, H., Timmis, J. & Bate, I. J., 2011, LNCS. Lecture Notes in Computer Science, Vol. 6826. p. 254-267

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

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

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

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

  488. Combined Security and Safety Risk Analysis: What needs to be done for ICS and the IoT

    McDermid, J. A., StJohn-Green, M., Piggin, R. & Oates, R., 2015, 10th IET System Safety and Cyber Security Conference . IET, p. 63-69 7 p.

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

  489. Combined Simulator Statistics and Block-Code Sampling to Study Performance Enhancement of Microarchitecture

    Huibin, S., Bailey, C., Farrall, G., Hastie, N. & Jenkins, S., 2005, Proceedings of IEEE International System-On-Chip Conference 2005. p. 33 - 36

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

  490. Combining 3D Morphable Models: A Large scale Face-and-Head Model

    Ploumpis, S., Wang, H., Pears, N. E., Smith, W. A. P. & Zafeiriou, S., 11 Mar 2019, (Accepted/In press) IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR) 2019.

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

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

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

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

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

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

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

  493. Combining LAPIS and WordNet for the learning of LR parsers with optimal semantic constraints

    Kazakov, D., 1999, INDUCTIVE LOGIC PROGRAMMING. Dzeroski, S. & Flach, P. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 140-151 12 p.

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

  494. Combining Multiple Correlated Reward and Shaping Signals by Measuring Confidence

    Brys, T., Nowé, A., Kudenko, D. & Taylor, M., 2014, The 28th Conference of the American Association on Artificial Intelligence: AAAI 2014.

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

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

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

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

  496. Combining curvature evidence to shape-from-shading

    Sartori, F. & Hancock, E. R., 2003, 2003 INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, VOL 3, PROCEEDINGS. NEW YORK: IEEE, p. 709-712 4 p.

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

  497. Combining human and machine intelligence to produce effective examination timetables

    Cowling, P., Ahmadi, S., Cheng, P. & Barone, R., 2002, Proceedings of the 4th Asia-Pacific conference on simulated evolution and learning (SEAL2002). p. 662-666 5 p.

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

  498. Combining hybrid metaheuristics and populations for the multiobjective optimisation of space allocation problems

    Burke, EK., Cowling, P., Landa Silva, JD. & Petrovic, S., 2001, Proceedings of the 2001 Genetic and Evolutionary Computation Conference (GECCO 2001). p. 1252-1259 8 p.

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

  499. Combining inference and search for the propositional satisfiability problem

    Drake, L., Frisch, A. & Walsh, T., 2002, EIGHTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-02)/FOURTEENTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE (IAAI-02), PROCEEDINGS. CAMBRIDGE: M I T PRESS, p. 982-982 1 p.

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

  500. Combining reinforcement learning with symbolic planning

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

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

Previous 1 2 3 4 5 Next