CMU

biblio

Visible to the public Proactive Self-Adaptation under Uncertainty: a Probabilistic Model Checking Approach

Submitted by Jamie Presken on Mon, 02/15/2016 - 12:44pm
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 An Architecture Style for Android Security Analysis

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

Visible to the public Analysis of Android Inter-App Security Vulnerabilities Using COVERT

Submitted by Jamie Presken on Mon, 02/15/2016 - 11:55am
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 Analyzing Resilience Properties of Different Topologies of Collective Adaptive Systems

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