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
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
»
2016
High Confidence Software and Systems Conference 2016
file
Measuring Protocol Strength with Security Goals
Submitted by akarns on Tue, 01/26/2016 - 3:52pm. Contributors:
Paul Rowe
Joshua D. Guttman
Moses Liskov
Presented as part of the
2016 HCSS conference
.
Cryptographic Protocols
Measuring Security
Metrics
High Confidence Software and Systems Conference 2016
Presentation
HCSS 2016
file
The Science of Deep Specification
Submitted by akarns on Tue, 01/26/2016 - 3:52pm. Contributor:
Benjamin Pierce
Presented as part of the
2016 HCSS conference
.
ABSTRACT
High Confidence Software and Systems Conference 2016
Academia
Presentation
HCSS 2016
file
Formal Verification of C Programs with Floating-Point Computations: Certified Error Bounds for Signal Processing
Submitted by akarns on Tue, 01/26/2016 - 3:52pm. Contributor:
Tahina Ramananandro
Presented as part of the
2016 HCSS conference
.
C
Coq
error bounds
floating-point
Radar
High Confidence Software and Systems Conference 2016
Presentation
HCSS 2016
file
Automatic Software Verification for High-Confidence Cyber-Physical Systems
Submitted by akarns on Tue, 01/26/2016 - 3:52pm. Contributor:
Miroslav Pajic
Presented as part of the
2016 HCSS conference
.
Control
Modeling
Validation and Verification
Foundations
embedded control systems
sofware verification
High Confidence Software and Systems Conference 2016
Presentation
HCSS 2016
file
Programming Uncertain <T>hings
Submitted by akarns on Tue, 01/26/2016 - 3:52pm. Contributor:
Kathryn McKinley
Presented as part of the
2016 HCSS conference
.
Bayesian inference
compilers
Estimates
inference
programming with estimates
runtimes
High Confidence Software and Systems Conference 2016
Presentation
HCSS 2016
file
Safety-Constrained Reinforcement Learning for MDPs
Submitted by akarns on Tue, 01/26/2016 - 3:52pm. Contributor:
Nils Jansen
Presented as part of the
2016 HCSS conference
.
Modeling
Validation and Verification
Foundations
Controller Synthesis
formal verification
Markov Models
MILP
SMT
University of Texas
High Confidence Software and Systems Conference 2016
Academia
Presentation
file
It's QEDs All the Way Down
Submitted by akarns on Tue, 01/26/2016 - 3:52pm. Contributors:
David Hardin
Konrad L. Slind
Presented as part of the
2016 HCSS conference
.
ABSTRACT
High Confidence Software and Systems Conference 2016
Presentation
HCSS 2016
file
A String, Regular Expression, and Integer Solver for Bug-finding and Security
Submitted by Anonymous on Tue, 01/26/2016 - 3:52pm. Contributors:
Yunhui Zheng
Vijay Ganesh
Sanu Subramanian
Omer Tripp
Julian Dolby
Xiangyu Zhang
Presented as part of the
2016 HCSS conference
.
Validation and Verification
Security analysis
SMT
String constraint solver
High Confidence Software and Systems Conference 2016
Academia
Presentation
HCSS 2016
file
Collaboration and Automation for Threat Assessment and Mitigation
Submitted by akarns on Tue, 01/26/2016 - 3:52pm. Contributor:
David Archer
Presented as part of the
2016 HCSS conference
.
Network
security
threat
High Confidence Software and Systems Conference 2016
Presentation
HCSS 2016
file
Wigmore: A Constrain-Based Language for Reasoning About Evidence and Uncertainty
Submitted by akarns on Tue, 01/26/2016 - 3:52pm. Contributor:
David Burke
Presented as part of the
2016 HCSS conference
.
analysts
belief functions
Dempster-Shafer
Evidence
Risk
uncertainty
High Confidence Software and Systems Conference 2016
Presentation
HCSS 2016
« first
‹ previous
1
2
3
4
next ›
last »
