Search research publications and outputs

  1. 2015
  2. Reducing the Implementation Overheads of IPCP and DFP

    Almatary, H., Audsley, N. C. & Burns, A., 2015, Proceedings - Real-Time Systems Symposium. Institute of Electrical and Electronics Engineers Inc., Vol. 2016-January. p. 295-304 10 p. 7383586

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

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

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

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

  4. Safety-Critical Java Virtual Machine Services

    Baxter, J., Cavalcanti, A. L. C., Wellings, A. J. & Freitas, L., 2015, Proceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems. Ziarek, L. (ed.). ACM, 10 p. 7

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

  5. SemEval-2015 Task 12: Aspect Based Sentiment Analysis

    Pontiki, M., Galanis, D., Papageorgiou, H., Manandhar, S. & Androutsopoulos, I., 2015, Proceedings of the 9th International Workshop on Semantic Evaluation (SemEval 2015). The Association for Computational Linguistics, p. 486-495 10 p.

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

  6. SemEval-2015 Task 14: Analysis of Clinical Text

    Elhadad, N., Pradhan, S., Gorman, S. L., Manandhar, S., Chapman, W. W. & Savova, G. K., 2015, Proceedings of the 9th International Workshop on Semantic Evaluation (SemEval 2015). The Association for Computational Linguistics, p. 303-310 8 p.

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

  7. Shell PCA: statistical shape modelling in shell space

    Zhang, C., Heeren, B., Rumpf, M. & Smith, W. A. P., 2015, (Accepted/In press) Proceedings ICCV. IEEE Computer Society, 9 p.

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

  8. Similarity Analysis from Limiting Quantum Walks

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

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

  9. Simultaneous optimisation of task mapping and priority assignment for real-time embedded nocs

    Sayuti, M. N. S. M. & Indrusiak, L. S., 2015, Parallel, Distributed and Network-Based Processing (PDP): 2015 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing. Institute of Electrical and Electronics Engineers Inc., p. 692-695 4 p.

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

  10. Skeletal Graphs from Schrödinger Magnitude and Phase

    Escolano, F., Hancock, E. R. & Lozano, M. A., 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. 335-344 10 p. (Lecture Notes in Computer Science; vol. 9069).

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

  11. Study of the Reliability of Statistical Timing Analysis for Real-Time Systems

    Maxim, D., Soboczenski, F., Bate, I. & Tovar, E., 2015, RTNS '15: Proceedings of the 23rd International Conference on Real-Time Networks and Systems (RTNS). ACM, p. 55-64 10 p.

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

  12. Supporting Multiprocessors in the Icecap Safety-Critical Java Run-Time Environment

    Zhao, S., Wellings, A. & Korsholm, S. E., 2015, JTRES '15: Proceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems. ACM, 1. ( ACM International Conference Proceeding Series).

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

  13. Supporting the Automated Generation of Modular Product Line Safety Cases

    Oliveira, A. L., Braga, R. T. V., Masiero, P. C., Papadopoulos, Y., Habli, I. & Kelly, T., 2015, Theory and Engineering of Complex Systems and Dependability: Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29 – July 3 2015, Brunów, Poland. Zamojski, W., Mazurkiewicz, J., Sugier, J., Walkowiak, T. & Kacprzyk, J. (eds.). Cham: Springer International Publishing, Vol. 365. p. 319-330 12 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  14. Swimming the Channels: An Analysis of Online Archival Reference Enquiries

    Pugh, J. & Power, C. D., 2015, Human-Computer Interaction. p. 99-115 17 p.

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

  15. Systematic application of ISO 26262 on a SEooC: Support by applying a systematic reuse approach

    Ruiz, A., Melzi, A. & Kelly, T., 2015, DATE '15 Proceedings of the 2015 Design, Automation and Test in Europe Conference & Exhibition. p. 393-396 4 p.

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

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

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

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

  17. The Need for a Confidence View of CPS Support Environments (Fast Abstract)

    Asplund, F., Torngren, M., Hawkins, R. D. & McDermid, J. A., 2015, High Assurance Systems Engineering.

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

  18. The `Blackboard' Pattern for Metaheuristics

    Graham, K., Swan, J. & Martin, S., 2015, Genetic and Evolutionary Computation Conference, GECCO 2015, Madrid, Spain, July 11-15, 2015, Companion Material Proceedings. p. 1265-1267 3 p.

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

  19. Thermodynamics of Time Evolving Networks

    Ye, C., Torsello, A., 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. 315-324 10 p. (Lecture Notes in Computer Science; vol. 9069).

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

  20. Three Approaches to Timed External Choice in UTP

    Canham, S. J. & Woodcock, J., 2015, Unifying Theories of Programming : 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers. Naumann, D. (ed.). SPRINGER, Vol. 8963. p. 1-20 (Lecture Notes in Computer Science; vol. 8963).

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

  21. Towards Algebraic Semantics of Circus Time

    Wei, K. & Woodcock, J., 2015, Unifying Theories of Programming - 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers. Naumann, D. (ed.). SPRINGER, Vol. 8963. p. 84-104 21 p. (Lecture Notes in Computer Science).

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

  22. Type Inference Using Concrete Syntax Properties in Flexible Model-Driven Engineering

    Zolotas, A., Matragkas, N. D., Devlin, S., Kolovos, D. S. & Paige, R. F., 2015, Proceedings of the Workshop on Flexible Model Driven Engineering co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages Systems (MoDELS 2015), Ottawa, Canada, September 29, 2015.. p. 22-31 10 p.

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

  23. Type inference in flexible model-driven engineering

    Zolotas, A., Matragkas, N., Devlin, S., Kolovos, D. S. & Paige, R. F., 2015, Modelling Foundations and Applications : 11th European Conference, ECMFA 2015 Held as Part of STAF 2015, Proceedings. Springer-Verlag, Vol. 9153. p. 75-91 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9153).

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

  24. Unsupervised Feature Selection by Graph Optimization

    Zhang, Z., Bai, L., Liang, Y. & 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. 130-140 11 p. (Lecture Notes in Computer Science; vol. 9279).

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

  25. User Name Disambiguation in Community Question Answering

    Yang, B. & Manandhar, S., 2015, Proceedings of Recent Advances in Natural Language Processing (RANLP 2015). The Association for Computational Linguistics, p. 707-713 7 p.

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

  26. Using Photo Diaries to Elicit User Requirements from Older Adults: A Case Study on Mobility Barriers

    Swallow, D., Petrie, H., Power, C. D. & Edwards, A. D. N., 2015, Human-Computer Interaction. Springer, p. 147-164 18 p.

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

  27. Using Sensitivity Analysis to Facilitate the Maintenance of Safety Cases

    Jaradat, O., Bate, I. & Punnekkat, S., 2015, Reliable Software Technologies – Ada-Europe. p. 162-176 15 p.

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

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

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

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

  29. Wallace: An efficient generic evolutionary framework

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

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

  30. 2014
  31. The Playtime Principle: Large/scale cross-games interest modeling

    Sifa, R., bauckhage, C. & Drachen, A., 23 Dec 2014, Proceedings of the IEEE Computational Intelligence in Games. IEEE, 8 p.

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

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

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

  34. Integrating Cache-Related Pre-emption Delays into Analysis of Fixed Priority Scheduling with Pre-emption Thresholds

    Bril, R., Altmeyer, S., van den Heuvel, M., Davis, R. I. & Behnam, M., Dec 2014, Proceedings Real-Time Systems Symposium (RTSS 2014). IEEE, p. 161-172 12 p.

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

  35. Predictability enhancement in non-preemptive NoCs using selective packet splitting

    Sudev, B. & Indrusiak, L. S., 3 Nov 2014, Proceedings - 2014 12th IEEE International Conference on Industrial Informatics, INDIN 2014. Institute of Electrical and Electronics Engineers Inc., p. 195-200 6 p.

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

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

    de Beaudrap, N., Giovannetti, V., Severini, S. & Wilson, R. C., Nov 2014, Contemporary Mathematics: A Panorama of Mathematics: Pure and Applied. American Mathematical Society, Vol. 658. p. 227-236

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

  37. Real-Time Big Data: the JUNIPER Approach

    Audsley, N. C., Gray, I., Chan, Y. & Wellings, A. J., Nov 2014, 3rd IEEE International Workshop on Real-time and distributed computing in emerging applications. p. 9-14

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

  38. On the locality of Java 8 streams in real-time big data applications

    Chan, Y., Gray, I., Wellings, A. & Audsley, N., 13 Oct 2014, JTRES '14: Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems. Association for Computing Machinery (ACM), p. 20-28 9 p. (ACM International Conference Proceeding Series).

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

  39. Exploring user expertise and descriptive ability in community question answering

    Yang, B. & Manandhar, S., 10 Oct 2014, ASONAM 2014 - Proceedings of the 2014 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining. IEEE, p. 320-327 8 p.

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

  40. Tag-based expert recommendation in community question answering

    Yang, B. & Manandhar, S., 10 Oct 2014, ASONAM 2014 - Proceedings of the 2014 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining. IEEE, p. 960-963 4 p.

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

  41. Predictability and utilisation trade-off in the dynamic management of multiple video stream decoding on Network-on-Chip based homogeneous embedded multi-cores

    Mendis, H. R., Indrusiak, L. S. & Audsley, N. C., 8 Oct 2014, RTNS '14: Proceedings of the 22nd International Conference on Real-Time Networks and Systems. Association for Computing Machinery (ACM), p. 161-170 10 p. (ACM International Conference Proceeding Series).

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

  42. WCET preserving hardware prefetch for Many-Core real-time systems

    Garside, J. & Audsley, N. C., 8 Oct 2014, ACM International Conference Proceeding Series. Association for Computing Machinery (ACM), p. 193-202 10 p.

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

  43. Correcting 3D scenes estimated from sets of multi-view images using shape-from-contours

    Grum, M. & Bors, A. G., Oct 2014, Proc. 2014 IEEE International Confereence on Image Processing, Paris, France. IEEE, p. 2888-2892 5 p.

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

  44. Lossy Compression for Static Probabilistic Timing Analysis of Random Replacement Caches

    Griffin, D. J., Lesage, B. M. J-R., Burns, A. & Davis, R. I., Oct 2014, RTNS '14: Proceedings of the 22nd International Conference on Real-Time Networks and Systems. ACM, p. 289-298 10 p.

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

  45. Schedulability Analysis for Fixed Priority Real-Time Systems with Energy-Harvesting

    Abdeddaïm, Y., Chanderli, Y., Masson, D. & Davis, R. I., Oct 2014, Proceedings of the 22nd International Conference on Real-Time Networks and Systems. p. 311-320 10 p.

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

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

  47. On Demand Data Analysis and Filtering for Inaccurate Flight Trajectories

    Zanin, M., Perez, D., Chatterjee, K., Kolovos, D. S., Paige, R. F., Horst, A. & Rumpe, B., 8 Sep 2014, Proceedings of the SESAR Innovation Days (2011) EUROCONTROL. Toulouse

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

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

    Bai, L., Hancock, E. R., Ren, P. & Escolano, F., 1 Aug 2014, Pattern Recognition (ICPR), 2014 22nd International Conference on. IEEE, p. 3874-3879 6 p.

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

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

  50. Community discovery using social links and author-based sentiment topics

    Yang, B. & Manandhar, S., Aug 2014, Proceedings of the 2014 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, ASONAM 2014: Workshops held in conjunction with ASONAM 2014. IEEE, p. 580-587 8 p.

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

  51. Methods and Algorithms for Unsupervised Learning of Morphology

    Can, B. & Manandhar, S., Aug 2014, Computational Linguistics and Intelligent Text Processing: 15th International Conference, CICLing 2014, Kathmandu, Nepal, April 6-12, 2014, Proceedings, Part I. Gelbukh, A. (ed.). SPRINGER, p. 177-205 29 p. (Lecture Notes in Computer Science; vol. 8403).

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

  52. Evaluation of Cache Partitioning for Hard Real-Time Systems

    Altmeyer, S., Douma, R., Lunniss, W. & Davis, R. I., Jul 2014, Real-Time Systems (ECRTS): 2014 26th Euromicro Conference on. IEEE, p. 15-26 12 p.

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

Previous 12 3 4 5 6 7 8 9 ...40 Next