July'15

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
biblio

Visible to the public A Course-Based Usability Analysis of Cilk Plus and OpenMP

Submitted by Jamie Presken on Wed, 02/10/2016 - 4:05pm