Home > Research > Browse

Results for Computer software

Publications & Outputs

  1. 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/MagazineJournal articlepeer-review

  2. Quantum-driven energy-efficiency optimization for next-generation communications systems

    Chien, S. F., Lim, H. S., Kourtis, M. A., Ni, Q., Zappone, A. & Zarakovitis, C. C., 6/07/2021, In: Energies. 14, 14, 15 p., 4090.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  3. Co2absorption/desorption in aqueous single and novel hybrid solvents of glycerol and monoethanolamine in a pilot-scale packed bed column

    Mirzaei, S., Shamiri, A. & Aroua, M. K., 16/07/2020, In: Energy and Fuels. 34, 7, p. 8503-8515 13 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  4. 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 Journal/MagazineJournal articlepeer-review

  5. Environmental impacts of poultry litter gasification for power generation

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

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  6. 1st international workshop on software architectures and human values (SAHVA): 13th European Conference on Software Architecture, ECSA 2019

    Nakagawa, E. Y., Ferrario, M. A., Venters, C. C., Guessi, M., L., D. (Editor), A., K. (Editor), R., M. (Editor), E.M.N., M. (Editor), C., Q. (Editor), R., S. (Editor), P., S. (Editor), C., T. (Editor) & D., W. (Editor), 2019.

    Research output: Contribution to conference - Without ISBN/ISSN Conference paperpeer-review

  7. TrEKer: Tracing error propagation in operating system kernels

    Coppik, N., Schwahn, O., Winter, S., Suri, N., T.N., N. (Editor), 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/Paperpeer-review

  8. 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 Journal/MagazineJournal articlepeer-review

  9. 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 Journal/MagazineJournal articlepeer-review

  10. 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/Paperpeer-review

  11. 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/Paperpeer-review

More results »