Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
HCSS Conference Program Committee (2016)
CPS-VO
»
High Confidence Software and Systems Conference Series
»
HCSS Conference Program Committee (2016)
» POSTERS
Posters
file
Science of Security and Privacy
Submitted by Heather Lucas on Wed, 05/04/2016 - 2: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 - 2:49pm. Contributors:
Jon Hoffman
Brian Hulbert
Abstract:
High Confidence Software and Systems Conference 2016
Poster
Posters
HCSS'16
HCSS'16 Poster Session
file
SCC2016Poster_proof2.pdf
Submitted by akarns on Mon, 05/02/2016 - 10:24am
Posters
file
Rule Based Systems and the Intersection of Formal Methods and Testing
Submitted by akarns on Fri, 01/29/2016 - 11:50am. 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 - 11:50am. 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
The Bug Framework (BF): A Taxonomy For Precise and Accurate Software Bug Descriptions
Submitted by akarns on Fri, 01/29/2016 - 11:50am. Contributors:
Paul E. Black
Irena Bojanova
Yan Wu
Yaacov Yesha
Abstract:
High Confidence Software and Systems Conference 2016
NIST
Poster
Posters
file
An Assessment Methodology, Models for National Security Systems
Submitted by akarns on Fri, 01/29/2016 - 11:50am. 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 - 11:50am. 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 - 11:50am. 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 - 11:50am. 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
1
2
next ›
last »
