Mike Holcombe

Simon Coakley, Marian Gheorghe, Mike Holcombe, Shawn Chin, David Worth, Chris Greenough: Exploitation of High Performance Computing in the FLAME Agent-Based Simulation Framework. HPCC-ICESS 2012: 538-545

George Eleftherakis, Mike Hinchey, Mike Holcombe (Eds.): Software Engineering and Formal Methods - 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings. Lecture Notes in Computer Science 7504, Springer 2012, isbn 978-3-642-33825-0

Duncan Jackson, Mesude Bicak, Mike Holcombe: Decentralized communication, trail connectivity and emergent benefits of ant pheromone trail networks. Memetic Computing 3(1): 25-32 (2011)

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. Biosystems 99(2): 140-149 (2010)

Chris Greenough, Shawn Chin, David Worth, Simon Coakley, Mike Holcombe, Mariam Kiran: An Approach to the Parallelisation of Agent-Based Applications. ERCIM News 2010(81) (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: 1633-1636

Liang Huang, Mike Holcombe: Empirical investigation towards the effectiveness of Test First programming. Information & Software Technology 51(1): 182-194 (2009)

Mariam Kiran, Simon Coakley, Neil Walkinshaw, Phil McMinn, Mike Holcombe: Validation and discovery from computational biology models. Biosystems 93(1-2): 141-150 (2008)

Neil Walkinshaw, Kirill Bogdanov, Mike Holcombe, Sarah Salahuddin: Improving dynamic software analysis by applying grammar inference principles. Journal of Software Maintenance 20(4): 269-290 (2008)

Neil Walkinshaw, Kirill Bogdanov, Shaukat Ali, Mike Holcombe: Automated discovery of state transitions and their functions in source code. Softw. Test., Verif. Reliab. 18(2): 99-121 (2008)

Florentin Ipate, Mike Holcombe: Testing data processing-oriented systems from stream X-machine models. Theor. Comput. Sci. 403(2-3): 176-191 (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: 270-272

Christopher Thomson, Mike Holcombe: Correctness of data mined from CVS. MSR 2008: 117-120

Duncan Jackson, Mesude Bicak, Mike Holcombe: Decentralised Communication and Connectivity in Ant Trail Networks. NICSO 2008: 25-36

Mike Holcombe, Chris Thomson: Seven Years of XP - 50 Customers, 100 Projects and 500 Programmers - Lessons Learnt and Ideas for Improvement. XP 2008: 104-113

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. Behaviour & IT 26(2): 99-111 (2007)

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: 209-218

Phil McMinn, Mike Holcombe: Evolutionary Testing Using an Extended Chaining Approach. Evolutionary Computation 14(1): 41-64 (2006)

Sharifah Lailee Syed-Abdullah, Mike Holcombe, Marian Gheorghe: The Impact of an Agile Methodology on the Well Being of Development Teams. Empirical Software Engineering 11(1): 143-167 (2006)

Kirill Bogdanov, Mike Holcombe, Florentin Ipate, L. Seed, Salim K. Vanak: Testing methods for X-machines: a review. Formal Asp. Comput. 18(1): 3-30 (2006)

Rod H. Smallwood, Mike Holcombe: The Epitheliome Project: multiscale agent-based modeling of epithelial cells. ISBI 2006: 816-819

Neil Walkinshaw, Kirill Bogdanov, Mike Holcombe: Identifying State Transitions and their Functions in Source Code. TAIC PART 2006: 49-58

Liang Huang, Mike Holcombe: Empirical Assessment of Test-First Approach. TAIC PART 2006: 197-202

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: 39-44

Florentin Ipate, Mike Holcombe: Complete Testing from a Stream X-Machine Specification. Fundam. Inform. 64(1-4): 205-216 (2005)

Phil McMinn, Mike Holcombe: Evolutionary testing of state-based programs. GECCO 2005: 1013-1020

Florentin Ipate, Mike Holcombe: Using State Diagrams to Generate Unit Tests for Object-Oriented Systems. XP 2005: 214-217

Sharifah Lailee Syed-Abdullah, John Karn, Mike Holcombe, Anthony J. Cowling, Marian Gheorghe: The Positive Affect of the XP Methodology. XP 2005: 218-221

John Karn, Anthony J. Cowling, Sharifah Lailee Syed-Abdullah, Mike Holcombe: Adjusting to XP: Observational Studies of Inexperienced Developers. XP 2005: 222-225

Mike Holcombe, Bhavnidhi Kalra: Agile Development Environment for Programming and Testing (ADEPT) - Eclipse Makes Project Management eXtreme. XP 2005: 255-258

Angela Martin, Steven Fraser, Rachel Davies, Mike Holcombe, Rick Mugridge, Duncan Pierce, Tom Poppendieck, Giancarlo Succi: XP/Agile Education and Training. XP 2005: 263-266

Bhavnidhi Kalra, Chris Thomson, Mike Holcombe: The Software Hut - A Student Experience of eXtreme Programming with Real Commercial Clients. XP 2005: 323-324

Susheel Varma, Mike Holcombe: Extreme Programming: The Genesys Experience. XP 2005: 327-328

Susheel Varma, Mike Holcombe: Shared Code Repository: A Narrative. XP 2005: 329-330

Petros Kefalas, Mike Holcombe, George Eleftherakis, Marian Gheorghe: Formal Development of Reactive Agent-Based Systems. Encyclopedia of Information Science and Technology (II) 2005: 1201-1204

Hubert Baumeister, Michele Marchesi, Mike Holcombe (Eds.): Extreme Programming and Agile Processes in Software Engineering, 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings. Lecture Notes in Computer Science 3556, Springer 2005, isbn 3-540-26277-6

Eleni Berki, Elli Georgiadou, Mike Holcombe: Requirements Engineering and Process Modelling in Software Quality Management- Towards a Generic Process Metamodel. Software Quality Journal 12(3): 265-283 (2004)

Kirill Bogdanov, Mike Holcombe: Refinement in statechart testing. Softw. Test., Verif. Reliab. 14(3): 189-211 (2004)

Francesco Bernardini, Marian Gheorghe, Mike Holcombe: Eilenberg P Systems with Symbol-Objects. Aspects of Molecular Computing 2004: 49-60

Phil McMinn, Mike Holcombe: Hybridizing Evolutionary Testing with the Chaining Approach. GECCO (2) 2004: 1363-1374

David W. Bustard, Mike Holcombe, Ian Sommerville: BoF: New Directions in UK Software Engineering Research. ICSE 2004: 693-694

Marian Gheorghe, Ioanna Stamatopoulou, Mike Holcombe, Petros Kefalas: Modelling Dynamically Organised Colonies of Bio-entities. UPP 2004: 207-224

Mike Holcombe, Florentin Ipate: Complete Test Generation for Extreme Programming. XP 2004: 274-277

Florentin Ipate, Marian Gheorghe, Mike Holcombe: Testing (Stream) X-machines. Appl. Algebra Eng. Commun. Comput. 14(3): 217-237 (2003)

Francesco Bernardini, Marian Gheorghe, Mike Holcombe: P X systems = P systems + X machines. Natural Computing 2(3): 201-213 (2003)

Florentin Ipate, Mike Holcombe: Testing Non-Deterministic X-Machines. Grammars and Automata for String Processing 2003: 151-162

Francisco Macias, Mike Holcombe, Marian Gheorghe: A Formal Experiment Comparing Extreme Programming with Traditional Software Construction. ENC 2003: 73-80

Phil McMinn, Mike Holcombe: The State Problem for Evolutionary Testing. GECCO 2003: 2488-2498

Duncan Jackson, Marian Gheorghe, Mike Holcombe, Francesco Bernardini: An Agent-Based Behavioural Model of Monomorium Pharaonis Colonies. Workshop on Membrane Computing 2003: 232-239

Mike Holcombe: XP after Enron-Can It Survive? XP 2003: 1-8

Jing Yuan, Mike Holcombe, Marian Gheorghe: Where Do Unit Tests Come from? XP 2003: 161-169

Sharifah Lailee Syed-Abdullah, Mike Holcombe, Marian Gheorghe: Practice Makes Perfect. XP 2003: 354-356

Francisco Macias, Mike Holcombe, Marian Gheorghe: Design-led & Design-less: One Experiment and Two Approaches. XP 2003: 394-401

Florentin Ipate, Mike Holcombe: An Integrated Refinement and Testing Method for Stream X-machines. Appl. Algebra Eng. Commun. Comput. 13(2): 67-91 (2002)

Florentin Ipate, Mike Holcombe: Testing Conditions for Communicating Stream X-machine Systems. Formal Asp. Comput. 13(6): 431-446 (2002)

Joaquin Aguado, Tudor Balanescu, Anthony J. Cowling, Marian Gheorghe, Mike Holcombe, Florentin Ipate: P Systems with Replicated Rewriting and Stream X-Machines (Eilenberg Machines). Fundam. Inform. 49(1-3): 17-33 (2002)

Tudor Balanescu, Marian Gheorghe, Mike Holcombe, Florentin Ipate: Eilenberg P Systems. WMC-CdeA 2002: 43-57

Mike Holcombe: Computational Models of Cells and Tissues: Machines, Agents and Fungal Infection. Briefings in Bioinformatics 2(3): 271-278 (2001)

Kirill Bogdanov, Mike Holcombe: Statechart testing method for aircraft control systems. Softw. Test., Verif. Reliab. 11(1): 39-54 (2001)

Tudor Balanescu, Marian Gheorghe, Mike Holcombe: Deterministic stream X-machines based on grammar systems. Where Mathematics, Computer Science, Linguistics and Biology Meet 2001: 13-23

Florentin Ipate, Marian Gheorghe, Mike Holcombe, Tudor Balanescu: Testing Using X-Machine Translations. Words, Semigroups, and Transductions 2001: 211-229

Tudor Balanescu, Marian Gheorghe, Mike Holcombe, Florentin Ipate: Testing Collaborative Agents Defined as Stream X-Machines with Distributed Grammars. ECAL 2001: 296-305

Mike Holcombe: What are X-Machines? Formal Asp. Comput. 12(6): 418-422 (2000)

Florentin Ipate, Mike Holcombe: Generating Test Sets from Non-Deterministic Stream X-Machines. Formal Asp. Comput. 12(6): 443-458 (2000)

Mike Holcombe, Tudor Balanescu, Marian Gheorghe, Paul Radovici-Marculescu: On Testing Generalized Stream X-Machines. Recent Topics in Mathematical and Computational Linguistics 2000: 130-141

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. UCS 5(9): 494-507 (1999)

Helen Parker, Mike Holcombe: Campus-based industrial software projects: risks and rewards. ITiCSE 1999: 189

Mike Holcombe, Florentin Ipate: Correct systems - building a business process solution. Applied computing, Springer 1998, isbn 978-3-540-76246-1, pp. I-XX, 1-206

Florentin Ipate, Mike Holcombe: Specification and Testing Using Generalised Machines: A Presentation and a Case Study. Softw. Test., Verif. Reliab. 8(2): 61-81 (1998)

Kirill Bogdanov, Mike Holcombe, Harbhajan Singh: Automated Test Set Generation for Statecharts. FM-Trends 1998: 107-121

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., Verif. Reliab. 3(3/4): 149-163 (1993)

Mike Holcombe: On the Holonomy Decomposition of Transformation Semigroups. Theor. Comput. Sci. 19: 99-104 (1982)