Search research publications and outputs

  1. Computing performance requirements for web service compositions

    García-Domínguez, A., Palomo-Lozano, F., Medina-Bulo, I., Ibias, A. & Núñez, M., Jan 2023

    Article in Computer Standards and Interfaces

  2. Conjure: Automatic Generation of Constraint Models from Problem Specifications

    Akgün, Ö., Frisch, A. M., Gent, I. P., Jefferson, C., Miguel, I. & Nightingale, P., 1 Sep 2022

    Article in Artificial Intelligence

  3. Investigating Human Error Within GoA-2 Metro Lines

    Hunter, J. & McDermid, J. A., 20 May 2022, (E-pub ahead of print) Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification. RSSRail 2022. Collart-Dutilleul, S., Haxthausen, A. E. & Lecomte, T. (eds.). Springer, Cham, Vol. 13294. p. 179-191 18 p. (Lecture Notes in Computer Science).

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

  4. Low-code development and model-driven engineering: Two sides of the same coin?

    Di Ruscio, D., Kolovos, D., de Lara, J., Pierantonio, A., Tisi, M. & Wimmer, M., 11 Jan 2022, (E-pub ahead of print)

    Article in Software and Systems Modeling

  5. Optimally ordering IDK classifiers subject to deadlines

    Baruah, S., Burns, A., Davis, R. I. & Wu, Y., 14 May 2022, (E-pub ahead of print)

    Article in Real-Time Systems

  6. Quantitative Verification with Adaptive Uncertainty Reduction

    Alasmari, N., Calinescu, R., Paterson, C. & Mirandola, R., 22 Feb 2022, (E-pub ahead of print)

    Article in Journal of Systems and Software

  7. Secure Quantum Pattern Communication

    Harney, C. & Pirandola, S., 19 Jan 2022, (E-pub ahead of print)

    Article in PRX Quantum

  8. The effect of age, sex, and resource abundance on patterns of rake markings in resident killer whales (Orcinus orca)

    Grimes, C., Brent, L. JN., Weiss, M. N., Franks, D. W., Balcomb, K. C., Ellifrit, D. K., Ellis, S. & Croft, D. P., 24 Jan 2022, (E-pub ahead of print)

    Article in Marine Mammal Science

  9. Two-level Graph Neural Network

    Xing, A., Sun, C., Zhang, Z. & Hancock, E. R., 15 Feb 2022, (E-pub ahead of print)

    Article in IEEE Transactions on Neural Networks and Learning Systems