| The margrave tool for firewall analysis T Nelson, C Barratt, DJ Dougherty, K Fisler, S Krishnamurthi 24th Large Installation System Administration Conference (LISA 10), 2010 | 178 | 2010 |
| Tierless Programming and Reasoning for {Software-Defined} Networks T Nelson, AD Ferguson, MJG Scheer, S Krishnamurthi 11th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2014 | 176 | 2014 |
| Aluminum: principled scenario exploration through minimality T Nelson, S Saghafi, DJ Dougherty, K Fisler, S Krishnamurthi 2013 35th International Conference on Software Engineering (ICSE), 232-241, 2013 | 68 | 2013 |
| A balance of power: Expressive, analyzable controller programming T Nelson, A Guha, DJ Dougherty, K Fisler, S Krishnamurthi Proceedings of the second ACM SIGCOMM workshop on Hot topics in software …, 2013 | 51 | 2013 |
| The power of" why" and" why not": Enriching scenario exploration with provenance T Nelson, N Danas, DJ Dougherty, S Krishnamurthi Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017 | 28 | 2017 |
| Exodus: Toward Automatic Migration of Enterprise Network Configurations to SDNs T Nelson, AD Ferguson, D Yu, R Fonseca, S Krishnamurthi Symposium on SDN Research, 2015 | 28 | 2015 |
| Simon: Scriptable Interactive Monitoring for SDNs T Nelson, D Yu, Y Li, R Fonseca, S Krishnamurthi Symposium on SDN Research, 2015 | 26 | 2015 |
| Static differential program analysis for software-defined networks T Nelson, AD Ferguson, S Krishnamurthi International Symposium on Formal Methods, 395-413, 2015 | 17 | 2015 |
| User studies of principled model finder output N Danas, T Nelson, L Harrison, S Krishnamurthi, DJ Dougherty International Conference on Software Engineering and Formal Methods, 168-184, 2017 | 16 | 2017 |
| Toward a more complete Alloy T Nelson, DJ Dougherty, K Fisler, S Krishnamurthi International Conference on Abstract State Machines, Alloy, B, VDM, and Z …, 2012 | 16 | 2012 |
| Geometric logic for policy analysis S Saghafi, T Nelson, DJ Dougherty International Workshop on Automated Reasoning in Security and Software …, 2013 | 9 | 2013 |
| On the finite model property in order-sorted logic T Nelson, DJ Dougherty, K Fisler, S Krishnamurthi Tech. rep., Worcester Polytechnic Institute, 2010 | 9 | 2010 |
| CompoSAT: specification-guided coverage for model finding S Porncharoenwase, T Nelson, S Krishnamurthi International Symposium on Formal Methods, 568-587, 2018 | 6 | 2018 |
| Switches are monitors too! stateful property monitoring as a switch design criterion T Nelson, N DeMarinis, TA Hoff, R Fonseca, S Krishnamurthi Proceedings of the 15th ACM Workshop on Hot Topics in Networks, 99-105, 2016 | 6 | 2016 |
| The human in formal methods S Krishnamurthi, T Nelson International Symposium on Formal Methods, 3-10, 2019 | 5 | 2019 |
| First-Order Models for Configuration Analysis T Nelson Worcester Polytechnic Institute, 2013 | 5 | 2013 |
| Synthesizing mutable configurations: Setting up systems for success T Nelson, N Danas, T Giannakopoulos, S Krishnamurthi 2019 34th IEEE/ACM International Conference on Automated Software …, 2019 | 4 | 2019 |
| Formal dialogue model for language grounding error recovery N Danas, T Nelson, C Finkelstein, S Krishnamurthi, S Tellex Combining Learning and Reasoning–Towards Human-Level Robot Intelligence. RSS, 2019 | 3 | 2019 |
| Margrave--An Improved Analyzer for Access-Control and Configuration Policies T Nelson Worcester Polytechnic Institute, 2010 | 3 | 2010 |
| Using Relational Problems to Teach Property-Based Testing J Wrenn, T Nelson, S Krishnamurthi The art science and engineering of programming 5 (2), 2021 | 2 | 2021 |
Shriram KrishnamurthiProfessor of Computer Science, Brown UniversityVerifierad e-postadress på cs.brown.edu
