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
» HCSS'16
HCSS'16
file
Science of Security and Privacy
Submitted by Heather Lucas on Wed, 05/04/2016 - 3:58pm. Contributor:
Heather Lucas
Abstract:
High Confidence Software and Systems Conference 2016
Poster
Posters
HCSS'16
HCSS'16 Poster Session
file
Verification and Validation of Autonomous Systems: Verifiable Requirements for Complex Systems
Submitted by akarns on Wed, 05/04/2016 - 3:49pm. Contributors:
Jon Hoffman
Brian Hulbert
Abstract:
High Confidence Software and Systems Conference 2016
Poster
Posters
HCSS'16
HCSS'16 Poster Session
file
Rule Based Systems and the Intersection of Formal Methods and Testing
Submitted by akarns on Fri, 01/29/2016 - 12:50pm. Contributors:
Rick Kuhn
Vincent Du
David Ferraiolo
Raghu Kacker
Yu Lei
Dylan Yaga
Abstract:
High Confidence Software and Systems Conference 2016
Poster
Posters
HCSS'16
HCSS'16 Poster Session
file
Verification of Decision Procedures Modeled in Intelligent Agents
Submitted by akarns on Fri, 01/29/2016 - 12:50pm. Contributors:
Siddhartha Bhattacharyya
Marco M. Carvalho
Jennifer Davis
Tom C. Eskridge
Abstract:
Validation and Verification
Foundations
formal verification
Intelligent Agents
Cognitive Architecture
High Confidence Software and Systems Conference 2016
Poster
Posters
HCSS'16
HCSS'16 Poster Session
file
An Assessment Methodology, Models for National Security Systems
Submitted by akarns on Fri, 01/29/2016 - 12:50pm. Contributor:
Jennifer Guild
Abstract:
Robustness
mathematical
models
objective
High Confidence Software and Systems Conference 2016
Poster
Posters
HCSS'16
HCSS'16 Poster Session
file
Combinatorial Coverage as an Estimator of Residual Risk after Testing
Submitted by Anonymous on Fri, 01/29/2016 - 12:50pm. Contributors:
Dimitris E. Simos
Kristoffer Kleine
Rick Kuhn
Raghu Kacker
Abstract:
High Confidence Software and Systems Conference 2016
Poster
Posters
HCSS'16
HCSS'16 Poster Session
file
Towards a Process to Forecast Vulnerability in Systems of Systems
Submitted by akarns on Fri, 01/29/2016 - 12:50pm. Contributors:
Joseph Natarian
Bruce Howard
Marvin Worst
ABSTRACT
System Engineering
system of systems
Vulnerability
Digital Thread
system security
High Confidence Software and Systems Conference 2016
Poster
Posters
HCSS'16
HCSS'16 Poster Session
file
Verifying programs with complex data structures using Coq
Submitted by akarns on Fri, 01/29/2016 - 12:50pm. Contributor:
Kenneth Roe
Abstract:
CoqPIE
heart bleed
proofs
Theorem Proving
High Confidence Software and Systems Conference 2016
Academia
Poster
Posters
HCSS'16
HCSS'16 Poster Session
file
Applying User Sessions to Detect SQL Injection Vulnerabilities in Web Applications
Submitted by akarns on Fri, 01/29/2016 - 12:50pm. Contributors:
Sreedevi Sampath
Mengzi Du
Isaiah Yoon
Abstract:
security
SQL injection
web applications
user sessions
testing
High Confidence Software and Systems Conference 2016
Poster
Posters
HCSS'16
HCSS'16 Poster Session
