Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
SoS Lablet Reports
CPS-VO
»
SoS Archives
»
SoS Lablet Reports
» OCT'14
Oct'14
biblio
Managing security requirements patterns using feature diagram hierarchies
Submitted by Jamie Presken on Wed, 12/07/2016 - 1:58pm
CMU
Oct'14
CMU
Oct'14
biblio
Safely Composable Type-Specific Languages
Submitted by Jamie Presken on Wed, 12/07/2016 - 10:25am
bidirectional typechecking
CMU
extensible languages
hygiene
Oct'14
parsing
CMU
Oct'14
biblio
Are Object Graphs Extracted Using Abstract Interpretation Significantly Different from the Code?
Submitted by Jamie Presken on Mon, 12/05/2016 - 11:59am
CMU
Oct'14
CMU
Oct'14
biblio
Rely-Guarantee Protocols
Submitted by Jamie Presken on Mon, 12/05/2016 - 11:24am
CMU
Oct'14
CMU
Oct'14
biblio
Language-Based Architectural Control
Submitted by Jamie Presken on Mon, 12/05/2016 - 10:19am
CMU
Oct'14
software architecture; architectural control; distributed systems; capabilities; layered architectures; alias control; domain specific languages
CMU
Oct'14
biblio
Impact Models for Architecture-Based Self-Adaptive Systems
Submitted by Jamie Presken on Mon, 12/05/2016 - 10:03am
CMU
Oct'14
CMU
Oct'14
biblio
Are Object Graphs Extracted Using Abstract Interpretation Significantly Different from the Code? Extended Version
Submitted by Jamie Presken on Mon, 12/05/2016 - 9:17am
CMU
corpus analysis; object-oriented metrics; points-to analysis; heap abstractions
Oct'14
CMU
Oct'14
biblio
Security Behavior Observatory: Infrastructure for Long-term Monitoring of Client Machines
Submitted by Jamie Presken on Tue, 01/13/2015 - 7:15am
Scalability and Composability
CMU
CMU PROJECTS: (select all that apply)
Oct'14
biblio
A Framework to Measure Experts’ Decision Making in Security Requirements Analysis
Submitted by Jamie Presken on Tue, 01/13/2015 - 6:37am
CMU
Oct'14
Scalability and Composability
Security decision-making patterns requirements analysis situation awareness
Scalability and Composability
CMU
CMU PROJECTS: (select all that apply)
Oct'14
biblio
Some Vulnerabilities Are Different Than Others: Studying Vulnerabilities and Attack Surfaces in the Wild
Submitted by tdumitra on Fri, 01/09/2015 - 8:43pm
Empirical Models for Vulnerability Exploits
Metrics
Oct'14
UMD
Metrics
UMD
Empirical Models for Vulnerability Exploits
UMD PROJECTS:
Oct'14
Empirical Models for Vulnerability Exploits
1
2
3
4
5
next ›
last »