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: billy OR ella
3 results
Results
profile
Ella Atkins
file
Preventing Exploits Against Software Of Uncertain Provenance
Submitted by
Katie Dey
on Tue, 05/08/2012 - 12:01am. Contributors:
Michele Co
David Cok
Jack Davidson
Billy Ella
Denis Gopan
Jason Hiser
David Hyde
John Knight
Wenke Lee
Brian Mastropietro
David Melski
Duc Nguyen
Anh Nguyen-Tuong
John Phillips
Tom Reps
Ben Rodes
Chengyu Song
Tim Teitelbaum
Tielei Wang
David Melski,
melski@grammatech.com
, GrammaTech, Inc.
586.26 KB
0 views
161 downloads
Download
National HCSS Conference 2012
Presentation
Industry
Georgia Institute of Technology
GrammaTech
Raytheon
University of Virginia
HCSS'12 Theme: Formal Synthesis
file
Co-Regulation of Cyber Physical Systems
Submitted by
Katie Dey
on Fri, 02/25/2011 - 10:29am. Contributors:
Justin M. Bradley
Ella M. Atkin
113.1 KB
0 views
68 downloads
Download
Automotive
University of Michigan
Automotive CPS Workshop
Position Paper
Academia
2011 Automotive CPS Workshop
2011 Position Papers
Ella M. Atkin
Justin M. Bradley
Position Papers
Position Papers
Paper Submissions
Current search
[×]
billy
OR
ella
Guided search
Click a term to refine your current search.
Group
2011 Automotive CPS Workshop
(1)
2013 High Confidence Software and Systems Conference
(1)
Automotive
(1)
Automotive CPS Workshops
(1)
Topics
Automotive
(1)
Keywords
University of Michigan
(1)
Content type
File
(2)
User Profile
(1)
Document Type
Presentation
(1)
Publications
(1)
CPS Events
2011
(1)
2012
(1)
Contributor(s)
Anh Nguyen-Tuong
(1)
Ben Rodes
(1)
Billy Ella
(1)
Brian Mastropietro
(1)
Chengyu Song
(1)
David Cok
(1)
David Hyde
(1)
David Melski
(1)
Denis Gopan
(1)
Duc Nguyen
(1)
Ella M. Atkin
(1)
Jack Davidson
(1)
Jason Hiser
(1)
John Knight
(1)
John Phillips
(1)
Justin M. Bradley
(1)
Michele Co
(1)
Tielei Wang
(1)
Tim Teitelbaum
(1)
Tom Reps
(1)
more...
Document Source
Academia
(1)
Industry
(1)
Author
Ella Atkins
(1)
Katie Dey
(2)
Date authored
2011
(1)
2012
(2)
Keyword search
Search within results
More options
586.26 KB
