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
-
Evaluation of frameworks that combine evolution and learning to design robots in complex morphological spaces
Li, W., Buchanan Berumen, E., Le Goff, L., Hart, E., Hale, M., De Carlo, M., Woolley, R., Winfield, A., Timmis, J., Eiben, A. E. & Tyrrell, A., 1 Dec 2024, In: IEEE Transactions on Evolutionary Computation. 28, 6, p. 1561-1574 14 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Formal Design, Verification and Implementation of Robotic Controller Software via RoboChart and RoboTool
Li, W., Ribeiro, P., Miyazawa, A., Redpath, R., Cavalcanti, A. L. C., Alden, K. J., Woodcock, J. & Timmis, J., 5 Jul 2024, In: Autonomous Robots. 48, 22 p., 14.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Software engineering for robotics
Cavalcanti, A., Miyazawa, A. & Timmis, J., 1 Apr 2024, In: Robotics and Autonomous Systems. 174, 2 p., 104648.Research output: Contribution to journal › Editorial › peer-review
Projects
- 28 Finished
-
Autonomous Robot Evolution (ARE): Cradle to Grave
Tyrrell, A. (Principal investigator) & Timmis, J. (Co-investigator)
3/08/18 → 16/12/22
Project: Research project (funded) › Research
-
RoboTest: Systematic Model-Based Testing and Simulation of Mobile Autonomous Robots
Cavalcanti, A. L. C., Timmis, J. & Woodcock, J.
1/04/18 → 31/08/24
Project: Research project (funded) › Research
-
CFH1 Research - A Novel Framework for Enriching and Expediting Statistical and Uncertainty Analyses of Complex Computer Models of Biological Systems
7/04/17 → 31/03/18
Project: Other project › Other internal award
-
Engineering Robotic Swarms
James Baxter (Speaker), Kangfeng Ye (Speaker), Richard Alan Redpath (Other) & Jonathan Ian Timmis (Speaker)
22 Mar 2019Activity: Other › Public engagement and outreach (general)
-
DATE - Design, Automation and Test in Europe
Millard, A. G. (Participant), Johnson, A. (Participant), Hilder, J. A. (Participant), Halliday, D. M. (Advisor), Tyrrell, A. (Participant), Timmis, J. (Participant), Liu, J. (Participant), Karim, S. (Participant), Harkin, J. (Participant) & McDaid, L. (Participant)
19 Mar 2018 → 23 Mar 2018Activity: Participating in or organising an event › Conference
File
Datasets
-
Generic, Scalable and Decentralized Fault Detection for Robot Swarms
Tarapore, D. S. (Creator), Christensen, A. L. (Creator) & Timmis, J. (Creator), Zenodo, 1 Sept 2017
Dataset