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

Research

View graph of relations

Security Lancaster (Software Security)

1 - 25 out of 61Page size: 25
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

  13. Published

    Towards Developer-Centered Automatic Program Repair: Findings from Bloomberg

    Winter, E., Nowack, V., Bowes, D., Counsell, S., Hall, T., Haraldsson, S., Woodward, J., Kirbas, S., Windells, E., McBello, O., Atakishiyev, A., Kells, K. & Pagano, M., 9/11/2022, ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) . New York: ACM

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  14. Published

    LUSTRE: An online data management and student project resource

    Towse, J., Davies, R., Ball, E., James, R., Gooding, B. & Ivory, M., 2/09/2022, In: Journal of Statistics and Data Science Education. 30, 3, p. 266-273 8 p.

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

  15. Published

    Bridging the gap between single- and multi-model predictive runtime verification

    Ferrando, A., Cardoso, R. C., Farrell, M., Luckcuck, M., Papacchini, F., Fisher, M. & Mascardi, V., 18/08/2022, In: Formal Methods in System Design. 59, 1-3, p. 44-76 33 p.

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

  16. Published

    Local Reductions for the Modal Cube

    Nalon, C., Hustadt, U., Papacchini, F. & Dixon, C., 1/08/2022, International Joint Conference on Automated Reasoning. Blanchette, J., Kovács, L. & Pattinson, D. (eds.). Vol. 13385. p. 486-505 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13385 LNAI).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  17. Published

    Multitudes: Widening the research agenda for personal informatics design

    Winter, E., Knowles, B., Richards, D., Snooks, K. & Speed, C., 3/07/2022, DRS2022 Bilbao: Design Research Society Conference 2022. Design Research Society, 15 p. (DRS2022 Bilbao: Design Research Society Conference 2022).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  18. Published

    Personality Traits in Game Development

    Sturdee, M., Ivory, M., Ellis, D., Stacey, P. & Ralph, P., 13/06/2022, Proceedings of the ACM International Conference on Evaluation and Assessment in Software Engineering, EASE 2022. ACM, p. 221-230 10 p. (ACM International Conference Proceeding Series).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  19. Published

    The Soft Skills of Software Learning Development: the Psychological Dimensions of Computing and Security Behaviours

    Ivory, M., 13/06/2022, Proceedings of the ACM International Conference on Evaluation and Assessment in Software Engineering, EASE 2022. New York: ACM, p. 317-322 6 p. (ACM International Conference Proceeding Series).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  20. Published

    Local is Best: Efficient Reductions to Modal Logic K

    Papacchini, F., Nalon, C., Hustadt, U. & Dixon, C., 23/05/2022, In: Journal of Automated Reasoning. 66, 4, p. 639-666 28 p., 4.

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

  21. Published

    StreamB: A Declarative Language for Automatically Processing Data Streams in Abstract Environments for Agent Platforms

    Ferrando, A. & Papacchini, F., 10/03/2022, Engineering Multi-Agent Systems - 9th International Workshop, EMAS 2021, Virtual Event, May 3-4, 2021, Revised Selected Papers. Alechina, N., Baldoni, M. & Logan, B. (eds.). Cham: Springer, p. 114-136 23 p. (Lecture Notes in Computer Science; vol. 13190).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  22. Published

    Expanding Fix Patterns to Enable Automatic Program Repair

    Nowack, V., Bowes, D., Counsell, S., Hall, T., Haraldsson, S., Winter, E. & Woodward, J., 11/02/2022, 2021 IEEE 32nd International Symposium on Software Reliability Engineering (ISSRE). Jin, Z., Li, X., Xiang, J., Mariani, L., Liu, T., Yu, X. & Ivaki, N. (eds.). IEEE Computer Society Press, p. 12-23 12 p. (2021 IEEE 32nd International Symposium on Software Reliability Engineering (ISSRE)).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  23. 2021
  24. Published

    HIPSTER Project - State of the Art: Technical Report

    Weir, C., Dyson, A. & Prince, D., 16/11/2021, 19 p.

    Research output: Book/Report/Proceedings › Other report

  25. Published

    MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest

    Cardoso, R. C., Ferrando, A., Papacchini, F., Luckcuck, M., Linker, S. & Payne, T. R., 1/10/2021, The Multi-Agent Programming Contest 2021: One-and-a-Half Decades of Exploring Multi-Agent Systems. Ahlbrecht, T., Dix, J., Fiekas, N. & Krausberg, T. (eds.). Cham: Springer, p. 82-107 27 p. (Lecture Notes in Computer Science; vol. 12947).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  26. Published

    Automated Planning and BDI Agents: A Case Study

    Cardoso, R. C., Ferrando, A. & Papacchini, F., 25/09/2021, Advances in Practical Applications of Agents, Multi-Agent Systems, and Social Good. The PAAMS Collection: 19th International Conference, PAAMS 2021, Salamanca, Spain, October 6–8, 2021, Proceedings. Dignum, F., Corchado, J. M. & Prieta, F. D. L. (eds.). Cham: Springer, p. 52-63 12 p. (Lecture Notes in Computer Science ; vol. 12946).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  27. Published

    Women’s Sense of Belonging in Computer Science Education: The Need for a Collective Response

    Widdicks, K., Ashcroft, A., Winter, E. & Blair, L., 2/09/2021, UKICER 2021 - Proceedings of the 2021 Conference on United Kingdom and Ireland Computing Education Research. New York: ACM, p. 4:1-4:7 7 p. 4

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  28. Published

    Infiltrating Security into Development: Exploring the World’s Largest Software Security Study

    Weir, C., Migues, S., Ware, M. & Williams, L., 28/08/2021, ESEC/FSE 2021: Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. New York: ACM, p. 1326-1336 11 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Previous 1 2 3 Next

Back to top