Home > Research > Browse

Results for Software engineering

Publications & Outputs

  1. Understanding Security Requirements for Industrial Control System Supply Chains

    Hou, Y., Such, J. & Rashid, A., 5/09/2019, 2019 IEEE/ACM 5th International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS). IEEE, p. 50-53 4 p. 8823698

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  2. Measuring Human Values in Software Engineering

    Winter, E. R., Forshaw, S. W. & Ferrario, M. A. F. C., 12/10/2018, Proceedings of the 12th International Symposium on Empirical Software Engineering and Measurement: ESEM2018. ACM Press

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  3. Quick verification of concurrent programs by iteratively relaxed scheduling

    Metzler, P., Saissi, H., Bokor, P., Suri, N., T.N., N. (ed.), G., R. (ed.) & M., D. P. (ed.), 30/10/2017, 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE). IEEE, p. 776-781 6 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  4. TrEKer: Tracing error propagation in operating system kernels

    Coppik, N., Schwahn, O., Winter, S., Suri, N., T.N., N. (ed.), G., R. & M., D. P., 30/10/2017, 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE). IEEE, p. 377-387 11 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  5. Design Research as Conceptual Designing: The Manhattan Design Concept

    Ylirisku, S., Jacucci, G., Sellen, A. & Harper, R., 1/08/2016, In : Interacting with Computers. 28, 5, p. 648-663 16 p.

    Research output: Contribution to journalJournal article

  6. Developing a Networked Public Display System

    Memarovic, N., Elhart, I. & Rubegni, E., 1/07/2016, In : IEEE Pervasive Computing. 15, 3, p. 32-39 8 p.

    Research output: Contribution to journalJournal article

  7. Studios in software engineering education

    Bull, C. N., 1/01/2016, Lancaster University. 239 p.

    Research output: ThesisDoctoral Thesis

  8. 2016 Outlook: Humans in the Technology Loop

    Helal, S., 2016, In : Computer. 49, 1, p. 7-9 3 p.

    Research output: Contribution to journalEditorial

  9. No PAIN, No Gain? The utility of parallel fault injections

    Winter, S., Schwahn, O., Natella, R., Suri, N., Cotroneo, D., J., K. (ed.) & U., Z. (ed.), 16/05/2015, 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering. IEEE, p. 494-505 12 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  10. Dementia and social sustainability: challenges for software engineering

    Sawyer, P., Sutcliffe, A., Rayson, P. & Bull, C., 05/2015, Software Engineering (ICSE), 2015 IEEE/ACM 37th IEEE International Conference on (Volume:2 ) . IEEE, p. 527-530 4 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  11. A context-driven approach to scalable human activity simulation

    Lee, J. W., Helal, S., Sung, Y. & Cho, K., 2013, SIGSIM PADS '13 Proceedings of the 1st ACM SIGSIM Conference on Principles of Advanced Discrete Simulation. New York: ACM, p. 373-378 6 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

More results »