| Abstractions for network update M Reitblatt, N Foster, J Rexford, C Schlesinger, D Walker SIGCOMM 2012, 323-334, 2012 | 829 | 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 | 280 | 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 | 266 | 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 | 262 | 2013 |
| Machine-verified network controllers A Guha, M Reitblatt, N Foster Acm Sigplan Notices 48 (6), 483-494, 2013 | 144 | 2013 |
| Probabilistic netkat N Foster, D Kozen, K Mamouras, M Reitblatt, A Silva Programming Languages and Systems: 25th European Symposium on Programming …, 2016 | 93 | 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 | 55 | 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 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 |
| Unanswered Questions M Reitblatt | | 2006 |
Nate FosterProfessor of Computer Science, Cornell UniversityVerified email at cs.cornell.edu
