Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings.
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

0769520944

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Evaluation of software development tools for high assurance safety critical systems

Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings. ◽

10.1109/hase.2004.1281755 ◽

2004 ◽

Cited By ~ 1

Author(s):

A.J. Kornecki ◽

K. Hall ◽

D. Hearn ◽

H. Lau ◽

J. Zalewski

Keyword(s):

Software Development ◽

Critical Systems ◽

Safety Critical ◽

Development Tools ◽

High Assurance ◽

Safety Critical Systems ◽

Software Development Tools

Download Full-text

A tool for verification and validation of neural network based adaptive controllers for high assurance systems

Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings. ◽

10.1109/hase.2004.1281757 ◽

2004 ◽

Cited By ~ 6

Author(s):

P. Gupta ◽

J. Schumann

Keyword(s):

Neural Network ◽

Verification And Validation ◽

Adaptive Controllers ◽

High Assurance

Download Full-text

A formal specification-based approach to distributed parallel programming

Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings. ◽

10.1109/hase.2004.1281744 ◽

2004 ◽

Author(s):

Chia-Chu Chiang

Keyword(s):

Parallel Programming ◽

Formal Specification

Download Full-text

Architectural overview of the computational intelligence testing tool CI-tool

Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings. ◽

10.1109/hase.2004.1281754 ◽

2004 ◽

Cited By ~ 3

Author(s):

T. Barr

Keyword(s):

Computational Intelligence ◽

Intelligence Testing ◽

Testing Tool

Download Full-text

Structural analysis of explicit fault-tolerant programs

Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings. ◽

10.1109/hase.2004.1281733 ◽

2004 ◽

Cited By ~ 2

Author(s):

S. Gossens ◽

M. Dal Cin

Keyword(s):

Structural Analysis ◽

Fault Tolerant

Download Full-text

Resource-sensitive intrusion detection models for network traffic

Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings. ◽

10.1109/hase.2004.1281749 ◽

2004 ◽

Cited By ~ 11

Author(s):

T.M. Khoshgoftaar ◽

M.E. Abushadi

Keyword(s):

Intrusion Detection ◽

Network Traffic

Download Full-text

State oriented programming

Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings. ◽

10.1109/hase.2004.1281771 ◽

2004 ◽

Cited By ~ 1

Author(s):

H. Nomoto

Download Full-text

An approach for designing and assessing detectors for dependable component-based systems

Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings. ◽

10.1109/hase.2004.1281731 ◽

2004 ◽

Cited By ~ 5

Author(s):

A. Jhumka ◽

M. Hiller ◽

N. Suri

Download Full-text

Towards trusted composition in software design

Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings. ◽

10.1109/hase.2004.1281772 ◽

2004 ◽

Cited By ~ 1

Author(s):

Jing Dong ◽

Sheng Yang

Keyword(s):

Software Design

Download Full-text

Flexible design of complex high-integrity systems using trade offs

Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings. ◽

10.1109/hase.2004.1281727 ◽

2004 ◽

Cited By ~ 2

Author(s):

I. Bate ◽

N. Audsley

Keyword(s):

Flexible Design ◽

Trade Offs ◽

High Integrity

Download Full-text

Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings.Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Evaluation of software development tools for high assurance safety critical systems

A tool for verification and validation of neural network based adaptive controllers for high assurance systems

A formal specification-based approach to distributed parallel programming

Architectural overview of the computational intelligence testing tool CI-tool

Structural analysis of explicit fault-tolerant programs

Resource-sensitive intrusion detection models for network traffic

State oriented programming

An approach for designing and assessing detectors for dependable component-based systems

Towards trusted composition in software design

Flexible design of complex high-integrity systems using trade offs

Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings.
Latest Publications