Kieran Alden

According to our database, Kieran Alden authored at least 18 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Formal design, verification and implementation of robotic controller software via RoboChart and RoboTool.

Wei Li, Pedro Ribeiro, Alvaro Miyazawa, Richard Redpath, Ana Cavalcanti, Kieran Alden, Jim Woodcock, Jon Timmis

Auton. Robots, August, 2024

Is it selfish to be filamentous in biofilms? Individual-based modeling links microbial growth strategies with morphology using the new and modular iDynoMiCS 2.0.

Bastiaan J. R. Cockx, Tim Foster, Robert J. Clegg, Kieran Alden, Sankalp Arya, Dov J. Stekel, Barth F. Smets, Jan-Ulrich Kreft

PLoS Comput. Biol., February, 2024

2022

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

Edgar Buchanan, Kieran Alden, Andrew Pomfret, Jon Timmis, Andy M. Tyrrell

Frontiers Robotics AI, 2022

2020

Using Emulation to Engineer and Understand Simulations of Biological Systems.

Kieran Alden, Jason Cosgrove, Mark C. Coles, Jon Timmis

IEEE ACM Trans. Comput. Biol. Bioinform., 2020

On Developing and Validating Dynamic Systems: Simulation Engineering.

Fiona Polack, Kieran Alden

J. Object Technol., 2020

Strategies for calibrating models of biology.

Mark N. Read, Kieran Alden, Jon Timmis, Paul S. Andrews

Briefings Bioinform., 2020

Why Compliance is needed for Internet of Things?

Syed Rizvi, Shakir Campbell, Kieran Alden

Proceedings of the International Conference on Software Security and Assurance, 2020

2019

A Hybrid Framework for Detecting Repackaged Applications on the Android Market.

Syed Rizvi, Kieran Alden, Shakir Campbell

Proceedings of the International Conference on Software Security and Assurance, 2019

2017

Extending and Applying Spartan to Perform Temporal Sensitivity Analyses for Predicting Changes in Influential Biological Pathways in Computational Models.

Kieran Alden, Jon Timmis, Paul S. Andrews, Henrique Veiga-Fernandes, Mark C. Coles

IEEE ACM Trans. Comput. Biol. Bioinform., 2017

ASPASIA: A toolkit for evaluating the effects of biological interventions on SBML model behaviour.

Stephanie Evans, Kieran Alden, Lourdes Cucurull-Sanchez, Christopher Larminie, Mark C. Coles, Marika C. Kullberg, Jon Timmis

PLoS Comput. Biol., 2017

2015

Utilising a simulation platform to understand the effect of domain model assumptions.

Kieran Alden, Paul S. Andrews, Henrique Veiga-Fernandes, Jon Timmis, Mark C. Coles

Nat. Comput., 2015

2014

Applying spartan to Understand Parameter Uncertainty in Simulations.

Kieran Alden, Mark Read, Paul S. Andrews, Jon Timmis, Mark C. Coles

R J., 2014

Novel Approaches to the Visualization and Quantification of Biological Simulations by Emulating Experimental Techniques.

James A. Butler, Kieran Alden, Henrique Veiga-Fernandes, Jon Timmis, Mark C. Coles

Proceedings of the Fourteenth International Conference on the Simulation and Synthesis of Living Systems, 2014

Easing Parameter Sensitivity Analysis of Netlogo Simulations Using SPARTAN.

Kieran Alden, Jon Timmis, Mark C. Coles

Proceedings of the Fourteenth International Conference on the Simulation and Synthesis of Living Systems, 2014

2013

<i>Spartan</i>: A Comprehensive Tool for Understanding Uncertainty in Simulations of Biological Systems.

Kieran Alden, Mark Read, Jonathan Timmis, Paul S. Andrews, Henrique Veiga-Fernandes, Mark C. Coles

PLoS Comput. Biol., 2013

Computing: Scientific software needs quality control.

Kieran Alden, Mark Read

Nat., 2013

2011

Towards Argument-Driven Validation of an <i>in silico</i> Model of Immune Tissue Organogenesis.

Kieran Alden, Paul S. Andrews, Jon Timmis, Henrique Veiga-Fernandes, Mark C. Coles

Proceedings of the Artificial Immune Systems - 10th International Conference, 2011

2010

dConsensus: a tool for displaying domain assignments by multiple structure-based algorithms and for construction of a consensus assignment.

Kieran Alden, Stella Veretnik, Philip E. Bourne

BMC Bioinform., 2010