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'11 THEME: CYBER-PHYSICAL SYSTEMS
HCSS'11 Theme: Cyber-Physical Systems
file
Time for High-Confidence Software Systems
Submitted by
Katie Dey
on Thu, 05/26/2011 - 8:29pm. Contributor:
Edward A. Lee
8.82 MB
0 views
142 downloads
Download
University of California at Berkeley
National HCSS Conference 2011
Presentation
Academia
2011 Slide Presentations
HCSS '11
HCSS'11 Theme: Cyber-Physical Systems
file
Making High-Confidence Systems Low-Cost
Submitted by
Katie Dey
on Sat, 05/14/2011 - 7:55pm. Contributor:
Alex Dean
13.31 MB
0 views
109 downloads
Download
NC State
National HCSS Conference 2011
Presentation
Academia
2011 Slide Presentations
HCSS '11
HCSS'11 Theme: Cyber-Physical Systems
Science of Security
file
Copilot: Cyber-Physical System Run-Time Verification
Submitted by
Katie Dey
on Sat, 05/14/2011 - 7:46pm. Contributor:
Lee Pike
1.55 MB
0 views
77 downloads
Download
Galois
National HCSS Conference 2011
Presentation
Industry
2011 Slide Presentations
HCSS '11
HCSS'11 Theme: Cyber-Physical Systems
file
Using Symbolic Execution to Obtain Greater Automation & Flexibility for Checking Spark Software Contracts in Critical ES
Submitted by
Katie Dey
on Sat, 05/14/2011 - 6:41pm. Contributors:
John Hatcliff
David Hardin
Jason Belt
Patrice Chalin
11.32 MB
0 views
89 downloads
Download
Kansas State University
Concordia University
National HCSS Conference 2011
Presentation
Academia
2011 Slide Presentations
HCSS '11
HCSS'11 Theme: Cyber-Physical Systems
file
Keynote Presentation: Making Sound Cyber Security Decisions Through a Quantitative Metrics Approach
Submitted by
Katie Dey
on Sat, 05/14/2011 - 6:26pm. Contributor:
Bill Sanders
13.86 MB
0 views
121 downloads
Download
University of Illinois at Urbana-Champaign
National HCSS Conference 2011
Presentation
Academia
2011 Slide Presentations
HCSS '11
HCSS'11 Theme: Cyber-Physical Systems
file
Verifying Timing-Centric Software Systems
Submitted by
Katie Dey
on Sat, 05/14/2011 - 6:19pm. Contributor:
Sanjit Seshia
544.06 KB
0 views
55 downloads
Download
University of California at Berkeley
National HCSS Conference 2011
Presentation
Academia
2011 Slide Presentations
HCSS '11
HCSS'11 Theme: Cyber-Physical Systems
file
Applying Formal Methods to Prove Correctness of Surgical Robot Software
Submitted by
Katie Dey
on Sat, 05/14/2011 - 6:03pm. Contributors:
Yanni Kouskoulas
Peter Kazanzides
2.5 MB
0 views
74 downloads
Download
Johns Hopkins University
JHU-APL
National HCSS Conference 2011
Presentation
Academia
2011 Slide Presentations
HCSS '11
HCSS'11 Theme: Cyber-Physical Systems
file
Keynote Presentation: Wireless Control Networks: Modeling, Synthesis, Robustness, Security
Submitted by
Katie Dey
on Sat, 05/14/2011 - 5:58pm. Contributor:
George Pappas
9.73 MB
0 views
54 downloads
Download
University of Pennsylvania
National HCSS Conference 2011
Presentation
Academia
2011 Slide Presentations
HCSS '11
HCSS'11 Theme: Cyber-Physical Systems
file
The CPS Virtual Organization
Submitted by
admin
on Wed, 05/04/2011 - 12:18pm. Contributor:
Chris vanBuskirk
13.65 MB
0 views
96 downloads
Download
ISIS- Vanderbilt University
National HCSS Conference 2011
Presentation
Academia
2011 Slide Presentations
HCSS '11
HCSS'11 Theme: Cyber-Physical Systems
inbox
Time for High-Confidence Software Systems