Concepedia

Matthew Fairbairn

MF

Statistics

Publications

5

Citations

185

H-Index

5

Active since

2005

Affiliations

Data61(Current)

University of Cambridge

Bridge University

Canberra (United Kingdom)

Matthew Fairbairn is an author at Data61 specializing in network protocols, sockets, and communication protocols.

Publications per year

2005–2021

5

Publications

5

Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and sockets

Steve Bishop, Matthew Fairbairn, Michael Norrish et al. · 2005 · 88 citations

Computing, Computer Science, Computer Systems +16

Engineering with logic

Steve Bishop, Matthew Fairbairn, Michael Norrish et al. · 2006 · 46 citations

Computing, Computer Engineering, Computer Science +14

Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and sockets

Steve Bishop, Matthew Fairbairn, Michael Norrish et al. · ACM SIGCOMM Computer Communication Review · 2005 · 24 citations

Computing, Computer Science, Computer Systems +16

Engineering with Logic

Steve Bishop, Matthew Fairbairn, Hannes Mehnert et al. · Journal of the ACM · 2018 · 17 citations · Full text

Computing, Computer Engineering, Computer Science +14

TCP, UDP, and Sockets: rigorous and experimentally-validated behavioural specification Volume 2: The Specification

Steve Bishop, Matthew Fairbairn, Michael Norrish et al. · CL Technical Reports · 2021 · 10 citations · Full text

Computing, Computer Science, Computer Systems +13

1–5 of 5