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
CMU
file
Nadi_Where_Conf_Constraints_Stem_CK.pdf
Submitted by Jamie Presken on Tue, 12/06/2016 - 8:30am
Apr'15
CMU
configuration constraints
qualitative studies
reverse-engineering
static analyses
Variability models
biblio
Domain Specific Security through Extensible Type Systems
Submitted by Jamie Presken on Mon, 12/05/2016 - 3:59pm
CMU
extensibility
security
CMU
file
Fulton_Domain_Specific_Security.pdf
Submitted by Jamie Presken on Mon, 12/05/2016 - 3:59pm
CMU
extensibility
security
file
Esfahani_Inferring_Software_Component.pdf
Submitted by Jamie Presken on Mon, 12/05/2016 - 3:55pm
CMU
Jan'16
file
Jia_Logic_of_Programs_AD.pdf
Submitted by Jamie Presken on Mon, 12/05/2016 - 3:52pm
CMU
July'15
file
Shahen_MohawkT.pdf
Submitted by Jamie Presken on Mon, 12/05/2016 - 3:49pm
CMU
July'15
file
Ruchkin_Eliminating_Inter_Domain_Vulnerabilities_DG.pdf
Submitted by Jamie Presken on Mon, 12/05/2016 - 3:46pm
CMU
Cyber-physical systems; analysis contracts; sensor; control
Jan'16
file
Lamba_Detecting_Insider_Threats_DG.pdf
Submitted by Jamie Presken on Mon, 12/05/2016 - 3:43pm
CMU
July'15
biblio
A Framework to Measure Experts' Decision Making in Security Requirements Analysis
Submitted by Jamie Presken on Mon, 12/05/2016 - 3:39pm
CMU
decision-making
July'14
Patterns
requirements analysis
security
Situation Awareness
CMU
July'14
file
Hibshi_Framework_TB.pdf
Submitted by Jamie Presken on Mon, 12/05/2016 - 3:39pm
CMU
decision-making
July'14
Patterns
requirements analysis
security
Situation Awareness
« first
‹ previous
…
17
18
19
20
21
22
23
24
25
…
next ›
last »