Search research publications and outputs

  1. 1997
  2. A survey of authentication protocol literature: Version 1.0

    Clark, J. A. & Jacob, J. L., 1997, Citeseer.

    Research output: Book/ReportOther report

  3. Women's Current Pension Arrangements: Information from the General Household Survey

    Hutton, S., Williams, J. & Kennedy, S., 1997, Department of Social Security, London: Social Research Branch. (DSS In house report)

    Research output: Book/ReportCommissioned report

  4. 2002
  5. Mapping employment focussed services for disabled people

    Arksey, H., Thornton, P. & Williams, J., 2002, London: Social Research Branch, Department for Work and Pensions. (Department for Work and Pensions In-house Report)

    Research output: Book/ReportCommissioned report

  6. 2003
  7. Gender and poverty in Britain

    Bradshaw, J., Finch, N., Kemp, P., Mayhew, E. & Williams, J., 2003, Manchester: Equal Opportunities Commission. (Working paper series)

    Research output: Book/ReportBook

  8. 2004
  9. A search-based approach to the automated design of security protocols

    Hao, C., Clark, JA. & Jacob, J. L., 2004, YCS-2004-376 ed. Department of Computer Science, University of York. 102 p. (York Computer Science Technical Report Series ("Yellow Reports"); vol. YCS , no. YCS-2004-376)

    Research output: Book/ReportOther report

  10. Automatic test-data generation for testing simulink models

    Zhan, Y. & Clark, J. A., 2004, Department of Computer Science, University of York. 16 p. (York Computer Science Technical Report ; vol. YCS, no. YCS-2004-382)

    Research output: Book/ReportOther report

  11. Breaking the Model: finalisation and a taxonomy of security attack

    Stepney, S., Clark, J. A. & Chivers, H., 2004, Department of Computer Science, University of York. 20 p. (York Computer Science Technical Report; vol. YCS, no. YCS-2004-371)

    Research output: Book/ReportOther report

  12. Writing Effective Security Abuse Cases

    Srivratanakul, T., Clark, J. A. & Polack, F., 2004, Department of Computer Science, University of York. 52 p. (York Computer Science Technical Report; vol. YCS, no. YCS-2004-375)

    Research output: Book/ReportOther report

  13. 2005
  14. Formalizing anonymity: A review

    Wright, J., Stepney, S., Clark, J. A. & Jacob, J. L., 2005, YCS-2005-389 ed. Department of Computer Science, University of York. 64 p. (York Computer Science Technical Report Series; vol. YCS, no. YCS-2005-389)

    Research output: Book/ReportOther report

  15. 2015
  16. Situation coverage – a coverage criterion for testing autonomous robots

    Alexander, R., Hawkins, H. R. & Rae, A. J., Feb 2015, Department of Computer Science, University of York. 21 p.

    Research output: Book/ReportOther report

  17. 2016
  18. Dynamic Resource Allocation in Embedded, High-Performance and Cloud Computing

    Soares Indrusiak, L., Dziurzanski, P. & Singh, A. K., Oct 2016, Delft: River Publishers. 178 p.

    Research output: Book/ReportBook

  19. 2019
  20. Safety Assurance Objectives for Autonomous Systems

    Alexander, R., Ashmore, R., Banks, A., Bradshaw, B., Bragg, J., Clegg, J., Harper, C., Menon, C., Rivett, R. S., Ryan, P., Tudor, N., Tushingham, S., Birch, J., Burski, L., Coley, T., Lewis, N., Neal, K., Price, A., Reid, S., Simpson, A. & 1 others, Steel, R., Feb 2019, 1.0 ed. Safety Critical Systems Club. 66 p.

    Research output: Book/ReportBook

  21. Certification of Highly Automated Vehicles for Use on UK Roads: Creating An Industry-Wide Framework for Safety

    Koopman, P., Hierons, R., Khastgir, S., Clark, J., Fisher, M., Alexander, R., Eder, K., Thomas, P., Barrett, G., Torr, P., Blake, A., Ramamoorthy, S. & McDermid, J. A., Oct 2019, Five AI Ltd.

    Research output: Book/ReportOther report

  22. 2020
  23. Safety Assurance Objectives for Autonomous Systems

    Alexander, R., Asgari, H., Ashmore, R., Banks, A., Bongirwar, R., Bradshaw, B., Bragg, J., Clegg, J., Fenn, J., Harper, C., Harvey, D., Johnson, N., Menon, C., Rivett, R. S., Ryan, P., Sujan, M., Tudor, N. & Tushingham, S., Feb 2020, 2.0 ed. Safety Critical Systems Club. 112 p.

    Research output: Book/ReportBook