Collaborations and top research areas from the last five years
-
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
Open AccessFile -
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
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. (Principal investigator), TIMMIS, J. (Co-investigator) & Woodcock, J. C. P. (Co-investigator)
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
Timmis, J. (Principal investigator)
7/04/17 → 31/03/18
Project: Other project › Other internal award
-
Robotics and Autonomous Systems (Journal)
Cavalcanti, A. L. C. (Guest editor), Miyazawa, A. (Guest editor) & Timmis, J. (Guest editor)
3 Dec 2021 → 1 Apr 2024Activity: Publication peer-review and editorial work › Journal or guest editorship
-
Engineering Robotic Swarms
Baxter, J. (Speaker), Ye, K. (Speaker), Redpath, R. A. (Other) & Timmis, J. I. (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. (Creator), Christensen, A. L. (Creator) & Timmis, J. (Creator), Zenodo, 1 Sept 2017
Dataset