COMPASS '95 Proceedings of the Tenth Annual Conference on Computer Assurance Systems Integrity, Software Safety and Process Security'
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

0780326806

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Safety and Security Issues in Developing and Operating Intelligent Transportation Systems

COMPASS '95 Proceedings of the Tenth Annual Conference on Computer Assurance Systems Integrity, Software Safety and Process Security' ◽

10.1109/cmpass.1995.521896 ◽

2005 ◽

Author(s):

J.D. Lawrence

Keyword(s):

Intelligent Transportation Systems ◽

Intelligent Transportation ◽

Transportation Systems ◽

Security Issues

Download Full-text

The safety guaranteeing system at station Hoorn-Kersenboogerd

COMPASS '95 Proceedings of the Tenth Annual Conference on Computer Assurance Systems Integrity, Software Safety and Process Security' ◽

10.1109/cmpass.1995.521887 ◽

2002 ◽

Cited By ~ 26

Author(s):

J.F. Groote ◽

S.F.M. van Vlijmen ◽

J.W.C. Koorn

Download Full-text

Examining fault-tolerance using unlikely inputs: turning the test distribution up-side down

COMPASS '95 Proceedings of the Tenth Annual Conference on Computer Assurance Systems Integrity, Software Safety and Process Security' ◽

10.1109/cmpass.1995.521882 ◽

2002 ◽

Cited By ~ 3

Author(s):

J.M. Voas ◽

K.W. Miller

Keyword(s):

Fault Tolerance

Download Full-text

Integration testing based on software couplings

COMPASS '95 Proceedings of the Tenth Annual Conference on Computer Assurance Systems Integrity, Software Safety and Process Security' ◽

10.1109/cmpass.1995.521883 ◽

2002 ◽

Author(s):

Zhenyi Jin ◽

A.J. Offutt

Keyword(s):

Integration Testing

Download Full-text

Tablewise, a decision table tool

COMPASS '95 Proceedings of the Tenth Annual Conference on Computer Assurance Systems Integrity, Software Safety and Process Security' ◽

10.1109/cmpass.1995.521890 ◽

2002 ◽

Cited By ~ 9

Author(s):

D.N. Hoover ◽

Zewei Chen

Keyword(s):

Decision Table

Download Full-text

A methodology for evaluating, comparing, and selecting software safety and reliability standards

COMPASS '95 Proceedings of the Tenth Annual Conference on Computer Assurance Systems Integrity, Software Safety and Process Security' ◽

10.1109/cmpass.1995.521901 ◽

2002 ◽

Author(s):

D.S. Herrmann

Keyword(s):

Software Safety ◽

Safety And Reliability

Download Full-text

A safety kernel for traffic light control

COMPASS '95 Proceedings of the Tenth Annual Conference on Computer Assurance Systems Integrity, Software Safety and Process Security' ◽

10.1109/cmpass.1995.521888 ◽

2002 ◽

Cited By ~ 3

Author(s):

P. Ammann

Keyword(s):

Light Control ◽

Traffic Light ◽

Traffic Light Control

Download Full-text

Applying mathematical software documentation: an experience report

COMPASS '95 Proceedings of the Tenth Annual Conference on Computer Assurance Systems Integrity, Software Safety and Process Security' ◽

10.1109/cmpass.1995.521905 ◽

2002 ◽

Author(s):

B.J. Bauer ◽

D.L. Parnas

Keyword(s):

Experience Report ◽

Mathematical Software ◽

Software Documentation

Download Full-text

A locking protocol for multilevel secure databases using two committed versions

COMPASS '95 Proceedings of the Tenth Annual Conference on Computer Assurance Systems Integrity, Software Safety and Process Security' ◽

10.1109/cmpass.1995.521899 ◽

2002 ◽

Cited By ~ 2

Author(s):

S. Pal

Keyword(s):

Locking Protocol ◽

Secure Databases

Download Full-text

Interactive correctness proofs for software modules using KIV

COMPASS '95 Proceedings of the Tenth Annual Conference on Computer Assurance Systems Integrity, Software Safety and Process Security' ◽

10.1109/cmpass.1995.521894 ◽

2002 ◽

Cited By ~ 5

Author(s):

W. Reif ◽

G. Schellhorn ◽

K. Stenzel

Keyword(s):

Correctness Proofs ◽

Software Modules

Download Full-text

COMPASS '95 Proceedings of the Tenth Annual Conference on Computer Assurance Systems Integrity, Software Safety and Process Security'Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Safety and Security Issues in Developing and Operating Intelligent Transportation Systems

The safety guaranteeing system at station Hoorn-Kersenboogerd

Examining fault-tolerance using unlikely inputs: turning the test distribution up-side down

Integration testing based on software couplings

Tablewise, a decision table tool

A methodology for evaluating, comparing, and selecting software safety and reliability standards

A safety kernel for traffic light control

Applying mathematical software documentation: an experience report

A locking protocol for multilevel secure databases using two committed versions

Interactive correctness proofs for software modules using KIV

COMPASS '95 Proceedings of the Tenth Annual Conference on Computer Assurance Systems Integrity, Software Safety and Process Security'
Latest Publications