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
biblio
Diagnosing Unobserved Components in Self-Adaptive Systems
Submitted by Jamie Presken on Mon, 12/05/2016 - 2:10pm
CMU
July'14
Self-adaptive systems; Diagnostics; Monitoring
CMU
July'14
biblio
Diagnosing architectural run-time failures
Submitted by Jamie Presken on Mon, 12/05/2016 - 1:15pm
CMU
CMU
file
Casanova_Diagosing_Arch_Run_Time_DG.pdf
Submitted by Jamie Presken on Mon, 12/05/2016 - 1:15pm
CMU
biblio
Comparative Evaluation of Static Analyses that Find Security Vulnerabilities
Submitted by Jamie Presken on Mon, 12/05/2016 - 1:10pm
CMU
comparative evaluation
July'14
security vulnerabilities
static analysis
CMU
July'14
file
Vanciu_Comparative_Evaluation.pdf
Submitted by Jamie Presken on Mon, 12/05/2016 - 1:10pm
CMU
comparative evaluation
July'14
security vulnerabilities
static analysis
file
Yuan_Automated_Mining.pdf
Submitted by Jamie Presken on Mon, 12/05/2016 - 1:05pm
CMU
Component-Based Software
Data mining
July'14
Science of Secure Frameworks
Secure Composition of Systems and Policies
Self-Adaptation
biblio
Automated Mining of Software Component Interactions for Self-Adaptation
Submitted by Jamie Presken on Mon, 12/05/2016 - 1:05pm
CMU
Component-Based Software
Data mining
July'14
Science of Secure Frameworks
Secure Composition of Systems and Policies
Self-Adaptation
CMU
Science of Secure Frameworks
Secure Composition of Systems and Policies
July'14
file
Abi-Antoun_Are_Object_Graphs_Extracted.pdf
Submitted by Jamie Presken on Mon, 12/05/2016 - 12:59pm
CMU
Oct'14
biblio
Are Object Graphs Extracted Using Abstract Interpretation Significantly Different from the Code?
Submitted by Jamie Presken on Mon, 12/05/2016 - 12:59pm
CMU
Oct'14
CMU
Oct'14
biblio
Architecture-Based Self-Protection: Composing and Reasoning about Denial-of-Service Mitigations
Submitted by Jamie Presken on Mon, 12/05/2016 - 12:54pm
CMU
Denial-of-Service
July'14
Probabilistic Model Checking
Self-Adaptation
CMU
July'14
« first
‹ previous
…
20
21
22
23
24
25
26
27
28
…
next ›
last »
