Bev Townsend

Search results

• 2024

  Analyzing and Debugging Normative Requirements via Satisfiability Checking

  Feng, N., Marsso, L., Getir Yaman, S., Townsend, B., Baatartogtokh, Y., Ayad, R., Oldemburgo de Mello, V., Standen, I., Stefanakos, I., Imrie, C. C., Nunes Rodrigues, G., Cavalcanti, A. L. C., Calinescu, R. & Chechik, M., 12 Apr 2024, 46th International Conference on Software Engineering (ICSE 2024). IEEE Computer Society, p. 2643-2654 12 p. 214. (Proceedings - International Conference on Software Engineering).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

• Computer Assisted Diagnosis in the Acute Setting: The Emergency Clinician's Perspective

  Ashaolu, O., Hodge, V. J., Townsend, B., Habli, I. & Calinescu, R., 12 Sept 2024, SSRN.

  Research output: Working paper › Preprint

  Open Access

• Normative Requirements Operationalization with Large Language Models

  Feng, N., Marsso, L., Getir Yaman, S., Standen, I., Baatartogtokh, Y., Ayad, R., De Mello, V. O., Townsend, B., Bartels, H., Cavalcanti, A., Calinescu, R. & Chechik, M., 21 Aug 2024, Proceedings - 32nd IEEE International Requirements Engineering Conference, RE 2024. Liebel, G., Hadar, I. & Spoletini, P. (eds.). IEEE Computer Society, p. 129-141 13 p. (Proceedings of the IEEE International Conference on Requirements Engineering).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents

  Getir Yaman, S., Ribeiro, P., Cavalcanti, A., Calinescu, R., Paterson, C. & Townsend, B., 1 Feb 2025, In: Journal of Systems and Software. 220, 21 p., 112229.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents

  Getir Yaman, S., Ribeiro, P., Cavalcanti, A. L. C., Calinescu, R., Paterson, C. & Townsend, B., 1 Feb 2025, In: Journal of Systems and Software. 220, 21 p., 112229.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
• 2023

  Authoritarian alliances and politicking of data in Africa

  Townsend, B. & Gwagwa, A., 21 Sept 2023, 8 p. Journal of Online Trust & Safety.

  Research output: Other contribution

  Open Access

• Autonomous Emergency Triage Support System

  Ashaolu, O., Lyons, W., Stefanakos, I., Calinescu, R., Habli, I., Hodge, V. J., Picardi, C., Plant, K. & Townsend, B., 26 Nov 2023, Computational Science and Computational Intelligence: 2023 International Conference on Computational Science and Computational Intelligence (CSCI).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Mapping the regulatory landscape of AI in healthcare in Africa

  Townsend, B., Sihlala, I., Naidoo, M., Naidoo, S., Donnelly, D.-L. & Thaldar, D., 24 Aug 2023, In: Frontiers in Pharmacology. 14, 11 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Medical practitioner perspectives on AI in emergency triage

  Townsend, B. A., Plant, K. L., Hodge, V. J., Ashaolu, O. & Calinescu, R., 6 Dec 2023, In: Frontiers in Digital Health. 5, 13 p., 1297073.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Re-imagining Africa’s sovereignty in a digitally interdependent world

  Townsend, B. & Gwagwa, A., 10 May 2023, 3 p. Global Policy.

  Research output: Other contribution

• Repurposing research data for commercial use: POPIA, a foil or a facilitator?

  Townsend, B., Goosen, A., Botes, M. & Thaldar, D., 8 Aug 2023, In: South African Journal of Science. 119, 7/8, p. 1-5 5 p., 5075.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents

  Yaman, S. G., Cavalcanti, A., Calinescu, R., Paterson, C., Ribeiro, P. & Townsend, B., 7 Jul 2023.

  Research output: Working paper › Preprint

  File

• Towards a Formal Framework for Normative Requirements Elicitation

  Feng, N., Marsso, L., Getir Yaman, S., Townsend, B., Cavalcanti, A., Calinescu, R. & Chechik, M., 8 Nov 2023, Proceedings - 2023 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023. Institute of Electrical and Electronics Engineers Inc., p. 1776-1780 5 p. (Proceedings - 2023 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
• 2022

  Connected tech: Smart or sinister? A call for evidence from the Department of Digital, Culture, Media, and Sport

  Townsend, B., Hyde, R., Lindley, J., Stead, M., Coulton, P., Lisinska, J., Moffat, L., Mousavi, M. R., Ramchurn, G., Shukla, P. & Williams, J., 2022, (Unpublished)

  Research output: Other contribution

• From Pluralistic Normative Principles to Autonomous-Agent Rules

  Townsend, B., Paterson, C., Arvind, T. T., Nemirovsky, G., Calinescu, R., Cavalcanti, A. L. C., Habli, I. & Thomas, A. P., 29 Oct 2022, In: Minds and Machines.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
• 2021

  Decoding the proposed EU AI Act

  Townsend, B., 1 Oct 2021, 7 p. Washington, US : American Society of International Law.

  Research output: Other contribution

  Open Access

  File

• The lawful sharing of health research data in South Africa and beyond

  Townsend, B., 19 Apr 2021, In: Information & Communication Technology Law. 31, 1, p. 17-34

  Research output: Contribution to journal › Article › peer-review