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
-
Diagrammatic physical robot models
Miyazawa, A., Ahmadi, S., Cavalcanti, A. L. C., Baxter, J., Post, M. A., Ribeiro, P., Timmis, J. & Wright, T. D., 12 Mar 2025, (E-pub ahead of print) In: Software and Systems Modeling. 45 p.Research output: Contribution to journal › Article › peer-review
-
Process-Algebraic Semantics for Verifying Intelligent Robotic Control Software
Attala, Z., Cavalcanti, A. L. C., Foster, S. D., Yan, F. & Woodcock, J., 17 Feb 2025, (Accepted/In press).Research output: Contribution to conference › Paper › peer-review
-
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
-
DOMINOS: Disruption Mitigation for Responsible AI
Calinescu, R. (Principal investigator), Cavalcanti, A. L. C. (Co-investigator), Getir Yaman, S. (Co-investigator) & Townsend, B. (Co-investigator)
15/01/24 → 1/07/25
Project: Research project (funded) › Research
-
RoboSapiens (Resubmission)
Cavalcanti, A. L. C. (Principal investigator) & Woodcock, J. (Co-investigator)
1/01/24 → 31/12/26
Project: Research project (funded) › Research
-
UK Trustworthy Autonomous Systems Verifiability Node
Cavalcanti, A. L. C. (Principal investigator) & Woodcock, J. (Co-investigator)
1/11/20 → 31/10/24
Project: Research project (funded) › Research
Activities
-
Chris Thompson
Woodcock, J. (Host) & Cavalcanti, A. L. C. (Host)
12 Nov 2022Activity: Hosting a visitor › Academic
-
Labman Laboratory Automation Services
Woodcock, J. (Advisor), Cavalcanti, A. L. C. (Advisor), Fairlamb, I. J. S. (Advisor) & Riley, I. (Advisor)
9 Nov 2022Activity: Visiting an external institution › Industrial
-
RoboTest meeting
Woodcock, J. (Advisor), Cavalcanti, A. L. C. (Advisor) & Hierons, R. M. (Advisor)
7 Nov 2022Activity: Other › Collaboration