Tim Nelson
Tim Nelson
Assistant Professor (Research), Brown University
Verified email at cs.brown.edu - Homepage
Title
Cited by
Cited by
Year
The Margrave Tool for Firewall Analysis.
T Nelson, C Barratt, DJ Dougherty, K Fisler, S Krishnamurthi
LISA, 1-18, 2010
1572010
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 …, 2014
1502014
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
592013
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
482013
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
252015
Simon: Scriptable Interactive Monitoring for SDNs
T Nelson, D Yu, Y Li, R Fonseca, S Krishnamurthi
Symposium on SDN Research, 2015
232015
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
182017
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
142012
Static differential program analysis for software-defined networks
T Nelson, AD Ferguson, S Krishnamurthi
International Symposium on Formal Methods, 395-413, 2015
132015
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
122017
On the finite model property in order-sorted logic
T Nelson, DJ Dougherty, K Fisler, S Krishnamurthi
Tech. rep., Worcester Polytechnic Institute, 2010
82010
Geometric logic for policy analysis
S Saghafi, T Nelson, DJ Dougherty
International Workshop on Automated Reasoning in Security and Software …, 2013
62013
First-Order Models for Configuration Analysis
T Nelson
Worcester Polytechnic Institute, 2013
62013
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
42016
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
32019
Margrave: An improved analyzer for access-control and configuration policies
T Nelson
Worcester Polytechnic Institute, 2010
32010
The Human in Formal Methods
S Krishnamurthi, T Nelson
International Symposium on Formal Methods, 3-10, 2019
22019
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
12019
CompoSAT: specification-guided coverage for model finding
S Porncharoenwase, T Nelson, S Krishnamurthi
International Symposium on Formal Methods, 568-587, 2018
12018
Compiling Stateful Network Properties for Runtime Verification
T Nelson, N DeMarinis, TA Hoff, R Fonseca, S Krishnamurthi
arXiv preprint arXiv:1607.03385, 2016
12016
The system can't perform the operation now. Try again later.
Articles 1–20