Beverley A. Townsend

11 papers A* 2A 1Journal 8
YearRankTypeTitle / Venue / Authors
2026 J jnl
Social, Legal, Ethical, Empathetic and Cultural Norm Operationalisation for AI Agents.
CoRR
Radu Calinescu, Ana Cavalcanti, Marsha Chechik, Lina Marsso, Beverley A. Townsend
2025 J jnl
Cautious optimism: public voices on medical AI and sociotechnical harm.
Frontiers Digit. Health
Beverley A. Townsend, Victoria J. Hodge, Hannah Richardson, Radu Calinescu, T. T. Arvind
2025 J jnl
Specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents.
J. Syst. Softw.
Sinem Getir Yaman, Pedro Ribeiro, Ana Cavalcanti, Radu Calinescu, Colin Paterson, Beverley A. Townsend
2024 A* conf
Analyzing and Debugging Normative Requirements via Satisfiability Checking.
ICSE
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
2024 J jnl
Analyzing and Debugging Normative Requirements via Satisfiability Checking.
CoRR
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
2024 A conf
Normative Requirements Operationalization with Large Language Models.
RE
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
2024 J jnl
Normative Requirements Operationalization with Large Language Models.
CoRR
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
2023 J jnl
Medical practitioner perspectives on AI in emergency triage.
Frontiers Digit. Health
Beverley A. Townsend, Katherine L. Plant, Victoria J. Hodge, Ol'tunde Ashaolu, Radu Calinescu
2023 J jnl
Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents.
CoRR
Sinem Getir Yaman, Ana Cavalcanti, Radu Calinescu, Colin Paterson, Pedro Ribeiro, Beverley A. Townsend
2023 A* conf
Towards a Formal Framework for Normative Requirements Elicitation.
ASE
Nick Feng, Lina Marsso, Sinem Getir Yaman, Beverley A. Townsend, Ana Cavalcanti, Radu Calinescu, Marsha Chechik
2022 J jnl
From Pluralistic Normative Principles to Autonomous-Agent Rules.
Minds Mach.
Beverley A. Townsend, Colin Paterson, T. T. Arvind, Gabriel Nemirovsky, Radu Calinescu, Ana Cavalcanti, Ibrahim Habli, Alan Thomas