Proceedings Sixth IEEE International Symposium on High Assurance Systems Engineering. Special Topic: Impact of Networking (PDF)

HASE 2001 Organizing Committees (PDF)

Erroneous Requirements: A Linguistic Basis for Their Occurrence and an Approach to Their Reduction (PDF)

Keynote Speaker (PDF)

Why Testing under Expected Operational Scenarios is Not Sufficient (PDF)

Software Dependability in Distributed and Mobile Computing Environments (PDF)

A Formal Testing Framework for UML Statechart Diagrams Behaviours: From Theory to Automatic Verification (Abstract)

Test-Sequence Generation from Formal Requirement Models (Abstract)

Model-Checking for Validation of a Fault Protection System (Abstract)

Finite-State Analysis of the CAN Bus Protocol (Abstract)

A Survey: Applying Formal Methods to a Software Intensive System (Abstract)

Highly Reliable Relational Control Programs for Robust Rapid Transit Systems (Abstract)

Mechanisms for a Reliable Cooperation of Vehicles (Abstract)

Verification of Assurance of Space On-Board Distributed Computer System (Abstract)

Framework for Testing the Fault-Tolerance of Systems Including OS and Network Aspects (Abstract)

A Test Management and Software Visualization Framework for Heterogeneous Distributed Applications (Abstract)

Automating Techniques for Inspecting High Assurance Systems (Abstract)

Genetic Programming Model for Software Quality Classification (Abstract)

An Unavailability Analysis of Firewall Sandwich Configurations (Abstract)

Analyzing Internet Security Protocols (Abstract)

The SASHA Architecture for Network-Clustered Web Servers (Abstract)

On Simplifying Modular Specification and Verification of Distributed Protocols (Abstract)

Explicit Representation of Exception Handling in the Development of Dependable Component-Based Systems (Abstract)

Systems Engineering of Communication Protocols for Command and Control Systems (Abstract)

Integrating Automatic Verification of Safety Requirements in Railway Interlocking System Design (Abstract)

High Assurance Technologies for Autonomous Decentralized Train Control System (Abstract)

Adaptive Step-by-Step Construction Technique Achieving High Assurance for Tokyo Metropolitan Railway Network (Abstract)

Research Issues in Assurance of Software Dependability (PDF)

Are Measures and Metrics for Trusted Information Systems Possible? (PDF)

Generating Test Plans for Distributed Systems with Stochastic Decision Models (PDF)

A Novel Adaptive Neural Network Based Technique to Enhance Software System Assurance for Regression Testing (PDF)

Application of Software for High Consequences Systems (PDF)

Fault-Tolerant Cell Location Counter Strategy in Wireless Mobile Environment (PDF)

Software IV&V Strategy for Small Projects (PDF)

Characterization of Dynamic Behavior of Executable Software Objects to Optimize Test Case Selection for Regression (PDF)

A Case Study of IV&V Return on Investment (ROI) (PDF)

Integrating Software into PRA: A Taxonomy of Software Related Failures (PDF)

Software Reliability Analysis for Regression Testing (PDF)

Assurance Analysis by Scenario-based UML Modeling (PDF)

Web-Based Prototype of Real-Time Concurrent Systems by a Specification Technique with Safety and Liveness Properties (PDF)

Dynamic Fault-Tolerance Routing in 2-D Meshes (PDF)

Architecting eBanking High Assurance Security Solutions (PDF)

Theorem-Proving Approach to Generating State Machine Test Sequences (PDF)

Author Index (PDF)