Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231)
Latest Publications

TOTAL DOCUMENTS

41

(FIVE YEARS 0)

H-INDEX

8

(FIVE YEARS 0)

Published By IEEE

0818692219

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Integrated architectural modeling and analysis for high-assurance command and control system design

Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231) ◽

10.1109/hase.1998.731627 ◽

2002 ◽

Author(s):

Yi Deng ◽

Jiacun Wang

Keyword(s):

Control System ◽

System Design ◽

Command And Control ◽

Control System Design ◽

Modeling And Analysis ◽

High Assurance ◽

Architectural Modeling ◽

And Control ◽

Command And Control System

Download Full-text

Human-centered virtual machine of problem solving agents, software agents, intelligent agents and objects

Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231) ◽

10.1109/hase.1998.731636 ◽

2002 ◽

Author(s):

R. Khosla

Keyword(s):

Problem Solving ◽

Virtual Machine ◽

Intelligent Agents ◽

Software Agents

Download Full-text

Error and failure analysis of a UNIX server

Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231) ◽

10.1109/hase.1998.731618 ◽

2002 ◽

Author(s):

R. Lal ◽

G. Choi

Keyword(s):

Failure Analysis

Download Full-text

Analytical partition of software components for evolvable and reliable MEMS design tools

Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231) ◽

10.1109/hase.1998.731611 ◽

2002 ◽

Author(s):

C.L. Hoover ◽

P.K. Khosla

Keyword(s):

Software Components ◽

Download Full-text

Automatic verification on the large

Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231) ◽

10.1109/hase.1998.731605 ◽

2002 ◽

Author(s):

Farn Wang ◽

Pao-Ann Hsiung

Keyword(s):

Automatic Verification

Download Full-text

Verification in concurrent programming with Petri nets structural techniques

Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231) ◽

10.1109/hase.1998.731604 ◽

2002 ◽

Author(s):

K. Barkaoui ◽

J.-F. Pradat-Peyre

Keyword(s):

Concurrent Programming

Download Full-text

Experience in developing system requirements specification for a sensor failure detection and identification scheme

Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231) ◽

10.1109/hase.1998.731614 ◽

2002 ◽

Author(s):

D. Del Gobbo ◽

M. Napolitano ◽

J. Callahan ◽

B. Cukic

Keyword(s):

Failure Detection ◽

Requirements Specification ◽

Sensor Failure ◽

Identification Scheme ◽

Detection And Identification ◽

System Requirements ◽

Developing System

Download Full-text

Enhancing competitiveness via a public fault and failure data repository

Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231) ◽

10.1109/hase.1998.731610 ◽

2002 ◽

Author(s):

D.R. Wallace

Keyword(s):

Data Repository ◽

Download Full-text

Using composition to design secure, fault-tolerant systems

Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231) ◽

10.1109/hase.1998.731592 ◽

2002 ◽

Author(s):

D. Olawsky ◽

C. Payne ◽

T. Sundquist ◽

D. Apostal ◽

T. Fine

Keyword(s):

Fault Tolerant ◽

Fault Tolerant Systems

Download Full-text

Incremental development of a high integrity compiler: experience from an industrial development

Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231) ◽

10.1109/hase.1998.731606 ◽

2002 ◽

Author(s):

S. Stepney

Keyword(s):

Industrial Development ◽

Incremental Development ◽

Download Full-text