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
Schmerl_Arch_Based_SElf_Protection_DG.pdf
Submitted by Jamie Presken on Mon, 12/05/2016 - 12:54pm
CMU
Denial-of-Service
July'14
Probabilistic Model Checking
Self-Adaptation
file
Yuan_Arch_Based_Self_Protecting_DG.pdf
Submitted by Jamie Presken on Mon, 12/05/2016 - 12:48pm
CMU
Self-Protection; Software Architecture; Software Security
biblio
Architecture Based Self-Protecting Software Systems
Submitted by Jamie Presken on Mon, 12/05/2016 - 12:48pm
CMU
Self-Protection; Software Architecture; Software Security
CMU
file
Yuan_Systematic_Survey.pdf
Submitted by Jamie Presken on Mon, 12/05/2016 - 12:43pm
adaptive security
Algorithms
Autonomic computing
CMU
design
July'14
Reliability
security
self-* properties
self-adaptive systems
Self-protection
biblio
A Systematic Survey of Self-Protecting Software Systems
Submitted by Jamie Presken on Mon, 12/05/2016 - 12:43pm
adaptive security
Algorithms
Autonomic computing
CMU
design
July'14
Reliability
security
self-* properties
self-adaptive systems
Self-protection
CMU
July'14
file
Shen_Sequence_Diagram_TB.pdf
Submitted by Jamie Presken on Mon, 12/05/2016 - 12:36pm
CMU
formal verification
HIPAA
July'16
Privacy Policy
sequence diagram
Temporal Logic
biblio
Sequence Diagram Aided Privacy Policy Specification
Submitted by Jamie Presken on Mon, 12/05/2016 - 12:36pm
CMU
formal verification
HIPAA
July'16
Privacy Policy
sequence diagram
Temporal Logic
CMU
July'16
biblio
Scalable Dynamic Partial Order Reduction
Submitted by Jamie Presken on Mon, 12/05/2016 - 12:31pm
CMU
CMU
file
Simsa_Scalable_Dynamic_GG.pdf
Submitted by Jamie Presken on Mon, 12/05/2016 - 12:31pm
CMU
biblio
Rely-Guarantee Protocols
Submitted by Jamie Presken on Mon, 12/05/2016 - 12:24pm
CMU
Oct'14
CMU
Oct'14
« first
‹ previous
…
21
22
23
24
25
26
27
28
29
…
next ›
last »
