Filter
Conference publication

Search results

  • 2019

    Improving Urban Air Quality Through Long-Term Optimisation of Vehicle Fleets

    Chitty, D. M., Parmar, R. & Lewis, P. R., 24 Aug 2019, (E-pub ahead of print) Intelligent Systems and Applications - Proceedings of the 2019 Intelligent Systems Conference IntelliSys Volume 2. Bi, Y., Bhatia, R. & Kapoor, S. (eds.). Springer, Vol. 1038. p. 70-89 20 p. (Advances in Intelligent Systems and Computing; vol. 1038).

    Research output: Chapter in Book/Published conference outputConference publication

  • Increasing genetic programming robustness using simulated dunning-kruger effect

    Griffiths, T. D. & Ekárt, A., 13 Jul 2019, GECCO 2019 Companion - Proceedings of the 2019 Genetic and Evolutionary Computation Conference Companion. ACM, p. 340-341 2 p.

    Research output: Chapter in Book/Published conference outputConference publication

  • Knowledge Base K Models to Support Trade-Offs for Self-Adaptation using Markov Processes

    Garcia Paucar, L. H. & Bencomo, N., 1 Jun 2019, Proceedings - 2019 IEEE 13th International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2019. IEEE, Vol. 2019-June. p. 11-16 6 p. 8780528. (2019 IEEE 13th International Conference on Self-Adaptive and Self-Organizing Systems (SASO)).

    Research output: Chapter in Book/Published conference outputConference publication

    Open Access
    File
  • Learning and Sharing for Improved k-Coverage in Smart Camera Networks

    Vejdanparast, A. & Lewis, P. R., 8 Aug 2019, 2019 IEEE 4th International Workshops on Foundations and Applications of Self* Systems (FAS*W). IEEE, p. 80-85 6 p. 8791959

    Research output: Chapter in Book/Published conference outputConference publication

  • Making the Most of Repetitive Mistakes: An Investigation into Heuristics for Selecting and Applying Feedback to Programming Coursework

    Howell, R. & Wong, S. H., 16 Jan 2019, Proceedings of 2018 IEEE International Conference on Teaching, Assessment, and Learning for Engineering, TALE 2018. Lee, M. J. W., Nikolic, S., Wong, G. K. W., Shen, J., Ros, M., Lei, L. C. U. & Venkatarayalu, N. (eds.). IEEE, p. 286-293 8 p. 8615128. (2018 IEEE International Conference on Teaching, Assessment, and Learning for Engineering (TALE)).

    Research output: Chapter in Book/Published conference outputConference publication

    Open Access
    File
  • Phoneme Aware Speech Synthesis via Fine Tune Transfer Learning with a Tacotron Spectrogram Prediction Network

    Bird, J. J., Ekárt, A. & Faria, D. R., 30 Aug 2019, Advances in Computational Intelligence Systems - Contributions Presented at the 19th UK Workshop on Computational Intelligence, 2019. Ju, Z., Zhou, D., Gegov, A., Yang, L. & Yang, C. (eds.). Springer, Vol. 1043. p. 271-282 12 p. (Advances in Intelligent Systems and Computing; vol. 1043).

    Research output: Chapter in Book/Published conference outputConference publication

  • Querying and Annotating Model Histories with Time-Aware Patterns

    García-Domínguez, A., Bencomo, N., Parra-Ullauri, J. M. & García-Paucar, L. H., 21 Nov 2019, Proceedings - 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems, MODELS 2019. Kessentini, M., Yue, T., Yue, T., Pretschner, A., Voss, S., Burgueno, L. & Burgueno, L. (eds.). IEEE, p. 194-204 11 p. 8906985

    Research output: Chapter in Book/Published conference outputConference publication

  • RaM: Causally-Connected and Requirements-Aware Runtime Models using Bayesian Learning

    Bencomo, N. & Garcia Paucar, L. H., 21 Nov 2019, Proceedings - 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems, MODELS 2019. Kessentini, M., Yue, T., Yue, T., Pretschner, A., Voss, S., Burgueno, L. & Burgueno, L. (eds.). IEEE, p. 216-226 11 p. 8906919

    Research output: Chapter in Book/Published conference outputConference publication

  • Resource Constrained Self-Aware Cyber-Physical Systems (Tutorial)

    Taherinejad, N., Lewis, P., Jantsch, A., Rahmani, A. & Esterle, L., 8 Aug 2019, 2019 IEEE 4th International Workshops on Foundations and Applications of Self* Systems (FAS*W). IEEE, p. 259-260 2 p. 8791942

    Research output: Chapter in Book/Published conference outputConference publication

  • Scaling ACO to large-scale vehicle fleet optimisation via partial-ACO

    Chitty, D. M., Wanner, E., Parmar, R. & Lewis, P. R., 13 Jul 2019, GECCO 2019 Companion - Proceedings of the 2019 Genetic and Evolutionary Computation Conference Companion. ACM, p. 97-98 2 p.

    Research output: Chapter in Book/Published conference outputConference publication

  • Self-improving system integration - Status and challenges after five years of SISSY

    Bellman, K., Botev, J., Diaconescu, A., Esterle, L., Gruhl, C., Landauer, C., Lewis, P. R., Stein, A., Tomforde, S. & Wurtz, R. P., 2 Jan 2019, Proceedings - 2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems, FAS*W 2018. IEEE, p. 160-167 8 p. 8599549

    Research output: Chapter in Book/Published conference outputConference publication

  • Semantic Rule Based Program Monitoring

    Tudor, L., Sun, J., Wang, H. H. & Wei, B., 12 Jul 2019, Proceedings - SEKE 2019: 31st International Conference on Software Engineering and Knowledge Engineering. Vol. 2019-July. p. 297-300 4 p.

    Research output: Chapter in Book/Published conference outputConference publication

    Open Access
    File
  • SISSY 2018 Foreword: 5th International Workshop on Self-Improving Systems Integration

    Bellman, K., Tomforde, S., Würtz, R. P., Botev, J., Brinkschulte, U., Diaconescu, A., Esterle, L., Geihs, K., Hoffmann, M., Karl, W., Landauer, C., Lewis, P., Maehle, E., Mühl, G., Müller-Schloer, C., Ponsar, H., Reif, W., Rudolph, S., Schiele, G., Sick, B. & 4 others, Stein, A., Stewart, C., Tessone, C. J. & Wacker, A., 2 Jan 2019, 2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems (FAS*W). IEEE, p. XX-XXI

    Research output: Chapter in Book/Published conference outputConference publication

  • Social Action in Socially Situated Agents

    Barnes, C. M., Ekart, A. & Lewis, P. R., 1 Jun 2019, Proceedings - 2019 IEEE 13th International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2019. IEEE, Vol. 2019-June. p. 97-106 10 p. 8780530. (2019 IEEE 13th International Conference on Self-Adaptive and Self-Organizing Systems (SASO)).

    Research output: Chapter in Book/Published conference outputConference publication

  • The virtual human breathing relaxation system

    Dar, S., Lush, V. & Bernardet, U., 21 Oct 2019, Proceedings of the 2019 5th Experiment at International Conference, exp.at 2019. Cardoso, A. & Restivo, M. T. (eds.). IEEE, p. 276-277 2 p. 8876478

    Research output: Chapter in Book/Published conference outputConference publication

  • Tired of Choosing? Just Add Structure and Virtual Reality

    Easton, E., Bernardet, U. & Ekart, A., 27 Mar 2019, Computational Intelligence in Music, Sound, Art and Design - 8th International Conference, EvoMUSART 2019, Held as Part of EvoStar 2019, Proceedings. Castro Pena, M. L., Ekárt, A. & Liapis, A. (eds.). Springer, Vol. 11453. p. 142-155 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11453 LNCS).

    Research output: Chapter in Book/Published conference outputConference publication

    Open Access
    File
  • Towards History-Aware Self-Adaptation with Explanation Capabilities

    Garcia Dominguez, A., Bencomo, N., Parra Ullauri, J. M. & Garcia Paucar, L. H., 8 Aug 2019, 2019 IEEE 4th International Workshops on Foundations and Applications of Self* Systems (FAS*W). IEEE, p. 18-23 6 p. 8791972

    Research output: Chapter in Book/Published conference outputConference publication

  • Traffic3d: A rich 3D-traffic environment to train intelligent agents

    Garg, D., Chli, M. & Vogiatzis, G., 8 Jun 2019, Computational Science - ICCS 2019 - 19th International Conference, 2019, Proceedings. Rodrigues, J. M. F., Cardoso, P. J. S., Monteiro, J., Lam, R., Krzhizhanovskaya, V. V., Lees, M. H., Sloot, P. M. A. & Dongarra, J. J. (eds.). Springer, p. 749-755 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11540 LNCS).

    Research output: Chapter in Book/Published conference outputConference publication

    Open Access
    File
  • Traffic3D: A new traffic simulation paradigm

    Garg, D., Chli, M. & Vogiatzis, G., 8 May 2019, 18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019. ACM, p. 2354-2356 3 p. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS; vol. 4).

    Research output: Chapter in Book/Published conference outputConference publication

    Open Access
    File
  • Uses and Attitudes of Old and Oldest Adults towards Self-Monitoring Health Systems

    D’Haeseleer, I., Gerling, K., Vanrumste, B., Schreurs, D., Buckingham, C. D. & Vanden Abeele, V., 23 May 2019, Pervasive Health ’19: EAI International Conference on Pervasive Computing Technologies for Healthcare, May 20–23, 2019, Trento, Italy..

    Research output: Chapter in Book/Published conference outputConference publication

    Open Access
    File
  • Using Abstraction Level in Question Answering System

    Xu, B., Wang, X. & Zhuge, H., 2 May 2019, Proceedings - 2018 14th International Conference on Semantics, Knowledge and Grids, SKG 2018. IEEE, p. 253-256 4 p. 8703959. (2018 14th International Conference on Semantics, Knowledge and Grids (SKG)).

    Research output: Chapter in Book/Published conference outputConference publication

  • Vehicle tire (tyre) detection and text recognition using deep learning

    Kazmi, W., Nabney, I., Vogiatzis, G., Rose, P. & Codd, A., 19 Sep 2019, (E-pub ahead of print) 2019 IEEE 15th International Conference on Automation Science and Engineering, CASE 2019. IEEE, Vol. 2019-August. p. 1074-1079 6 p. 8842962. (2019 IEEE 15th International Conference on Automation Science and Engineering (CASE)).

    Research output: Chapter in Book/Published conference outputConference publication

  • What Size of Language Unit Is More Appropriate for Text Summarization?

    Cao, M. & Zhuge, H., 2 May 2019, Proceedings - 2018 14th International Conference on Semantics, Knowledge and Grids, SKG 2018. IEEE, p. 196-202 7 p. 8703948. (2018 14th International Conference on Semantics, Knowledge and Grids (SKG)).

    Research output: Chapter in Book/Published conference outputConference publication

  • ‘Surprise’ Detection in Human Pattern-of-Life Behaviour

    Qarout, Y. K. & Lowe, D., 7 Feb 2019, 2018 5th International Conference on Information and Communication Technologies for Disaster Management (ICT-DM). IEEE, p. 1-8 8636382

    Research output: Chapter in Book/Published conference outputConference publication

  • 2020

    7th International Workshop on Artificial Intelligence and Requirements Engineering (AIRE'20): Message from the Organizers

    Bencomo, N., Ferrari, A., Aydemir, F. B. & Rahimi, M., 20 Oct 2020, 2020 IEEE Seventh International Workshop on Artificial Intelligence for Requirements Engineering (AIRE). IEEE, p. VII (Proceedings - 7th International Workshop on Artificial Intelligence and Requirements Engineering, AIRE 2020).

    Research output: Chapter in Book/Published conference outputConference publication

  • Abstractive text-image summarization using multi-modal attentional hierarchical RNN

    Chen, J. & Zhuge, H., 1 Jan 2020, Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing, EMNLP 2018. Riloff, E., Chiang, D., Hockenmaier, J. & Tsujii, J. (eds.). Association for Computational Linguistics, p. 4046-4056 11 p. (Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing, EMNLP 2018).

    Research output: Chapter in Book/Published conference outputConference publication

  • Automated provenance graphs for models@run.time

    Reynolds, O., García-Domínguez, A. & Bencomo, N., 16 Oct 2020, Proceedings - 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS-C 2020 - Companion Proceedings. ACM, p. 344-353 10 p. 53. (Proceedings - 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS-C 2020 - Companion Proceedings).

    Research output: Chapter in Book/Published conference outputConference publication

    Open Access
    File
  • Coevolutionary learning of neuromodulated controllers for multi-stage and gamified tasks

    Barnes, C. M., Ekart, A., Ellefsen, K. O., Glette, K., Lewis, P. R. & Torresen, J., 15 Sep 2020, Proceedings - 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems, ACSOS 2020. El-Araby, E., Tomforde, S., Wood, T., Kumar, P., Raibulet, C., Petri, I., Valentini, G., Nelson, P. & Porter, B. (eds.). IEEE, p. 129-138 10 p. 9196458. (Proceedings - 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems, ACSOS 2020).

    Research output: Chapter in Book/Published conference outputConference publication

  • CSC-GAN: Cycle and Semantic Consistency for Dataset Augmentation

    Barros Arantes, R., Vogiatzis, G. & Faria, D. R., 7 Dec 2020, Advances in Visual Computing - 15th International Symposium, ISVC 2020, Proceedings. Bebis, G., Yin, Z., Kim, E., Bender, J., Subr, K., Kwon, B. C., Zhao, J., Kalkofen, D. & Baciu, G. (eds.). Springer, Vol. 12509. p. 170-181 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12509 LNCS).

    Research output: Chapter in Book/Published conference outputConference publication

    Open Access
    File
  • From Simulation to Reality: CNN Transfer Learning for Scene Classification

    Bird, J. J., Faria, D. R., Ekart, A. & Ayrosa, P. P. S., 18 Sep 2020, 2020 IEEE 10th International Conference on Intelligent Systems, IS 2020 - Proceedings. Sgurev, V., Jotsov, V., Kruse, R. & Hadjiski, M. (eds.). IEEE, p. 619-625 7 p. 9199968. (2020 IEEE 10th International Conference on Intelligent Systems, IS 2020 - Proceedings).

    Research output: Chapter in Book/Published conference outputConference publication

  • Genetic Programming with Transfer Learning for Urban Traffic Modelling and Prediction

    Ekárt, A., Patelli, A., Lush, V. & Ilie-Zudor, E., 3 Sep 2020, 2020 IEEE Congress on Evolutionary Computation, CEC 2020 - Conference Proceedings. IEEE, 9185880

    Research output: Chapter in Book/Published conference outputConference publication

  • Goal Density-based Hindsight Experience Prioritization for Multi-Goal Robot Manipulation Reinforcement Learning

    Kuang, Y., Weinberg, A. I., Vogiatzis, G. & Faria, D. R., 14 Oct 2020, 29th IEEE International Conference on Robot and Human Interactive Communication, RO-MAN 2020. IEEE, p. 432-437 6 p. 9223473. (29th IEEE International Conference on Robot and Human Interactive Communication, RO-MAN 2020).

    Research output: Chapter in Book/Published conference outputConference publication

  • How to Successfully Run a Digital Apprenticeship: The Programming Boot Camp Case Study

    Patelli, A., Beaumont, T. & James, G., 10 Jan 2020, Proceedings - 4th Conference on Computing Education Practice, CEP 2020. ACM, p. 1-4 3. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Published conference outputConference publication

  • Multi-Agent Deep Reinforcement Learning for Traffic optimization through Multiple Road Intersections using Live Camera Feed

    Garg, D., Chli, M. & Vogiatzis, G., 24 Dec 2020, 2020 IEEE 23rd International Conference on Intelligent Transportation Systems, ITSC 2020. IEEE, 9294375. (2020 IEEE 23rd International Conference on Intelligent Transportation Systems, ITSC 2020).

    Research output: Chapter in Book/Published conference outputConference publication

    Open Access
    File
  • Multi-camera Torso Pose Estimation using Graph Neural Networks

    Rodriguez-Criado, D., Bachiller, P., Bustos, P., Vogiatzis, G. & Manso, L. J., 14 Oct 2020, 29th IEEE International Conference on Robot and Human Interactive Communication, RO-MAN 2020. IEEE, p. 827-832 6 p. 9223542. (29th IEEE International Conference on Robot and Human Interactive Communication, RO-MAN 2020).

    Research output: Chapter in Book/Published conference outputConference publication

    Open Access
    File
  • Temporal Models for History-Aware Explainability

    Parra-Ullauri, J. M., García-Domínguez, A., García-Paucar, L. H. & Bencomo, N., 19 Oct 2020, Proceedings of the 12th System Analysis and Modelling Conference, SAM 2020. ACM, p. 155–164 10 p.

    Research output: Chapter in Book/Published conference outputConference publication

    Open Access
    File
  • Towards an assessment grid for intelligent modeling assistance

    Mussbacher, G., Combemale, B., Abrahão, S., Bencomo, N., Burgueño, L., Engels, G., Kienzle, J., Kühn, T., Mosser, S., Sahraoui, H. & Weyssow, M., 16 Oct 2020, Proceedings - 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS-C 2020 - Companion Proceedings. ACM, p. 1-10 10 p. 48. (Proceedings - 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS-C 2020 - Companion Proceedings).

    Research output: Chapter in Book/Published conference outputConference publication

    Open Access
  • Towards automated provenance collection for runtime models to record system history

    Reynolds, O., García-Domínguez, A. & Bencomo, N., 19 Oct 2020, Proceedings of the 12th System Analysis and Modelling Conference, SAM 2020. ACM, p. 12-22 11 p. (Proceedings of the 12th System Analysis and Modelling Conference, SAM 2020).

    Research output: Chapter in Book/Published conference outputConference publication

    Open Access
    File
  • To What Extent Can Text Classification Help with Making Inferences About Students’ Understanding

    Beaumont, A. J. & Al-Shaghdari, T., 3 Jan 2020, Machine Learning, Optimization, and Data Science - 5th International Conference, LOD 2019, Proceedings. Nicosia, G., Pardalos, P., Umeton, R., Giuffrida, G. & Sciacca, V. (eds.). Springer, p. 372-383 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11943 LNCS).

    Research output: Chapter in Book/Published conference outputConference publication

  • 2021

    A Large-Scale English Multi-Label Twitter Dataset for Cyberbullying and Online Abuse Detection

    Salawu, S., Lumsden, J. & He, Y., Aug 2021, Proceedings of the 5th Workshop on Online Abuse and Harms (WOAH 2021). Mostafazedeh Davani, A., Kiela, D., Lambert, M., Vidgen, B., Prabhakaran, V. & Waseem, Z. (eds.). Association for Computational Linguistics, p. 146-156 11 p.

    Research output: Chapter in Book/Published conference outputConference publication

    Open Access
    File
  • Axial Generation: A Concretism-Inspired Method for Synthesizing Highly Varied Artworks

    Easton, E., Ekárt, A. & Bernardet, U., 2 Apr 2021, Artificial Intelligence in Music, Sound, Art and Design - 10th International Conference, EvoMUSART 2021, Held as Part of EvoStar 2021, Proceedings. Romero, J., Martins, T. & Rodríguez-Fernández, N. (eds.). Springer, p. 115-130 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12693 LNCS).

    Research output: Chapter in Book/Published conference outputConference publication

  • Axiomatic Reals and Certified Efficient Exact Real Computation

    Konečný, M., Park, S. & Thies, H., 17 Nov 2021, Logic, Language, Information, and Computation - 27th International Workshop, WoLLIC 2021, Proceedings: 27th International Workshop, WoLLIC 2021. Silva, A., Wassermann, R. & de Queiroz, R. (eds.). Berlin / Heidelberg: Springer, Vol. 13038. p. 252-268 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13038 LNCS).

    Research output: Chapter in Book/Published conference outputConference publication

  • 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
  • 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

    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