Search research publications and outputs

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

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

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

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

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

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

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

  9. Assurance cases for block-configurable software

    Hawkins, R., Miyazawa, A., Cavalcanti, A., Kelly, T. & Rowlands, J., 2014, Computer Safety, Reliability, and Security: 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings. Bondavalli, A. & Di Giandomenico, F. (eds.). Cham: Springer-Verlag, Vol. 8666 LNCS. p. 155-169 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8666 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

  13. CARMEN

    Austin, J., 2014

    Research output: Non-textual formSoftware

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

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

  16. Commute time for a gaussian wave packet on a graph

    Aziz, F., Wilson, R. C. & Hancock, E. R., 2014, Structural, Syntactic, and Statistical Pattern Recognition: Joint IAPR International Workshop, S+SSPR 2014, Joensuu, Finland, August 20-22, 2014. Proceedings. Springer-Verlag, Vol. 8621 LNCS. p. 374-383 10 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

  17. Contracts in CML

    Woodcock, J. C. P., Cavalcanti, A. L. C., Fitzgerald, J., Foster, S. & Larsen, P. G., 2014, 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. SPRINGER, p. 54-73 20 p. (Lecture Notes in Computer Science; vol. 8803).

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

  18. Coordinated team learning and difference rewards for distributed intrusion response

    Malialis, K., Devlin, S. & Kudenko, D., 2014, ECAI 2014: 21st European Conference on Artificial Intelligence, Including Prestigious Applications of Intelligent Systems, PAIS 2014, Proceedings. IOS Press, Vol. 263. p. 1063-1064 2 p. (Frontiers in Artificial Intelligence and Applications; vol. 263).

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

  19. Curvature Estimation for Ricci Flow Embedding

    Xu, E., Wilson, R. C. & Hancock, E. R., 2014, Proceedings of the 22nd International Conference on Pattern Recognition. IEEE Computer Society Press, p. 1562-1567 6 p.

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

  20. Data Flow coverage for Circus-based testing

    Cavalcanti, A. L. C. & Gaudel, M-C., 2014, Fundamental Approaches to Software Engineering. SPRINGER, Vol. 8441. p. 415-429 15 p. (Lecture Notes in Computer Science; vol. 8411).

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

  21. Deadline-aware programming and scheduling

    Burns, A. & Wellings, A., 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag, Vol. 8454 LNCS. p. 107-118 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8454 LNCS).

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

  22. Depth-Based Complexity Traces of Hypergraphs from Directed Line Graphs

    Bai, L., Ren, P., Escolano, F. & Hancock, E. R., 2014, Proceedings of the 22nd International Conference on Pattern Recognition. IEEE Computer Society Press, 6 p.

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

  23. Dynamic Period Routing for a Complex Real-World System: A Case Study in Storm Drain Maintenance

    Chen, Y., Cowling, P. & Remde, S., 2014, European Conference on Evolutionary Computation in Combinatorial Optimization. Blum, C. & Ochoa, G. (eds.). p. 109-120 12 p.

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

  24. Effective High Level SysML/MARTE Methodology for Real-Time and Embedded Avionics Systems

    Gray, I., Bagnato, A., Brosse, E., Quadri, I. R., Sadovykh, A., Soares Indrusiak, L., Paige, R. F., Rossi, M., Crippa, M. C., Genolini, S., Hansen, S., Meisel-Blohm, G., Audsley, N. C., Kolovos, D., Matragkas, N. & Baresi, L., 2014, Handbook of Research on Embedded Systems Design. IGI Global, p. 181-208

    Research output: Chapter in Book/Report/Conference proceedingChapter