Skip to Main Content Area
CPS-VO
Contact Support
My Groups
Join a Group
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
2013 High Confidence Software and Systems Conference
CPS-VO
»
2013 High Confidence Software and Systems Conference
» HCSS'12 THEME: FORMAL SYNTHESIS
HCSS'12 Theme: Formal Synthesis
file
Synthesizing Architectural Models of Cyber-Physical Systems
Submitted by
Katie Dey
on Mon, 07/30/2012 - 9:42am. Contributors:
Pete Manolios
Vasilis Papavaseiliou
Abstract:
122.73 MB
0 views
50 downloads
Download
Architectures
Modeling
Northeastern University
National HCSS Conference 2012
Presentation
Academia
HCSS'12 Theme: Formal Synthesis
file
High Assurance Cyber Military Systems: A New DARPA Program
Submitted by
Katie Dey
on Tue, 05/08/2012 - 11:45am. Contributor:
Kathleen Fisher
Abstract:
1.41 MB
0 views
79 downloads
Download
National HCSS Conference 2012
Presentation
DARPA
HCSS'12 Theme: Formal Synthesis
file
Static Previrtualization
Submitted by
Katie Dey
on Tue, 05/08/2012 - 11:25am. Contributors:
Natarjan Shankar
Ashish Gehani
Abstract:
626.56 KB
0 views
104 downloads
Download
SRI International
National HCSS Conference 2012
Presentation
Professional Organization
HCSS'12 Theme: Formal Synthesis
file
Formal Synthesis of Efficient Verified Emulators
Submitted by
Katie Dey
on Tue, 05/08/2012 - 11:02am. Contributor:
Magnus Myreen
Abstract:
299 KB
0 views
71 downloads
Download
National HCSS Conference 2012
Presentation
Academia
University of Cambridge
HCSS'12 Theme: Formal Synthesis
file
Compositional Verification of Architectural Models
Submitted by
Katie Dey
on Tue, 05/08/2012 - 10:55am. Contributor:
Darren Cofer
Abstract:
1.29 MB
0 views
104 downloads
Download
National HCSS Conference 2012
Presentation
Industry
Rockwell Collins
HCSS'12 Theme: Formal Synthesis
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
162 downloads
Download
National HCSS Conference 2012
Presentation
Industry
Georgia Institute of Technology
GrammaTech
Raytheon
University of Virginia
HCSS'12 Theme: Formal Synthesis
file
High Assurance Cyber Military Systems: A New DARPA Program
Submitted by
Katie Dey
on Tue, 05/01/2012 - 10:07pm. Contributor:
Kathleen Fisher
Abstract:
1.41 MB
0 views
44 downloads
Download
National HCSS Conference 2012
Presentation
DARPA
HCSS'12 Theme: Formal Synthesis
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
Static Previrtualization
Submitted by
Katie Dey
on Tue, 05/01/2012 - 9:59pm. Contributors:
Natarajan Shankar
Ashish Gehani
Abstract:
1.41 MB
0 views
49 downloads
Download
SRI International
National HCSS Conference 2012
Presentation
Professional Organization
HCSS'12 Theme: Formal Synthesis
file
Synthesizing Architectural Models of Cyber-Physical Systems
Submitted by
Katie Dey
on Tue, 05/01/2012 - 9:53pm. Contributor:
Pete Manolios
Abstract:
1.41 MB
0 views
30 downloads
Download
Northeastern University
National HCSS Conference 2012
Presentation
Academia
HCSS'12 Theme: Formal Synthesis
1
2
next ›
last »
626.56 KB
586.26 KB
Synthesizing Architectural Models of Cyber-Physical Systems