Kieran Alden

17 papers C 2Journal 12Unranked 3
YearRankTypeTitle / Venue / Authors
2024 J jnl
Formal design, verification and implementation of robotic controller software via RoboChart and RoboTool.
Auton. Robots
Wei Li, Pedro Ribeiro, Alvaro Miyazawa, Richard Redpath, Ana Cavalcanti, Kieran Alden, Jim Woodcock, Jon Timmis
2024 J jnl
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.
PLoS Comput. Biol.
Bastiaan J. R. Cockx, Tim Foster, Robert J. Clegg, Kieran Alden, Sankalp Arya, Dov J. Stekel, Barth F. Smets, Jan-Ulrich Kreft
2022 J jnl
A study of error diversity in robotic swarms for task partitioning in foraging tasks.
Frontiers Robotics AI
Edgar Buchanan, Kieran Alden, Andrew Pomfret, Jon Timmis, Andy M. Tyrrell
2020 J jnl
On Developing and Validating Dynamic Systems: Simulation Engineering.
J. Object Technol.
Fiona Polack, Kieran Alden
2020 J jnl
Strategies for calibrating models of biology.
Briefings Bioinform.
Mark N. Read, Kieran Alden, Jon Timmis, Paul S. Andrews
2020 J jnl
Using Emulation to Engineer and Understand Simulations of Biological Systems.
IEEE ACM Trans. Comput. Biol. Bioinform.
Kieran Alden, Jason Cosgrove, Mark C. Coles, Jon Timmis
2020 — conf
Why Compliance is needed for Internet of Things?
ICSSA
Syed Rizvi, Shakir Campbell, Kieran Alden
2019 — conf
A Hybrid Framework for Detecting Repackaged Applications on the Android Market.
ICSSA
Syed Rizvi, Kieran Alden, Shakir Campbell
2017 J jnl
ASPASIA: A toolkit for evaluating the effects of biological interventions on SBML model behaviour.
PLoS Comput. Biol.
Stephanie Evans, Kieran Alden, Lourdes Cucurull-Sanchez, Christopher Larminie, Mark C. Coles, Marika C. Kullberg, Jon Timmis
2017 J jnl
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.
Kieran Alden, Jon Timmis, Paul S. Andrews, Henrique Veiga-Fernandes, Mark C. Coles
2015 J jnl
Utilising a simulation platform to understand the effect of domain model assumptions.
Nat. Comput.
Kieran Alden, Paul S. Andrews, Henrique Veiga-Fernandes, Jon Timmis, Mark C. Coles
2014 J jnl
Applying spartan to Understand Parameter Uncertainty in Simulations.
R J.
Kieran Alden, Mark Read, Paul S. Andrews, Jon Timmis, Mark C. Coles
2014 C conf
Easing Parameter Sensitivity Analysis of Netlogo Simulations Using SPARTAN.
ALIFE
Kieran Alden, Jon Timmis, Mark C. Coles
2014 C conf
Novel Approaches to the Visualization and Quantification of Biological Simulations by Emulating Experimental Techniques.
ALIFE
James A. Butler, Kieran Alden, Henrique Veiga-Fernandes, Jon Timmis, Mark C. Coles
2013 J jnl
Computing: Scientific software needs quality control.
Nat.
Kieran Alden, Mark Read
2011 — conf
Towards Argument-Driven Validation of an
ICARIS
Kieran Alden, Paul S. Andrews, Jon Timmis, Henrique Veiga-Fernandes, Mark C. Coles
2010 J jnl
dConsensus: a tool for displaying domain assignments by multiple structure-based algorithms and for construction of a consensus assignment.
BMC Bioinform.
Kieran Alden, Stella Veretnik, Philip E. Bourne