Search research publications and outputs

  1. A Comparison of CS Student Backgrounds at Two Universities

    Pedroni, M. & Oriol, M., 2009.

    Research output: Working paper

  2. A Failure and Recovery Algebra

    McDermid, J. A., 1992.

    Research output: Working paper

  3. A Safe Subset of Statecharts for Safety-Critical Applications

    Shi, F. G., Armstrong, J. M. & McDermid, J. A., 17 Aug 2001.

    Research output: Working paper

  4. A Z Subset for Direct Implementation and Code Generation

    Shi, F. G., McDermid, J. A. & Armstrong, J. M., 17 Nov 2001.

    Research output: Working paper

  5. ASAM II Concepts: Principles Underlying the Construction of Safety Cases Using SAM

    McDermid, J. A., Fenelon, P. & Wilson, S. P., 16 Apr 1999.

    Research output: Working paper

  6. Ada on multiple processors

    McDermid, J. A., 1982, Royal Signals and Radar Establishment, 9 p.

    Research output: Working paper

  7. An Electronic Purse: Specification, Refinement, and Proof

    Stepney, S., Cooper, D. & Woodcock, J., 1 Jul 2000, Oxford: Oxford University Computing Laboratory.

    Research output: Working paper

  8. An Evaluation of the Ten15 Persistent Store

    Blanchard, T. D. & McDermid, J. A., 1 Dec 1992.

    Research output: Working paper

  9. An Examination of the Efficiency of Sorted Deduction

    Abrams, C. B. & Frisch, A. M., Mar 1993.

    Research output: Working paper

  10. An Introduction to ZedCharts and Its Applications

    Shi, F., McDermid, J. A. & Armstrong, J. M., 17 Jan 2002.

    Research output: Working paper

  11. An introduction to the FLEX computer system

    Foster, J. M., Moir, C. I., Currie, I. F., McDermid, J. A., Edwards, P. W., Morison, J. D. & Pygott, C. H., 1979, Defense Technical Information Center, 22 p.

    Research output: Working paper

  12. Assurance in High Integrity Software

    McDermid, J. A., 1987.

    Research output: Working paper

  13. Asynchronous Patterns for Dynamic Maintenance

    Oriol, M., 2006, Zurich: Citeseer.

    Research output: Working paper

  14. Comparative Data Mining for Microarrays: A Case Study Based on Multiple Myeloma

    Page, D., Zhan, F., Cussens, J., Waddell, M., Hardin, J., Barlogie, B. & Shaughnessy, Jr., J., 1 Nov 2002.

    Research output: Working paper

  15. Dependability Measurement of Safety Critical Systems: Models and Data Refinement

    Jackson, T. O., McDermid, J. A., Wand, I. C. & Wilikens, M., 15 Sep 2000.

    Research output: Working paper

  16. Dependability Measurement of Safety Critical Systems

    Jackson, T. O., McDermid, J. A., Wand, I. C. & Wilikens, M., 1994.

    Research output: Working paper

  17. Fault Tolerant Computing

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

    Research output: Working paper

  18. Further Inductive Mercury Programming and IMP0.5

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

    Research output: Working paper

  19. Generalised Reactive Processes in Isabelle/UTP

    Foster, S. D. & Canham, S. J., 6 Apr 2018, (Unpublished) 56 p.

    Research output: Working paper

  20. Guiding Reuse with Risk Assessments

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

    Research output: Working paper

  21. Handling Composition of Systems Using Matrices

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

    Research output: Working paper

  22. Isabelle/UTP: Mechanised Theory Engineering for the UTP

    Foster, S. D., Zeyda, F., Nemouchi, Y., De Oliveira Salazar Ribeiro, P. F. & Wolff, B., 4 Apr 2018, (Unpublished) 162 p.

    Research output: Working paper

  23. Kleene Algebra in Unifying Theories of Programming

    Foster, S. D., 5 Apr 2018, (Unpublished) 6 p.

    Research output: Working paper

  24. On the Trustworthiness of Computing Systems

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

    Research output: Working paper

  25. Optimal Performance of a Quantum Network

    Pirandola, S., 5 Jan 2016.

    Research output: Working paper

  26. Production of Hierarchic Checkpoint Structures

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

    Research output: Working paper

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

  28. Reuse as a Project Management Tool

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

    Research output: Working paper

  29. Security Models and Enterprise Models

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

    Research output: Working paper

  30. Security Threats in Mobile Ad Hoc Networks

    Sen, S. & Clark, JA., 2009.

    Research output: Working paper

  31. Some Issues in The Formal Design of Redundant Systems

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

    Research output: Working paper

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

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

  34. The Effectiveness of Temporal Dependency in Deepfake Video Detection

    Rowan, W. & Pears, N. E., 13 May 2022.

    Research output: Working paper

  35. The Language of Causation for Describing the Behaviour of Systems

    Moffett, J. D., Hall, J. G. & McDermid, J. A., 19 Oct 2003.

    Research output: Working paper

  36. The Probe Project

    Blanchard, T. D. & McDermid, J. A., 1992.

    Research output: Working paper

  37. Theory of Designs in Isabelle/UTP

    Foster, S. D., Nemouchi, Y. & Zeyda, F., 6 Apr 2018, (Unpublished) 47 p.

    Research output: Working paper

  38. Thermal Quantum Metrology

    Spedalieri, G., Braunstein, S. L. & Pirandola, S., 18 Feb 2016.

    Research output: Working paper

  39. Toward Practical Dynamic Software Updating

    Neamtiu, I., Stoyle, G., Oriol, M. & Hicks, M., 2005, College Park: Citeseer.

    Research output: Working paper

  40. What is Integration and do IPSEs Provide It?

    Brown, A. W. & McDermid, J. A., 1991.

    Research output: Working paper

  41. XVDM - Exercise and Execute VDM Directly

    Heping, H., Mander, K. C. & McDermid, J. A., 1990.

    Research output: Working paper