Search research publications and outputs

  1. 2014
  2. 2015
  3. 2016
  4. On the effectiveness of cache partitioning in hard real-time systems

    Altmeyer, S., Douma, R., Lunniss, W. R. E. & Davis, R. I., 6 Jan 2016

    Article in Real-Time Systems

  5. Formal mutation testing for Circus

    Alberto, A., Cavalcanti, A. L. C., Gaudel, M-C. & Simao, A., 21 Apr 2016

    Article in Information and Software Technology

  6. Quantum Jensen-Shannon Graph Kernels using Discrete-time Quantum Walks

    Bai, L., Rossi, L., Cui, L., Zhang, Z., Ren, P., Xiao, B. & Hancock, E. R., 9 Sep 2016

    Article in Pattern Recognition Letters

  7. Safety-critical Java for embedded systems

    Schoeberl, M., Dalsgaard, A. E., Hansen, R. R., Korsholm, S., Ravn, A., Rivas, J., Strom, T., Søndergaard, H., Zhao, S. & Wellings, A. J., 14 Dec 2016

    Article in Concurrency and Computation: Practice and Experience

  8. Stochastic domain wall depinning in permalloy nanowires with various types of notches

    Gao, Y., You, B., Yang, H. L., Zhan, Q. F., Li, Z., Lei, N., Zhao, W. S., Wu, J., Tu, H. Q., Wang, J., Wei, L. J., Zhang, W., Xu, Y. B. & Du, J., 29 Dec 2016

    Article in AIP Advances

  9. 2017
  10. Directed motor-auditory EEG connectivity is modulated by music tempo

    Nicolaou, N., Malik, A., Daly, I., Weaver, J., Hwang, F., Kirke, A., Roesch, E. B., Williams, D., Miranda, E. R. & Nasuto, S. J., 18 Oct 2017

    Article in Frontiers in human neuroscience

  11. A Survey of Schedulability Analysis Techniques for Rate-Dependent Tasks

    Feld, T., Biondi, A., Davis, R. I., Buttazzo, G. C. & Slomka, F., 22 Dec 2017

    Article in Journal of Systems and Software

  12. 2018
  13. Compositional and Local Livelock Analysis for CSP

    Filho, M. S. C., Oliveira, M. V. M., Sampaio, A. C. A. & Cavalcanti, A. L. C., 12 Jan 2018

    Article in Information Processing Letters

  14. The Anatomical Society's core anatomy syllabus for undergraduate nursing

    Connolly, S. A., Gillingwater, T. H., Chandler, C., Grant, A. W., Greig, J., Meskell, M., Ross, M. T., Smith, C. F., Wood, A. F. & Finn, G. M., 7 Feb 2018

    Article in Journal of Anatomy

  15. Errors and discrepancies in the administration of intravenous infusions: a mixed methods multihospital observational study

    Lyons, I., Furniss, D., Blandford, A., Chumbley, G., Iacovides, I., Wei, L., Cox, A. L., Mayer, A., Vos, J., Galal-Edeen, G. H., Schnock, K. O., Dykes, P. C., Bates, D. W. & Franklin, B. D., 7 Apr 2018

    Article in BMJ Quality & Safety

  16. Local-global nested graph kernels using nested complexity traces

    Bai, L., Cui, L., Rossi, L., xu, L., Xiao, B. & Hancock, E. R., 19 Jun 2018

    Article in Pattern Recognition Letters

  17. Cherenkov radiation-based optical fibre diagnostics of fast electrons generated in intense laser-plasma interactions

    Liu, H., Liao, G. Q., Zhang, Y. H., Zhu, B. J., Zhang, Z., Li, Y. T., Scott, G. G., Rusby, D. R., Armstrong, C., Zemaityte, E., Carroll, D. C., Astbury, S., Bradford, P., Woolsey, N. C., McKenna, P. & Neely, D., 8 Aug 2018

    Article in Review of Scientific Instruments

  18. Analyses of ovarian activity reveal repeated evolution of post-reproductive lifespans in toothed whales

    Ellis, S., Franks, D. W., Nattrass, S., Currie, T., Cant, M. A., Giles, D., Balcomb, K. C. & Croft, D. P., 27 Aug 2018

    Article in Scientific Reports

  19. Many Suspensions, Many Problems: A Review of Self-Suspending Tasks in Real-Time Systems

    Chen, J-J., Nelissen, G., Huang, W-H. K., Yang, M., Brandenburg, B., Bletsas, K., Liu, C., Richard, P., Ridouard, F., Audsley, N. C., Rajkumar, R., de Niz, D. & von der Bruggen, G., 11 Sep 2018

    Article in Real-Time Systems

Previous 1 2 3 Next