Ramsay Taylor

According to our database, Ramsay Taylor authored at least 15 papers between 2008 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

An automated framework for verifying or refuting trace properties of extended finite state machines.

Ramsay G. Taylor, Michael Foster, Siobhán North

Int. J. Softw. Tools Technol. Transf., 2022

2020

A Formal Model of Extended Finite State Machines.

Michael Foster, Achim D. Brucker, Ramsay G. Taylor, John Derrick

Arch. Formal Proofs, 2020

Inference of Extended Finite State Machines.

Michael Foster, Achim D. Brucker, Ramsay G. Taylor, John Derrick

Arch. Formal Proofs, 2020

2019

Incorporating Data into EFSM Inference.

Michael Foster, Achim D. Brucker, Ramsay G. Taylor, Siobhán North, John Derrick

Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

2018

Formalising Extended Finite State Machine Transition Merging.

Michael Foster, Ramsay G. Taylor, Achim D. Brucker, John Derrick

Proceedings of the Formal Methods and Software Engineering, 2018

2016

Inferring extended finite state machine models from software executions.

Neil Walkinshaw, Ramsay Taylor, John Derrick

Empir. Softw. Eng., 2016

Choreography-Based Analysis of Distributed Message Passing Programs.

Ramsay Taylor, Emilio Tuosto, Neil Walkinshaw, John Derrick

Proceedings of the 24th Euromicro International Conference on Parallel, 2016

2015

mu2: A Refactoring-Based Mutation Testing Framework for Erlang.

Ramsay Taylor, John Derrick

Proceedings of the Testing Software and Systems, 2015

Smother: an MC/DC analysis tool for Erlang.

Ramsay Taylor, John Derrick

Proceedings of the 14th ACM SIGPLAN Workshop on Erlang 2015, 2015

2014

Synapse: automatic behaviour inference and implementation comparison for Erlang.

Pablo Lamela Seijas, Simon J. Thompson, Ramsay Taylor, Kirill Bogdanov, John Derrick

Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, 2014

2013

Automatic Inference of Erlang Module Behaviour.

Ramsay Taylor, Kirill Bogdanov, John Derrick

Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

2012

Verification of hardware dependent software.

Ramsay Taylor

PhD thesis, 2012

Using Behaviour Inference to Optimise Regression Test Sets.

Ramsay Taylor, Mathew Hall, Kirill Bogdanov, John Derrick

Proceedings of the Testing Software and Systems, 2012

Verification of Hardware Interaction Properties of Software.

Ramsay Taylor

Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

2008

Separation of Z Operations.

Ramsay Taylor

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008