Proceedings Sixth IEEE International Symposium on High Assurance Systems Engineering. Special Topic: Impact of Networking
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE Comput. Soc

0769512755

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Analyzing Internet security protocols

Proceedings Sixth IEEE International Symposium on High Assurance Systems Engineering. Special Topic: Impact of Networking ◽

10.1109/hase.2001.966816 ◽

2002 ◽

Cited By ~ 7

Author(s):

A. Yasinsac ◽

J. Childs

Keyword(s):

Security Protocols ◽

Internet Security

Download Full-text

High assurance technologies for autonomous decentralized train control system

Proceedings Sixth IEEE International Symposium on High Assurance Systems Engineering. Special Topic: Impact of Networking ◽

10.1109/hase.2001.966822 ◽

2002 ◽

Cited By ~ 8

Author(s):

M. Matsumoto ◽

S. Kitamura ◽

M. Sato

Keyword(s):

Control System ◽

Train Control ◽

Train Control System ◽

High Assurance

Download Full-text

Genetic programming model for software quality classification

Proceedings Sixth IEEE International Symposium on High Assurance Systems Engineering. Special Topic: Impact of Networking ◽

10.1109/hase.2001.966814 ◽

2002 ◽

Cited By ~ 14

Author(s):

Yi Liu ◽

T.M. Khoshgoftaar

Keyword(s):

Genetic Programming ◽

Software Quality ◽

Programming Model ◽

Quality Classification

Download Full-text

Framework for testing the fault-tolerance of systems including OS and network aspects

Proceedings Sixth IEEE International Symposium on High Assurance Systems Engineering. Special Topic: Impact of Networking ◽

10.1109/hase.2001.966811 ◽

2002 ◽

Cited By ~ 11

Author(s):

K. Buchacker ◽

V. Sieh

Keyword(s):

Fault Tolerance

Download Full-text

Adaptive step-by-step construction technique achieving high assurance for Tokyo Metropolitan railway network

Proceedings Sixth IEEE International Symposium on High Assurance Systems Engineering. Special Topic: Impact of Networking ◽

10.1109/hase.2001.966823 ◽

2002 ◽

Cited By ~ 1

Author(s):

K. Kera ◽

K. Bekki ◽

K. Kamijyo ◽

K. Mori

Keyword(s):

Railway Network ◽

Construction Technique ◽

Tokyo Metropolitan ◽

High Assurance ◽

Adaptive Step

Download Full-text

A survey: applying formal methods to a software intensive system

Proceedings Sixth IEEE International Symposium on High Assurance Systems Engineering. Special Topic: Impact of Networking ◽

10.1109/hase.2001.966807 ◽

2002 ◽

Cited By ~ 3

Author(s):

A. de Groot ◽

J. Hooman ◽

M. Lemoine ◽

G. Gaudiere ◽

V.L. Winter ◽

...

Keyword(s):

Formal Methods ◽

Intensive System ◽

Software Intensive

Download Full-text

Mechanisms for a reliable cooperation of vehicles

Proceedings Sixth IEEE International Symposium on High Assurance Systems Engineering. Special Topic: Impact of Networking ◽

10.1109/hase.2001.966809 ◽

2002 ◽

Cited By ~ 2

Author(s):

E. Nett ◽

M. Gergeleit ◽

M. Mock

Download Full-text

The SASHA architecture for network-clustered web servers

Proceedings Sixth IEEE International Symposium on High Assurance Systems Engineering. Special Topic: Impact of Networking ◽

10.1109/hase.2001.966817 ◽

2002 ◽

Cited By ~ 1

Author(s):

S. Goddard ◽

T. Schroeder

Keyword(s):

Web Servers

Download Full-text

A test management and software visualization framework for heterogeneous distributed applications

Proceedings Sixth IEEE International Symposium on High Assurance Systems Engineering. Special Topic: Impact of Networking ◽

10.1109/hase.2001.966812 ◽

2002 ◽

Cited By ~ 4

Author(s):

S. Ghosh ◽

N. Bawa ◽

G. Craig ◽

K. Kalgaonkar

Keyword(s):

Distributed Applications ◽

Software Visualization ◽

Test Management

Download Full-text

Explicit representation of exception handling in the development of dependable component-based systems

Proceedings Sixth IEEE International Symposium on High Assurance Systems Engineering. Special Topic: Impact of Networking ◽

10.1109/hase.2001.966819 ◽

2002 ◽

Cited By ~ 1

Author(s):

G.R.M. Ferreira ◽

C.M.F. Rubira ◽

R. de Lemos

Keyword(s):

Exception Handling ◽

Explicit Representation

Download Full-text

Proceedings Sixth IEEE International Symposium on High Assurance Systems Engineering. Special Topic: Impact of NetworkingLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE Comput. Soc

Analyzing Internet security protocols

High assurance technologies for autonomous decentralized train control system

Genetic programming model for software quality classification

Framework for testing the fault-tolerance of systems including OS and network aspects

Adaptive step-by-step construction technique achieving high assurance for Tokyo Metropolitan railway network

A survey: applying formal methods to a software intensive system

Mechanisms for a reliable cooperation of vehicles

The SASHA architecture for network-clustered web servers

A test management and software visualization framework for heterogeneous distributed applications

Explicit representation of exception handling in the development of dependable component-based systems

Proceedings Sixth IEEE International Symposium on High Assurance Systems Engineering. Special Topic: Impact of Networking
Latest Publications