2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781509046362

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Defining Risk States in Autonomous Road Vehicles

2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE) ◽

10.1109/hase.2017.14 ◽

2017 ◽

Cited By ~ 4

Author(s):

Mario Gleirscher ◽

Stefan Kugele

Keyword(s):

Road Vehicles

Download Full-text

Evaluating a Corpus of Root Causes and Measures to Guide RCA Processes in Critical Software

2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE) ◽

10.1109/hase.2017.19 ◽

2017 ◽

Author(s):

Nuno Silva ◽

Marco Vieira ◽

Joao Cunha ◽

Ram Chillarege

Download Full-text

Using Source Code Metrics and Multivariate Adaptive Regression Splines to Predict Maintainability of Service Oriented Software

2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE) ◽

10.1109/hase.2017.11 ◽

2017 ◽

Cited By ~ 5

Author(s):

Lov Kumar ◽

Santanu Kumar Rath ◽

Ashish Sureka

Keyword(s):

Source Code ◽

Multivariate Adaptive Regression Splines ◽

Regression Splines ◽

Service Oriented ◽

Code Metrics ◽

Adaptive Regression ◽

Adaptive Regression Splines ◽

Source Code Metrics

Download Full-text

Overview of the Evasion Resilience Testing Technology for Network Based Intrusion Protecting Devices

2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE) ◽

10.1109/hase.2017.37 ◽

2017 ◽

Cited By ~ 2

Author(s):

Qi Xiong ◽

Yuan Xu ◽

Bao-feng Zhang ◽

Feng Wang

Keyword(s):

Testing Technology

Download Full-text

Multiple Security Domain Nondeducibility Air Traffic Surveillance Systems

2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE) ◽

10.1109/hase.2017.29 ◽

2017 ◽

Cited By ~ 5

Author(s):

Anusha Thudimilla ◽

Bruce McMillin

Keyword(s):

Air Traffic ◽

Surveillance Systems ◽

Traffic Surveillance

Download Full-text

A Proxy-Based Solution for Securiting Remote Desktop Connections in Mission-Critical Systems

2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE) ◽

10.1109/hase.2017.38 ◽

2017 ◽

Cited By ~ 1

Author(s):

Ron Bitton ◽

Clint Feher ◽

Yuval Elovici ◽

Asaf Shabtai ◽

Gaby Shugol ◽

...

Keyword(s):

Critical Systems ◽

Mission Critical

Download Full-text

Attack Graph Based Network Risk Assessment: Exact Inference vs Region-Based Approximation

2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE) ◽

10.1109/hase.2017.8 ◽

2017 ◽

Cited By ~ 1

Author(s):

Qi Cheng ◽

Kevin Kwiat ◽

Charles A. Kamhoua ◽

Laurent Njilla

Keyword(s):

Risk Assessment ◽

Exact Inference ◽

Attack Graph ◽

Network Risk

Download Full-text

Programme Committee

2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE) ◽

10.1109/hase.2017.6 ◽

2017 ◽

Keyword(s):

Programme Committee

Download Full-text

[Title page i]

2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE) ◽

10.1109/hase.2017.1 ◽

2017 ◽

Keyword(s):

Title Page

Download Full-text

Verification of Interlocking Systems Using Statistical Model Checking

2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE) ◽

10.1109/hase.2017.10 ◽

2017 ◽

Cited By ~ 13

Author(s):

Quentin Cappart ◽

Christophe Limbree ◽

Pierre Schaus ◽

Jean Quilbeuf ◽

Louis-Marie Traonouez ◽

...

Keyword(s):

Model Checking ◽

Statistical Model ◽

Statistical Model Checking

Download Full-text

2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Defining Risk States in Autonomous Road Vehicles

Evaluating a Corpus of Root Causes and Measures to Guide RCA Processes in Critical Software

Using Source Code Metrics and Multivariate Adaptive Regression Splines to Predict Maintainability of Service Oriented Software

Overview of the Evasion Resilience Testing Technology for Network Based Intrusion Protecting Devices

Multiple Security Domain Nondeducibility Air Traffic Surveillance Systems

A Proxy-Based Solution for Securiting Remote Desktop Connections in Mission-Critical Systems

Attack Graph Based Network Risk Assessment: Exact Inference vs Region-Based Approximation

Programme Committee

[Title page i]

Verification of Interlocking Systems Using Statistical Model Checking

2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE)
Latest Publications