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
biblio
Eliminating Inter-Domain Vulnerabilities in Cyber-Physical Systems: An Analysis Contracts Approach
Submitted by Jamie Presken on Thu, 02/11/2016 - 11:12am
CMU
Oct'15
CMU
Oct'15
biblio
Detecting Insider Threats in Software Systems using Graph Models of Behavioral Paths
Submitted by Jamie Presken on Thu, 02/11/2016 - 11:04am
CMU
July'15
CMU
July'15
biblio
SmartStealing: Analysis and Optimization of Work Stealing in Parallel Garbage Collection for Java VM.
Submitted by Jamie Presken on Wed, 02/10/2016 - 3:10pm
CMU
Oct'15
Parallel garbage collection; Work stealing
CMU
Oct'15
biblio
A Course-Based Usability Analysis of Cilk Plus and OpenMP
Submitted by Jamie Presken on Wed, 02/10/2016 - 3:05pm
CMU
July'15
CMU
July'15
biblio
Composable and Hygienic Typed Syntax Macros
Submitted by Jamie Presken on Wed, 02/10/2016 - 2:49pm
Apr'15
CMU
extensible syntax; macros; hygiene; type inference
CMU
Apr'15
biblio
Searching the State Space: A Qualitative Study of API Protocol Usability
Submitted by Jamie Presken on Wed, 02/10/2016 - 2:44pm
CMU
July'15
CMU
July'15
biblio
A Theory of Tagged Objects.
Submitted by Jamie Presken on Wed, 02/10/2016 - 2:39pm
classes
CMU
July'15
nominal and structural types
objects
tags
CMU
July'15
biblio
Delegation vs Inheritance for Typestate Analysis
Submitted by Jamie Presken on Wed, 02/10/2016 - 2:32pm
CMU
July'15
CMU
July'15
biblio
Evaluating the Flexibility of the Java Sandbox
Submitted by Jamie Presken on Wed, 02/10/2016 - 2:27pm
CMU
Jan'16
CMU
Jan'16
biblio
Discovering Security Requirements from Natural Language
Submitted by Jamie Presken on Tue, 01/13/2015 - 6:48am
Access Control
auditing
classification
CMU
constraints
July'14
natural language parsing
objectives
Requirements
security
templates
CMU
July'14
« first
‹ previous
…
26
27
28
29
30
31
32
33
34
next ›
last »