Filter
Conference contribution

Search results

  • 2023

    Artificial Intelligence Ethics and Applications

    Xu, Q. A., Chang, V., Gokaraneni, N., Ganatra, M., Wong, S. T. & Li, J., 23 Mar 2023, Industrial IoT, Big Data and Supply Chain (IIoTBDSC), International Conference on. IEEE, p. 322-328 7 p.

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

  • Recognition of Behavioural Intention in Repeated Games using Machine Learning

    Di Stefano, A., Jayne, C., Angione, C. & Han, T. A., 24 Jul 2023, Proceedings of the 2023 Artificial Life Conference. MIT Press

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

    Open Access
  • 2022

    Algebraic Semantics for C++11 Memory Model

    Xiao, L., Zhu, H., He, M. & Qin, S., 10 Aug 2022, 2022 IEEE 46th Annual Computers, Software, and Applications Conference: Proceedings . Va Leong, H., Sarvestani, S. S., Teranishi, Y., Cuzzocrea, A., Kashiwazaki, H., Towey, D., Yang, J-J. & Shahriar, H. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 1513-1518 6 p. (Proceedings - 2022 IEEE 46th Annual Computers, Software, and Applications Conference, COMPSAC 2022).

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

  • Automatic Accent and Gender Recognition of Regional UK Speakers

    Jayne, C., Chang, V., Bailey, J. & Xu, Q. A., 2022, Engineering Applications of Neural Networks - 23rd International Conference, EAAAI/EANN 2022, Proceedings. Iliadis, L., Jayne, C., Tefas, A. & Pimenidis, E. (eds.). Springer Science and Business Media Deutschland GmbH, p. 67-80 14 p. (Communications in Computer and Information Science; vol. 1600 CCIS).

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

    Open Access
    File
    1 Downloads (Pure)
  • Cross Domain Evaluation of Text Detection Models

    Ali-Gombe, A., Elyan, E., Moreno-García, C. & Jayne, C., 15 Sept 2022, Artificial Neural Networks and Machine Learning – ICANN 2022 - 31st International Conference on Artificial Neural Networks, 2022, Proceedings. Pimenidis, E., Angelov, P., Jayne, C., Papaleonidas, A. & Aydin, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 50-61 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13531 LNCS).

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

  • IDEA-Net: Adaptive Dual Self-Attention Network for Single Image Denoising

    Zuo, Z., Chen, X., Xu, H., Li, J., liao, W., yang, Z. & Wang, S., 15 Feb 2022, Proceedings of the IEEE/CVF Winter Conference on Applications of Computer Vision. IEEE, p. 739-748 (IEEE Winter Applications and Computer Vision Workshops).

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

    Open Access
    File
    75 Downloads (Pure)
  • Integrating Information Flow Analysis in Unifying Theories of Programming

    Mu, C. & Li, G., 12 Jan 2022, 2021 IEEE 26th Pacific Rim International Symposium on Dependable Computing (PRDC). IEEE, p. 67-76

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

    Open Access
    File
    79 Downloads (Pure)
  • Network Diversity Promotes Safety Adoption in Swift Artificial Intelligence Development

    Cimpeanu, T., Santos, F. C., Pereira, L. M. & Han, T. A., 18 Jul 2022, ALIFE 2022: The 2022 Conference on Artificial Life. MIT Press, 3 p. isal 2022; 45. (The 2022 Conference on Artificial Life).

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

  • Shake on It: the role of Commitments and the Evolution of Coordination in Networks of Technology Firms

    Ogbo, B., Cimpeanu, T., Di Stefano, A. & Han, T. A., 18 Jul 2022, ALIFE 2022: The 2022 Conference on Artificial Life. (The 2022 Conference on Artificial Life).

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

  • The Last One Standing? Recent Findings on the Feasibility of Indirect Reciprocity under Private Assessment

    Krellner, M. & Han, T. A., 18 Jul 2022, ALIFE 2022: The 2022 Conference on Artificial Life. MIT Press, 3 p. isal_a_00523, 40. (The 2022 Conference on Artificial Life).

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

    Open Access
  • Voluntary safety pledges overcome over-regulation dilemma in AI development: an evolutionary game analysis

    Han, T. A., Santos, F. C., Pereira, L. M. & Lenaerts, T., 18 Jul 2022, ALIFE 2022: The 2022 Conference on Artificial Life. MIT Press, 3 p. isal_a_00484, 7. (The 2022 Conference on Artificial Life).

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

    Open Access
  • Wearable pressure sensing for lower limb amputees

    Lu, Z., Zhu, W., Chen, Y., Charnley, J., Dejke, V., Pomazanskyi, A., Ko, S., Zeybek, B., Mehryar, P., Ali, Z., Karamousadakis, M. & Chen, D., 16 Nov 2022, IEEE Biomedical Circuits and Systems Conference: Intelligent Biomedical Systems for a Better Future, Proceedings. IEEE, Vol. 2022. p. 105-109 5 p. (BioCAS 2022 - IEEE Biomedical Circuits and Systems Conference: Intelligent Biomedical Systems for a Better Future, Proceedings).

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

  • 2021

    A Computational Model of Cancer Metabolism for Personalised Medicine

    Occhipinti, A. & Angione, C., 6 Mar 2021, Building Bridges in Medical Science 2021. Cambridge Medical Journal, (Cambridge Medical Journal; vol. 28 Mar).

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

    Open Access
    File
    106 Downloads (Pure)
  • Air-flow sensing for vehicle length estimation in autonomous driving applications

    Matvejev, R., Muhammad, Y. & Muhammad, N., 7 Sept 2021, 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA ). IEEE

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

    Open Access
    File
    89 Downloads (Pure)
  • Ethical discussions for autonomous robotic surgeries

    Chang, V., Kamanooru, M. R. & Darko, G. T., 19 Dec 2021, Second International Conference on Industrial IoT, Big Data, and Supply Chain. Chang, V., Zhu, Y. & Yu, H. (eds.). SPIE, 121280T. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 12128).

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

    Open Access
    File
    678 Downloads (Pure)
  • Ethical issues with development status of modern agricultural production

    Chang, V. & Gao, X., 15 Oct 2021, Second International Conference on Industrial IoT, Big Data, and Supply Chain. Chang, V., Zhu, Y. & Yu, H. (eds.). SPIE, 121280Y. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 12128).

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

    Open Access
    File
    61 Downloads (Pure)
  • Investigating the Clarity Dimension of Social Norms: How Normative Ambiguity on Digital Piracy Intentions

    Xiong, C. & Chang, V., 1 Apr 2021, Modern Industrial IoT, Big Data and Supply Chain - Proceedings of the IIoTBDSC 2020. Chang, V., Ramachandran, M. & Méndez Muñoz, V. (eds.). Springer Science and Business Media Deutschland GmbH, p. 401-409 9 p. (Smart Innovation, Systems and Technologies; vol. 218).

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

    Open Access
    File
    48 Downloads (Pure)
  • Micro-Genetic Algorithm Embedded Multi-Population Differential Evolution based Neural Network for Short-Term Load Forecasting

    Joy, C., Pillai, G., Chen, Y. & Mistry, K., 30 Sept 2021, 2021 56th International Universities Power Engineering Conference: Powering Net Zero Emissions, UPEC 2021 - Proceedings. IEEE, (2021 56th International Universities Power Engineering Conference (UPEC)).

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

    Open Access
    File
    118 Downloads (Pure)
  • Promoting Fair Proposers, Fair Responders or Both? Cost-Efficient Interference in the Spatial Ultimatum Game

    Cimpeanu, T., Han, T. A. & Perret, C., 20 Jan 2021, (Accepted/In press) aamas.

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

  • Smart Medical and Its Ethical Problems

    Chang, V., Ying, R. & Xu, Q. A., 1 Apr 2021, Modern Industrial IoT, Big Data and Supply Chain - Proceedings of the IIoTBDSC 2020. Chang, V., Ramachandran, M. & Méndez Muñoz, V. (eds.). Springer Science and Business Media Deutschland GmbH, p. 41-54 14 p. (Smart Innovation, Systems and Technologies; vol. 218).

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

    Open Access
    File
    48 Downloads (Pure)
  • The Ethical Issues of Location-Based Services on Big Data and IoT

    Chang, V., Mou, Y. & Xu, Q. A., 1 Apr 2021, Modern Industrial IoT, Big Data and Supply Chain - Proceedings of the IIoTBDSC 2020. Chang, V., Ramachandran, M. & Méndez Muñoz, V. (eds.). Springer Science and Business Media Deutschland GmbH, p. 195-205 11 p. (Smart Innovation, Systems and Technologies; vol. 218).

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

    Open Access
    File
    1 Citation (Scopus)
    525 Downloads (Pure)
  • 2020

    Account and Transaction Protocol of the Open Banking Standard

    Almehrej, A., Freitas, L. & Modesti, P., 22 May 2020, Rigorous State-Based Methods, 7th International Conference, ABZ 2020. Raschke, A., Méry, D. & Houdek, F. (eds.). Springer International Publishing AG, Vol. 12071. 7 p. (LNCS).

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

    Open Access
    File
    78 Downloads (Pure)
  • A Language-based Approach to Analysing Flow Security Properties in Virtualised Computing Systems

    Mu, C., 11 Dec 2020, IEEE Theoretical Aspects of Software Engineering (TASE) 2020. IEEE, p. 185-192

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

    Open Access
    File
    42 Downloads (Pure)
  • Cost Effective Interventions in Complex Networks Using Agent-Based Modelling and Simulations: Doctoral Consortium

    Cimpeanu, T., 9 May 2020, Proceedings of AAMAS'20. Association for Computing Machinery (ACM), p. 2188-2190 (AAMAS Proceedings).

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

    Open Access
  • Curvature-Based Sparse Rule Base Generation for Fuzzy Interpolation Using Menger Curvature

    Zuo, Z., Li, J. & Yang, L., 31 Jan 2020, 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-Verlag, p. 53-65 13 p. (Advances in Intelligent Systems and Computing; vol. 1043).

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

    Open Access
    File
    131 Downloads (Pure)
  • Effective Piecewise CNN with attention mechanism for distant supervision on relation extraction task

    Li, Y., Ni, P., Li, G. & Chang, V., 8 May 2020, COMPLEXIS 2020 - Proceedings of the 5th International Conference on Complexity, Future Information Systems and Risk. Behringer, R. & Chang, V. (eds.). SciTePress, p. 53-62 10 p. (COMPLEXIS 2020 - Proceedings of the 5th International Conference on Complexity, Future Information Systems and Risk).

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

    Open Access
    File
    3 Citations (Scopus)
    31 Downloads (Pure)
  • Fear of punishment promotes the emergence of cooperation and enhanced social welfare in social dilemmas

    Cimpeanu, T. & Han, T. A., 9 May 2020, Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2020. An, B., El Fallah Seghrouchni, A. & Sukthankar, G. (eds.). Association for Computing Machinery (ACM), p. 1819-1821 3 p. (AAMAS Proceedings).

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

    Open Access
  • How Do API Selections Affect the Runtime Performance of Data Analytics Tasks?

    Tao, Y., Tang, S., Liu, Y., Xu, Z. & Qin, S., 9 Jan 2020, Proceedings - 2019 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019. IEEE, p. 665-668 4 p. 8952224. (IEEE/ACM International Conference on Automated Software Engineering (ASE)).

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

    Open Access
    File
    157 Downloads (Pure)
  • Lost in Disclosure: On the Inference of Password Composition Policies

    Johnson, S., Ferreira, J., Mendes, A. & Cordry, J., 13 Feb 2020, Proceedings - 2019 IEEE 30th International Symposium on Software Reliability Engineering Workshops, ISSREW 2019. Wolter, K., Schieferdecker, I., Gallina, B., Cukier, M., Natella, R., Ivaki, N. & Laranjeiro, N. (eds.). IEEE, p. 264-269 6 p. (Proceedings - 2019 IEEE 30th International Symposium on Software Reliability Engineering Workshops, ISSREW 2019).

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

    Open Access
    File
    69 Downloads (Pure)
  • Making an Example: Signalling Threat in the Evolution of Cooperation

    Cimpeanu, T. & Han, T. A., Jul 2020, 2020 IEEE Congress on Evolutionary Computation, CEC 2020 - Conference Proceedings. Institute of Electrical and Electronics Engineers Inc., 9185749. (2020 IEEE Congress on Evolutionary Computation, CEC 2020 - Conference Proceedings).

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

  • MemLock: Memory Usage Guided Fuzzing

    Wen, C., Wang, H., Li, Y., Qin, S., Liu, Y., Xu, Z., Chen, H., Xie, X., Pu, G. & Liu, T., 27 Jun 2020, Proceedings - 2020 ACM/IEEE 42nd International Conference on Software Engineering, ICSE 2020. ACM, p. 765-777 13 p. 3380396. (Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering).

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

    Open Access
    File
    661 Downloads (Pure)
  • Reading to Level Up: Gamifying Reading Fluency

    Sezen, D., Massler, U., Ribeiro, P., Haake, S., Iurgel, I. & Parente, A., 29 Jan 2020, Technology, Innovation, Entrepreneurship and Education: Conference proceedings TIE 2019. Sylla, C. & Iurgel, I. (eds.). Springer, Vol. 307. p. 3-12

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

  • Skeptic: Automatic, Justified and Privacy-Preserving Password Composition Policy Selection

    Johnson, S., Ferreira, J. F., Mendes, A. & Cordry, J., 5 Oct 2020, ASIA CCS '20: Proceedings of the 15th ACM Asia Conference on Computer and Communications Security: 2020 Proceeding. ACM, p. 101-115 15 p.

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

    Open Access
  • Typestate-Guided Fuzzer for Discovering Use-after-Free Vulnerabilities

    Wang, H., Xie, X., Li, Y., Wen, C., Li, Y., Liu, Y., Qin, S., Chen, H. & Sui, Y., 1 May 2020, (Accepted/In press) 42nd International Conference on Software Engineering (ICSE 2020). ACM

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

    Open Access
    File
    474 Downloads (Pure)
  • 2019

    ABAC Requirements Engineering for Database Applications

    Longstaff, J. & He, M., 29 Jul 2019, Proceedings: 2019 13th International Symposium on Theoretical Aspects of Software Engineering. Institute of Electrical and Electronics Engineers Inc., p. 33 - 40 8 p.

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

    Open Access
    File
    173 Downloads (Pure)
  • Adaptive Activation Function Generation Through Fuzzy Inference for Grooming Text Categorisation

    Zuo, Z., Li, J., Wei, B., Yang, L., Fei, C. & Naik, N., 23 Jun 2019, IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 2019 .

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

    Open Access
    File
    231 Downloads (Pure)
  • A Data-driven Approach to Solve a Production Constrained Build-order Optimization Problem

    Wang, P., Zeng, Y., Chen, B. & Cao, L., 17 Oct 2019, Proceedings of the 38th Chinese Control Conference. Fu, M. & Sun, J. (eds.). IEEE, p. 2692-2697 (Chinese Control Conference (CCC); vol. 2019).

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

    Open Access
    File
    238 Downloads (Pure)
  • A Learning Design Framework to Support Children with Learning Disabilities Incorporating Gamification Techniques

    Shaban, A. & Pearson, E., 9 May 2019, Conference on Human Factors in Computing Systems - Proceedings: Weaving The Threads of CHI. p. 1-6 7 p. 3312806. (Conference on Human Factors in Computing Systems - Proceedings).

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

    Open Access
    File
    756 Downloads (Pure)
  • An Empirical Research on the Investment Strategy of Stock Market based on Deep Reinforcement Learning model

    Li, Y., Ni, P. & Chang, V., 1 Jan 2019, COMPLEXIS 2019 - Proceedings of the 4th International Conference on Complexity, Future Information Systems and Risk. Firouzi, F., Estrada, E., Munoz, V. M. & Chang, V. (eds.). SciTePress, p. 52-58 7 p. (COMPLEXIS 2019 - Proceedings of the 4th International Conference on Complexity, Future Information Systems and Risk).

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

  • A review on ethical issues for smart connected toys in the context of big data

    Chang, V., Li, Z. & Ramachandran, M., 2 May 2019, COMPLEXIS 2019 - Proceedings of the 4th International Conference on Complexity, Future Information Systems and Risk. Firouzi, F., Estrada, E., Munoz, V. M. & Chang, V. (eds.). SciTePress, p. 149-156 8 p. (COMPLEXIS 2019 - Proceedings of the 4th International Conference on Complexity, Future Information Systems and Risk).

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

    Open Access
    File
    699 Downloads (Pure)
  • A review on how big data analytics can influence education

    Chang, V., Xu, Q. & Mendez, V., 1 Jan 2019, COMPLEXIS 2019 - Proceedings of the 4th International Conference on Complexity, Future Information Systems and Risk. Firouzi, F., Estrada, E., Munoz, V. M. & Chang, V. (eds.). SciTePress, p. 130-138 9 p. (COMPLEXIS 2019 - Proceedings of the 4th International Conference on Complexity, Future Information Systems and Risk).

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

    Open Access
    File
    185 Downloads (Pure)
  • A security framework to protect data in cloud storage

    Yahya, F., Chang, V., Walters, R. J. & Wills, G. B., 2 May 2019, IoTBDS 2019 - Proceedings of the 4th International Conference on Internet of Things, Big Data and Security. Chang, V., Ramachandran, M., Walters, R., Munoz, V. M. & Wills, G. (eds.). SciTePress, p. 307-314 8 p. (IoTBDS 2019 - Proceedings of the 4th International Conference on Internet of Things, Big Data and Security).

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

  • A Social App that Combines Dating and Museum Visiting Experiences

    Akçalı, A., Iurgel, I. A. & Sezen, T., 31 Jan 2019, Interactivity, Game Creation, Design, Learning, and Innovation. Brooks, A. L., Brooks, E. & Sylla, C. (eds.). Springer, Vol. 265. (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering; vol. 265).

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

  • A Storytelling Smart-City Approach to Further Cross-Regional Tourism

    Fischöder, N., Iurgel, I. A., Sezen, T. I. & van Turnhout, K., 31 Jan 2019, Interactivity, Game Creation, Design, Learning, and Innovation: ArtsIT 2018, DLI 2018, Proceedings. Brooks, A. L., Brooks, E. & Sylla, C. (eds.). Springer, p. 266-275

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

  • A survey on RFID security and privacy in smart medical: Threats and protections

    Shi, X., Cao, J., Lu, T. & Chang, V., 2 May 2019, IoTBDS 2019 - Proceedings of the 4th International Conference on Internet of Things, Big Data and Security. Chang, V., Ramachandran, M., Walters, R., Munoz, V. M. & Wills, G. (eds.). SciTePress, p. 278-285 8 p. (IoTBDS 2019 - Proceedings of the 4th International Conference on Internet of Things, Big Data and Security).

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

  • Automated Game-Theoretic Verification of Security Systems

    Mu, C., 4 Sept 2019, Quantitative Evaluation of Systems. QEST 2019. Parker, D. & Wolf, V. (eds.). Springer, p. 239-256 (Lecture Notes in Computer Science; vol. 11785).

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

    Open Access
    File
    239 Downloads (Pure)
  • Bi-Abductive Inference for Shape and Ordering Properties

    Curry, C., Le, Q. L. & Qin, S., 26 Aug 2019, the 24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019). IEEE

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

    Open Access
    File
    168 Downloads (Pure)
  • Blending into the white box of the art museum

    Lange, V., Van Beuzekom, M., Hansma, M., Jeurens, J., Van Den Oever, W., Regterschot, M., Treffers, J., Van Turnhout, K., Sezen, T. I., Iurgel, I. & Bakker, R., Nov 2019, HTTF 2019: Proceedings of the Halfway to the Future Symposium 2019. Fischer, J. E., Martindale, S., Porcheron, M., Reeves, S. & Spence, J. (eds.). Association for Computing Machinery (ACM), 25

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

  • Clustering and Classification of a Qualitative Colorimetric Test

    Hoque Tania, M., Lwin, K. T., Shabut, A. M. & Hossain, A., 7 Mar 2019, Proceedings - 2018 International Conference on Computing, Electronics and Communications Engineering, iCCECE 2018. Excell, P. S., Ali, M., Jones, A., Soomro, S. & Miraz, M. H. (eds.). Institute of Electrical and Electronics Engineers Inc., 5 p. 8658480. (Proceedings - 2018 International Conference on Computing, Electronics and Communications Engineering, iCCECE 2018).

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

  • Concolic Testing Heap-Manipulating Programs

    Pham, L. H., Le, Q. L., Phan, Q-S. & Sun, J., 12 Jun 2019, (Accepted/In press) 23rd International Symposium on Formal Methods (FM 2019). Springer, 21 p.

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

    Open Access
    File
    121 Downloads (Pure)