Jon Timmis

ORCID

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 58

Top Venues

ALIFE

SSCI

Frontiers Robotics AI

CoRR

Publications

Ana Cavalcanti, Alvaro Miyazawa, Jon Timmis
Software engineering for robotics. Robotics Auton. Syst. 174 (2024)
Wei Li, Pedro Ribeiro, Alvaro Miyazawa, Richard Redpath, Ana Cavalcanti, Kieran Alden, Jim Woodcock, Jon Timmis
Formal design, verification and implementation of robotic controller software via RoboChart and RoboTool. Auton. Robots 48 (6-7) (2024)
Mike Angus, Edgar Buchanan, Léni K. Le Goff, Emma Hart, Ágoston E. Eiben, Matteo De Carlo, Alan F. T. Winfield, Matthew F. Hale, Robert Woolley, Jon Timmis, Andy M. Tyrrell
Practical hardware for evolvable robots. Frontiers Robotics AI 10 (2023)
Léni K. Le Goff, Edgar Buchanan, Emma Hart, Ágoston E. Eiben, Wei Li, Matteo De Carlo, Alan F. T. Winfield, Matthew F. Hale, Robert Woolley, Mike Angus, Jon Timmis, Andy M. Tyrrell
Morpho Evolution With Learning Using a Controller Archive as an Inheritance Mechanism. IEEE Trans. Cogn. Dev. Syst. 15 (2) (2023)
Ana Cavalcanti, Alvaro Miyazawa, Uwe Schulze, Jon Timmis
Bringing RoboStar and RT-Tester Together. Applicable Formal Methods for Safe Industrial Products (2023)
Edgar Buchanan, Kieran Alden, Andrew Pomfret, Jon Timmis, Andy M. Tyrrell
A study of error diversity in robotic swarms for task partitioning in foraging tasks. Future Internet 9 (2022)
Edgar Buchanan, Kieran Alden, Andrew Pomfret, Jon Timmis, Andy M. Tyrrell
A study of error diversity in robotic swarms for task partitioning in foraging tasks. Frontiers Robotics AI 9 (2022)
Varun Ojha, Jon Timmis, Giuseppe Nicosia
Assessing ranking and effectiveness of evolutionary algorithm hyperparameters using global sensitivity analysis methodologies. Swarm Evol. Comput. 74 (2022)
Varun Ojha, Jon Timmis, Giuseppe Nicosia
Assessing Ranking and Effectiveness of Evolutionary Algorithm Hyperparameters Using Global Sensitivity Analysis Methodologies. CoRR (2022)
Léni K. Le Goff, Edgar Buchanan, Emma Hart, Ágoston E. Eiben, Wei Li, Matteo De Carlo, Alan F. T. Winfield, Matthew F. Hale, Robert Woolley, Mike Angus, Jon Timmis, Andy M. Tyrrell
Morpho-evolution with learning using a controller archive as an inheritance mechanism. CoRR (2021)
Robert Woolley, Jon Timmis, Andy M. Tyrrell
Cylindabot: Transformable Wheg Robot Traversing Stepped and Sloped Environments. Robotics 10 (3) (2021)
Mark N. Read, Kieran Alden, Jon Timmis, Paul S. Andrews
Strategies for calibrating models of biology. Briefings Bioinform. 21 (1) (2020)
Matthew F. Hale, Mike Angus, Edgar Buchanan, Wei Li, Robert Woolley, Léni K. Le Goff, Matteo De Carlo, Jon Timmis, Alan F. T. Winfield, Emma Hart, Ágoston E. Eiben, Andy M. Tyrrell
Hardware Design for Autonomous Robot Evolution. SSCI (2020)
Kieran Alden, Jason Cosgrove, Mark Coles, Jon Timmis
Using Emulation to Engineer and Understand Simulations of Biological Systems. IEEE ACM Trans. Comput. Biol. Bioinform. 17 (1) (2020)
Léni K. Le Goff, Edgar Buchanan, Emma Hart, Ágoston E. Eiben, Wei Li, Matteo De Carlo, Matthew F. Hale, Mike Angus, Robert Woolley, Jon Timmis, Alan F. T. Winfield, Andrew M. Tyrrell
Sample and time efficient policy learning with CMA-ES and Bayesian Optimisation. ALIFE (2020)
Edgar Buchanan, Léni K. Le Goff, Emma Hart, Ágoston E. Eiben, Matteo De Carlo, Wei Li, Matthew F. Hale, Mike Angus, Robert Woolley, Alan F. T. Winfield, Jon Timmis, Andy M. Tyrrell
Evolution of Diverse, Manufacturable Robot Body Plans. SSCI (2020)
Edgar Buchanan, Léni K. Le Goff, Wei Li, Emma Hart, Ágoston E. Eiben, Matteo De Carlo, Alan F. T. Winfield, Matthew F. Hale, Robert Woolley, Mike Angus, Jon Timmis, Andy M. Tyrrell
Bootstrapping Artificial Evolution to Design Robots for Autonomous Fabrication. Robotics 9 (4) (2020)
Naomi Gildert, Andrew Pomfret, Jon Timmis
Comparing The Performance of Explicit and Implicit Communication in Simple Object Manipulation Tasks. CASE (2019)
Simon J. Hickinbotham, Susan Stepney, Jon Timmis
Erratum to: NACO special issue editorial. Nat. Comput. 18 (1) (2019)
Junxiu Liu, Liam McDaid, Jim Harkin, Shvan Karim, Anju P. Johnson, Alan G. Millard, James A. Hilder, David M. Halliday, Andy M. Tyrrell, Jon Timmis
Exploring Self-Repair in a Coupled Spiking Astrocyte Neural Network. IEEE Trans. Neural Networks Learn. Syst. 30 (3) (2019)
Junxiu Liu, Liam McDaid, Jim Harkin, Shvan Karim, Anju P. Johnson, David M. Halliday, Andy M. Tyrrell, Jon Timmis, Alan G. Millard, James A. Hilder
Autonomous Learning Paradigm for Spiking Neural Networks. ICANN (1) (2019)
Danesh Tarapore, Jon Timmis, Anders Lyhne Christensen
Fault Detection in a Swarm of Physical Robots Based on Behavioral Outlier Detection. IEEE Trans. Robotics 35 (6) (2019)
Ana Cavalcanti, Augusto Sampaio, Alvaro Miyazawa, Pedro Ribeiro, Madiel Conserva Filho, André Didier, Wei Li, Jon Timmis
Verified simulation for robotics. Sci. Comput. Program. 174 (2019)
Alvaro Miyazawa, Pedro Ribeiro, Wei Li, Ana Cavalcanti, Jon Timmis, Jim Woodcock
RoboChart: modelling and verification of the functional behaviour of robotic applications. Softw. Syst. Model. 18 (5) (2019)
Alessio Greco, Salvatore Danilo Riccio, Jon Timmis, Giuseppe Nicosia
Assessing Algorithm Parameter Importance Using Global Sensitivity Analysis. SEA² (2019)
Robert H. Peck, Jon Timmis, Andy M. Tyrrell
Omni-Pi-tent: An Omnidirectional Modular Robot With Genderless Docking. TAROS (2) (2019)
Matthew F. Hale, Edgar Buchanan, Alan F. T. Winfield, Jon Timmis, Emma Hart, Ágoston E. Eiben, Mike Angus, Frank Veenstra, Wei Li, Robert Woolley, Matteo De Carlo, Andy M. Tyrrell
The ARE Robot Fabricator: How to (Re)produce Robots that Can Evolve in the Real World. ALIFE (2019)
Ana Cavalcanti, Alvaro Miyazawa, Augusto Sampaio, Wei Li, Pedro Ribeiro, Jon Timmis
Modelling and Verification for Swarm Robotics. IFM (2018)
James Wilson, Jon Timmis, Andy M. Tyrrell
A Hormone-Inspired Arbitration System For Self Identifying Abilities Amongst A Heterogeneous Robot Swarm. SSCI (2018)
James O'Keeffe, Danesh Tarapore, Alan G. Millard, Jon Timmis
Adaptive Online Fault Diagnosis in Autonomous Robot Swarms. Frontiers Robotics AI 5 (2018)
Naomi Gildert, Alan G. Millard, Andrew Pomfret, Jon Timmis
The Need for Combining Implicit and Explicit Communication in Cooperative Robotic Systems. Frontiers Robotics AI 5 (2018)
James Stovold, Simon O'Keefe, Jon Timmis
Cognitively-inspired homeostatic architecture can balance conflicting needs in robots. CoRR (2018)
Anju P. Johnson, Junxiu Liu, Alan G. Millard, Shvan Karim, Andy M. Tyrrell, Jim Harkin, Jon Timmis, Liam McDaid, David M. Halliday
Fault-Tolerant Learning in Spiking Astrocyte-Neural Networks on FPGAs. VLSI Design (2018)
Anju P. Johnson, Junxiu Liu, Alan G. Millard, Shvan Karim, Andy M. Tyrrell, Jim Harkin, Jon Timmis, Liam McDaid, David M. Halliday
Time-multiplexed System-on-Chip using Fault-tolerant Astrocyte-Neuron Networks. SSCI (2018)
Shvan Karim, Jim Harkin, Liam McDaid, Bryan Gardiner, Junxiu Liu, David M. Halliday, Andy M. Tyrrell, Jon Timmis, Alan G. Millard, Anju P. Johnson
FPGA-based Fault-injection and Data Acquisition of Self-repairing Spiking Neural Network Hardware. ISCAS (2018)
James Wilson, Jon Timmis, Andy M. Tyrrell
A Hormone Arbitration System for Energy Efficient Foraging in Robot Swarms. TAROS (2018)
Anju P. Johnson, Junxiu Liu, Alan G. Millard, Shvan Karim, Andy M. Tyrrell, Jim Harkin, Jon Timmis, Liam McDaid, David M. Halliday
Homeostatic Fault Tolerance in Spiking Neural Networks: A Dynamic Hardware Perspective. IEEE Trans. Circuits Syst. I Regul. Pap. (2) (2018)
James O'Keeffe, Danesh Tarapore, Alan G. Millard, Jon Timmis
Fault diagnosis in robot swarms: An adaptive online behaviour characterisation approach. SSCI (2017)
James O'Keeffe, Danesh Tarapore, Alan G. Millard, Jon Timmis
Towards Fault Diagnosis in Robot Swarms: An Online Behaviour Characterisation Approach. TAROS (2017)
Alvaro Miyazawa, Pedro Ribeiro, Wei Li, Ana Cavalcanti, Jon Timmis
Automatic property checking of robotic applications. IROS (2017)
Anju P. Johnson, Junxiu Liu, Alan G. Millard, Shvan Karim, Andy M. Tyrrell, Jim Harkin, Jon Timmis, Liam McDaid, David M. Halliday
Homeostatic fault tolerance in spiking neural networks utilizing dynamic partial reconfiguration of FPGAs. FPT (2017)
Richard Redpath, Jon Timmis, Martin Trefzer
Object recall using an experience database to accelerate robot action planning. IROS (2017)
Kieran Alden, Jon Timmis, Paul S. Andrews, Henrique Veiga-Fernandes, Mark Coles
Extending and Applying Spartan to Perform Temporal Sensitivity Analyses for Predicting Changes in Influential Biological Pathways in Computational Models. IEEE ACM Trans. Comput. Biol. Bioinform. 14 (2) (2017)
Junxiu Liu, Liam McDaid, Jim Harkin, John J. Wade, Shvan Karim, Anju P. Johnson, Alan G. Millard, David M. Halliday, Andy M. Tyrrell, Jon Timmis
Self-repairing Learning Rule for Spiking Astrocyte-Neuron Networks. ICONIP (6) (2017)
Hao Wei, Jon Timmis, Rob Alexander
Evolving test environments to identify faults in swarm robotics algorithms. CEC (2017)
Pedro Ribeiro, Alvaro Miyazawa, Wei Li, Ana Cavalcanti, Jon Timmis
Modelling and Verification of Timed Robotic Controllers. IFM (2017)
Shvan Karim, Jim Harkin, Liam McDaid, Bryan Gardiner, Junxiu Liu, David M. Halliday, Andy M. Tyrrell, Jon Timmis, Alan G. Millard, Anju P. Johnson
Assessing Self-Repair on FPGAs with Biologically Realistic Astrocyte-Neuron Networks. ISVLSI (2017)
Stephanie Evans, Kieran Alden, Lourdes Cucurull-Sanchez, Christopher Larminie, Mark Coles, Marika C. Kullberg, Jon Timmis
ASPASIA: A toolkit for evaluating the effects of biological interventions on SBML model behaviour. PLoS Comput. Biol. 13 (2) (2017)
Wei Li, Alvaro Miyazawa, Pedro Ribeiro, Ana Cavalcanti, Jim Woodcock, Jon Timmis
From Formalised State Machines to Implementations of Robotic Controllers. CoRR (2017)
Heiko Hamann, Yara Khaluf, Jean Botev, Mohammad Divband Soorati, Eliseo Ferrante, Oliver Kosak, Jean-Marc Montanier, Sanaz Mostaghim, Richard Redpath, Jon Timmis, Frank Veenstra, Mostafa Wahby, Ales Zamuda
Hybrid Societies: Challenges and Perspectives in the Design of Collective Behavior in Self-organizing Systems. Frontiers Robotics AI 3 (2016)
Richard Redpath, Jon Timmis, Martin A. Trefzer
Introducing a 3D Physics Simulation Plugin for the ARGoS Robot Simulator. TAROS (2016)
Edgar Buchanan, Andrew Pomfret, Jon Timmis
Dynamic Task Partitioning for Foraging Robot Swarms. ANTS Conference (2016)
TiongHoo Lim, Iain Bate, Jon Timmis
Competition: Multimodal Reactive-Routing Protocol to Tolerate Failure. EWSN (2016)
Wei Li, Alvaro Miyazawa, Pedro Ribeiro, Ana Cavalcanti, Jim Woodcock, Jon Timmis
From Formalised State Machines to Implementations of Robotic Controllers. DARS (2016)
Mark N. Read, Jacqueline Bailey, Jon Timmis, Tatyana Chtanova
Leukocyte Motility Models Assessed through Simulation and Multi-objective Optimization-Based Model Selection. PLoS Comput. Biol. 12 (9) (2016)
James A. Hilder, Alexander Horsfield, Alan G. Millard, Jon Timmis
The Psi Swarm: A Low-Cost Robotics Platform and Its Use in an Education Setting. TAROS (2016)
Anju P. Johnson, David M. Halliday, Alan G. Millard, Andy M. Tyrrell, Jon Timmis, Junxiu Liu, Jim Harkin, Liam McDaid, Shvan Karim
An FPGA-based hardware-efficient fault-tolerant astrocyte-neuron network. SSCI (2016)
Junxiu Liu, Jim Harkin, Liam McDaid, David M. Halliday, Andy M. Tyrrell, Jon Timmis
Self-repairing mobile robotic car using astrocyte-neuron networks. IJCNN (2016)
Mark Read, Jon Timmis, Tatyana Chtanova
Cellular Motility. ECAL (2015)
Shana Schlottfeldt, Maria Emília M. T. Walter, Jon Timmis, André C. P. L. F. de Carvalho, Mariana P. C. Telles, José Alexandre Felizola Diniz-Filho
Using Multi-Objective Artificial Immune Systems to Find Core Collections Based on Molecular Markers. GECCO (2015)
Shana Schlottfeldt, Jon Timmis, Maria Emília Telles Walter, André Carlos Ponce de Leon Ferreira de Carvalho, Lorena M. Simon, Rafael D. Loyola, José Alexandre Felizola Diniz-Filho
A Multi-objective Optimization Approach Associated to Climate Change Analysis to Improve Systematic Conservation Planning. EMO (2) (2015)
Amelia Ritahani Ismail, Jan Dyre Bjerknes, Jon Timmis, Alan F. T. Winfield
An Artificial Immune System for Self-Healing in Swarm Robotic Systems. IPCAT (2015)
Piero Conca, Jon Timmis, Rogério de Lemos, Simon Forrest, Heather McCracken
An Adaptive Classification Framework for Unsupervised Model Updating in Nonstationary Environments. MOD (2015)
Danesh Tarapore, Anders Lyhne Christensen, Jon Timmis
Abnormality Detection in Robots Exhibiting Composite Swarm Behaviours. ECAL (2015)
Kieran Alden, Paul S. Andrews, Henrique Veiga-Fernandes, Jon Timmis, Mark Coles
Utilising a simulation platform to understand the effect of domain model assumptions. Nat. Comput. 14 (1) (2015)
Omer Qadir, Alexander Lenz, Gianluca Tempesti, Jon Timmis, Tony Pipe, Andy M. Tyrrell
Hardware architecture of the Protein Processing Associative Memory and the effects of dimensionality and quantisation on performance. Genet. Program. Evolvable Mach. 15 (3) (2014)
Shana Schlottfeldt, Jon Timmis, Maria Emília M. T. Walter, André C. P. L. F. de Carvalho, José Alexandre Felizola Diniz-Filho, Lorena M. Simon, Rafael D. Loyola, Mariana P. C. Telles
Multi-objective optimization applied to systematic conservation planning and spatial conservation priorities under climate change. GECCO (Companion) (2014)
Kieran Alden, Mark Read, Paul S. Andrews, Jon Timmis, Mark Coles
Applying spartan to Understand Parameter Uncertainty in Simulations. R J. 6 (2) (2014)
James Stovold, Simon O'Keefe, Jon Timmis
Preserving Swarm Identity Over Time. ALIFE (2014)
Kieran Alden, Jon Timmis, Mark Coles
Easing Parameter Sensitivity Analysis of Netlogo Simulations Using SPARTAN. ALIFE (2014)
Alan G. Millard, Jon Timmis, Alan F. T. Winfield
Run-time detection of faults in autonomous mobile robots based on the comparison of simulated and real robot behaviour. IROS (2014)
Becky Naylor, Mark Read, Jon Timmis, Andy Tyrell
The Relay Chain: A Scalable Dynamic Communication Link between an Exploratory Underwater Shoal and a Surface Vehicle. ALIFE (2014)
James A. Butler, Kieran Alden, Henrique Veiga-Fernandes, Jon Timmis, Mark Coles
Novel Approaches to the Visualization and Quantification of Biological Simulations by Emulating Experimental Techniques. ALIFE (2014)
Luca Albergante, Jon Timmis, Lynette Beattie, Paul M. Kaye
Infection. PLoS Comput. Biol. 9 (11) (2013)
Nick D. L. Owens, Andrew J. Greensted, Jon Timmis, Andy M. Tyrrell
The Receptor Density Algorithm. Theor. Comput. Sci. 481 (2013)
Alan G. Millard, Jon Timmis, Alan F. T. Winfield
Towards Exogenous Fault Detection in Swarm Robotic Systems. TAROS (2013)
Richard Alun Williams, Richard B. Greaves, Mark Read, Jon Timmis, Paul S. Andrews, Vipin Kumar
In silico investigation into dendritic cell regulation of CD8Treg mediated killing of Th1 cells in murine experimental autoimmune encephalomyelitis. BMC Bioinform. 14 (S-6) (2013)
Mark Read, Magnus Tripp, Hannah Leonova, Louis M. Rose, Jon Timmis
Automated calibration of agent-based immunological simulations. ECAL (2013)
Richard B. Greaves, Mark Read, Jon Timmis, Paul S. Andrews, James A. Butler, Björn-Ole Gerckens, Vipin Kumar
In silico investigation of novel biological pathways: The role of CD200 in regulation of T cell priming in experimental autoimmune encephalomyelitis. Biosyst. 112 (2) (2013)
Mark Read, Christoph Möslinger, Tobias Dipper, Daniela Kengyel, James A. Hilder, Ronald Thenius, Andy M. Tyrrell, Jon Timmis, Thomas Schmickl
Profiling Underwater Swarm Robotic Shoaling Performance Using Simulation. TAROS (2013)
HuiKeng Lau, Iain Bate, Jon Timmis
Immune-Inspired Error Detection for Multiple Faulty Robots in Swarm Robotics. ECAL (2013)
Nurulhuda Firdaus Mohd Azmi, Jon Timmis, Fiona Polack
Scenario-based modeling to capture requirements for immune inspired profile adaptation. CITA (2013)
Paul N. Taylor, Fiona Polack, Jon Timmis
Accelerating Immunos 99. ECAL (2013)
Ágoston E. Eiben, Nicolas Bredèche, Mark Hoogendoorn, Jürgen Stradner, Jon Timmis, Andy M. Tyrrell, Alan F. T. Winfield
The Triangle of Life. ECAL (2013)
Lachlan Murray, Jon Timmis, Andy M. Tyrrell
Modular self-assembling and self-reconfiguring e-pucks. Swarm Intell. 7 (2-3) (2013)
Jon Timmis, Kenichi Morita
Editorial for special issue on unconventional computation. Nat. Comput. 11 (1) (2012)
Richard B. Greaves, Mark Read, Jon Timmis, Paul S. Andrews, Vipin Kumar
Extending an Established Simulation: Exploration of the Possible Effects Using a Case Study in Experimental Autoimmune Encephalomyelitis. IPCAT (2012)
TiongHoo Lim, HuiKeng Lau, Jon Timmis, Iain Bate
Immune-Inspired Self Healing in Wireless Sensor Networks. ICARIS (2012)
Lachlan Murray, Jon Timmis, Andy M. Tyrrell
Self-reconfigurable Modular e-pucks. ANTS (2012)
TiongHoo Lim, Iain Bate, Jon Timmis
Validation of performance data using experimental verification process in wireless sensor network. ETFA (2012)
Omer Qadir, Jon Timmis, Gianluca Tempesti, Andy M. Tyrrell
Profiling the fault tolerance for the adaptive Protein Processing Associative Memory. AHS (2012)
James Alfred Walker, Yang Liu, Gianluca Tempesti, Jon Timmis, Andy M. Tyrrell
Automatic Machine Code Generation for a Transport Triggered Architecture using Cartesian Genetic Programming. Int. J. Adapt. Resilient Auton. Syst. 3 (4) (2012)
Amelia Ritahani Ismail, Jon Timmis
Modelling Containment Mechanisms in the Immune System for Applications in Engineering - (Extended Abstract). ICARIS (2011)
Omer Qadir, Jon Timmis, Gianluca Tempesti, Andy M. Tyrrell
The Protein Processor Associative Memory on a Robotic Hand-Eye Coordination Task. BIONETICS (2011)
Omer Qadir, Yang Jerry Liu, Jon Timmis, Gianluca Tempesti, Andy M. Tyrrell
Hardware architecture for a bidirectional hetero-associative Protein Processing Associative Memory. IEEE Congress on Evolutionary Computation (2011)
Serge Kernbach, Thomas Schmickl, Jon Timmis
Collective Adaptive Systems: Challenges Beyond Evolvability CoRR (2011)
Antonio Gomez Zamorano, Jon Timmis, Andy M. Tyrrell
A flexible decentralised communication architecture on a field programmable gate array for swarm system simulations. IEEE Congress on Evolutionary Computation (2011)
Richard Alun Williams, Mark Read, Jon Timmis, Paul S. Andrews, Vipin Kumar
In Silico Investigation into CD8Treg Mediated Recovery in Murine Experimental Autoimmune Encephalomyelitis. ICARIS (2011)
HuiKeng Lau, Iain Bate, Paul A. Cairns, Jon Timmis
Adaptive data-driven error detection in swarm robotics with statistical classifiers. Robotics Auton. Syst. 59 (12) (2011)
Emma Hart, Chris McEwan, Jon Timmis, Andrew Hone
Advances in artificial immune systems. Evol. Intell. 4 (2) (2011)

Jon Timmis.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jon Timmis