Home > Research > Security Lancaster (Software Security) > Publications & Outputs

Research

View graph of relations

Security Lancaster (Software Security)

1 - 10 out of 61Page size: 10
RSS feed of this list
  1. 2023
  2. Published

    Recognizing the Known Unknowns: the Interaction Between Reflective Thinking and Optimism for Uncertainty Among Software Developer’s Security Perceptions

    Ivory, M., Towse, J., Sturdee, M., Levine, M. & Nuseibeh, B., 24/11/2023, In: Technology, Mind, and Behavior. 4, 3

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  3. Published

    The influence of geopolitics on polar research – Options for HM Government

    Germond, B. & Suri, N., 8/06/2023

    Research output: Exhibits, objects and web-based outputs › Blog

  4. Published

    Holding AI to Account: Challenges for the Delivery of Trustworthy AI in Healthcare

    Procter, R., Tolmie, P. & Rouncefield, M., 30/04/2023, In: ACM Transactions on Computer-Human Interaction. 30, 2, p. 1-34 34 p., 2.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  5. Published

    How do developers really feel about bug fixing? Directions for automatic program repair

    Winter, E., Bowes, D., Counsell, S., Hall, T., Haraldsson, S., Nowack, V. & Woodward, J., 1/04/2023, In: IEEE Transactions on Software Engineering. 49, 4, p. 1823-1841 19 p., 4.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  6. Published

    Applying Human Values Theory to Software Engineering Practice: Lessons and Implications

    Ferrario, M. A. & Winter, E., 1/03/2023, In: IEEE Transactions on Software Engineering. 49, 3, p. 973-990 18 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  7. Published

    Do You Speak Cyber? Talking Security with Developers of Health Systems and Devices

    Weir, C., Dyson, A. & Prince, D., 31/01/2023, In: IEEE Security and Privacy Magazine. 21, 1, p. 27-36 10 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  8. Published

    Let's Talk With Developers, Not About Developers: A Review of Automatic Program Repair Research

    Winter, E., Nowack, V., Bowes, D., Counsell, S., Hall, T., Haraldsson, S. & Woodward, J., 31/01/2023, In: IEEE Transactions on Software Engineering. 49, 1, p. 419-436 18 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  9. Published

    Specifying Autonomous System Behaviour

    Sogokon, A., Yuksek, B., Inalhan, G. & Suri, N., 2023, In: CoRR. abs/2302.10087

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  10. Published

    Towards More Effective Performance Testing

    Chen, Y., 2023, Lancaster University. 160 p.

    Research output: Thesis › Doctoral Thesis

  11. 2022
  12. Published

    Characterizing positively invariant sets: Inductive and topological methods

    Ghorbal, K. & Sogokon, A., 30/11/2022, In: Journal of Symbolic Computation. 113, p. 1-28 28 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

Previous 1 2 3 4 5 6 7 Next

Back to top