Home > Research > Browse

Results for Computer software

Publications & Outputs

  1. Environmental impacts of poultry litter gasification for power generation

    Jeswani, H. K., Whiting, A., Martin, A., Azapagic, A., S.A., T. (ed.), G., B. (ed.), D., T. (ed.) & K., T. (ed.), 30/03/2019, In : Energy Procedia. 161, p. 32-37 6 p.

    Research output: Contribution to journalJournal article

  2. Analyzing the Effects of Bugs on Software Interfaces

    Natella, R., Winter, S., Cotroneo, D. & Suri, N., 26/06/2018, In : IEEE Transactions on Software Engineering. 46, 3, p. 280-301 23 p.

    Research output: Contribution to journalJournal article

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

  4. Blueprint Flow: A Declarative Service Composition Framework for Cloud Applications

    Lee, C., Wang, C., Kim, E. & Helal, S., 4/09/2017, In : IEEE Access. 5, p. 17634-17643 10 p.

    Research output: Contribution to journalJournal article

  5. Reverse engineering using close range photogrammetry for additive manufactured reproduction of Egyptian artefacts and other objets d'art

    Kaufman, J., Rennie, A. & Clement, M., 1/03/2015, In : Journal of Computing and Information Science in Engineering. 15, 1, 7 p., 011006.

    Research output: Contribution to journalJournal article

  6. An empirical study of injected versus actual interface errors

    Lanzaro, A., Natella, R., Winter, S., Cotroneo, D. & Suri, N., 21/07/2014, Proceedings of the 2014 International Symposium on Software Testing and Analysis. ACM, p. 397-408 12 p.

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

  7. Efficient verification of distributed protocols using stateful model checking

    Saissi, H., Bokor, P., Muftuoglu, C. A., Suri, N. & Serafini, M., 30/09/2013, 2013 IEEE 32nd International Symposium on Reliable Distributed Systems. IEEE, p. 133-142 10 p.

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

  8. SimFI: From single to simultaneous software fault injections

    Winter, S., Tretter, M., Sattler, B. & Suri, N., 24/06/2013, 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). IEEE, 12 p.

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

  9. Location-based services: Back to the future

    Bellavista, P., Küpper, A. & Helal, S., 2008, In : IEEE Pervasive Computing. 7, 2, p. 85-89 5 p.

    Research output: Contribution to journalJournal article

  10. On the impact of injection triggers for OS robustness evaluation

    Johansson, A., Suri, N. & Murphy, B., 5/11/2007, The 18th IEEE International Symposium on Software Reliability (ISSRE '07). IEEE, p. 127-136 10 p.

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

  11. Structuring qualitative enquiry in management and organization research: a dialogue on the merits of using software for qualitative data analysis

    Atherton, A. & Elsmore, P., 15/05/2007, In : Qualitative Research in Organizations and Management. 2, 1, p. 62-77 16 p.

    Research output: Contribution to journalJournal article

More results »