Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

0769523773

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Novel Framework for Non-Deterministic Testing of Message-Passing Programs

Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05) ◽

10.1109/hase.2005.2 ◽

2006 ◽

Cited By ~ 1

Author(s):

Yu Lei ◽

E. Wong

Keyword(s):

Message Passing ◽

Message Passing Programs

Tomorrow’s Needs — Yesterday’s Technology: DOD’s Architectural Dilemma and Plan for Resolution

Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05) ◽

10.1109/hase.2005.25 ◽

2006 ◽

Author(s):

R.A. Paul

Safe Composition of Real Time Software

Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05) ◽

10.1109/hase.2005.19 ◽

2006 ◽

Author(s):

I. Bate ◽

P. Conmy

Keyword(s):

Real Time

View Graphs for Analysis and Testing of Programs at Different Abstraction Levels

Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05) ◽

10.1109/hase.2005.27 ◽

2006 ◽

Cited By ~ 6

Author(s):

S. Gossens ◽

F. Belli ◽

S. Beydeda ◽

M. Dal Cin

Keyword(s):

Abstraction Levels

The Simulation of Anomalies in the Functional Testing of the ERTMS/ETCS Trackside System

Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05) ◽

10.1109/hase.2005.24 ◽

2006 ◽

Cited By ~ 6

Author(s):

P. di Tommaso ◽

F. Flammini ◽

A. Lazzaro ◽

R. Pellecchia ◽

A. Sanseviero

Keyword(s):

Functional Testing

Structured Assurance Cases: Three Common Standards

Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05) ◽

10.1109/hase.2005.20 ◽

2006 ◽

Cited By ~ 19

Author(s):

T.S. Ankrum ◽

A.H. Kromholz

Keyword(s):

Assurance Cases

A Panacea or Academic Poppycock: Formal Methods Revisited

Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05) ◽

10.1109/hase.2005.3 ◽

2006 ◽

Author(s):

C. Heitmeyer

Keyword(s):

Formal Methods

The Future EU R&D on Security and Dependability: Moving Towards Resilience and Plasticity

Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05) ◽

10.1109/hase.2005.22 ◽

2006 ◽

Author(s):

A. Servida

Keyword(s):

The Future

Supporting Component and Architectural Re-usage by Detection and Tolerance of Integration Faults

Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05) ◽

10.1109/hase.2005.21 ◽

2006 ◽

Cited By ~ 2

Author(s):

M. Jung ◽

F. Saglietti

Automatic Generation of Executable Assertions for Runtime Checking Temporal Requirements

Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05) ◽

10.1109/hase.2005.6 ◽

2006 ◽

Cited By ~ 5

Author(s):

G. Pinter ◽

I. Majzik

Keyword(s):

Automatic Generation

Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

A Novel Framework for Non-Deterministic Testing of Message-Passing Programs

Tomorrow’s Needs — Yesterday’s Technology: DOD’s Architectural Dilemma and Plan for Resolution

Safe Composition of Real Time Software

View Graphs for Analysis and Testing of Programs at Different Abstraction Levels

The Simulation of Anomalies in the Functional Testing of the ERTMS/ETCS Trackside System

Structured Assurance Cases: Three Common Standards

A Panacea or Academic Poppycock: Formal Methods Revisited

The Future EU R&D on Security and Dependability: Moving Towards Resilience and Plasticity

Supporting Component and Architectural Re-usage by Detection and Tolerance of Integration Faults

Automatic Generation of Executable Assertions for Runtime Checking Temporal Requirements

Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05)
Latest Publications