Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

Advanced search options

Reset

to
1 - 13 out of 13Page size: 25
Sort by: Title

  1. Architecting Time-Critical Big-Data Systems

    Basanta-Val, P., Audsley, N. C., Wellings, A. J., Gray, I. & Fernandez-Garcio, N., 31 Oct 2016

    Article in IEEE Transactions on Big Data

  2. Distributional logic programming for Bayesian knowledge representation

    Angelopoulos, N. & Cussens, J., 17 Aug 2016

    Article in International Journal of Approximate Reasoning

  3. Exact Speedup Factors for Linear-Time Schedulability Tests for Fixed-Priority Preemptive and Non-preemptive Scheduling

    von der Bruggen, G., Chen, J-J., Davis, R. I. & Huang, W-H. K., 5 Aug 2016

    Article in Information Processing Letters

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

  5. 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, 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 proceeding › Conference contribution

  6. Grouping Multi-vector Streaklines for Human Activity Identification

    Stephens, K. & Bors, A. G., 4 Aug 2016, Proc. IEEE Workshop on Image, Video and Multidimensional Signal Processing. IEEE, p. 1-5 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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

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

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  8. Modelling Timed Reactive Systems from Natural-Language Requirements

    Carvalho, G., Cavalcanti, A. L. C. & Sampaio, A. C. A., 26 Jul 2016

    Article in Formal Aspects of Computing

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

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

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

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

  13. Stress-Testing Centralised Model Stores

    García-Domínguez, A., Barmpis, K., Kolovos, D. S., Wei, R. & Paige, R. F., 23 Jun 2016, 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 proceeding › Conference contribution