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: alessandro OR coglio, Research Organization
3 results
Results
file
A Formal Specification of Java - Class Loading
Submitted by
adyson
on Mon, 02/13/2012 - 5:29pm. Contributors:
Zhenyu Qian
Allen Goldberg
Alessandro Coglio
180.35 KB
0 views
62 downloads
Download
Kestrel Institute
Conference paper
Research Organization
Alessandro Coglio
HCSS '01
file
Toward a Provably-Correct Implementation of the JVM Bytecode Verifier
Submitted by
adyson
on Mon, 02/13/2012 - 5:25pm. Contributors:
Alessandro Coglio
Allen Goldberg
Zhenyu Qian
194.12 KB
0 views
86 downloads
Download
Kestrel Institute
Conference paper
Research Organization
Alessandro Coglio
HCSS '01
file
High Assurance Java Virtual Machine
Submitted by
adyson
on Mon, 02/13/2012 - 5:15pm. Contributor:
Alessandro Coglio
290.9 KB
0 views
242 downloads
Download
Kestrel Institute
Presentation
Research Organization
Alessandro Coglio
HCSS '01
Current search
[×]
alessandro
OR
coglio
[×]
Document Source
: Research Organization
Guided search
Click a term to refine your current search.
Group
2013 High Confidence Software and Systems Conference
(3)
Keywords
Kestrel Institute
(3)
Content type
File
(3)
Document Type
Presentation
(1)
Publications
(2)
Contributor(s)
Alessandro Coglio
(3)
Allen Goldberg
(2)
Zhenyu Qian
(2)
Document Source
:
all
» Research Organization
Author
adyson
(3)
Date authored
2012
(3)
Keyword search
Search within results
More options
