Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
Jan'17
file
Aldrich_Nat_Embed_DSLs_JA.pdf
Submitted by Jamie Presken on Tue, 08/01/2017 - 12:12pm
CMU
Jan'17
biblio
Naturally Embedded DSLs
Submitted by Jamie Presken on Tue, 01/10/2017 - 7:55am
CMU
Jan'17
CMU
Jan'17
file
Wang_Capability_Safe_Reflection_DG.pdf
Submitted by Jamie Presken on Mon, 01/09/2017 - 10:14am
capability safety
CMU
Jan'17
mirrors
reflection
Wyvern
biblio
Capability Safe Reflection for the Wyvern Language
Submitted by Jamie Presken on Mon, 01/09/2017 - 10:09am
capability safety
CMU
Jan'17
mirrors
reflection
Wyvern
CMU
Jan'17
file
Sadeghi_Taxonomy_Qual_Comparison_DG.pdf
Submitted by Jamie Presken on Mon, 01/09/2017 - 10:05am
Android platform
CMU
Jan'17
program analysis
security assessment
Taxonomy and Survey
biblio
A Taxonomy and Qualitative Comparison of Program Analysis Techniques for Security Assessment of Android Software
Submitted by Jamie Presken on Mon, 01/09/2017 - 10:03am
Android platform
CMU
Jan'17
program analysis
security assessment
Taxonomy and Survey
CMU
Jan'17
file
Al-Kofahi_Escaping_Auto_Hell_CK.pdf
Submitted by Jamie Presken on Mon, 01/09/2017 - 7:19am
Build system; Autotools; Autoconf; Build analysis
CMU
Jan'17
biblio
Escaping AutoHell: a vision for automated analysis and migration of autotools build systems
Submitted by Jamie Presken on Mon, 01/09/2017 - 7:19am
Build system; Autotools; Autoconf; Build analysis
CMU
Jan'17
CMU
Jan'17
biblio
Understanding Sharing Policies in Multiparty Scenarios: Incorporating Context, Preferences, and Arguments into Decision Making
Submitted by mpsingh on Mon, 01/09/2017 - 3:47am
Formal Specification and Analysis of Security-Critical Norms and Policies
Human behavior
Jan'17
NCSU
Oct'16
Support, and Other Projects
Formal Specification and Analysis of Security-Critical Norms and Policies
file
Sun_SigPID_Ja.pdf
Submitted by Jamie Presken on Thu, 12/08/2016 - 9:07am
CMU
Jan'17
1
2
3
4
next ›
last »