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_Explain_Arch_Design_Garlan.pdf
Submitted by Jamie Presken on Mon, 01/30/2023 - 7:07pm
2021: October
CMU
dimensionality reduction
Tradeoff analysis
uncertainty
biblio
Explaining Architectural Design Tradeoff Spaces: a Machine Learning Approach
Submitted by Jamie Presken on Wed, 01/12/2022 - 2:45pm
2021: October
CMU
dimensionality reduction
Tradeoff analysis
uncertainty
CMU
2021: October
biblio
Constrained Gradient Descent: A Powerful and Principled Evasion Attack Against Neural Networks
Submitted by Jamie Presken on Wed, 01/12/2022 - 1:52pm
2021: January
CMU
CMU
2022: January
file
Lin_Constrained_Grad_Descent_Bauer.pdf
Submitted by Jamie Presken on Wed, 01/12/2022 - 1:52pm
2021: January
CMU
biblio
Tradeoff-Focused Contrastive Explanation for MDP Planning
Submitted by Jamie Presken on Tue, 03/09/2021 - 4:22pm
2020: October
CMU
Model-Based Explanation For Human-in-the-Loop Security
CMU
Model-Based Explanation For Human-in-the-Loop Security
2020: October
file
Sukkerd_Trade_Off_Focus_Garlan.pdf
Submitted by Jamie Presken on Tue, 03/09/2021 - 4:22pm
2020: October
CMU
Model-Based Explanation For Human-in-the-Loop Security
Model-Based Explanation For Human-in-the-Loop Security
file
Coblenz_User_Centered_Design_-_Thesis_Aldrich.pdf
Submitted by Jamie Presken on Tue, 03/09/2021 - 3:45pm
2020: October
blockchain
CMU
Empirical studies of programmers
Immutability
Obsidian Language for Blockchain
smart contract languages
usability of programming languages
user-centered programming language design
Obsidian Language for Blockchain
biblio
User-Centered Design of Principled Programming Languages
Submitted by Jamie Presken on Tue, 03/09/2021 - 3:41pm
2020: October
blockchain
CMU
Empirical studies of programmers
Immutability
Obsidian Language for Blockchain
smart contract languages
usability of programming languages
user-centered programming language design
CMU
Obsidian Language for Blockchain
2020: October
file
Kinneer_Model_Observability_Garlan.pdf
Submitted by Jamie Presken on Tue, 03/10/2020 - 9:00am
2020: January
CMU
Metrics
Resilient Architectures
Model-Based Explanation For Human-in-the-Loop Security
biblio
Modeling Observability in Adaptive Systems to Defend Against Advanced Persistent Threats
Submitted by Jamie Presken on Tue, 03/10/2020 - 9:00am
2020: January
CMU
Metrics
Resilient Architectures
Human Behavior
Metrics
Resilient Architectures
CMU
Model-Based Explanation For Human-in-the-Loop Security
2020: January
1
2
3
4
5
6
7
8
9
…
next ›
last »