Search research publications and outputs

  1. Working paper › Research
  2. Fault Tolerant Computing

    McDermid, J. A., 1979, Royal Signals and Radar Establishment, 25 p.

    Research output: Working paper

  3. Further Inductive Mercury Programming and IMP0.5

    Fisher, B. & Cussens, J., 1 Mar 2009.

    Research output: Working paper

  4. Guiding Reuse with Risk Assessments

    Burd, E. L. & McDermid, J. A., 1992.

    Research output: Working paper

  5. Handling Composition of Systems Using Matrices

    Shi, Q., McDermid, J. A. & Moffett, J. D., 1 Jan 1992.

    Research output: Working paper

  6. How Discord underlies the Noise Resilience of Quantum Illumination

    Weedbrook, C., Pirandola, S., Thompson, J., Vedral, V. & Gu, M., 11 Dec 2013, p. 1-7.

    Research output: Working paper

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

    de Beaudrap, N., Giovannetti, V., Severini, S. & Wilson, R., 30 Apr 2013, p. 1-7.

    Research output: Working paper

  8. Metrics for Computing Trust in a Multi-Agent Environment

    Bista, S. K., Dahal, K. P., Cowling, P. I. & Tuladhar, B. M., 2013.

    Research output: Working paper

  9. On the Trustworthiness of Computing Systems

    Dobson, J. E., McDermid, J. A. & Randell, B., 1990.

    Research output: Working paper

  10. Production of Hierarchic Checkpoint Structures

    McDermid, J. A., 1980, Royal Signals and Radar Establishment.

    Research output: Working paper

  11. Requirements and Constraints on Software Engineering Environments for Dependable Systems

    McDermid, J. A., Hocking, E. S., Shi, Q. & Dobson, J. E., 1990.

    Research output: Working paper

  12. Reuse as a Project Management Tool

    Burd, E. L. & McDermid, J. A., 1992.

    Research output: Working paper

  13. Security Models and Enterprise Models

    Dobson, J. E. & McDermid, J. A., 1989.

    Research output: Working paper

  14. Some Issues in The Formal Design of Redundant Systems

    McDermid, J. A. & Morgan, G., 1989.

    Research output: Working paper

  15. Specification and Design for Timeliness

    Kopetz, H., Fohler, G., Kantz, H., Schuetz, W., Zainlinger, R., Burns, A., McDermid, J. A. & Bhattacharyya, A., 1990.

    Research output: Working paper

  16. The Analysis of Safety Arguments in the Specification of a Motor Speed Control Loop

    Clarke, S. J., Coombes, A. & McDermid, J. A., 1990.

    Research output: Working paper