Message from the General Chair (PDF)
Organizing Committee (PDF)
Program Committee and Reviewers (PDF)
Countdown to Y2K: View from the DoD DCIO (PDF)
DynaMICs: An Automated and Independent Software-Fault Detection Approach (Abstract)
Using Modechart Modules for Testing Formal Specifications (Abstract)
Assurance-Based Y2K Testing (Abstract)
Quantitative Evaluation of Dependability Critical Systems Based on Guarded Statechart Models (Abstract)
Model Checking UML Statechart Diagrams Using JACK (Abstract)
UML-Based Analysis of Embedded Systems Using a Mapping to VHDL (Abstract)
Automatic Dependability Analysis for Supporting Design Decisions in UML (Abstract)
Applying Formal Methods to an Information Security Device: An Experience Report (Abstract)
Security Assurance Efforts in Engineering Java 2 SE (JDK 1.2) (Abstract)
Predicting Fault-Prone Software Modules in Embedded Systems with Classification Trees (Abstract)
Building High-Assurance Systems Using COTS Components: Whether, Why, When and How? (Abstract)
Experience of Using COTS Components for Deep Space Missions (Abstract)
COTS and High Assurance: An Oxymoron? (Abstract)
Lessons from 342 Medical Device Failures (Abstract)
Identifying Domain Axioms Using Binary Decision Diagrams (Abstract)
Analyzing the Real-Time Properties of a U.S. Navy Signal Processing System (Abstract)
Formally Modeling a Metal Processing Plant and its Closed Loop Specifications (Abstract)
Real-Time Atomic Transaction Processing Using Multi-Invariant Data Structure (Abstract)
Autonomous Data Synchronization in Heterogeneous Systems to Assure the Transaction (Abstract)
Look-Ahead Channel Reservation and Borrowing in Cellular Network Systems (Abstract)
Building Dependable Distributed Applications Using AQUA (Abstract)
A Framework for a Cryptographic Protocol Evaluation Workbench (Abstract)
On the Requirements of High-Integrity Code Generation (Abstract)
What are the Most Critical Challenges to Integrating High Assurance Systems? (Abstract)
Fault Detectability Analysis for Requirements Validation of Fault Tolerant Systems (Abstract)
A Specification-Based Coverage Metric to Evaluate Test Sets (Abstract)
How Much Testing is Enough? Applying Stopping Rules to Behavioral Model Testing (Abstract)
A Synchronous Paradigm for Modeling Stable Reactive Systems (Abstract)
Software Systems: Consequence versus Functionality (Abstract)
Why Modern Systems Should Minimize the Use of Safety Critical Software (Abstract)
Software Can Be Entrusted with High Consequence Functionality (Abstract)
A World Without Risks: Let Me Out! (Abstract)
Author Index (PDF)