IEEE.org| IEEE Xplore Digital Library| IEEE Standards| IEEE Spectrum| More Sites

Cart (Loading....) | Create Account | Sign In

Author Search^beta | Advanced Search | Preferences | | More Search Options

Browse Conference Publications > High-Assurance Systems Enginee ...

High-Assurance Systems Engineering, 2005. HASE 2005. Ninth IEEE International Symposium on

| Create Account

IEEE Account

Change Username/Password
Update Address

Purchase Details

Payment Options
Order History
Access Purchased Documents

Profile Information

Communications Preferences
Profession and Education
Technical Interests

Need Help?

US & Canada: +1 800 678 4333
Worldwide: +1 732 981 0060
Contact & Support

A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.

Please enter a valid username or password.

For Institutional Users:

More Search Options

High-Assurance Systems Engineering, 2005. HASE 2005. Ninth IEEE International Symposium on

Date 12-14 Oct. 2005

Quick Links

Filter Results

You have selected:

You have selected:

You have selected:

Title History

Ninth IEEE International Symposium on High-Assurance Systems Engineering

Ninth IEEE International Symposium on High-Assurance Systems Engineering - Title Page

Ninth IEEE International Symposium on High-Assurance Systems Engineering - Copyright Page

Ninth IEEE International Symposium on High-Assurance Systems Engineering - Table of contents

Message from the General Chair

Message from the Program Chair

Organization

List of reviewers

A panacea or academic poppycock: formal methods revisited

The future EU R&D on security and dependability: moving towards resilience and plasticity

Tomorrow's needs - yesterday's technology: DoD's architectural dilemma & plan for resolution

Design and analysis of fault tolerant architectures by model weaving

Safe allocation of avionics shared resources

The reliable platform service: a property-based fault tolerant service architecture

Supporting component and architectural re-usage by detection and tolerance of integration faults

A framework for simplifying the development of kernel schedulers: design and performance evaluation

A novel framework for non-deterministic testing of message-passing programs

Safe composition of real time software

Analyzing software quality with limited fault-proneness defect data

Structured assurance cases: three common standards

Automatic generation of executable assertions for runtime checking temporal requirements

View graphs for analysis and testing of programs at different abstraction levels

The simulation of anomalies in the functional testing of the ERTMS/ETCS trackside system

Bayesian perspective of optimal checkpoint placement

Linear randomized voting algorithm for fault tolerant sensor fusion and the corresponding reliability model

IEEE Account

Purchase Details

Profile Information

Need Help?