Search research publications and outputs

  1. Conference contribution › Research
  2. From formalised state machines to implementation of robotic controllers

    Li, W., Miyazawa, A. H., De Oliveira Salazar Ribeiro, P. F., Cavalcanti, A. L. C., Woodcock, JAMES. C. P. & Timmis, J. I., Sep 2016, (E-pub ahead of print) 13th International Conference on Distributed Autonomous Robotic Systems. London, UK: Springer-Verlag, 14 p. (Springer Tracts in Advanced Robotics).

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

  3. Grouping Multi-vector Streaklines for Human Activity Identification

    Stephens, K. & Bors, A. G., 4 Aug 2016, (E-pub ahead of print) Proc. IEEE Workshop on Image, Video and Multidimensional Signal Processing. IEEE, p. 1-5 6 p.

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

  4. Linear Depth Estimation from an Uncalibrated, Monocular Polarisation Image

    Smith, W. A. P., Ramamoorthi, R. & Tozza, S., 17 Sep 2016, (E-pub ahead of print) Lecture Notes in Computer Science. p. 109-125 17 p. (Lecture Notes in Computer Science; vol. 9912).

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

  5. Stress-Testing Centralised Model Stores

    García-Domínguez, A., Barmpis, K., Kolovos, D. S., Wei, R. & Paige, R. F., 23 Jun 2016, (E-pub ahead of print) Modelling Foundations and Applications - 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings. Springer, p. 48-63 16 p.

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

  6. Article › Research › Peer-reviewed
  7. A quantum Jensen-Shannon graph kernel for unattributed graphs

    Bai, L., Rossi, L., Torsello, A. & Hancock, E. R., 4 Apr 2014, (E-pub ahead of print)

    Article in Pattern Recognition

  8. Architecting Time-Critical Big-Data Systems

    Basanta-Val, P., Audsley, N. C., Wellings, A. J., Gray, I. & Fernandez-Garcio, N., 31 Oct 2016, (E-pub ahead of print)

    Article in IEEE Transactions on Big Data

  9. Formal mutation testing for Circus

    Alberto, A., Cavalcanti, A. L. C., Gaudel, M-C. & Simao, A., 21 Apr 2016, (E-pub ahead of print)

    Article in Information and Software Technology

  10. Image retrieval based on query by saliency content

    Papushoy, A. & Bors, A. G., 26 Sep 2014, (E-pub ahead of print)

    Article in Digital Signal Processing

  11. Modelling Timed Reactive Systems from Natural-Language Requirements

    Carvalho, G., Cavalcanti, A. L. C. & Sampaio, A. C. A., 26 Jul 2016, (E-pub ahead of print)

    Article in Formal Aspects of Computing

  12. 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, (E-pub ahead of print)

    Article in Real-Time Systems

  13. 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, (E-pub ahead of print)

    Article in Pattern Recognition Letters

  14. 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, (E-pub ahead of print)

    Article in Concurrency and Computation: Practice and Experience

  15. Static probabilistic timing analysis for real-time systems using random replacement caches

    Altmeyer, S., Cucu-Grosjean, L. & Davis, R. I., 13 Jan 2015, (E-pub ahead of print)

    Article in Real-Time Systems

  16. 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, (E-pub ahead of print)

    Article in RSC Advances

  17. Using formal reasoning on a model of tasks for FreeRTOS

    Woodcock, J. C. P., Cheng, S. & D'Souza, D., 20 Aug 2014, (E-pub ahead of print)

    Article in Formal Aspects of Computing