2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781538685402

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Simulation on Grounding Fault Location of Distribution Network Based on Regional Parameters

2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE) ◽

10.1109/hase.2019.00040 ◽

2019 ◽

Cited By ~ 1

Author(s):

Bo Zhang ◽

Haoming Liu ◽

Jiajia Song ◽

Jinbo Zhang

Keyword(s):

Fault Location ◽

Distribution Network

Download Full-text

Formalizing Cyber–Physical System Model Transformation Via Abstract Interpretation

2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE) ◽

10.1109/hase.2019.00025 ◽

2019 ◽

Cited By ~ 1

Author(s):

Natasha Jarus ◽

Sahra Sedigh Sarvestani ◽

Ali Hurson

Keyword(s):

Physical System ◽

Model Transformation ◽

Abstract Interpretation ◽

System Model ◽

Cyber Physical System

Download Full-text

SecCPS 2019 Workshop Committee

2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE) ◽

10.1109/hase.2019.00008 ◽

2019 ◽

Download Full-text

Publisher's Information

2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE) ◽

10.1109/hase.2019.00047 ◽

2019 ◽

Download Full-text

MidSecThings: Assurance Solution for Security Smart Homes in IoT

2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE) ◽

10.1109/hase.2019.00034 ◽

2019 ◽

Author(s):

Richardson B. da Silva Andrade ◽

Nelson Souto Rosa

Keyword(s):

Smart Homes

Download Full-text

Modelica-Supported Attack Impact Evaluation in Cyber Physical Energy System

2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE) ◽

10.1109/hase.2019.00042 ◽

2019 ◽

Cited By ~ 1

Author(s):

Kaikai Pan ◽

Digvijay Gusain ◽

Peter Palensky

Keyword(s):

Impact Evaluation ◽

Energy System ◽

Physical Energy

Download Full-text

A Framework for Model-Based Dependability Analysis of Cyber-Physical Systems

2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE) ◽

10.1109/hase.2019.00022 ◽

2019 ◽

Cited By ~ 1

Author(s):

Morayo Adedjouma ◽

Nataliya Yakymets

Keyword(s):

Cyber Physical Systems ◽

Physical Systems ◽

Model Based ◽

Dependability Analysis

Download Full-text

RangeLocker: Adaptive Range-Sensitive Lockset Analysis for Precise Dynamic Race Detection

2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE) ◽

10.1109/hase.2019.00036 ◽

2019 ◽

Author(s):

Yoshitaka Arahori

Keyword(s):

Race Detection

Download Full-text

Parallel Verification of Software Architecture Design

2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE) ◽

10.1109/hase.2019.00018 ◽

2019 ◽

Author(s):

Nacha Chondamrongkul ◽

Jing Sun ◽

Bingyang Wei ◽

Ian Warren

Keyword(s):

Software Architecture ◽

Architecture Design ◽

Parallel Verification ◽

Software Architecture Design

Download Full-text

Designing Safe and Secure Mixed Traffic Systems

2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE) ◽

10.1109/hase.2019.00041 ◽

2019 ◽

Author(s):

Giedre Sabaliauskaite ◽

Lin Shen Liew ◽

Fengjun Zhou ◽

Jin Cui

Keyword(s):

Mixed Traffic ◽

Traffic Systems

Download Full-text

2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Simulation on Grounding Fault Location of Distribution Network Based on Regional Parameters

Formalizing Cyber–Physical System Model Transformation Via Abstract Interpretation

SecCPS 2019 Workshop Committee

Publisher's Information

MidSecThings: Assurance Solution for Security Smart Homes in IoT

Modelica-Supported Attack Impact Evaluation in Cyber Physical Energy System

A Framework for Model-Based Dependability Analysis of Cyber-Physical Systems

RangeLocker: Adaptive Range-Sensitive Lockset Analysis for Precise Dynamic Race Detection

Parallel Verification of Software Architecture Design

Designing Safe and Secure Mixed Traffic Systems

2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE)
Latest Publications