2012 IEEE 14th International Symposium on High-Assurance Systems Engineering
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781467347426, 9780769549125

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

[Publisher's information]

2012 IEEE 14th International Symposium on High-Assurance Systems Engineering ◽

10.1109/hase.2012.40 ◽

2012 ◽

Download Full-text

A Resilient Architecture for Forensic Storage of Events in Critical Infrastructures

2012 IEEE 14th International Symposium on High-Assurance Systems Engineering ◽

10.1109/hase.2012.9 ◽

2012 ◽

Cited By ~ 13

Author(s):

Muhammad Afzaal ◽

Cesario Di Sarno ◽

Luigi Coppolino ◽

Salvatore DAntonio ◽

Luigi Romano

Keyword(s):

Critical Infrastructures

Download Full-text

Multi-objective Optimization of Formal Specifications

2012 IEEE 14th International Symposium on High-Assurance Systems Engineering ◽

10.1109/hase.2012.21 ◽

2012 ◽

Cited By ~ 1

Author(s):

Simon Struck ◽

Michael Lipaczewski ◽

Frank Ortmeier ◽

Matthias Gudemann

Keyword(s):

Formal Specifications ◽

Multi Objective Optimization ◽

Multi Objective

Download Full-text

Design and Implementation of Real-Time Wearable Devices for a Safety-Critical Track Warning System

2012 IEEE 14th International Symposium on High-Assurance Systems Engineering ◽

10.1109/hase.2012.17 ◽

2012 ◽

Cited By ~ 8

Author(s):

Andrea Ceccarelli ◽

Andrea Bondavalli ◽

Joao Figueiras ◽

Boris Malinowsky ◽

Jurij Wakula ◽

...

Keyword(s):

Real Time ◽

Warning System ◽

Wearable Devices ◽

Safety Critical ◽

Design And Implementation

Download Full-text

Evaluating the Dependability of Dynamic Binding in Web Services

2012 IEEE 14th International Symposium on High-Assurance Systems Engineering ◽

10.1109/hase.2012.28 ◽

2012 ◽

Cited By ~ 1

Author(s):

Anthony Sargeant ◽

Paul Townend ◽

Jie Xu ◽

Karim Djemame

Keyword(s):

Web Services ◽

Dynamic Binding

Download Full-text

An Autonomic Reliability Improvement System for Cyber-Physical Systems

2012 IEEE 14th International Symposium on High-Assurance Systems Engineering ◽

10.1109/hase.2012.33 ◽

2012 ◽

Cited By ~ 3

Author(s):

Leon Wu ◽

Gail Kaiser

Keyword(s):

Cyber Physical Systems ◽

Physical Systems ◽

Reliability Improvement

Download Full-text

Real-Time Anomaly Detection in Streams of Execution Traces

2012 IEEE 14th International Symposium on High-Assurance Systems Engineering ◽

10.1109/hase.2012.13 ◽

2012 ◽

Cited By ~ 5

Author(s):

Wenke Zhang ◽

Favyen Bastani ◽

I-Ling Yen ◽

Kevin Hulin ◽

Farokh Bastani ◽

...

Keyword(s):

Anomaly Detection ◽

Real Time ◽

Execution Traces

Download Full-text

Model Checking Software Architecture Design

2012 IEEE 14th International Symposium on High-Assurance Systems Engineering ◽

10.1109/hase.2012.12 ◽

2012 ◽

Cited By ~ 8

Author(s):

Jiexin Zhang ◽

Yang Liu ◽

Jing Sun ◽

Jin Song Dong ◽

Jun Sun

Keyword(s):

Model Checking ◽

Software Architecture ◽

Architecture Design ◽

Software Architecture Design

Download Full-text

[Copyright notice]

2012 IEEE 14th International Symposium on High-Assurance Systems Engineering ◽

10.1109/hase.2012.3 ◽

2012 ◽

Keyword(s):

Download Full-text

Using Stochastic Model Checking to Provision Complex Business Services

2012 IEEE 14th International Symposium on High-Assurance Systems Engineering ◽

10.1109/hase.2012.29 ◽

2012 ◽

Cited By ~ 6

Author(s):

Luke Herbert ◽

Robin Sharp

Keyword(s):

Model Checking ◽

Stochastic Model ◽

Business Services ◽

Stochastic Model Checking

Download Full-text

2012 IEEE 14th International Symposium on High-Assurance Systems EngineeringLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

[Publisher's information]

A Resilient Architecture for Forensic Storage of Events in Critical Infrastructures

Multi-objective Optimization of Formal Specifications

Design and Implementation of Real-Time Wearable Devices for a Safety-Critical Track Warning System

Evaluating the Dependability of Dynamic Binding in Web Services

An Autonomic Reliability Improvement System for Cyber-Physical Systems

Real-Time Anomaly Detection in Streams of Execution Traces

Model Checking Software Architecture Design

[Copyright notice]

Using Stochastic Model Checking to Provision Complex Business Services

2012 IEEE 14th International Symposium on High-Assurance Systems Engineering
Latest Publications