Ramsay G. Taylor

Publication Activity (10 Years)

Years Active: 2018-2022
Publications (10 Years): 5

Top Topics

Merging Algorithm

Finite State Machines

Top Venues

Arch. Formal Proofs

Int. J. Softw. Tools Technol. Transf.

Publications

Ramsay G. Taylor, Michael Foster, Siobhán North
An automated framework for verifying or refuting trace properties of extended finite state machines. Int. J. Softw. Tools Technol. Transf. 24 (6) (2022)
Michael Foster, Achim D. Brucker, Ramsay G. Taylor, John Derrick
A Formal Model of Extended Finite State Machines. Arch. Formal Proofs 2020 (2020)
Michael Foster, Achim D. Brucker, Ramsay G. Taylor, John Derrick
Inference of Extended Finite State Machines. Arch. Formal Proofs 2020 (2020)
Michael Foster, Achim D. Brucker, Ramsay G. Taylor, Siobhán North, John Derrick
Incorporating Data into EFSM Inference. SEFM (2019)
Michael Foster, Ramsay G. Taylor, Achim D. Brucker, John Derrick
Formalising Extended Finite State Machine Transition Merging. ICFEM (2018)