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
My Groups
Join a Group
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Fostering collaboration among CPS professionals in academia, government, and industry
CPS-VO
Taxonomic Search: jason OR hiser, File, Jason Franklin
2 results
Results
file
Parametric Verification of Address Space Separation
Submitted by
Katie Dey
on Thu, 05/26/2011 - 7:44pm. Contributor:
Jason Franklin
438.3 KB
0 views
83 downloads
Download
Carnegie Mellon University
National HCSS Conference 2011
Presentation
Academia
2011 Slide Presentations
HCSS '11
HCSS'11 Theme: Evidence
file
Software Model Checking Secure Systems
Submitted by
Katie Dey
on Tue, 05/08/2012 - 10:43pm. Contributors:
Limin Jia
Sagar Chaki
Anupam Datta
Jonathan M. McCune
Amit Vasudevan
Jason Franklin
Abstract:
704.99 KB
0 views
71 downloads
Download
Carnegie Mellon University
National HCSS Conference 2012
Presentation
Academia
HCSS'12 Theme: Compositional Reasoning
Current search
[×]
jason
OR
hiser
[×]
Content type
: File
[×]
Contributor(s)
: Jason Franklin
Guided search
Click a term to refine your current search.
Group
2013 High Confidence Software and Systems Conference
(2)
2011 HCSS Conference Program Committee
(1)
Keywords
Carnegie Mellon University
(2)
Content type
:
all
» File
Document Type
Presentation
(2)
CPS Events
2011
(1)
2012
(1)
Contributor(s)
:
all
» Jason Franklin
Document Source
Academia
(2)
Author
Katie Dey
(2)
Date authored
2011
(1)
2012
(1)
Keyword search
Search within results
More options
