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

Research

View graph of relations

Security Lancaster (Software Security)

26 - 50 out of 61Page size: 25
RSS feed of this list
Sort by: Title
  1. Published

    Genetic Improvement @ ICSE 2020

    Langdon, W. B., Petke, J., Fredericks, E., Lee, S., Winter, E., Basios, M., Cohen, M. B., Blot, A., Wagner, M., Bruce, B. R., Yoo, S., Gerasimou, S., Krauss, O., Huang, Y. & Gerten, M. C., 19/10/2020, In: ACM SIGSOFT Software Engineering Notes. 45, 4, p. 24-30 7 p.

    Research output: Contribution to Journal/Magazine › Journal article

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

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

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

  5. Published

    Human and Organizational Issues for Resilient Communications

    Anderson, T., Busby, J., Gouglidis, A., Hough, K., Hutchison, D. & Rouncefield, M., 2020, Guide to Disaster-Resilient Communication Networks. Rak, J. & Hutchison, D. (eds.). Cham: Springer, p. 791-807 17 p. (Computer Communications and Networks).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter (peer-reviewed) › peer-review

  6. Published

    Human Factors in the Study of Automatic Software Repair: Future Directions for Research with Industry

    Winter, E., Bowes, D., Counsell, S., Hall, T., Haraldsson, S., Nowack, V. & Woodward, J., 6/07/2020, Proceedings - 2020 IEEE/ACM 42nd International Conference on Software Engineering Workshops, ICSEW 2020. New York: Association for Computing Machinery, Inc, p. 285-286 2 p. (Proceedings - 2020 IEEE/ACM 42nd International Conference on Software Engineering Workshops, ICSEW 2020).

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

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

  8. Published

    Integrating Clustering and Regression for Workload Estimation in the Cloud

    Yu, Y., Jindal, V., Yen, I-L., Bastani, F., Xu, J. & Garraghan, P., 10/12/2020, In: Concurrency and Computation Practice and Experience. 32, 23, 20 p., e5931.

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

  9. Published

    Interventions for Long Term Software Security: Creating a Lightweight Program of Assurance Techniques for Developers

    Weir, C., Becker, I., Noble, J., Blair, L., Sasse, M. A. & Rashid, A., 1/03/2020, In: Software: Practice and Experience. 50, 3, p. 275-298 24 p.

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

  10. Published

    'It's a Bit Weird, but it's OK'? How Female Computer Science Students Navigate being a Minority

    Winter, E., Thomas, L. & Blair, L., 26/06/2021, Proceedings of the 26th ACM Conference on Innovation and Technology in Computer Science Education. New York: Association for Computing Machinery, Inc, p. 436-442 7 p.

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

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

  12. Published

    LFC: Combining Autonomous Agents and Automated Planning in the Multi-Agent Programming Contest

    Cardoso, R. C., Ferrando, A. & Papacchini, F., 23/09/2020, The Multi-Agent Programming Contest 2019: Agents Assemble – Block by Block to Victory. Ahlbrecht, T., Dix, J., Fiekas, N. & Krausburg, T. (eds.). Cham: Springer, p. 31-58 28 p. (Lecture Notes in Computer Science ; vol. 12381).

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

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

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

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

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

  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

    On the Introduction of Automatic Program Repair in Bloomberg

    Kirbas, S., Windels, E., McBello, O., Kells, K., Pagano, M., Szalanski, R., Nowack, V., Winter, E., Counsell, S., Bowes, D., Hall, T., Haraldsson, S. & Woodward, J., 31/07/2021, In: IEEE Software. 38, 4, p. 43-51 9 p.

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

  19. Published

    Performance-aware Speculative Resource Oversubscription for Large-scale Clusters

    Yang, R., Sun, X., Hu, C., Garraghan, P., Wo, T., Wen, Z., Peng, H., Xu, J. & Li, C., 28/01/2020, In: IEEE Transactions on Parallel and Distributed Systems. 31, 7, p. 1499-1517 19 p.

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

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

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

  22. Published

    Software-Defined Fog Orchestration for IoT Services

    Yang, R., Wen, Z., McKee, D., Lin, T., Xu, J. & Garraghan, P., 4/03/2020, Fog and Fogonomics: Challenges and Practices of Fog Computing, Communication, Networking, Strategy, and Economics. Yang, Y., Huang, J., Zhang, T. & Weinman, J. (eds.). John Wiley, p. 179-212 34 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

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

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

  25. Published

    Tails in the cloud: a survey and taxonomy of straggler management within large‑scale cloud data centres

    Singh Gill, S., Ouyang, X. & Garraghan, P., 1/12/2020, In: Journal of Supercomputing. 76, p. 10050–10089 40 p.

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

Previous 1 2 3 Next

Back to top