Följ
Tim Nelson
Tim Nelson
Verifierad e-postadress på brown.edu - Startsida
Titel
Citeras av
Citeras av
År
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
1962010
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
1862014
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
762013
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
552013
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
372017
Simon: Scriptable Interactive Monitoring for SDNs
T Nelson, D Yu, Y Li, R Fonseca, S Krishnamurthi
Symposium on SDN Research, 2015
322015
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
302015
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
232017
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
172015
Toward a more complete Alloy
T Nelson, DJ Dougherty, K Fisler, S Krishnamurthi
Abstract State Machines, Alloy, B, VDM, and Z: Third International …, 2012
172012
The human in formal methods
S Krishnamurthi, T Nelson
Formal Methods–The Next 30 Years: Third World Congress, FM 2019, Porto …, 2019
162019
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
132018
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
132010
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
112021
Little tricky logic: Misconceptions in the understanding of ltl
B Greenman, S Saarinen, T Nelson, S Krishnamurthi
arXiv preprint arXiv:2211.01677, 2022
102022
Geometric logic for policy analysis
S Saghafi, T Nelson, DJ Dougherty
International Workshop on Automated Reasoning in Security and Software …, 2013
92013
Using relational problems to teach property-based testing
J Wrenn, T Nelson, S Krishnamurthi
arXiv preprint arXiv:2010.16305, 2020
82020
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
72022
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
72016
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
52019
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20