Filter
Conference publication

Search results

  • 2021

    From a Series of (Un)fortunate Events to Global Explainability of Runtime Model-Based Self-Adaptive Systems

    Parra-Ullauri, J. M., Garcia-Dominguez, A. & Bencomo, N., 20 Dec 2021, 2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). IEEE, p. 807-816 10 p.

    Research output: Chapter in Book/Published conference outputConference publication

  • Gamified and Self-Adaptive Applications for the Common Good: Research Challenges Ahead

    Bucchiarone, A., Cicchetti, A., Bencomo, N., Loria, E. & Marconi, A., 29 Jun 2021, Proceedings - 2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2021. IEEE, p. 149-155 7 p. 9462009. (Proceedings - 2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2021).

    Research output: Chapter in Book/Published conference outputConference publication

    Open Access
    File
  • Investigating the Potential Impact of Values on Requirements and Software Engineering

    Sutcliffe, A., Sawyer, P., Liu, W. & Bencomo, N., 7 May 2021, Proceedings - 2021 IEEE/ACM 43rd International Conference on Software Engineering: Software Engineering in Society, ICSE-SEIS 2021. IEEE, p. 39-47 9 p. 9402169. (Proceedings - International Conference on Software Engineering; vol. 2021-May).

    Research output: Chapter in Book/Published conference outputConference publication

  • Look and listen: A multi-modality late fusion approach to scene classification for autonomous machines

    Bird, J. J., Faria, D. R., Premebida, C., Ekart, A. & Vogiatzis, G., 10 Feb 2021, 2020 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2020. IEEE, p. 10380-10385 6 p. 9341557. (IEEE International Conference on Intelligent Robots and Systems).

    Research output: Chapter in Book/Published conference outputConference publication

    Open Access
    File
  • RDMSim: An Exemplar for Evaluation and Comparison of Decision-Making Techniques for Self-Adaptation

    Samin, H., Paucar, L. H. G., Bencomo, N., Hurtado, C. M. C. & Fredericks, E. M., 29 Jun 2021, Proceedings - 2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2021. IEEE, p. 238-244 7 p. 9462042. (Proceedings - 2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2021).

    Research output: Chapter in Book/Published conference outputConference publication

    Open Access
    File
  • Sentiment Intensity Prediction using Neural Word Embeddings

    Htait, A. & Azzopardi, L., 31 Aug 2021, ICTIR '21 : Proceedings of the 2021 ACM SIGIR International Conference on Theory of Information Retrieval. ACM, p. 93-102

    Research output: Chapter in Book/Published conference outputConference publication

    Open Access
    File
  • Towards an architecture integrating complex event processing and temporal graphs for service monitoring

    Parra-Ullauri, J. M., García-Domínguez, A., Boubeta-Puig, J., Bencomo, N. & Ortiz, G., 22 Mar 2021, Proceedings of the 36th Annual ACM Symposium on Applied Computing, SAC 2021. ACM, p. 427–435 9 p. (Proceedings of the 36th Annual ACM Symposium on Applied Computing).

    Research output: Chapter in Book/Published conference outputConference publication

    Open Access
    File
  • Towards priority-awareness in autonomous intelligent systems

    Samin, H., Paucar, L. H. G., Bencomo, N. & Sawyer, P., 22 Mar 2021, Proceedings of the 36th Annual ACM Symposium on Applied Computing, SAC 2021. ACM, p. 1328–1337 10 p. (Proceedings of the 36th Annual ACM Symposium on Applied Computing).

    Research output: Chapter in Book/Published conference outputConference publication

    Open Access
    File
  • 2022

    A GENTLER Approach to Urban Traffic Modelling and Prediction

    Patelli, A., Hamilton, J. R., Lush, V. & Ekart, A., 23 Jul 2022, 2022 IEEE Congress on Evolutionary Computation, CEC 2022 - Conference Proceedings. IEEE, p. 1-8 8 p. 9870273

    Research output: Chapter in Book/Published conference outputConference publication

  • A Remote Breathing Relaxation System- A case-study for Web-based Real-time Adaptive Human to Virtual Human Interaction

    Dar, S., Ekart, A. & Bernardet, U., 11 Jul 2022, Proceedings of 35th British HCI Conference Towards a Human-Centred Digital Society, HCI 2022. 4 p.

    Research output: Chapter in Book/Published conference outputConference publication

    Open Access
  • Auto-Active Verification of Floating-Point Programs via Nonlinear Real Provers

    Rasheed, J. & Konečný, M., 1 Oct 2022, Software Engineering and Formal Methods - 20th International Conference, SEFM 2022, Proceedings. Schlingloff, B-H. & Chai, M. (eds.). p. 20-36 (Lecture Notes in Computer Science; vol. 13550).

    Research output: Chapter in Book/Published conference outputConference publication

  • Certified Computation of Nondeterministic Limits

    Konečný, M., Park, S. & Thies, H., 20 May 2022, NASA Formal Methods - 14th International Symposium, NFM 2022, Proceedings: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings. Deshmukh, J. V., Havelund, K. & Perez, I. (eds.). Springer, p. 771-789 19 p. (Lecture Notes in Computer Science; vol. 13260).

    Research output: Chapter in Book/Published conference outputConference publication

  • cPV – Simulation and Verification for Membrane Computing

    Liu, Y., Sun, J., Nicolescu, R. & Wang, H., 5 Dec 2022, Proceedings of the 2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS). IEEE, p. 606-615 10 p.

    Research output: Chapter in Book/Published conference outputConference publication

  • Evolving Neuromodulated Controllers in Variable Environments

    Barnes, C. M., Ekárt, A., Ellefsen, K. O., Glette, K., Lewis, P. R. & Tørresen, J., 5 Jan 2022, 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS). El-Araby, E., Kalogeraki, V., Pianini, D., Lassabe, F., Porter, B., Ghahremani, S., Nunes, I., Bakhouya, M. & Tomforde, S. (eds.). IEEE, p. 164-169 6 p.

    Research output: Chapter in Book/Published conference outputConference publication

  • Fully-Autonomous, Vision-based Traffic Signal Control: from Simulation to Reality

    Garg, D., Chli, M. & Vogiatzis, G., 9 May 2022, Proceedings of the 21st International Conference on Autonomous Agents and Multi-agent Systems (AAMAS 2022). ACM, p. 454-462 9 p. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS; vol. 1).

    Research output: Chapter in Book/Published conference outputConference publication

    Open Access
    File
  • 2023

    Budget-feasible Mechanism Design for Cost-Benefit Optimization in Gradual Service Procurement

    Farhadi, F., Chli, M. & Jennings, N. R., 30 May 2023, Proceedings of AAMAS 2023. IFAAMAS, Vol. 2023-May. p. 2706-2708 3 p. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS).

    Research output: Chapter in Book/Published conference outputConference publication

  • Predicting Normal and Anomalous Urban Traffic with Vectorial Genetic Programming and Transfer Learning

    Hamilton, J. R., Ekárt, A. & Patelli, A., 9 Apr 2023, International Conference on the Applications of Evolutionary Computation (Part of EvoStar). Correia, J., Smith, S. & Qaddoura, R. (eds.). 1 ed. p. 519–535 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13989 LNCS).

    Research output: Chapter in Book/Published conference outputConference publication

  • The Missing Tip: Lack of Micro-Movements Impairs Navigation Realism in Artificial Social Agents

    Sharp, J. & Bernardet, U., 22 Feb 2023, ICAART 2023 - Proceedings of the 15th International Conference on Agents and Artificial Intelligence - (Volume 1). Rocha, A. P., Steels, L. & van den Herik, J. (eds.). Vol. 1. p. 380-386 7 p. (Proceedings of the 15th International Conference on Agents and Artificial Intelligence).

    Research output: Chapter in Book/Published conference outputConference publication

    Open Access