Brown T.J., Gawley R., Bashroush R., Spence I., Kilpatrick P. and Gillan C., 'Weaving Behavior into Feature Models for Embedded System Families', In: Proc. 10th International Software Product Line Conference, Baltimore, Maryland, IEEE ISBN 0-7695-2599-7, pp52-64, Aug 2006.

Brown T.J., Bashroush R., Gillan C., Spence I. and Kilpatrick P., 'Feature-Guided Architecture Development for Embedded System Families', In: Proc. IEEE/IFIP Working International Conference Software Architecture 2005, Pittsburgh, Nov 2005.

Bashroush R., Spence I., Kilpatrick P. and Brown T.J., 'ADLARS: An Architecture Description Language for Software Product Lines', In: Proc. 29th Annual IEEE/NASA Software Engineering Workshop, Greenbelt, MD, Apr 2005.

Bashroush R., Spence I., Kilpatrick P. and Brown T.J., 'A Generic Reference Software Architecture for Load Balancing Over Mirrored Web Servers: NaSr Case Study', In: Proc. 3rd ACS/IEEE on Computer Systems and Applications, Cairo, Egypt, Jan 2005.

Bashroush R., Spence I., Kilpatrick P. and Brown T.J., 'Using the NaSr Architectural Style to Solve the Broken Hyperlink Problem', In: Proc. 8th IASTED International Conference on Software Engineering and Applications, Cambridge, MA, Nov 2004.

Bashroush R., Spence I., Kilpatrick P. and Brown T.J., 'Deriving Product Architectures from an ADLARS Described Reference Architecture using Leopard', In: Proc. ACM/SIGSOFT Foundations of Software Engineering, Newport Beach, CA, Oct 2004.

Bashroush R., Spence I., Kilpatrick P. and Brown T.J., 'A Network Architectural Style for Real-time Systems: NaSr', In: Proc. 4th Working IEEE/IFIP International Conference on Software Architectures, Oslo, pp321-325, Jun 2004.

Bashroush R., Spence I., Kilpatrick P. and Brown T.J., 'The Contribution of Architecture Description Languages to the Evaluation of Software Architectures', In: Proc. National IEEE/IEE/ACM PREP 2004 Conference, Hertfordshire, U.K., pp210-211, Apr 2004.

Bashroush R., Spence I., Kilpatrick P. and Brown T.J., ' Towards an Automated Evaluation Process for Software Architectures', In: Proc. IAESTED International Conference onSoftware Engineering, Innsbruck, Austria, pp54-58, Feb 2004.

Bashroush R., Spence I., Kilpatrick P. and Brown T.J., 'A Real-time Network Emulator: ADLARS Case Study', In: Proc. 3rd Asia Pacific International Symposium on Information Technology, Istanbul, pp610-617, Jan 2004.

McRitchie I., Brown T.J. and Spence I., 'Managing Component Variability within Embedded Software Product Lines via Transformational Code Generation', In: Proc. 5th International Workshop, Software Product Family Engineering, Siena, Italy, LNCS 3014, Springer-Verlag, pp98-110, Nov 2003.

Brown T.J., Spence I. and Kilpatrick P., 'A Relational Architecture Description Language for Embedded Real-time Software Families', In: Proc. 5th International Workshop, Software Product Family Engineering, Siena, Italy, LNCS 3014, Springer-Verlag, pp282-295, Nov 2003.

McRitchie I., Spence I. and Brown T.J., ' A Java framework for the static reflection, composition and synthesis of software components', In: Proc. 2nd International Conference on Principles and Practice of Programming in Java, Kilkenny, ACM International Conference Proceeding Series, pp19-20, Jun 2003.

Brown T.J., Spence I. and Kilpatrick P., 'Adaptable Components for Software Product-Line Engineering', In: Proc. SPLC2 (Second Software Product Line Conference), San Diego, LNCS 2379, Springer-Verlag, pp154-175, Aug 2002.

Brown T.J., Spence I. and Kilpatrick P., 'Mixin Programming in Java with Reflection and Dynamic Invocation', In: Proc. Principles and Practice of Programming in Java, Dublin, ACM International Conference Proceeding Series, pp25-34, Jun 2002.

Maley D. and Spence I., 'Supporting Design by Contract in C++', Journal of Object-Oriented Programming, Vol. 14 No. 3, ISSN 0896-8438, pp8-19, Aug 2001.

Maley D. and Spence I., 'But who will guard the guardians?', In: Proc. TOOLS 34 (TOOLS USA 2000), IEEE Computer Society Press, pp227-237, Jul 2000.

Brown T.J., Kilpatrick P., Spence I., Crookes D. and Murphy P., 'The List_Tree - an innovative solution to customer portfolio representation', British Telecom Technology Journal, Vol. 18 No. 2, ISSN 1358-3948, pp131-141, Apr 2000.

Busby D., Burke P., Burke V., Noble C., Scott N.S. and Spence I., 'HBrowse; a GRACE tool for browsing R-matrix H-files', Computer Physics Communications, Vol. 131, pp202-224, 2000.

Maley D. and Spence I., 'Config: a case study in combining software engineering techniques', Scientific Programming, Vol. 8 No. 2, ISSN 1058-9244, pp59-72, 2000.

Maley D. and Spence I., 'Emulating Design by Contract in C++', In: Proc. TOOLS 29 (TOOLS EUROPE 1999), Mitchell, Wills, Bosch, Meyer, IEEE Computer Society Press, pp66-75, Jun 1999.

Morrow P., Crookes D., Brown T.J., McAleese G., Roantree D. and Spence I., 'Efficient Design of a Portable Parallel Programming Model for Image Processing', University of Ulster Informatics Reports 13, ISSN 0966-4963, Dec 1998.

Spence I., 'Square Wheels on a Bumpy Road', Mathematics Today, Vol. 34 No. 4, pp112-113, Aug 1998.

Crookes D., Brown T.J., Spence I., Morrow P., McAleese G. and Roantree D., 'An efficient, portable software platform for parallel image processing', In: Proc. 6th Euromicro Workshop on Parallel and Distributed Computing (PdP'98), Madrid, pp237-242, Jan 1998.

Spence I., 'Specification for Testing - the Removal of Abstraction', Software Testing, Verification and Reliability, Vol. 8 No. 1, pp3-14, 1998.

Crookes D., Morrow P., Brown T.J., McAleese G., Roantree D. and Spence I., 'Achieving portability and efficiency through automatic optimisation: an investigation in parallel image processing', In: Proc. EuroPar '98: Parallel Processing, Pritchard, D. and Reeve, J., LNCS 1470, Springer, pp102-112, 1998.

Maley D., Spence I. and Kilpatrick P., 'Config: A GRACE tool for constructing configuration trees', Computer Physics Communications, Vol. 114, pp271-294, 1998.

Brown T.J., Crookes D., Spence I., Morrow P., Roantree D. and McAleese G., 'A Platform for Developing Efficient Image Processing Programs for Parallel Architectures', In: Proc. Irish Machine Vision and Image Processing, pp69-77, Sep 1997.

Spence I., 'Data-Parallel Definition of Neighbourhood Operations - Use and Extensions of EVAL', In: Proc. Irish Machine Vision and Image Processing, pp93-100, Sep 1997.

Crookes D., Brown T.J., Dong Y., McAleese G., Morrow P., Roantree D. and Spence I., 'A self-optimising co-processor model for portable parallel image processing', In: Proc. EuroPar'96, Lyon, Vol. 2, Springer-Verlag, pp213-216, Aug 1996.

Morrow P., Crookes D., Brown T.J., Dong Y., McAleese G., Roantree D. and Spence I., 'Achieving scalability, portability and efficiency in a high level programming model for parallel architectures', In: Proc. UKPAR'96, Springer-Verlag, pp29-39, Jul 1996.

Morrow P., Roantree D., McAleese G., Crookes D., Spence I., Brown T.J. and Dong Y., 'A Portable Coprocessor Model for Parallel Image Processing', In: Proc. European Parallel Tools Meeting, Chatillon, France, ONERA, 1996.

Spence I. and Scott N.S., 'The Use of the 2-D Hough Transform in the Detection of Resonances', In: Proc. PECAM II, Belfast, p78, 1996.

Crookes D., Spence I. and Brown T.J., 'Efficient parallel image transforms: a very high level approach', In: Proc. World Transputer Congress, IOS Press, pp135-143, Sep 1995.

Spence I., 'Displaying Digital Images in a Distributed Processing Environment', Microprocessors and Microsystems, Vol. 18 No. 2, pp95-99, 1994.

Spence I., 'Dynamic array bounds in C', Computing, pp34-35, Feb 1993.

Spence I. and Carey B., 'Customers do not want frozen specifications', Software Engineering Journal, Vol. 6 No. 4, pp175-180, 1991.

Crookes D., Spence I. and Brown T.J., 'Data Parallel Languages for Image Processing', In: Proc. Franco-British N+N Meeting on Data Parallel Languages and Compilers for Portable Parallel Computing, Villeneuve d’Ascq, France, p41, Apr 1990.

Spence I., 'A Flexible Menu System', British Telecom Research and Technology Memo RT33/89/01, 1989.

Crookes D., Murray J., Smith J. and Spence I., 'A Voice Input Programming System', In: Proc. People and Computers: Designing the Interface. BCS HCI Specialist Group, Cambridge University Press, pp359-368, 1985.

Spence I., 'The Automatic Production of Code Generators', PhD Thesis, Department of Computer Science, Queen's University Belfast, 1984.

Spence I., 'Complete Sudoku - extra rules for more symmetry', Mathematics Today (to appear).