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

Research

View graph of relations

Security Lancaster (Software Security)

41 - 50 out of 61Page size: 10
RSS feed of this list
  1. 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

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

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

  4. Published

    Design and Engineering of Resilience for Networked Computer Systems

    Hutchison, D., Rouncefield, M., Gouglidis, A. & Anderson, T., 26/08/2021, Multisystemic Resilience: Adaptation and Transformation in Changing Contexts. Ungar, M. (ed.). Oxford University Press, p. 663-681 19 p.

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

  5. E-pub ahead of print

    General Access Control Guidance for Cloud Systems: SP 800-210(Draft)

    Hu, V. C., Iorga, M., Bao, W., Li, A., Li, Q. & Gouglidis, A., 1/04/2020, (E-pub ahead of print) Computer Security Resource Center.

    Research output: Other contribution

  6. Published

    Dichotomies in Ontology-Mediated Querying with the Guarded Fragment

    Hernich, A., Lutz, C., Papacchini, F. & Wolter, F., 31/05/2020, In: ACM Transactions on Computational Logic (TOCL). 21, 3, 47 p., 20.

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

  7. Published

    ThermoSim: Deep learning based framework for modeling and simulation of thermal-aware resource management for cloud computing environments

    Gill, S. S., Tuli, S., Toosi, A. N., Cuadrado, F., Garraghan, P., Bahsoon, R., Lutfiyya, H., Sakellariou, R., Rana, O., Dustdar, S. & Buyya, R., 1/08/2020, In: Journal of Systems and Software. 166, 20 p., 110596.

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

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

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

  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

Previous 1 2 3 4 5 6 7 Next

Back to top