Beverley A. Townsend

According to our database, Beverley A. Townsend authored at least 10 papers between 2022 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Hazard Management in Robot-Assisted Mammography Support.

Ioannis Stefanakos, Roisin Bradley, Radu Calinescu, Beverley A. Townsend, Tianyuan Wang, Jihong Zhu

CoRR, April, 2026

Social, Legal, Ethical, Empathetic and Cultural Norm Operationalisation for AI Agents.

Radu Calinescu, Ana Cavalcanti, Marsha Chechik, Lina Marsso, Beverley A. Townsend

CoRR, March, 2026

The SLEEC Framework for Normative Requirements Engineering.

Pedro Ribeiro, Radu Calinescu, Ana Cavalcanti, Marsha Chechik, Sinem Getir Yaman, Lina Marsso, Isobel Standen, Beverley A. Townsend

Proceedings of the Formal Methods - 27th International Symposium, 2026

2025

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

Sinem Getir Yaman, Pedro Ribeiro, Ana Cavalcanti, Radu Calinescu, Colin Paterson, Beverley A. Townsend

J. Syst. Softw., 2025

Cautious optimism: public voices on medical AI and sociotechnical harm.

Beverley A. Townsend, Victoria J. Hodge, Hannah Richardson, Radu Calinescu, T. T. Arvind

Frontiers Digit. Health, 2025

2024

Normative Requirements Operationalization with Large Language Models.

Nick Feng, Lina Marsso, Sinem Getir Yaman, Isobel Standen, Yesugen Baatartogtokh, Reem Ayad, Victória Oldemburgo de Mello, Beverley A. Townsend, Hanne Bartels, Ana Cavalcanti, Radu Calinescu, Marsha Chechik

Proceedings of the 32nd IEEE International Requirements Engineering Conference, 2024

Analyzing and Debugging Normative Requirements via Satisfiability Checking.

Nick Feng, Lina Marsso, Sinem Getir Yaman, Yesugen Baatartogtokh, Reem Ayad, Victória Oldemburgo de Mello, Beverley A. Townsend, Isobel Standen, Ioannis Stefanakos, Calum Imrie, Genaína Nunes Rodrigues, Ana Cavalcanti, Radu Calinescu, Marsha Chechik

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

2023

Medical practitioner perspectives on AI in emergency triage.

Beverley A. Townsend, Katherine L. Plant, Victoria J. Hodge, Ol'tunde Ashaolu, Radu Calinescu

Frontiers Digit. Health, March, 2023

Towards a Formal Framework for Normative Requirements Elicitation.

Nick Feng, Lina Marsso, Sinem Getir Yaman, Beverley A. Townsend, Ana Cavalcanti, Radu Calinescu, Marsha Chechik

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

2022

From Pluralistic Normative Principles to Autonomous-Agent Rules.

Beverley A. Townsend, Colin Paterson, T. T. Arvind, Gabriel Nemirovsky, Radu Calinescu, Ana Cavalcanti, Ibrahim Habli, Alan Thomas

Minds Mach., 2022