Abstractions for network update M Reitblatt, N Foster, J Rexford, C Schlesinger, D Walker SIGCOMM 2012, 323-334, 2012 | 859 | 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 | 291 | 2011 |
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 | 275 | 2013 |
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 | 271 | 2013 |
Machine-verified network controllers A Guha, M Reitblatt, N Foster Acm Sigplan Notices 48 (6), 483-494, 2013 | 156 | 2013 |
Probabilistic netkat N Foster, D Kozen, K Mamouras, M Reitblatt, A Silva Programming Languages and Systems: 25th European Symposium on Programming …, 2016 | 113 | 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 | 57 | 2010 |
Formal foundations for software defined networks A Guha, M Reitblatt, N Foster Open Net Summit, 2013 | 10 | 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 | 5 | 2009 |
Language Abstractions for Software-Defined Networks N Foster, MJ Freedman, R Harrison, C Monsanto, M Reitblatt, J Rexford, ... Languages for Distributed Algorithms, 2012 | 2 | 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 Cornell University, 2017 | | 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, J Grundy, S Jha, T Reps, B Harris, N Foster, A Guha, M Reitblatt, ... 2013 Eleventh ACM/IEEE International Conference on Formal Methods and Models …, 2013 | | 2013 |
A System for the Formal Verification of LabVIEW/G Diagrams M Reitblatt | | 2009 |
Unanswered Questions M Reitblatt | | 2006 |