Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Home
Archive
Registration
Program
Call for Presentations
Committee
Venue
Past Events
Submit
Files
CPS-VO
»
High Confidence Software and Systems Conference Series
» CYBER-PHYSICAL SYSTEMS (HCSS'11)
Cyber-Physical Systems (HCSS'11)
file
Time for High-Confidence Software Systems
Submitted by Edward Lee on Thu, 05/26/2011 - 8:29pm. Contributor:
Edward A. Lee
Presented as part of the
2011 HCSS conference
.
University of California at Berkeley
National HCSS Conference 2011
Academia
Presentation
HCSS '11
Cyber-Physical Systems (HCSS'11)
file
Making High-Confidence Systems Low-Cost
Submitted by TimTh on Sat, 05/14/2011 - 7:55pm. Contributor:
Alex Dean
Presented as part of the
2011 HCSS conference
.
Science of Security
Foundations
NC State
National HCSS Conference 2011
Academia
Presentation
HCSS '11
Cyber-Physical Systems (HCSS'11)
file
Copilot: Cyber-Physical System Run-Time Verification
Submitted by TimTh on Sat, 05/14/2011 - 7:46pm. Contributor:
Lee Pike
Presented as part of the
2011 HCSS conference
.
Galois
National HCSS Conference 2011
Industry
Presentation
HCSS '11
Cyber-Physical Systems (HCSS'11)
file
Using Symbolic Execution to Obtain Greater Automation & Flexibility for Checking Spark Software Contracts in Critical ES
Submitted by John Hatcliff on Sat, 05/14/2011 - 6:41pm. Contributors:
John Hatcliff
David Hardin
Jason Belt
Patrice Chalin
Presented as part of the
2011 HCSS conference
.
Concordia University
Kansas State University
National HCSS Conference 2011
Academia
Presentation
HCSS '11
Cyber-Physical Systems (HCSS'11)
file
Keynote Presentation: Making Sound Cyber Security Decisions Through a Quantitative Metrics Approach
Submitted by whs on Sat, 05/14/2011 - 6:26pm. Contributor:
Bill Sanders
University of Illinois at Urbana-Champaign
National HCSS Conference 2011
Academia
Presentation
HCSS '11
Cyber-Physical Systems (HCSS'11)
2011 Slide Presentations
file
Verifying Timing-Centric Software Systems
Submitted by TimTh on Sat, 05/14/2011 - 6:19pm. Contributor:
Sanjit Seshia
Presented as part of the
2011 HCSS conference
.
University of California at Berkeley
National HCSS Conference 2011
Academia
Presentation
HCSS '11
Cyber-Physical Systems (HCSS'11)
file
Applying Formal Methods to Prove Correctness of Surgical Robot Software
Submitted by TimTh on Sat, 05/14/2011 - 6:03pm. Contributors:
Yanni Kouskoulas
Peter Kazanzides
Presented as part of the
2011 HCSS conference
.
JHU-APL
Johns Hopkins University
National HCSS Conference 2011
Academia
Presentation
HCSS '11
Cyber-Physical Systems (HCSS'11)
file
Keynote Presentation: Wireless Control Networks: Modeling, Synthesis, Robustness, Security
Submitted by pappasg on Sat, 05/14/2011 - 5:58pm. Contributor:
George Pappas
Presented as part of the
2011 HCSS conference
.
University of Pennsylvania
National HCSS Conference 2011
Academia
Presentation
HCSS '11
Cyber-Physical Systems (HCSS'11)
file
The CPS Virtual Organization
Submitted by admin on Wed, 05/04/2011 - 12:18pm. Contributor:
Chris vanBuskirk
Presented as part of the
2011 HCSS conference
.
ISIS- Vanderbilt University
National HCSS Conference 2011
Academia
Presentation
HCSS '11
Cyber-Physical Systems (HCSS'11)
inbox
