Emergent Web Server: An Exemplar to Explore Online Learning in Compositional Self-Adaptive Systems

Rodrigues Filho, R., Alberts, E., Gerostathopoulos, I., Porter, B. & Costa, F., 15/08/2022, SEAMS '22: Proceedings of the 17th Symposium on Software Engineering for Adaptive and Self-Managing Systems. New York: ACM, p. 36-42 7 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Enhancing URLLC in Integrated Aerial Terrestrial Networks: Design Insights and Performance Trade-offs

Awais, M., Pervaiz, H., Ali Jamshad, M., Yu, W. & Ni, Q., 9/08/2022, 2022 IEEE 23rd International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM). IEEE

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs

Chatterjee, K., Goharshady, A. K., Meggendorfer, T. & Žikelić, Đ., 7/08/2022, Computer Aided Verification - 34th International Conference, CAV 2022, Proceedings. Shoham, S. & Vizel, Y. (eds.). Cham: Springer, p. 55-78 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13371 LNCS).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Improving Intent Correctness with Automated Testing

Alcock, P., Simms, B., Fantom, W., Rotsos, C. & Race, N., 3/08/2022, 2022 IEEE 8th International Conference on Network Softwarization (NetSoft). Clemm, A., Maier, G., Machuca, C. M., Ramakrishnan, K. K., Risso, F., Chemouil, P. & Limam, N. (eds.). IEEE, p. 61-66 6 p. (IEEE International Conference on Network Softwarization (NetSoft); no. 8).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Transversal GRAND for network coded data

Chatzigeorgiou, I., 3/08/2022, 2022 IEEE International Symposium on Information Theory, ISIT 2022. IEEE, p. 1773-1778 6 p. (IEEE International Symposium on Information Theory - Proceedings; vol. 2022-June).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Humble Machines: Attending to the Underappreciated Costs of Misplaced Distrust

Knowles, B., 2/08/2022, (E-pub ahead of print) 2022 ACM Conference on Equity and Access in Algorithms, Mechanisms, and Optimization. New York: ACM, 11 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Local Reductions for the Modal Cube

Nalon, C., Hustadt, U., Papacchini, F. & Dixon, C., 1/08/2022, International Joint Conference on Automated Reasoning. Blanchette, J., Kovács, L. & Pattinson, D. (eds.). Vol. 13385. p. 486-505 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13385 LNAI).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Offline Writer Identification using Deep Convolution Neural Network

Durou, A., Aref, I., Erateb, S., El-Mihoub, T., Ghalut, T. & Emhemmed, A., 27/07/2022, 2022 IEEE 2nd International Maghreb Meeting of the Conference on Sciences and Techniques of Automatic Control and Computer Engineering (MI-STA). IEEE, p. 43-47 5 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Multi-Start, Random Reselection of Algorithms or Both?

El-Mihoub, T., Nolle, L., Tholen, C., Aref, I. & Paulenz, I., 27/07/2022, 2022 IEEE 2nd International Maghreb Meeting of the Conference on Sciences and Techniques of Automatic Control and Computer Engineering (MI-STA). IEEE, p. 21-26 6 p. (2022 IEEE 2nd International Maghreb Meeting of the Conference on Sciences and Techniques of Automatic Control and Computer Engineering, MI-STA 2022 - Proceeding).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification

Do, Q. H., Hosseyni, P., Küsters, R., Schmitz, G., Wenzler, N. & Würtele, T., 27/07/2022, 43rd IEEE Symposium on Security and Privacy (S&P 2022). IEEE

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

GECCO 2022 Tutorial: Selection Hyper-heuristics

Kheiri, A. & Keedwell, E. C., 19/07/2022, GECCO 2022 Companion - Proceedings of the 2022 Genetic and Evolutionary Computation Conference. New York: ACM, p. 983-996 14 p. (GECCO 2022 Companion - Proceedings of the 2022 Genetic and Evolutionary Computation Conference).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper

Feminist Thematic Discourse Analysis in CS

Ashcroft, A., 19/07/2022, International Conferences ICT, Society, and Human Beings 2022. International Assn for Development of the Information Society (IADIS), p. 281-284 4 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Influences of developers' perspectives on their engagement with security in code

Rauf, I., Lopez, T., Sharp, H., Petre, M., Tun, T. T., Levine, M., Towse, J., van der Linden, D., Rashid, A. & Nuseibeh, B., 19/07/2022, CHASE '22: Proceedings of the 15th International Conference on Cooperative and Human Aspects of Software Engineering. New York: Association for Computing Machinery, Inc, p. 86-95 10 p. (Proceedings - 15th International Conference on Cooperative and Human Aspects of Software Engineering, CHASE 2022).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Using saturated models for data synthesis

Jackson, J., Francis, B., Mitra, R. & Dove, I., 18/07/2022, Proceedings of the 36th International Workshop on Statistical Modelling: July 18-22, 2022 - Trieste, Italy. Torelli, N., Bellio, R. & Muggeo, V. (eds.). EUT Edizioni Università di Trieste, Trieste 2022, p. 205-210 6 p. 34

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper

Estimating quality-adjusted life-years: Assessing the bias induced for a terminal decline quality of life model

Welsh, A., Costain, D. & Titman, A., 18/07/2022, Proceedings of the 36th International Workshop on Statistical Modelling: July 18-22, 2022 - Trieste, Italy. Torelli, N., Bellio, R. & Muggeo, V. (eds.). EUT Edizioni Università di Trieste, Trieste 2022, p. 354-359 6 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper

Step Into My Mind Palace: Exploration of a Collaborative Paragogy Tool in VR

Sims, R., Chang, B., Bennett, V., Krishnan, A., Aboubakar, A., Coman, G., Bahrami, A., Huang, Z., Clarke, C. & Karnik, A., 11/07/2022, Proceedings of 2022 8th International Conference of the Immersive Learning Research Network, iLRN 2022. Dengel, A., Bourguet, M-L., Pedrosa, D., Hutson, J., Erenli, K., Economou, D., Pena-Rios, A. & Richter, J. (eds.). IEEE, p. 427-434 8 p. (2022 8th International Conference of the Immersive Learning Research Network (iLRN)).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Optimization for Prediction-Driven Cooperative Spectrum Sensing in Cognitive Radio Networks

Nie, D., Yu, W., Ni, Q. & Pervaiz, H., 11/07/2022, 2022 IEEE International Conference on Communications Workshops (ICC Workshops). IEEE, (IEEE International Conference on Communications Workshops (ICC Workshops)).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Using phylogenetic analysis to enhance genetic improvement

Rainford, P. & Porter, B., 8/07/2022, GECCO '22: Proceedings of the Genetic and Evolutionary Computation Conference. Fieldsend, J. E. (ed.). New York: ACM, p. 849-957 9 p.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Opportunities and Challenges for VR-mediated Educational Resources: An Educators' Perspective

Sims, R. & Karnik, A., 6/07/2022, EDULEARN22 Proceedings. Palma, Spain: IATED, p. 8810-8819 10 p. (14th International Conference on Education and New Learning Technologies).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Professional Identity and Electronic Health Record Systems Resistance

Aldogiher, A., Williams, R. & Tarafdar, M., 5/07/2022, PACIS 2022 Proceedings. AIS Electronic Library, p. 306 1 p. 1048

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Mediation in the Post-Internet Condition

Christou, E., 5/07/2022, Proceedings of EVA London 2022: Electronic Visualisation and the Arts, London. 7 p. (Electronic Workshops in Computing (eWiC)).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Automated handling of anaphoric ambiguity in requirements: a multi-solution study

Ezzini, S., Abualhaija, S., Arora, C. & Sabetzadeh, M., 5/07/2022, ICSE. p. 187-199 13 p. (Proceedings - International Conference on Software Engineering; vol. 2022-May).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Beyond the body: moving past the metricised bodily goal in self-tracking

Snooks, K., Whitham, R., Richards, D. & Lindley, J., 3/07/2022, DRS2022 Bilbao: Design Research Society Conference 2022. Lockton, D., Lenzi, S., Hekkert, P., Sádaba, A. & Lloyd, P. (eds.). Bilbao: Design Research Society, 15 p. 158. (DRS2022 Bilbao: Design Research Society Conference 2022).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Evaluating social innovations: How creative evaluation can help articulate their values and impacts

Owen, V., Ceyhan, P., Cruickshank, L. & Christou, E., 3/07/2022, DRS2022 Bilbao: Design Research Society Conference 2022. Lockton, D., Lenzi, S., Hekkert, P., Sádaba, A. & Lloyd, P. (eds.). Bilbao: Design Research Society, 18 p. 206. (DRS2022 Bilbao: Design Research Society Conference 2022).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Disciplinarity and the modes of legal design

Doherty, M., 3/07/2022, DRS2022 Bilbao: Design Research Society Conference 2022. Lockton, D., Lenzi, S., Hekkert, P., Sabada, A. & Lloyd, P. (eds.). Bilbao: Design Research Society, 13 p. (DRS2022 Bilbao: Design Research Society Conference 2022).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review