Mike Holcombe

Publication Activity (10 Years)

Years Active: 1982-2016
Publications (10 Years): 1

Top Topics

Bayesian Framework

Scientific Computing

Simulation Model

Top Venues

PLoS Comput. Biol.

Publications

David M. Rhodes, Mike Holcombe, Eva E. Qwarnstrom
Reducing complexity in an agent based reaction model - Benefits and limitations of simplifications in relation to run time and system level output. Biosyst. 147 (2016)
Hao Bai, Matthew D. Rolfe, Wenjing Jia, Simon Coakley, Robert K. Poole, Jeffrey Green, Mike Holcombe
. PLoS Comput. Biol. 10 (4) (2014)
Mike Holcombe, Simon Coakley, Mariam Kiran, Lee Shawn Chin, Chris Greenough, David Worth, Silvano Cincotti, Marco Raberto, Andrea Teglio, Christophe Deissenberg, Sander van der Hoog, Herbert Dawid, Simon Gemkow, Philipp Harting, Michael Neugart
Large-Scale Modeling of Economic Systems. Complex Syst. 22 (2) (2013)
Simon Coakley, Marian Gheorghe, Mike Holcombe, Lee Shawn Chin, David Worth, Chris Greenough
Exploitation of High Performance Computing in the FLAME Agent-Based Simulation Framework. HPCC-ICESS (2012)
Duncan Jackson, Mesude Bicak, Mike Holcombe
Decentralized communication, trail connectivity and emergent benefits of ant pheromone trail networks. Memetic Comput. 3 (1) (2011)
Chris Greenough, Lee Shawn Chin, David Worth, Simon Coakley, Mike Holcombe, Mariam Kiran
An Approach to the Parallelisation of Agent-Based Applications. ERCIM News 2010 (81) (2010)
Hong-Bum Kim, Iona Evans, Rod H. Smallwood, Mike Holcombe, Eva E. Qwarnstrom
NIK and IKKbeta interdependence in NF-kappaB signalling - Flux analysis of regulation through metabolites. Biosyst. 99 (2) (2010)
Mariam Kiran, Paul Richmond, Mike Holcombe, Lee Shawn Chin, David Worth, Chris Greenough
FLAME: simulating large populations of agents on parallel hardware architectures. AAMAS (2010)
Chris Thomson, Mike Holcombe
Factors Explaining External Quality in 54 Case Studies of Software Development Projects. EASE (2009)
Liang Huang, Mike Holcombe
Empirical investigation towards the effectiveness of Test First programming. Inf. Softw. Technol. 51 (1) (2009)
Mariam Kiran, Simon Coakley, Neil Walkinshaw, Phil McMinn, Mike Holcombe
Validation and discovery from computational biology models. Biosyst. 93 (1-2) (2008)
Christopher Thomson, Mike Holcombe, Tony Cowling, Tony Simons, George Michaelides
A pilot study of comparative customer comprehension between extreme x-machine and uml models. ESEM (2008)
Neil Walkinshaw, Kirill Bogdanov, Shaukat Ali, Mike Holcombe
Automated discovery of state transitions and their functions in source code. Softw. Test. Verification Reliab. 18 (2) (2008)
Mike Holcombe, Chris Thomson
Seven Years of XP - 50 Customers, 100 Projects and 500 Programmers - Lessons Learnt and Ideas for Improvement. XP (2008)
Christopher Thomson, Mike Holcombe
Correctness of data mined from CVS. MSR (2008)
Florentin Ipate, Mike Holcombe
Testing data processing-oriented systems from stream X-machine models. Theor. Comput. Sci. 403 (2-3) (2008)
Duncan Jackson, Mesude Bicak, Mike Holcombe
Decentralised Communication and Connectivity in Ant Trail Networks. NICSO (2008)
Neil Walkinshaw, Kirill Bogdanov, Mike Holcombe, Sarah Salahuddin
Improving dynamic software analysis by applying grammar inference principles. J. Softw. Maintenance Res. Pract. 20 (4) (2008)
Mike Holcombe
Delving Beneath the Skin. ERCIM News 2007 (69) (2007)
Neil Walkinshaw, Kirill Bogdanov, Mike Holcombe, Sarah Salahuddin
Reverse Engineering State Machines by Interactive Grammar Inference. WCRE (2007)
J. S. Karn, S. Syed-Abdullah, Anthony J. Cowling, Mike Holcombe
A study into the effects of personality type and methodology on cohesion in software engineering teams. Behav. Inf. Technol. 26 (2) (2007)
Kirill Bogdanov, Mike Holcombe, Florentin Ipate, L. Seed, Salim K. Vanak
Testing methods for X-machines: a review. Formal Aspects Comput. 18 (1) (2006)
Sharifah Lailee Syed-Abdullah, Mike Holcombe, Marian Gheorghe
The Impact of an Agile Methodology on the Well Being of Development Teams. Empir. Softw. Eng. 11 (1) (2006)
Phil McMinn, Mike Holcombe
Evolutionary Testing Using an Extended Chaining Approach. Evol. Comput. 14 (1) (2006)
Neil Walkinshaw, Kirill Bogdanov, Mike Holcombe
Identifying State Transitions and their Functions in Source Code. TAIC PART (2006)
Andres Baravalle, Sarah Chambers, Siobhán North, Mike Holcombe
Open Source Software in the Desktop: The Perspective of the Public Administrations in UK. WEBIST (2) (2006)
Liang Huang, Mike Holcombe
Empirical Assessment of Test-First Approach. TAIC PART (2006)
Rod H. Smallwood, Mike Holcombe
The Epitheliome Project: multiscale agent-based modeling of epithelial cells. ISBI (2006)
Bhavnidhi Kalra, Chris Thomson, Mike Holcombe
The Software Hut - A Student Experience of eXtreme Programming with Real Commercial Clients. XP (2005)
Susheel Varma, Mike Holcombe
Extreme Programming: The Genesys Experience. XP (2005)
Angela Martin, Steven Fraser, Rachel Davies, Mike Holcombe, Rick Mugridge, Duncan Pierce, Tom Poppendieck, Giancarlo Succi
XP/Agile Education and Training. XP (2005)
Florentin Ipate, Mike Holcombe
Complete Testing from a Stream X-Machine Specification. Fundam. Informaticae 64 (1-4) (2005)
Florentin Ipate, Mike Holcombe
Using State Diagrams to Generate Unit Tests for Object-Oriented Systems. XP (2005)
Sharifah Lailee Syed-Abdullah, John Karn, Mike Holcombe, Anthony J. Cowling, Marian Gheorghe
The Positive Affect of the XP Methodology. XP (2005)
Mike Holcombe, Bhavnidhi Kalra
Agile Development Environment for Programming and Testing (ADEPT) - Eclipse Makes Project Management eXtreme. XP (2005)
John Karn, Anthony J. Cowling, Sharifah Lailee Syed-Abdullah, Mike Holcombe
Adjusting to XP: Observational Studies of Inexperienced Developers. XP (2005)
Susheel Varma, Mike Holcombe
Shared Code Repository: A Narrative. XP (2005)
Phil McMinn, Mike Holcombe
Evolutionary testing of state-based programs. GECCO (2005)
David W. Bustard, Mike Holcombe, Ian Sommerville
BoF: New Directions in UK Software Engineering Research. ICSE (2004)
Mike Holcombe, Florentin Ipate
Complete Test Generation for Extreme Programming. XP (2004)
Eleni Berki, Elli Georgiadou, Mike Holcombe
Requirements Engineering and Process Modelling in Software Quality Management- Towards a Generic Process Metamodel. Softw. Qual. J. 12 (3) (2004)
Kirill Bogdanov, Mike Holcombe
Refinement in statechart testing. Softw. Test. Verification Reliab. 14 (3) (2004)
Phil McMinn, Mike Holcombe
Hybridizing Evolutionary Testing with the Chaining Approach. GECCO (2) (2004)
Francesco Bernardini, Marian Gheorghe, Mike Holcombe
Eilenberg P Systems with Symbol-Objects. Aspects of Molecular Computing (2004)
Marian Gheorghe, Ioanna Stamatopoulou, Mike Holcombe, Petros Kefalas
Modelling Dynamically Organised Colonies of Bio-entities. UPP (2004)
Sharifah Lailee Syed-Abdullah, Mike Holcombe, Marian Gheorghe
Practice Makes Perfect. XP (2003)
Francisco Javier Macias, Mike Holcombe, Marian Gheorghe
A Formal Experiment Comparing Extreme Programming with Traditional Software Construction. ENC (2003)
Francesco Bernardini, Marian Gheorghe, Mike Holcombe
P X systems = P systems + X machines. Nat. Comput. 2 (3) (2003)
Florentin Ipate, Marian Gheorghe, Mike Holcombe
Testing (Stream) X-machines. Appl. Algebra Eng. Commun. Comput. 14 (3) (2003)
Phil McMinn, Mike Holcombe
The State Problem for Evolutionary Testing. GECCO (2003)
Francisco Javier Macias, Mike Holcombe, Marian Gheorghe
Design-led & Design-less: One Experiment and Two Approaches. XP (2003)
Duncan Jackson, Marian Gheorghe, Mike Holcombe, Francesco Bernardini
An Agent-Based Behavioural Model of Monomorium Pharaonis Colonies. Workshop on Membrane Computing (2003)
Mike Holcombe
XP after Enron-Can It Survive? XP (2003)
Jing Yuan, Mike Holcombe, Marian Gheorghe
Where Do Unit Tests Come from? XP (2003)
Florentin Ipate, Mike Holcombe
Testing Non-Deterministic X-Machines. Grammars and Automata for String Processing (2003)
Florentin Ipate, Mike Holcombe
Testing Conditions for Communicating Stream X-machine Systems. Formal Aspects Comput. 13 (6) (2002)
Tudor Balanescu, Marian Gheorghe, Mike Holcombe, Florentin Ipate
Eilenberg P Systems. WMC-CdeA (2002)
Joaquín Aguado, Tudor Balanescu, Anthony J. Cowling, Marian Gheorghe, Mike Holcombe, Florentin Ipate
P Systems with Replicated Rewriting and Stream X-Machines (Eilenberg Machines). Fundam. Informaticae 49 (1-3) (2002)
Florentin Ipate, Mike Holcombe
An Integrated Refinement and Testing Method for Stream X-machines. Appl. Algebra Eng. Commun. Comput. 13 (2) (2002)
Kirill Bogdanov, Mike Holcombe
Statechart testing method for aircraft control systems. Softw. Test. Verification Reliab. 11 (1) (2001)
Mike Holcombe
Computational Models of Cells and Tissues: Machines, Agents and Fungal Infection. Briefings Bioinform. 2 (3) (2001)
Vaia Sdralia, Mike Holcombe
Ranging schemes for fast dynamic recovery of DOCSIS networks. ICON (2001)
Tudor Balanescu, Marian Gheorghe, Mike Holcombe
Deterministic stream X-machines based on grammar systems. Where Mathematics, Computer Science, Linguistics and Biology Meet (2001)
Tudor Balanescu, Marian Gheorghe, Mike Holcombe, Florentin Ipate
Testing Collaborative Agents Defined as Stream X-Machines with Distributed Grammars. ECAL (2001)
Colin Chambers, Mike Holcombe, Judith Barnard
Introducing X-machine models to verify PLC ladder diagrams. Comput. Ind. 45 (3) (2001)
Florentin Ipate, Marian Gheorghe, Mike Holcombe, Tudor Balanescu
Testing Using X-Machine Translations. Words, Semigroups, and Transductions (2001)
Mike Holcombe
What are X-Machines? Formal Aspects Comput. 12 (6) (2000)
Mike Holcombe, Tudor Balanescu, Marian Gheorghe, Paul Radovici-Marculescu
On Testing Generalized Stream X-Machines. Recent Topics in Mathematical and Computational Linguistics (2000)
Florentin Ipate, Mike Holcombe
Generating Test Sets from Non-Deterministic Stream X-Machines. Formal Aspects Comput. 12 (6) (2000)
Tudor Balanescu, Anthony J. Cowling, Horia Georgescu, Marian Gheorghe, Mike Holcombe, Cristina Vertan
Communicating Stream X-Machines Systems are no more than X-Machines. J. Univers. Comput. Sci. 5 (9) (1999)
Helen Parker, Mike Holcombe
Campus-based industrial software projects: risks and rewards. ITiCSE (1999)
Helen Parker, Mike Holcombe, Alex Bell
Keeping Our Customers Happy: Myths and Management Issues in "Client-Led" Student Software Projects. Comput. Sci. Educ. 9 (3) (1999)
Florentin Ipate, Mike Holcombe
Specification and Testing Using Generalised Machines: A Presentation and a Case Study. Softw. Test. Verification Reliab. 8 (2) (1998)
Kirill Bogdanov, Mike Holcombe, Harbhajan Singh
Automated Test Set Generation for Statecharts. FM-Trends (1998)
Florentin Ipate, Mike Holcombe
A method for refining and testing generalised machine specifications. Int. J. Comput. Math. 68 (3-4) (1998)
Nam Yap, Mike Holcombe
Graphical Z Specification. PPIG (1997)
Florentin Ipate, Mike Holcombe
An integration testing method that is proved to find all faults. Int. J. Comput. Math. 63 (3-4) (1997)
Florentin Ipate, Mike Holcombe
Another Look at Computability. Informatica (Slovenia) 20 (3) (1996)
Mike Holcombe
An Integrated Methodology for the Specification, Verification and Testing of Systems. Softw. Test. Verification Reliab. 3 (3/4) (1993)
Mike Holcombe
X-machines as a basis for dynamic system specification. Softw. Eng. J. 3 (2) (1988)
Mike Holcombe
On the Holonomy Decomposition of Transformation Semigroups. Theor. Comput. Sci. 19 (1982)