Beverley A. Townsend

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 4

Top Topics

Medical Diagnostic

Emergency Situations

Top Venues

Frontiers Digit. Health

Publications

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
Analyzing and Debugging Normative Requirements via Satisfiability Checking. ICSE (2024)
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
Normative Requirements Operationalization with Large Language Models. CoRR (2024)
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
Analyzing and Debugging Normative Requirements via Satisfiability Checking. CoRR (2024)
Beverley A. Townsend, Katherine L. Plant, Victoria J. Hodge, Ol'tunde Ashaolu, Radu Calinescu
Medical practitioner perspectives on AI in emergency triage. Frontiers Digit. Health 5 (2023)