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

Research

View graph of relations

Security Lancaster (Software Security)

21 - 30 out of 61Page size: 10
RSS feed of this list
  1. 2020
  2. 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

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

  4. Published

    Extracting Safe Thread Schedules from Incomplete Model Checking Results

    Metzler, P., Suri, N. & Weissenbacher, G., 31/10/2020, In: International Journal on Software Tools for Technology Transfer. 22, p. 565-581 17 p.

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

  5. Published

    Using Workshops to Improve Security in Software Development Teams

    Weir, C., 23/11/2020, Lancaster University. 206 p.

    Research output: Thesis › Doctoral Thesis

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

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

  8. 2021
  9. Published

    Women's Sense of Belonging in Computer Science Education: Project Report for Advance HE

    Blair, L., Widdicks, K., Ashcroft, A., Winter, E., Sturdee, M., New, K. & Thomas, L., 31/01/2021, Lancaster University. 47 p.

    Research output: Book/Report/Proceedings › Commissioned report

  10. Published

    An Overview of Verification and Validation Challenges for Inspection Robots

    Fisher, M., Cardoso, R. C., Collins, E. C., Dadswell, C., Dennis, L. A., Dixon, C., Farrell, M., Ferrando, A., Huang, X., Jump, M., Kourtis, G., Lisitsa, A., Luckcuck, M., Luo, S., Page, V., Papacchini, F. & Webster, M. T., 29/04/2021, In: Robotics. 10, 2, 29 p., 67.

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

  11. Published

    Ethnography, CSCW and Ethnomethodology

    Randall, D., Rouncefield, M. & Tolmie, P., 30/04/2021, In: Computer Supported Cooperative Work. 30, 2, p. 189-214 26 p.

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

  12. Published

    A Passion for Security: Intervening to Help Software Developers

    Weir, C., Becker, I. & Blair, L., 25/05/2021, 2021 IEEE/ACM 43rd International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP). IEEE, p. 21-30 10 p.

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

Previous 1 2 3 4 5 6 7 Next

Back to top