Jon Timmis

Search results

• 2025

  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
• 2024

  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 Access

  File

• 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 Access

  File

• 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

• Towards a Unified Framework for Software-Hardware Integration in Evolutionary Robotics

  Buchanan Berumen, E., Le Goff, L., Hart, E., Hale, M., Eiben, A. E., De Carlo, M., Angus, M., Woolley, R., Timmis, J., Winfield, A. & Tyrrell, A., 22 Oct 2024, (Accepted/In press) In: MDPI Robotics.

  Research output: Contribution to journal › Special issue › peer-review

  Open Access

  File
• 2023

  A study of error diversity in robotic swarms for task partitioning in foraging tasks

  Buchanan Berumen, E., Alden, K. J., Pomfret, A., Timmis, J. & Tyrrell, A., 4 Jan 2023, In: Frontiers in Robotics and AI. 9, 30 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Bringing RoboStar and RT-Tester Together

  Cavalcanti, A., Miyazawa, A., Schulze, U. & Timmis, J., 18 Aug 2023, Applicable Formal Methods for Safe Industrial Products. Haxthausen, A. E., Huang, W.-L. & Roggenbach, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 16-33 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14165 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• Morpho-evolution with learning using a controller archive as an inheritance mechanism

  Le Goff, L., Buchanan Berumen, E., Hart, E., Eiben, A. E., Li, W., De Carlo, M., Winfield, A., Hale, M., Woolley, R., Timmis, J. & Tyrrell, A., 1 Jun 2023, In: IEEE Transactions on Cognitive and Developmental Systems. 15, 2, p. 507-517 11 p., 15.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
• 2022

  Self-assembly and Self-repair during Motion with Modular Robots

  Peck, R., Timmis, J. & Tyrrell, A., 17 May 2022, In: Electronics. 11, p. 1-33 1595.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
• 2021

  Cylindabot: Transformable Wheg robot traversing stepped and sloped environments

  Woolley, R., Timmis, J. & Tyrrell, A., 30 Aug 2021, In: MDPI Robotics. 10, 104, 16 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Software engineering for robotics

  Cavalcanti, A., Dongol, B., Hierons, R., Timmis, J. & Woodcock, J., 5 Jul 2021, Springer International Publishing AG. 483 p.

  Research output: Book/Report › Book
• 2020

  Bootstrapping artificial evolution to design robots for autonomous fabrication

  Buchanan Berumen, E., Le Goff, L., Li, W., Hart, E., Eiben, G., De Carlo, M., Winfield, A., Hale, M., Woolley, R., Timmis, J. & Tyrrell, A., 7 Dec 2020, (E-pub ahead of print) In: MDPI Robotics.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Evolution of Diverse, Manufacturable Robot Body Plans

  Buchanan Berumen, E., Le Goff, L., Hart, E., Eiben, G., De Carlo, M., Li, W., Hale, M., Woolley, R., Winfield, A., Timmis, J. & Tyrrell, A., 18 Sept 2020, (Accepted/In press) 2020 IEEE Symposium Series on Computational Intelligence.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
• 2019

  An Amalgamation of Hormone Inspired Arbitration Systems For Application In Robot Swarms

  Wilson, J. S., Timmis, J. I. & Tyrrell, A. M., 27 Aug 2019, (E-pub ahead of print) In: Applied Sciences. 9, 3524, p. 1-27 27 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Autonomous Learning Paradigm for Spiking Neural Networks

  Liu, J., McDaid, L. J., Harkin, J., Karim, S., Johnson, A. P., Halliday, D. M., Tyrrell, A. M., Timmis, J., Millard, A. G. & Hilder, J., 17 Sept 2019, p. 737-744. 8 p.

  Research output: Contribution to conference › Paper › peer-review

  Open Access

  File

• Best Practices to Maximize the Use and Reuse of Quantitative and Systems Pharmacology Models: Recommendations From the United Kingdom Quantitative and Systems Pharmacology Network

  Cucurull-Sanchez, L., Chappell, M. J., Chelliah, V., Amy Cheung, S. Y., Derks, G., Penney, M., Phipps, A., Malik-Sheriff, R. S., Timmis, J., Tindall, M. J., van der Graaf, P. H., Vicini, P. & Yates, J. W. T., 22 Jan 2019, (E-pub ahead of print) In: CPT Pharmacometrics & Systems Pharmacology .

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Bio-inspired Anomaly Detection for Low-cost Gas Sensors

  Liu, J., Harkin, J., McDaid, L., Karim, S., Millard, A. G., Hilder, J., Hickinbotham, S., Johnson, A. P., Timmis, J., Halliday, D. M. & Tyrrell, A. M., 24 Jan 2019, 18th International Conference on Nanotechnology, NANO 2018. IEEE Computer Society, 8626301. (Proceedings of the IEEE Conference on Nanotechnology; vol. 2018-July).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• GABA Regulation of Burst Firing in Hippocampal Astrocyte Neural Circuit: A Biophysical Model

  Liu, J., McDaid, L., Araque, A., Wade, J., Harkin, J., Karim, S., Henshall, D. C., Connolly, N. M. C., Johnson, A. P., Tyrrell, A. M., Timmis, J., Millard, A. G., Hilder, J. & Halliday, D. M., 23 Jul 2019, In: Frontiers in Cellular Neuroscience. 13, 14 p., Vol 13, Article 335.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Omni-Pi-tent: An Omnidirectional Modular Robot with Genderless Docking

  Peck, R., Timmis, J. & Tyrrell, A., 1 Jul 2019, Towards Autonomous Robotic Systems: TAROS2019. London, p. 307-318 (Lecture Notes in Computer Science).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• RoboChart: modelling and verification of the functional behaviour of robotic applications

  Miyazawa, A. H., De Oliveira Salazar Ribeiro, P. F., Li, W., Cavalcanti, A. L. C., Timmis, J. I. & Woodcock, J. C. P., 1 Oct 2019, In: Software and Systems Modeling. 18, 5, p. 3097-3149 53 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• The ARE Robot Fabricator: How to (Re)produce Robots that Can Evolve in the Real World

  Hale, M., Buchanan Berumen, E., Winfield, A., Timmis, J., HART, E., Eiben, G., Li, W. & Tyrrell, A., 1 Aug 2019, International Society for Artificial Life : ALIFE2019. p. 95-102 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Time-multiplexed System-on-Chip using Fault-tolerant Astrocyte-Neuron Networks

  Johnson, A. P., Liu, J., Millard, A. G., Karim, S., Tyrrell, A. M., Harkin, J., Timmis, J. I., McDaid, L. J. & Halliday, D. M., 31 Jan 2019, 2018 IEEE Symposium Series on Computational Intelligence (SSCI).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  File

• Tissue-specific transcriptomic changes associated with AmBisome® treatment of BALB/c mice with experimental visceral leishmaniasis

  Forrester, S., Siefert, K., Ashwin, H., Brown, N., Zelmar, A., James, S., Lagos, D., Timmis, J., Chatterjee, M., Mottram, J. C., Croft, S. L. & Kaye, P. M., 10 Dec 2019, In: Wellcome Open Research. 4, 198, 21 p., 4.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
• 2018

  Adaptive Online Fault Diagnosis in Autonomous Robot Swarms

  O'Keefe, J., Tarapore, D. S., Millard, A. G. & Timmis, J. I., 30 Nov 2018, In: Frontiers in Robotics and AI. 5, 15 p., 131.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• A hormone arbitration system for energy efficient foraging in robot swarms

  Wilson, J., Timmis, J. & Tyrrell, A., 21 Jul 2018, Towards Autonomous Robotic Systems - 19th Annual Conference, TAROS 2018, Proceedings. Giannaccini, M. E., Giuliani, M. & Assaf, T. (eds.). Springer, p. 305-316 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10965 LNAI).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• A Hormone-Inspired Arbitration System For Self Identifying Abilities Amongst A Heterogeneous Robot Swarm

  Wilson, J., Timmis, J. & Tyrrell, A., 1 Nov 2018, IEEE International Conference on Evolvable Systems. Bengaluru, India

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Beyond “to me, to you”: Combining implicit and explicit communication for cooperative transport in humanoid robotic systems

  Gildert, N., Timmis, J. & Pomfret, A., 1 Jan 2018, Towards Autonomous Robotic Systems - 19th Annual Conference, TAROS 2018, Proceedings. Giannaccini, M. E., Giuliani, M. & Assaf, T. (eds.). Springer, p. 455-456 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10965 LNAI).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Exploring Self Repair in a Coupled Spiking Astrocyte Neural Network

  Liu, J., McDaid, L., Harkin, J., Karim, S., Johnson, A. P., Millard, A. G., Hilder, J. A., Halliday, D. M., Tyrrell, A. M. & Timmis, J. I., 3 Jul 2018, (Accepted/In press) In: IEEE Transactions on Neural Networks and Learning Systems.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Fault diagnosis in robot swarms: An adaptive online behaviour characterisation approach

  O'Keeffe, J., Tarapore, D., Millard, A. G. & Timmis, J., 5 Feb 2018, 2017 IEEE Symposium Series on Computational Intelligence, SSCI 2017 - Proceedings. IEEE, p. 1-8 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Fault-tolerant Learning in Spiking Astrocyte-Neural Networks on FPGAs

  Johnson, A. P., Liu, J., Millard, A. G., Karim, S., Tyrrell, A. M., Harkin, J., Timmis, J. I., McDaid, L. & Halliday, D. M., 29 Mar 2018, (E-pub ahead of print) 31st International Conference on VLSI Design (VLSID 2018) & 17th International Conference on Embedded Systems (ES 2018). IEEE

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• FPGA-based Fault-injection and Data Acquisition of Self-repairing Spiking Neural Network Hardware

  Karim, S., Harkin, J., McDaid, L., Gardiner, B., Liu, J., Halliday, D. M., Tyrrell, A. M., Timmis, J. I., Millard, A. G. & Johnson, A. P., 4 May 2018, 2018 IEEE International Symposium on Circuits and Systems (ISCAS). IEEE, 5 p. (IEEE International Conference on Circuits and Systems.).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• From Formalised State Machines to Implementations of Robotic Controllers

  Li, W., Miyazawa, A., Ribeiro, P., Cavalcanti, A., Woodcock, J. & Timmis, J., 2018, Springer Proceedings in Advanced Robotics. Springer, p. 517-529 13 p. (Springer Proceedings in Advanced Robotics; vol. 6).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• Homeostatic Fault Tolerance in Spiking Neural Networks: A Dynamic Hardware Perspective

  Johnson, A. P., Liu, J., Millard, A. G., Karim, S., Tyrrell, A. M., Harkin, J., Timmis, J. I., McDaid, L. & Halliday, D. M., 1 Feb 2018, In: Ieee transactions on circuits and systems i-Regular papers. 65, 2, p. 687-699 13 p., 7995041.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Livestock disease management for trading across different regulatory regimes

  Bate, A. M., Jones, G., Kleczkowski, A., Naylor, R. F., Timmis, J. I., White, P. C. L. & Touza, J. M., 1 Jun 2018, In: Ecohealth. 15, 2, p. 302-316 15 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Macrophage transactivation for chemokine production identified as a negative regulator of granulomatous inflammation using agent-based modeling

  Moyo, D., Beattie, L., Andrews, P. S., Moore, J. W. J., Timmis, J. I., Sawtell, A. K., Hoehme, S., Sampson, A. T. & Kaye, P., 27 Mar 2018, In: Frontiers in immunology. 9, 637, 10 p., 637.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Modelling and verification for swarm robotics

  Cavalcanti, A., Miyazawa, A., Sampaio, A., Li, W., Ribeiro, P. & Timmis, J., 1 Jan 2018, Integrated Formal Methods - 14th International Conference, IFM 2018, Proceedings. Springer, Vol. 11023 LNCS. p. 1-19 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11023 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Strategies for calibrating models of biology

  Read, M. N., Alden, K., Timmis, J. & Andrews, P. S., 18 Sept 2018, (E-pub ahead of print) In: Briefings in bioinformatics. 44 p., bby092.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• The need for combining implicit and explicit communication in cooperative robotic systems

  Gildert, N., Millard, A. G., Pomfret, A. & Timmis, J., 4 Jun 2018, In: Frontiers Robotics AI. 5, JUN, 65.

  Research output: Contribution to journal › Short survey › peer-review

  Open Access

  File

• Tissue and host species-specific transcriptional changes in models of experimental visceral leishmaniasis [version 2; referees: 4 approved]

  Ashwin, H., Seifert, K., Forrester, S., Brown, N., MacDonald, S., James, S., Lagos, D., Timmis, J., Mottram, J., Croft, S. L. & Kaye, P. M., 29 Oct 2018, In: Wellcome Open Research. 3, 33 p., 135.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Towards self-repair with modular robots during continuous motion

  Peck, R. H., Timmis, J. & Tyrrell, A. M., 1 Jan 2018, Towards Autonomous Robotic Systems - 19th Annual Conference, TAROS 2018, Proceedings. Giannaccini, M. E., Giuliani, M. & Assaf, T. (eds.). Springer, p. 457-458 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10965 LNAI).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Using Emulation to Engineer and Understand Simulations of Biological Systems

  Alden, K. J., Cosgrove, J., Coles, M. C. & Timmis, J. I., 7 Jun 2018, In: IEEE/ACM Transactions on Computational Biology and Bioinformatics. 15 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
• 2017

  An FPGA-based hardware-efficient fault-tolerant astrocyte-neuron network

  Johnson, A. P., Halliday, D. M., Millard, A. G., Tyrrell, A. M., Timmis, J., Liu, J., Harkin, J., McDaid, L. & Karim, S., 9 Feb 2017, 2016 IEEE Symposium Series on Computational Intelligence, SSCI 2016. IEEE, 7850175

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• ASPASIA: A toolkit for evaluating the effects of biological interventions on SBML model behavior

  Evans, S., Alden, K. J., Cucurull-Sanchez, L., Larminie, C., Coles, M. C., Kullberg, M. C. & Timmis, J. I., 3 Feb 2017, In: PLoS Computational Biology. 14 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Assessing Self-Repair on FPGAs with Biologically Realistic Astrocyte-Neuron Networks

  Karim, S., Harkin, J., McDaid, L., Gardiner, B., Liu, J., Halliday, D. M., Tyrrell, A. M., Timmis, J. I., Millard, A. G. & Johnson, A. P., 24 Jul 2017, IEEE Xplore: IS VLSI. 6 p. ( VLSI (ISVLSI), IEEE Computer Society Annual Symposium on).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Automatic Property Checking of Robotic Applications

  Miyazawa, A., De Oliveira Salazar Ribeiro, P. F., Li, W., Cavalcanti, A. L. C. & Timmis, J., 14 Dec 2017, IEEE/RSJ International Conference on Intelligent Robots and Systems. p. 3869-3876 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Evolving Test Environments to Identify Faults in Swarm Robotics Algorithms

  Wei, H., Timmis, J. I. & Alexander, R. D., 6 Jun 2017.

  Research output: Contribution to conference › Paper › peer-review

  Open Access

  File

• From Formalised State Machines to Implementations of Robotic Controllers

  Li, W., Miyazawa, A., De Oliveira Salazar Ribeiro, P. F., Cavalcanti, A., Woodcock, J. & Timmis, J., 6 Feb 2017.

  Research output: Working paper

• Generic, scalable and decentralized fault detection for robot swarms

  Tarapore, D., Christensen, A. L. & Timmis, J., 14 Aug 2017, In: PLoS ONE. 12, 8, 29 p., e0182058.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Homeostatic Fault Tolerance in Spiking Neural Networks utilizing Dynamic Partial Reconfiguration of FPGAs

  Johnson, A. P., Liu, J., Millard, A. G., Karim, S., Tyrrell, A. M., Harkin, J., Timmis, J. I., McDaid, L. & Halliday, D. M., 15 Sept 2017, (Accepted/In press) The International Conference on Field-Programmable Technology (FPT-2017). IEEE

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Methodologies for quantitative systems pharmacology (QSP) models: Design and estimation

  Ribba, B., Grimm, H. P., Agoram, B., Davies, M. R., Gadkar, K., Niederer, S., Van Riel, N., Timmis, J. & Van Der Graaf, P. H., 1 Aug 2017, In: CPT Pharmacometrics & Systems Pharmacology . 6, 8, p. 496-498 3 p.

  Research output: Contribution to journal › Review article › peer-review

  Open Access

  File