Formal reasoning in software-defined networks.

Mark Reitblatt Mark Reitblatt Formal reasoning in software-defined networks. Cornell University, USA 2017 Nate Foster Dexter Kozen Konstantinos Mamouras Mark Reitblatt Alexandra Silva 0001 Probabilistic NetKAT. 282-309 2016 ESOP https://doi.org/10.1007/978-3-662-49498-1_12 conf/esop/2016 db/conf/esop/esop2016.html#FosterKMR016

Nate Foster Arjun Guha Mark Reitblatt Alec Story Michael J. Freedman Naga Praveen Katta Christopher Monsanto Joshua Reich Jennifer Rexford Cole Schlesinger David Walker 0001 Rob Harrison Languages for software-defined networks. 128-134 2013 51 IEEE Commun. Mag. 2 https://doi.org/10.1109/MCOM.2013.6461197 db/journals/cm/cm51.html#FosterGRSFKMRRSWH13

Nate Foster Arjun Guha Mark Reitblatt Cole Schlesinger Tutorial: Practical verification of network programs. 9-10 2013 FMCAD https://doi.org/10.1109/FMCAD.2013.7035518 conf/fmcad/2013 db/conf/fmcad/fmcad2013.html#FosterGRS13 Arjun Guha Mark Reitblatt Nate Foster Machine-verified network controllers. 483-494 2013 PLDI https://doi.org/10.1145/2491956.2462178 https://doi.org/10.1145/2499370.2462178 conf/pldi/2013 db/conf/pldi/pldi2013.html#GuhaRF13 Mark Reitblatt Marco Canini Arjun Guha Nate Foster FatTire: declarative fault tolerance for software-defined networks. 109-114 2013 HotSDN https://doi.org/10.1145/2491185.2491187 conf/sigcomm/2013hotsdn db/conf/sigcomm/hotsdn2013.html#ReitblattCGF13 Mark Reitblatt Nate Foster Jennifer Rexford Cole Schlesinger David Walker 0001 Abstractions for network update. 323-334 2012 SIGCOMM https://doi.org/10.1145/2342356.2342427 https://doi.org/10.1145/2377677.2342427 conf/sigcomm/2012 db/conf/sigcomm/sigcomm2012.html#ReitblattFRSW12 Mark Reitblatt Nate Foster Jennifer Rexford David Walker 0001 Consistent updates for software-defined networks: change you can believe in! 7 2011 HotNets https://doi.org/10.1145/2070562.2070569 conf/hotnets/2011 db/conf/hotnets/hotnets2011.html#ReitblattFRW11 Marco Canini Nate Foster Michael J. Freedman Arjun Guha Rob Harrison Naga Praveen Katta Dexter Kozen Konstantinos Mamouras Christopher Monsanto Joshua Reich Jennifer Rexford Cole Schlesinger Alexandra Silva 0001 Alec Story David Walker 0001