HCSS 2007

file

Visible to the public A Formal Semantics for ASN.1

Submitted by TimTh on Thu, 02/02/2012 - 11:14am. Contributor:

Presented as part of the 2007 HCSS conference.

Abstract

file

Visible to the public Circuit Specification, Abstraction, and Reverse Engineering

Submitted by TimTh on Thu, 02/02/2012 - 11:08am. Contributor:

Presented as part of the 2007 HCSS conference.

Abstract

file

Visible to the public ARM Verification

Submitted by TimTh on Thu, 02/02/2012 - 11:02am. Contributor:

Presented as part of the 2007 HCSS conference.

Abstract

file

Visible to the public Verifying a High-Performance Micro-kernel

Submitted by TimTh on Thu, 02/02/2012 - 10:49am. Contributor:

Presented as part of the 2007 HCSS conference.

Abstract

file

Visible to the public Compositional Assurance for MILS

Submitted by TimTh on Thu, 02/02/2012 - 10:41am. Contributor:

Presented as part of the 2007 HCSS conference.

Abstract

Assurance and certification for safety and security have traditionally been performed only on complete systems. But modern engineering and business practices argue for a compositional approach based on pre-certified components.

file

Visible to the public Formal Specifications on Industrial-Strength Code

Submitted by TimTh on Wed, 08/17/2011 - 8:08am. Contributor:

Presented as part of the 2007 HCSS conference.