BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Nelson:Tim

Contributed to:

FM 20152015
ESEC/FSE 20172017

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.