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, Presentation, 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
[×]
Document Type
: Presentation
[×]
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
File
(2)
Document Type
:
all
» Presentation
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
