July'15

file

Visible to the public Ferreira_Characterizing_Con_Complexity_CK.pdf

Submitted by Jamie Presken on Mon, 12/05/2016 - 3:32pm
biblio

Visible to the public Extracting configuration knowledge from build files with symbolic analysis

Submitted by Jamie Presken on Mon, 02/15/2016 - 3:26pm
biblio

Visible to the public Reasoning about Human Participation in Self-Adaptive Systems

Submitted by Jamie Presken on Mon, 02/15/2016 - 12:06pm
biblio

Visible to the public A Logic of Programs with Interface-Confined Code

Submitted by Jamie Presken on Thu, 02/11/2016 - 1:05pm
biblio

Visible to the public Detecting Insider Threats in Software Systems using Graph Models of Behavioral Paths

Submitted by Jamie Presken on Thu, 02/11/2016 - 12:04pm