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

    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

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

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

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

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

  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

    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

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

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

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

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

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

  13. Published

    From Needs to Actions to Secure Apps? The Effect of Requirements and Developer Practices on App Security

    Weir, C., Hermann, B. & Fahl, S., 12/08/2020, USENIX Security '20 Proceedings. USENIX Association, p. 289-305 17 p.

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

  14. Published

    Fog Orchestration and Simulation for IoT Services

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

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

  15. Published

    Finite Models for a Spatial Logic with Discrete and Topological Path Operators

    Linker, S., Papacchini, F. & Sevegnani, M., 18/08/2021, 46th International Symposium on Mathematical Foundations of Computer Science. Bonchi, F. & Puglisi, S. J. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 202. p. 72:1-72:16 16 p. 72. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 202).

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

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

  17. Published

    Exploiting fault localisation for efficient program repair: 2020 Genetic and Evolutionary Computation Conference, GECCO 2020

    Nowack, V., Bowes, D., Counsell, S., Hall, T., Haraldsson, S., Winter, E., Woodward, J. & SIGEVO, ACM., 8/07/2020, p. 311-312. 2 p.

    Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review

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

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

  20. Published

    Efficient Local Reductions to Basic Modal Logic

    Papacchini, F., Nalon, C., Hustadt, U. & Dixon, C., 7/07/2021, Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings. Platzer, A. & Sutcliffe, G. (eds.). Cham: Springer, p. 76-92 17 p. (Lecture Notes in Computer Science ; vol. 12699).

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

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

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

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

  24. Published

    Decentralized Runtime Monitoring Approach Relying on the Ethereum Blockchain Infrastructure

    Taha, A., Zakaria, A., Kim, D. & Suri, N., 19/05/2020, 2020 IEEE International Conference on Cloud Engineering (IC2E). IEEE, p. 134-143 10 p.

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

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

Back to top