Consistent updates for software-defined networks: change you can believe in! - Mark Reitblatt; Nate Foster; Jennifer Rexford; David Walker 001 (HotNets, 2011)

Abstractions for network update. - Mark Reitblatt; Nate Foster; Jennifer Rexford; Cole Schlesinger; David Walker 001 (SIGCOMM, 2012)

Tutorial: Practical verification of network programs. - Nate Foster; Arjun Guha; Mark Reitblatt; Cole Schlesinger (FMCAD, 2013)

Machine-verified network controllers. - Arjun Guha; Mark Reitblatt; Nate Foster (PLDI, 2013)

FatTire: declarative fault tolerance for software-defined networks. - Mark Reitblatt; Marco Canini; Arjun Guha; Nate Foster (HotSDN, 2013)

Languages for software-defined networks. - Nate Foster; Arjun Guha; Mark Reitblatt; Alec Story; Michael J. Freedman; Naga Praveen Katta; Christopher Monsanto; Joshua Reich; Jennifer Rexford; Cole Schlesinger; David Walker 001; Rob Harrison (IEEE Commun. Mag., 2013)

Probabilistic NetKAT. - Nate Foster; Dexter Kozen; Konstantinos Mamouras; Mark Reitblatt; Alexandra Silva 001 (ESOP, 2016)

Formal reasoning in software-defined networks. - Mark Reitblatt (2017)