Research output per year
Research output per year
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
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 AccessFile -
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 AccessFile -
The BIG Argument for AI Safety Cases
Habli, I., Hawkins, R., Paterson, C., Ryan, P., Jia, Y., Sujan, M. & McDermid, J., 12 Mar 2025, Arxiv (Cornell University).Research output: Working paper › Preprint
Open AccessFile
-
UKRI AI Centre for Doctoral Training in Safe AI Systems (SAINTS)
Habli, I. (Principal investigator), Chubb, J. A. (Co-investigator), Iacovides, J. (Co-investigator), Iglesias Urrutia, C. P. (Co-investigator), McDermid, J. A. (Co-investigator), Morgan, P. D. J. (Co-investigator), Paterson, C. (Co-investigator), Stoneham, T. (Co-investigator) & Wilson, R. C. (Co-investigator)
1/02/24 → 30/09/32
Project: Research project (funded) › Studentship (central)
-
ASPEN: Autonomous Systems for Forest ProtEctioN and Biosecurity
Calinescu, R. (Principal investigator) & Paterson, C. (Co-investigator)
1/04/23 → 30/06/24
Project: Research project (funded) › Research
-
Reimagining TAS with Disabled Young People
Paterson, C. (Principal investigator), Calinescu, R. (Co-investigator) & Townsend, B. (Co-investigator)
1/04/22 → 31/03/23
Project: Research project (funded) › Research
Activities
- 1 Outreach (e.g. schools, community groups)
-
IET First Lego League Robotics Competition
Hawkins, R. D. (Organiser), Paterson, C. (Organiser) & Hodge, V. J. (Organiser)
1 Dec 2022 → 22 Mar 2023Activity: Participating in or organising an event › Outreach (e.g. schools, community groups)
Datasets
-
Online material for Predicting Nonfunctional Requirement Violations in Autonomous Systems
Fang, X. (Creator), Getir Yaman, S. (Creator), Calinescu, R. (Creator), Wilson, J. C. (Creator) & Paterson, C. (Creator), GitHub, 2023
https://github.com/xinwei2124/TAAS
Dataset