Search research publications and outputs

  1. 2020
  2. How Systems Engineering and Systems Thinking Enable Innovation

    Beasley, R. & Ingram, C., 18 Jul 2020, 30th INCOSE International Symposium. International Council for Systems Engineering

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Supporting Robotic Software Migration Using Static Analysis and Model-Driven Engineering

    Gerasimou, S., Wood, S., Matragkas, N., Kolovos, D. & Paige, R. F., 13 Jul 2020, (Accepted/In press) ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. Open letter from UK based academic scientists to the secretaries of state for digital, culture, media and sport and for health and social care regarding the need for independent funding for the prevention and treatment of gambling harms

    Wardle, H., Banks, J., Bebbington, P., Blank, L., Bowden Jones Obe, H., Bramley, S., Bunn, C., Casey, E., Cassidy, R., Chamberlain, S. R., Close, J., Critchlow, N., Dobbie, F., Downs, C., Dymond, S., Fino, E., Goyder, E., Gray, C., Griffiths, M., Grindrod, P. & 28 others, Hogan, L., Hoon, A., Hunt, K., James, R., John, B., Manthorpe, J., McCambridge, J., McDaid, D., McKee, M., McManus, S., Moss, A., Norrie, C., Nutt, D. J., Orford, J., Pryce, R., Purves, R., Reith, G., Roberts, A., Roberts, E., Roderique-Davies, G., Rogers, J., Rogers, R. D., Sharman, S., Strang, J., Tunney, R., Turner, J., West, R. & Zendle, D., 1 Jul 2020

    Comment/debate in BMJ

  5. Modelling and Verification of Robotic Platforms for Simulation Using RoboStar Technology

    Cavalcanti, A., 22 May 2020, Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Proceedings. Raschke, A., Méry, D. & Houdek, F. (eds.). Springer, p. 3-5 3 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12071 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  6. Measurement of the 7Li(γ,t)4He ground-state cross section between Eγ=4.4 and 10 MeV

    Munch, M., Matei, C., Pain, S. D., Febbraro, M. T., Chipps, K. A., Karwowski, H. J., Diget, C. A., Pappalardo, A., Chesnevskaya, S., Guardo, G. L., Walter, D., Balabanski, D. L., Becchetti, F. D., Brune, C. R., Chae, K. Y., Frost-Schenk, J., Kim, M. J., Kwag, M. S., La Cognata, M., Lattuada, D. & 5 others, Pizzone, R. G., Rapisarda, G. G., Turturica, G. V., Ur, C. A. & Xu, Y., 14 May 2020

    Article in Physical Review C

  7. Empirical Analysis of 1-edit Degree Patches in Syntax-Based Automatic Program Repair

    Dziurzanski, P., Gerasimou, S., Kolovos, D. & Matragkas, N., 20 Mar 2020, (Accepted/In press) IEEE Congress on Evolutionary Computation.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  8. Estimating Material Parameters Using Light Scattering Model and Polarization

    Dahlan, H. A., Hancock, E. R. & Smith, W. A. P., 1 Jan 2020, Computational Science and Technology - 6th ICCST 2019. Alfred, R., Lim, Y., Haviluddin, H. & On, C. K. (eds.). Springer-Verlag, p. 405-414 10 p. (Lecture Notes in Electrical Engineering; vol. 603).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  9. AUTOMATIC GENERATION OF TEXT FOR MATCH RECAPS USING ESPORT CASTER COMMENTARIES

    Olarewaju, O., Hook, J. D., Kokkinakis, A., Demediuk, S. P., Robertson, J., Patra, S., Noelle, I., Slawson, D., Pedrassoli Chitayat, A., Coates, A., Kirman, B., Drachen, A., Ursu, M. & Block, F. O., 2020, (Accepted/In press) p. 1. 15 p.

    Research output: Contribution to conferencePaper

  10. HaiQ: Synthesis of Software Design Spaces with Structural and Probabilistic Guarantees

    Camara Moreno, J., 2020, Proceedings of the 8th International Conference on Formal Methods in Software Engineering (FormaliSE 2020).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  11. Intelligent Run-Time Partitioning of Low-Code System Models

    Jahanbin, S., Kolovos, D. & Gerasimou, S., 2020, Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. New York, NY, USA: Association for Computing Machinery (ACM), (MODELS '20).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  12. Model-Based Analysis of Microservice Resiliency Patterns

    Camara Moreno, J., Garlan, D., Nabor, M. & Mendes Aderaldo, C., 2020, Proceedings of the IEEE International Conference on Software Architecture (ICSA 2020).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  13. Quantitative Verification-Aided Machine Learning: A Tandem Approach for Architecting Self-Adaptive IoT Systems

    Camara Moreno, J., Muccini, H. & Vaidhyanathan, K., 2020, Proceedings of the IEEE International Conference on Software Architecture (ICSA 2020).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  14. Reasoning about When to Provide Explanation for Human-in-the-loop Self-Adaptive Systems

    Camara Moreno, J., Garlan, D., Schmerl, B. & Li, N., 2020, Proceedings of the 2020 IEEE Conference on Autonomic Computing and Self-organizing Systems (ACSOS 2020).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  15. Safety of Artificial Intelligence: A Collaborative Model

    McDermid, J. A. & Jia, Y., 2020, AISafety@IJCAI. CEUR Workshop Proceedings

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  16. Software Architecture and Task Plan Co-Adaptation for Mobile Service Robots

    Camara Moreno, J., Garlan, D. & Schmerl, B., 2020, Proceedings of the 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2020).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  17. The Safe and Effective Use of Learning-Enabled Components in Safety-Critical Systems

    Agrawa, K., Baruah, S. & Burns, A., 2020. 20 p.

    Research output: Contribution to conferencePaperpeer-review

Previous 1 2 3 4 5 6 7 8 ...222 Next