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
Kestrel Institute
file
Axe: An Automated Formal Equivalence Checking Tool for Programs
Submitted by
Katie Dey
on Tue, 05/08/2012 - 10:01pm. Contributor:
Eric Smith
Abstract:
388.24 KB
0 views
95 downloads
Download
Kestrel Institute
National HCSS Conference 2012
Presentation
HCSS'12 Theme: Compositional Reasoning
file
Synthesis of Concurrent Garbage Collectors
Submitted by
Katie Dey
on Tue, 05/01/2012 - 10:04pm. Contributors:
Douglas Smith
Cordell Green
Christoph Kreitz
Eric Smith
Stephen Westfold
Abstract:
848.87 KB
0 views
97 downloads
Download
Kestrel Institute
National HCSS Conference 2012
Presentation
Industry
HCSS'12 Theme: Formal Synthesis
file
VIBRANCE: Automatic Removal of Security Vulnerabilities from Java Applications
Submitted by
Katie Dey
on Tue, 05/01/2012 - 9:41pm. Contributor:
Alessandro Coglio
Abstract:
738.55 KB
0 views
154 downloads
Download
Kestrel Institute
National HCSS Conference 2012
Poster
Industry
HCSS'12 Theme: Formal Synthesis
file
Network Vulnerability Analysis, A Formal Approach
Submitted by
adyson
on Mon, 02/13/2012 - 5:38pm. Contributors:
James McDonald
John Anton
269.2 KB
0 views
98 downloads
Download
Kestrel Institute
Conference paper
Research Organization
James McDonald
HCSS '01
file
An Approach to Software Vulnerability Analysis (SVA)
Submitted by
adyson
on Mon, 02/13/2012 - 5:34pm. Contributor:
James McDonald
256.04 KB
0 views
103 downloads
Download
Kestrel Institute
Presentation
Research Organization
James McDonald
HCSS '01
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
file
System Synthesis: Towards a new paradigm and discipline for knowledge, software, and system development and maintenance
Submitted by
adyson
on Thu, 02/09/2012 - 4:07pm. Contributor:
John Anton
134.99 KB
0 views
64 downloads
Download
Kestrel Institute
Conference paper
Research Organization
HCSS '01
file
Specware - Producing Software Correct by Construction
Submitted by
adyson
on Thu, 02/09/2012 - 3:59pm. Contributor:
John Anton
518.46 KB
0 views
58 downloads
Download
Kestrel Institute
Conference paper
Research Organization
HCSS '01
1
2
next ›
last »
