Separation of Z Operations. - Ramsay Taylor (ABZ, 2008)

Verification of Hardware Interaction Properties of Software. - Ramsay Taylor (ABZ, 2012)

Using Behaviour Inference to Optimise Regression Test Sets. - Ramsay Taylor; Mathew Hall; Kirill Bogdanov 002; John Derrick (ICTSS, 2012)

Verification of hardware dependent software. - Ramsay Taylor (2012)

Automatic Inference of Erlang Module Behaviour. - Ramsay Taylor; Kirill Bogdanov 002; John Derrick (IFM, 2013)

Synapse: automatic behaviour inference and implementation comparison for Erlang. - Pablo Lamela Seijas; Simon J. Thompson; Ramsay Taylor; Kirill Bogdanov 002; John Derrick (Erlang Workshop, 2014)

Smother: an MC/DC analysis tool for Erlang. - Ramsay Taylor; John Derrick (Erlang Workshop, 2015)

mu2: A Refactoring-Based Mutation Testing Framework for Erlang. - Ramsay Taylor; John Derrick (ICTSS, 2015)

Choreography-Based Analysis of Distributed Message Passing Programs. - Ramsay Taylor; Emilio Tuosto; Neil Walkinshaw; John Derrick (PDP, 2016)

Inferring extended finite state machine models from software executions. - Neil Walkinshaw; Ramsay Taylor; John Derrick (Empir. Softw. Eng., 2016)

Formalising Extended Finite State Machine Transition Merging. - Michael Foster 001; Ramsay G. Taylor; Achim D. Brucker; John Derrick (ICFEM, 2018)

Incorporating Data into EFSM Inference. - Michael Foster 001; Achim D. Brucker; Ramsay G. Taylor; Siobhán North; John Derrick (SEFM, 2019)

Inference of Extended Finite State Machines. - Michael Foster 001; Achim D. Brucker; Ramsay G. Taylor; John Derrick (Arch. Formal Proofs, 2020)

A Formal Model of Extended Finite State Machines. - Michael Foster 001; Achim D. Brucker; Ramsay G. Taylor; John Derrick (Arch. Formal Proofs, 2020)

An automated framework for verifying or refuting trace properties of extended finite state machines. - Ramsay G. Taylor; Michael Foster 001; Siobhán North (Int. J. Softw. Tools Technol. Transf., 2022)