Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Ramsay Taylor

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with John Derrick

> Home > Persons > Ramsay Taylor

Publications

2020
[j3]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/FosterBTD20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/FosterBTD20
Michael Foster, Achim D. Brucker, Ramsay G. Taylor, John Derrick:
Inference of Extended Finite State Machines. Arch. Formal Proofs 2020 (2020)
[j2]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/FosterBTD20a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/FosterBTD20a
Michael Foster, Achim D. Brucker, Ramsay G. Taylor, John Derrick:
A Formal Model of Extended Finite State Machines. Arch. Formal Proofs 2020 (2020)
2019
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/FosterBTND19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/FosterBTND19
Michael Foster, Achim D. Brucker, Ramsay G. Taylor, Siobhán North, John Derrick:
Incorporating Data into EFSM Inference. SEFM 2019: 257-272
2018
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/FosterTBD18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/FosterTBD18
Michael Foster, Ramsay G. Taylor, Achim D. Brucker, John Derrick:
Formalising Extended Finite State Machine Transition Merging. ICFEM 2018: 373-387
2016
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ese/WalkinshawTD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ese/WalkinshawTD16
Neil Walkinshaw, Ramsay Taylor, John Derrick:
Inferring extended finite state machine models from software executions. Empir. Softw. Eng. 21(3): 811-853 (2016)
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/pdp/TaylorTWD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdp/TaylorTWD16
Ramsay Taylor, Emilio Tuosto, Neil Walkinshaw, John Derrick:
Choreography-Based Analysis of Distributed Message Passing Programs. PDP 2016: 512-519
2015
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/erlang/TaylorD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/erlang/TaylorD15
Ramsay Taylor, John Derrick:
Smother: an MC/DC analysis tool for Erlang. Erlang Workshop 2015: 13-18
[c7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/pts/TaylorD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/TaylorD15
Ramsay Taylor, John Derrick:
mu2: A Refactoring-Based Mutation Testing Framework for Erlang. ICTSS 2015: 178-193
2014
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/erlang/SeijasTTBD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/erlang/SeijasTTBD14
Pablo Lamela Seijas, Simon J. Thompson, Ramsay Taylor, Kirill Bogdanov, John Derrick:
Synapse: automatic behaviour inference and implementation comparison for Erlang. Erlang Workshop 2014: 73-74
2013
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/TaylorBD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/TaylorBD13
Ramsay Taylor, Kirill Bogdanov, John Derrick:
Automatic Inference of Erlang Module Behaviour. IFM 2013: 253-267
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/wcre/WalkinshawTD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcre/WalkinshawTD13
Neil Walkinshaw, Ramsay Taylor, John Derrick:
Inferring Extended Finite State Machine models from software executions. WCRE 2013: 301-310
2012
[c2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/pts/TaylorHBD12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/TaylorHBD12
Ramsay Taylor, Mathew Hall, Kirill Bogdanov, John Derrick:
Using Behaviour Inference to Optimise Regression Test Sets. ICTSS 2012: 184-199

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.