Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

0780318552

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On measurement of operational security [software reliability]

Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance ◽

10.1109/cmpass.1994.318447 ◽

2002 ◽

Cited By ~ 2

Author(s):

S. Brocklehurst ◽

B. Littlewood ◽

T. Olovsson ◽

E. Jonsson

Keyword(s):

Software Reliability ◽

Security Software

Download Full-text

Experience applying the CoRE method to the Lockheed C-130J software requirements

Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance ◽

10.1109/cmpass.1994.318472 ◽

2002 ◽

Cited By ~ 15

Author(s):

S. Faulk ◽

L. Finneran ◽

J. Kirby ◽

S. Shah ◽

J. Sutton

Keyword(s):

Software Requirements ◽

The Core ◽

Core Method

Download Full-text

AeSOP: an interactive failure mode analysis tool

Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance ◽

10.1109/cmpass.1994.318471 ◽

2002 ◽

Cited By ~ 2

Author(s):

S.S. Cha

Keyword(s):

Failure Mode ◽

Mode Analysis ◽

Analysis Tool ◽

Failure Mode Analysis

Download Full-text

Application of an informal program verification method to Ada

Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance ◽

10.1109/cmpass.1994.318465 ◽

2002 ◽

Author(s):

B. Wieand ◽

W.E. Howden

Keyword(s):

Program Verification ◽

Verification Method

Download Full-text

Estimation of coverage probabilities for dependability validation of fault-tolerant computing systems

Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance ◽

10.1109/cmpass.1994.318463 ◽

2002 ◽

Cited By ~ 7

Author(s):

C. Constantinescu

Keyword(s):

Fault Tolerant ◽

Computing Systems ◽

Coverage Probabilities

Download Full-text

A formal model of several fundamental VHDL concepts

Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance ◽

10.1109/cmpass.1994.318454 ◽

2002 ◽

Cited By ~ 1

Author(s):

D.M. Goldschlag

Keyword(s):

Formal Model

Download Full-text

Experiences formally verifying a network component

Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance ◽

10.1109/cmpass.1994.318453 ◽

2002 ◽

Cited By ~ 4

Author(s):

P. Curzon

Keyword(s):

Network Component

Download Full-text

State minimization for concurrent system analysis based on state space exploration

Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance ◽

10.1109/cmpass.1994.318461 ◽

2002 ◽

Cited By ~ 9

Author(s):

I. Kang ◽

I. Zee

Keyword(s):

State Space ◽

System Analysis ◽

Space Exploration ◽

Concurrent System ◽

State Minimization ◽

State Space Exploration

Download Full-text

Formal verification of an interactive consistency algorithm for the Draper FTP architecture under a hybrid fault model

Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance ◽

10.1109/cmpass.1994.318462 ◽

2002 ◽

Cited By ~ 10

Author(s):

P. Lincoln ◽

J. Rushby

Keyword(s):

Formal Verification ◽

Fault Model

Download Full-text

Formal methods in the design of Ada 9X

Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance ◽

10.1109/cmpass.1994.318469 ◽

2002 ◽

Author(s):

D. Guaspari

Keyword(s):

Formal Methods

Download Full-text

Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer AssuranceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

On measurement of operational security [software reliability]

Experience applying the CoRE method to the Lockheed C-130J software requirements

AeSOP: an interactive failure mode analysis tool

Application of an informal program verification method to Ada

Estimation of coverage probabilities for dependability validation of fault-tolerant computing systems

A formal model of several fundamental VHDL concepts

Experiences formally verifying a network component

State minimization for concurrent system analysis based on state space exploration

Formal verification of an interactive consistency algorithm for the Draper FTP architecture under a hybrid fault model

Formal methods in the design of Ada 9X

Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance
Latest Publications