Home > Research > Browse

Results for Computer software

Publications & Outputs

  1. Analyzing the Effects of Bugs on Software Interfaces

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

    Research output: Contribution to journalJournal article

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

  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 »