Skip to Main Content Area
  • CPS-VO
    • Contact Support
      
 
Not a member?
Click here to register!
Forgot username or password?
 
logo
  • Home
  • Archive
  • Registration
  • Program
  • Call for Presentations
  • Committee
  • Venue
  • Past Events
  • Submit
  • Files
CPS-VO » High Confidence Software and Systems Conference Series

Visible to the public 2001 HCSS Conference Proceedings

  • View
Submitted by Anonymous on Tue, 12/03/2013 - 1:21pm

The inaugural HCSS Conference was held March 28-30, 2001. The program agenda and slide presentations are listed below.

  • 2001 HCSS Conference Program Agenda
  • High Confidence Software and Systems
  • Programatica: The Early Years — A Personal Recollection
  • Krenz Security Architecture
  • Common Data Security Architecture (CDSA) Formal Development
  • Advanced Infosec Machine Model and DSLs
  • Cryptol: A Domain-Specific Language for Cryptographic Service Providers
  • Producing More Reliable Software: Mature Software Engineering Process vs. State-of-the-Art Technology?
  • Trusting Software
  • Specware
  • High Assurance Java Virtual Machine
  • An Approach to Software Vulnerability Analysis (SVA)
  • Pragmatic Approaches with COTS
  • JAVA Model Checking
  • Program Verification and the Church-Rosser Theorem
  • A BDD/SAT Solver for Formal Verification Applications
  • Disappearing Formal Methods
  • The Survivable Network Analysis Method: Assessing Survivability of Critical Systems
  • Automated Reliability Testing — ART
  • Tools to Support Enterprise Assurance Arguments
2001 HCSS Conference Program Agenda ›
  • Printer-friendly version

Terms of Use  |  ©2023. CPS-VO