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_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
Maass_Theory_and_Tools_Thesis_DG.pdf
Submitted by Jamie Presken on Tue, 12/06/2016 - 11:13am
Apr'16
CMU
Java sandbox
sandboxing
software engineering
software protection
supply chain security
biblio
Inter-app Communication in Android: Developer Challenges
Submitted by Jamie Presken on Tue, 12/06/2016 - 11:08am
CMU
July'16
CMU
July'16
file
Ahmad_Inter_App_Comms_DG.pdf
Submitted by Jamie Presken on Tue, 12/06/2016 - 11:08am
CMU
July'16
file
Bagheri_Practical_Formal_Synthesis_DG.pdf
Submitted by Jamie Presken on Tue, 12/06/2016 - 11:00am
CMU
July'16
biblio
Practical, Formal Synthesis and Automatic Enforcement of Security Policies for Android
Submitted by Jamie Presken on Tue, 12/06/2016 - 11:00am
CMU
July'16
CMU
July'16
file
Schmerl_Arch_Modeling_DG.pdf
Submitted by Jamie Presken on Tue, 12/06/2016 - 10:52am
CMU
Jan'17
biblio
Architecture Modeling and Analysis of Security in Android Systems
Submitted by Jamie Presken on Tue, 12/06/2016 - 10:50am
CMU
Jan'17
CMU
Jan'17
file
Bagheri_Titanium_DG.pdf
Submitted by Jamie Presken on Tue, 12/06/2016 - 10:42am
CMU
Evolving Software
formal verification
Jan'17
Oct'16
Partial Models
Relational Logic
« first
‹ previous
…
13
14
15
16
17
18
19
20
21
…
next ›
last »