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
Camara_Impact_Models_DG.pdf
Submitted by Jamie Presken on Mon, 12/05/2016 - 10:03am
CMU
Oct'14
biblio
Impact Models for Architecture-Based Self-Adaptive Systems
Submitted by Jamie Presken on Mon, 12/05/2016 - 10:03am
CMU
Oct'14
CMU
Oct'14
file
Toninho_Higher_Order_Processes_FP.pdf
Submitted by Jamie Presken on Mon, 12/05/2016 - 9:57am
CMU
biblio
Higher-Order Processes, Functions, and Sessions: A monadic integration
Submitted by Jamie Presken on Mon, 12/05/2016 - 9:57am
CMU
CMU
file
Mezzour_Global_Mapping_KC.pdf
Submitted by Jamie Presken on Mon, 12/05/2016 - 9:50am
anti-virus
CMU
cyber security
empirical study
Intrusion Detection
socio-technical factors
biblio
Global Mapping of Cyber Attacks
Submitted by Jamie Presken on Mon, 12/05/2016 - 9:50am
anti-virus
CMU
cyber security
empirical study
Intrusion Detection
socio-technical factors
CMU
file
Vanciu_Extracting_Dataflow.pdf
Submitted by Jamie Presken on Mon, 12/05/2016 - 9:42am
architectural extraction
CMU
domainsensitivity
hierarchical object graphs
ownership types
static analysis
biblio
Extracting Dataflow Objects and other Flow Objects
Submitted by Jamie Presken on Mon, 12/05/2016 - 9:42am
architectural extraction
CMU
domainsensitivity
hierarchical object graphs
ownership types
static analysis
CMU
file
Simsa_Efficient_Exploratory_Test_GG.pdf
Submitted by Jamie Presken on Mon, 12/05/2016 - 9:36am
CMU
Exploratory Testing
parallel processing
State Space Exploration
State Space Reduction
State Space Size Estimation
biblio
Efficient Exploratory Testing of Concurrent Systems
Submitted by Jamie Presken on Mon, 12/05/2016 - 9:36am
CMU
Exploratory Testing
parallel processing
State Space Exploration
State Space Reduction
State Space Size Estimation
CMU
« first
‹ previous
…
24
25
26
27
28
29
30
31
32
…
next ›
last »