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

TOTAL DOCUMENTS

39

(FIVE YEARS 0)

H-INDEX

6

(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 ◽

Author(s):

Mario Gleirscher ◽

Stefan Kugele

Keyword(s):

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

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 ◽

Author(s):

Anusha Thudimilla ◽

Bruce McMillin

Keyword(s):

Air Traffic ◽

Surveillance Systems ◽

Traffic Surveillance

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 ◽

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 ◽

Author(s):

Qi Xiong ◽

Yuan Xu ◽

Bao-feng Zhang ◽

Feng Wang

Keyword(s):

Testing Technology

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 ◽

Author(s):

Ron Bitton ◽

Clint Feher ◽

Yuval Elovici ◽

Asaf Shabtai ◽

Gaby Shugol ◽

...

Keyword(s):

Critical Systems ◽

Mission Critical

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):

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 ◽

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

Effectiveness of Association Rules Mining for Invariants Generation in Cyber-Physical Systems

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

10.1109/hase.2017.21 ◽

2017 ◽

Author(s):

Koyena Pal ◽

Sridhar Adepu ◽

Jonathan Goh

Keyword(s):

Association Rules ◽

Cyber Physical Systems ◽

Association Rules Mining ◽

Physical Systems

Download Full-text

Arguing from Hazard Analysis in Safety Cases: A Modular Argument Pattern

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

10.1109/hase.2017.15 ◽

2017 ◽

Author(s):

Mario Gleirscher ◽

Carmen Carlan

Keyword(s):

Hazard Analysis ◽

Download Full-text