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
Self-Adaptation
biblio
Towards Explainable Multi-Objective Probabilistic Planning
Submitted by Jamie Presken on Tue, 07/03/2018 - 10:42am
explainable software
probabilistic planning
Self-Adaptation
Human Behavior
Metrics
Resilient Architectures
CMU
Model-Based Explanation For Human-in-the-Loop Security
2018: July
file
Schmerl_Raindroid_DG.pdf
Submitted by Jamie Presken on Tue, 12/06/2016 - 1:07pm
Apr'16
CMU
security
Self-Adaptation
Software Architecture
file
Camara_Evaluating_Trade_Offs_DG.pdf
Submitted by Jamie Presken on Tue, 12/06/2016 - 11:23am
Adaptive Autonomy
Apr'16
CMU
human-in-the-loop
Self-Adaptation
Trade-Offs
biblio
Evaluating Trade-offs of Human Involvement in Self-adaptive Systems
Submitted by Jamie Presken on Tue, 12/06/2016 - 11:23am
Adaptive Autonomy
Apr'16
CMU
human-in-the-loop
Self-Adaptation
Trade-Offs
CMU
Apr'16
file
Yuan_Automated_Mining.pdf
Submitted by Jamie Presken on Mon, 12/05/2016 - 12: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 - 12: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
Schmerl_Arch_Based_SElf_Protection_DG.pdf
Submitted by Jamie Presken on Mon, 12/05/2016 - 11:54am
CMU
Denial-of-Service
July'14
Probabilistic Model Checking
Self-Adaptation
biblio
Architecture-Based Self-Protection: Composing and Reasoning about Denial-of-Service Mitigations
Submitted by Jamie Presken on Mon, 12/05/2016 - 11:54am
CMU
Denial-of-Service
July'14
Probabilistic Model Checking
Self-Adaptation
CMU
July'14
biblio
Raindroid - A System for Run-time Mitigation of Android Intent Vulnerabilities
Submitted by Jamie Presken on Mon, 04/25/2016 - 10:59am
Apr'16
CMU
security
Self-Adaptation
Software Architecture
CMU
Apr'16
biblio
Architecture-based Self-protection: Composing and Reasoning About Denial-of-service Mitigations
Submitted by David Garlan on Wed, 09/17/2014 - 5:30pm
Architectures
Architectures
Modeling
Science of Security
Validation and Verification
CPS Technologies
Foundations
Hardware Security Implementation
validation and verification
Self-Adaptation
Security in Hardware
Science of Security
Probabilistic Model Checking
modeling
Logic and Verification
Hardware-Based Security Protocols
ACM CCS
foundations
Formal Security Models
Formal Methods and Theory of Security
Denial-of-Service
cyber security
CPS Technologies
Architectures
ACM CCS
Hardware-Based Security Protocols
Cyber Security
Formal Security Models
Formal Methods and Theory of Security
Logic and Verification
Hardware Security Implementation
Security in Hardware
« first
‹ previous
1
2
3
next ›
last »
