Abstractions for network update M Reitblatt, N Foster, J Rexford, C Schlesinger, D Walker SIGCOMM 2012, 323-334, 2012 | 705 | 2012 |

Consistent Updates for Software-Defined Networks: Change You Can Believe In! M Reitblatt, N Foster, J Rexford, D Walker 10th ACM Workshop on Hot Topics in Networks (HotNets X), 2011 | 240 | 2011 |

Languages for software-defined networks N Foster, A Guha, M Reitblatt, A Story, MJ Freedman, NP Katta, ... IEEE Communications Magazine 51 (2), 128-134, 2013 | 235 | 2013 |

Fattire: Declarative fault tolerance for software-defined networks M Reitblatt, M Canini, A Guha, N Foster Proceedings of the second ACM SIGCOMM workshop on Hot topics in software …, 2013 | 226 | 2013 |

Machine-verified network controllers A Guha, M Reitblatt, N Foster Acm Sigplan Notices 48 (6), 483-494, 2013 | 118 | 2013 |

Probabilistic netkat N Foster, D Kozen, K Mamouras, M Reitblatt, A Silva European Symposium on Programming, 282-309, 2016 | 54 | 2016 |

Industrial strength distributed explicit state model checking B Bingham, J Bingham, FM De Paula, J Erickson, G Singh, M Reitblatt 2010 Ninth International Workshop on Parallel and Distributed Methods in …, 2010 | 53 | 2010 |

Formal foundations for software defined networks A Guha, M Reitblatt, N Foster Open Net Summit, 2013 | 8 | 2013 |

Formal verification of LabVIEW programs using the ACL2 theorem prover M Kaufmann, J Kornerup, M Reitblatt Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover …, 2009 | 4 | 2009 |

Language Abstractions for Software-Defined Networks N Foster, MJ Freedman, R Harrison, C Monsanto, M Reitblatt, J Rexford, ... Languages for Distributed Algorithms, 2012 | 1 | 2012 |

PREACH: A distributed explicit state model checker FM De Paula, B Bingham, J Bingham, J Erickson, M Reitblatt, G Singh Technical Report TR-2010-05, University of British Columbia, 2010 | 1 | 2010 |

Formal Reasoning in Software-defined Networks M Reitblatt | | 2017 |

Tutorial: Practical verification of network programs N Foster, A Guha, M Reitblatt, C Schlesinger 2013 Formal Methods in Computer-Aided Design, 9-10, 2013 | | 2013 |

Tutorial I: Syntax-guided synthesis R Alur 10th ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2013 | | 2013 |

A System for the Formal Verification of LabVIEW/G Diagrams M Reitblatt | | 2009 |

Languages for Software—Deﬁned Networks N Foster, MI Freedmanl, A Guha, R Harrisonl, NP Kattal, C Monsantol, ... | | |