HASE 2007: Dallas, Texas, USA


High Assurance Requirements

System Design and Architectures

State-of-the-Art Presentation. Security Systems Engineering


Security Assurance and Policies

Distributed Systems

High Assurance Embedded Systems

State-of-the-Art Presentation. Software Engineering for High Assurance Systems

Fault Tolerance and Availability


Empirical Analysis

Formal Verification and Validation

Fault Tolerance


Requirements and Design

Web, E-Commerce, and Enterprise

Quality, Reliability, and Safety

Formal Methods and Its Applications

Systems and Networks

Systems and Applications

maintained by Schloss Dagstuhl LZI at University of Trier