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
Hunsen_PRe_Based_Variability_CK.pdf
Submitted by Jamie Presken on Mon, 12/05/2016 - 11:18am
Apr'15
C preprocessor · cppstats · variability · configurable systems · open-source systems · industrial systems · software product lines
CMU
biblio
Preprocessor-based variability in open-source and industrial software systems: An empirical study
Submitted by Jamie Presken on Mon, 12/05/2016 - 11:18am
Apr'15
C preprocessor · cppstats · variability · configurable systems · open-source systems · industrial systems · software product lines
CMU
CMU
Apr'15
biblio
Mining the Categorized Software Repositories to Improve the Analysis of Security Vulnerabilities
Submitted by Jamie Presken on Mon, 12/05/2016 - 11:10am
CMU
July'14
Security VulnerabilityMining Software RepositoriesSoftware Analysis
CMU
July'14
file
Sadeghi_Mining_Categorized_Software.pdf
Submitted by Jamie Presken on Mon, 12/05/2016 - 11:10am
CMU
July'14
Security VulnerabilityMining Software RepositoriesSoftware Analysis
file
Gennari_Measuring_Attack_Surface_DG.pdf
Submitted by Jamie Presken on Mon, 12/05/2016 - 10:50am
attack surface
CMU
formal models
security
Software Architecture
Software Security Metrics
biblio
Measuring Attack Surface in Software Architecture
Submitted by Jamie Presken on Mon, 12/05/2016 - 10:50am
attack surface
CMU
formal models
security
Software Architecture
Software Security Metrics
CMU
biblio
Logic-Based Domain-Aware Session Types
Submitted by Jamie Presken on Mon, 12/05/2016 - 10:46am
CMU
CMU
file
Caires_Logic_Based_Domain_FP.pdf
Submitted by Jamie Presken on Mon, 12/05/2016 - 10:46am
CMU
file
Griffith_LiquidPI.pdf
Submitted by Jamie Presken on Mon, 12/05/2016 - 10:39am
CMU
biblio
LiquidPi: Inferrable Dependent Session Types
Submitted by Jamie Presken on Mon, 12/05/2016 - 10:39am
CMU
CMU
« first
‹ previous
…
22
23
24
25
26
27
28
29
30
…
next ›
last »
