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

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

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

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

  6. Published

    Analysing Design Approaches for the Power Consumption in Cyber-Physical Systems

    Sailer, P., Ivkic, I., Tauber, M., Mauthe, A. & Gouglidis, A., 30/06/2021, 17th IFIP/IEEE International Symposium on Integrated Network Management (IM 2021): 2nd IEEE/IFIP International Workshop on Management for Industry 4.0 (MFI 4.0). IEEE, p. 908-913 6 p.

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

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

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

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

  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

    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

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

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

  15. Published

    Using Workshops to Improve Security in Software Development Teams

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

    Research output: Thesis › Doctoral Thesis

  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

    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

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

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

  20. Published

    Analysing spatial properties on neighbourhood spaces

    Linker, S., Papacchini, F. & Sevegnani, M., 1/08/2020, 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020. Esparza, J., Kral�, D. & Kral�, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 66:1-66:14 14 p. MFCS-2020-66. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 170).

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

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

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

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

  24. Published

    Understanding the ecological validity of relying practice as a basis for risk identification

    Anderson, T., Busby, J. & Rouncefield, M., 1/07/2020, In: Risk Analysis. 40, 7, p. 1383-1398 16 p.

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

  25. Published

    Trace Sanitizer: Eliminating the Effects of Non-Determinism of Error Propagation Analysis

    Saissi, H., Winter, S., Schwahn, O., Pattabiraman, K. & Suri, N., 23/06/2020, 2020 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). IEEE, 12 p.

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

  26. Published

    Agility in Transdisciplinary Research: Lessons Learnt from a Research Sprint on Digital Technologies and Flood Risk Management

    Winter, E., Ferrario, M. A. & Blair, G., 21/06/2020, ICT4S2020: Proceedings of the 7th International Conference on ICT for Sustainability. ACM, p. 147–157 11 p.

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

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

Previous 1 2 3 Next

Back to top