| 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 | 205 | 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 | 191 | 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 | 85 | 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 | 57 | 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 | 42 | 2017 |
| 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 | 31 | 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 | 31 | 2015 |
| Little tricky logic: misconceptions in the understanding of LTL B Greenman, S Saarinen, T Nelson, S Krishnamurthi arXiv preprint arXiv:2211.01677, 2022 | 26 | 2022 |
| The human in formal methods S Krishnamurthi, T Nelson Formal Methods–The Next 30 Years: Third World Congress, FM 2019, Porto …, 2019 | 25 | 2019 |
| 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 |
| Generating programs trivially: Student use of large language models S Prasad, B Greenman, T Nelson, S Krishnamurthi Proceedings of the ACM Conference on Global Computing Education Vol 1, 126-132, 2023 | 16 | 2023 |
| 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 | 16 | 2018 |
| 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 | 15 | 2022 |
| 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 | 14 | 2021 |
| 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 | 13 | 2010 |
| Using relational problems to teach property-based testing J Wrenn, T Nelson, S Krishnamurthi arXiv preprint arXiv:2010.16305, 2020 | 10 | 2020 |
| Geometric logic for policy analysis S Saghafi, T Nelson, DJ Dougherty International Workshop on Automated Reasoning in Security and Software …, 2013 | 8 | 2013 |
| Forge: A Tool and Language for Teaching Formal Methods T Nelson, B Greenman, S Prasad, T Dyer, E Bove, Q Chen, C Cutting, ... Proceedings of the ACM on Programming Languages 8 (OOPSLA1), 613-641, 2024 | 7 | 2024 |
Shriram KrishnamurthiProfessor of Computer Science, Brown UniversityEmail verificata su cs.brown.edu