A Recursion Removal Theorem. - Martin P. Ward (Refine, 1992)

Understanding concurrent programs using program transformations. - Edward J. Younger; Martin P. Ward (WPC, 1993)

A Practical Program Transformation System for Reverse Engineering. - Martin P. Ward; K. H. Bennett (WCRE, 1993)

Abstracting a specification from code. - Martin P. Ward (J. Softw. Maintenance Res. Pract., 1993)

Theory and practice of middle-out programming to support program understanding. - Keith H. Bennett; Martin P. Ward (WPC, 1994)

Reverse Engineering through Formal Transformation: Knuths 'Polynomial Addition' Algorithm. - Martin P. Ward (Comput. J., 1994)

A Multipurpose Backtracking Algorithm. - Hilary A. Priestley; Martin P. Ward (J. Symb. Comput., 1994)

Inverse-engineering a simple real-time program. - E. J. Younger; Martin P. Ward (J. Softw. Maintenance Res. Pract., 1994)

Language-Oriented Programming. - Martin P. Ward (Softw. Concepts Tools, 1994)

Formal Methods to Aid the Evolution of Software. - Martin P. Ward; Keith H. Bennett (Int. J. Softw. Eng. Knowl. Eng., 1995)

Abstraction refinement: A model of software evolution discussion by M. Ward. - Martin P. Ward (J. Softw. Maintenance Res. Pract., 1995)

A definition of abstraction. - Martin P. Ward (J. Softw. Maintenance Res. Pract., 1995)

Formal methods for legacy systems. - Martin P. Ward; Keith H. Bennett (J. Softw. Maintenance Res. Pract., 1995)

Program Analysis by Formal Transformation. - Martin P. Ward (Comput. J., 1996)

Derivation of Data Intensive Algorithms by Formal Transformation: The Schnorr-Waite Graph Marking Algorithm. - Martin P. Ward (IEEE Trans. Software Eng., 1996)

Assembler to C Migration Using the FermaT Transformation System. - Martin P. Ward (ICSM, 1999)

Recursion Removal/Introduction by Formal Transformation: An Aid to Program Development and Program Comprehension. - Martin P. Ward; Keith H. Bennett (Comput. J., 1999)

Reverse Engineering from Assembler to Formal Specifications via Program Transformations. - Martin P. Ward (WCRE, 2000)

The FermaT Assembler Re-engineering Workbench. - Martin P. Ward (ICSM, 2001)

The Formal Transformation Approach to Source Code Analysis and Manipulation. - Martin P. Ward (SCAM, 2001)

Program Slicing via FermaT Transformations. - Martin P. Ward (COMPSAC, 2002)

ConSUS: A Scalable Approach to Conditioned Slicing. - Mohammed Daoudi; Lahcen Ouarbya; John Howroyd; Sebastian Danicic; Mark Harman; Chris Fox; Martin P. Ward (WCRE, 2002)

Determining Granularity of Independent Tasks for Reengineering a Legacy System into an OO System. - Richard C. Millham; Martin P. Ward; Hongji Yang (COMPSAC, 2003)

Slicing the SCAM Mug: A Case Study in Semantic Slicing. - Martin P. Ward (SCAM, 2003)

Legacy Assembler Reengineering and Migration. - Martin P. Ward; Hussein Zedan; T. Hardcastle (ICSM, 2004)

Pigs from sausages? Reengineering from assembler to C via FermaT transformations. - Martin P. Ward (Sci. Comput. Program., 2004)

MetaWSL and Meta-Transformations in the FermaT Transformation System. - Martin P. Ward; Hussein Zedan (COMPSAC (1), 2005)

Conditioned Semantic Slicing via Abstraction and Refinement in FermaT. - Martin P. Ward; Hussein Zedan; T. Hardcastle (CSMR, 2005)

ConSUS: a light-weight program conditioner. - Sebastian Danicic; Mohammed Daoudi; Chris Fox; Mark Harman; Robert M. Hierons; John Howroyd; Lahcen Ouarbya; Martin P. Ward (J. Syst. Softw., 2005)

How knowledge companies succeed. - Martin P. Ward (J. Knowl. Manag., 2007)

Slicing as a program transformation. - Martin P. Ward; Hussein Zedan (ACM Trans. Program. Lang. Syst., 2007)

Conditioned semantic slicing for abstraction; industrial experiment. - Martin P. Ward; Hussein Zedan; Matthias Ladkau; Stefan Natelberg (Softw. Pract. Exp., 2008)

Properties of Slicing Definitions. - Martin P. Ward (SCAM, 2009)

The FermaT Maintenance Environment Tool Demonstration. - Martin P. Ward (SCAM, 2009)

Transformational Programming and the Derivation of Algorithms. - Martin P. Ward; Hussein Zedan (ISCIS, 2010)

Combining dynamic and static slicing for analysing assembler. - Martin P. Ward; Hussein Zedan (Sci. Comput. Program., 2010)

Requirements Recovery by Matching Domain Ontology and Program Ontology. - Feng Chen 004; Hong Zhou; Hongji Yang; Martin P. Ward; William Cheng-Chung Chu (COMPSAC, 2011)

Deriving a Slicing Algorithm via FermaT Transformations. - Martin P. Ward; Hussein Zedan (IEEE Trans. Software Eng., 2011)

Assembler restructuring in FermaT. - Martin P. Ward (SCAM, 2013)

Formality, Agility, Security, and Evolution in Software Development. - Jonathan P. Bowen; Mike Hinchey; Helge Janicke; Martin P. Ward; Hussein Zedan (Computer, 2014)

Provably correct derivation of algorithms using FermaT. - Martin P. Ward; Hussein Zedan (Formal Aspects Comput., 2014)

The formal semantics of program slicing for nonterminating computations. - Martin P. Ward; Hussein Zedan (J. Softw. Evol. Process., 2017)

Climbing the Hill to Understand the Code. - Doni Pracner; Martin P. Ward; Natasa Sukur; Zoran Budimac (IEEE Access, 2024)