| 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 | 193 | 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 | 187 | 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 | 77 | 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 | 56 | 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 | 36 | 2017 |
| Simon: Scriptable Interactive Monitoring for SDNs T Nelson, D Yu, Y Li, R Fonseca, S Krishnamurthi Symposium on SDN Research, 2015 | 31 | 2015 |
| 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 | 30 | 2015 |
| User studies of principled model finder output N Danas, T Nelson, L Harrison, S Krishnamurthi, DJ Dougherty Software Engineering and Formal Methods: 15th International Conference, SEFM …, 2017 | 21 | 2017 |
| Static differential program analysis for software-defined networks T Nelson, AD Ferguson, S Krishnamurthi FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24 …, 2015 | 18 | 2015 |
| Toward a more complete Alloy T Nelson, DJ Dougherty, K Fisler, S Krishnamurthi Abstract State Machines, Alloy, B, VDM, and Z: Third International …, 2012 | 18 | 2012 |
| The human in formal methods S Krishnamurthi, T Nelson Formal Methods–The Next 30 Years: Third World Congress, FM 2019, Porto …, 2019 | 15 | 2019 |
| On the finite model property in order-sorted logic T Nelson, DJ Dougherty, K Fisler, S Krishnamurthi Worcester Polytechnic Institute, Brown University, Tech. Rep, 2010 | 14 | 2010 |
| CompoSAT: specification-guided coverage for model finding S Porncharoenwase, T Nelson, S Krishnamurthi Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the …, 2018 | 13 | 2018 |
| Prototyping formal methods tools: a protocol analysis case study A Siegel, M Santomauro, T Dyer, T Nelson, S Krishnamurthi Protocols, Strands, and Logic: Essays Dedicated to Joshua Guttman on the …, 2021 | 9 | 2021 |
| Geometric logic for policy analysis S Saghafi, T Nelson, DJ Dougherty International Workshop on Automated Reasoning in Security and Software …, 2013 | 9 | 2013 |
| Little tricky logic: Misconceptions in the understanding of ltl B Greenman, S Saarinen, T Nelson, S Krishnamurthi arXiv preprint arXiv:2211.01677, 2022 | 7 | 2022 |
| 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 | 7 | 2016 |
| Applying cognitive principles to model-finding output: the positive value of negative information T Dyer, T Nelson, K Fisler, S Krishnamurthi Proceedings of the ACM on Programming Languages 6 (OOPSLA1), 1-29, 2022 | 5 | 2022 |
| Using Relational Problems to Teach Property-Based Testing J Wrenn, T Nelson, S Krishnamurthi arXiv preprint arXiv:2010.16305, 2020 | 5 | 2020 |
| 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 | 5 | 2019 |
Shriram KrishnamurthiProfessor of Computer Science, Brown UniversityVerified email at cs.brown.edu
