Travelled to:1 × Norway
Collaborated with:S.Krishnamurthi A.D.Ferguson N.Danas D.J.Dougherty
Talks about:whi (2) differenti (1) scenario (1) softwar (1) program (1) network (1) analysi (1) static (1) proven (1) explor (1)
Person: Tim Nelson
DBLP: Nelson:Tim
Contributed to:
2015
2017Wrote 2 papers:
- FM-2015-NelsonFK #difference #network #program analysis
- Static Differential Program Analysis for Software-Defined Networks (TN, ADF, SK), pp. 395–413.
- ESEC-FSE-2017-NelsonDDK #power of #why
- The power of “why” and “why not”: enriching scenario exploration with provenance (TN, ND, DJD, SK), pp. 106–116.