HASE

Publications

2019

Ryo Kurachi, Hiroaki Takada, Naoki Adachi, Hiroshi Ueda, Yukihiro Miyashita
Asymmetric Key-Based Secure ECU Replacement Without PKI. HASE (2019)
19th IEEE International Symposium on High Assurance Systems Engineering, HASE 2019, Hangzhou, China, January 3-5, 2019 HASE (2019)
Rongkun Yan, Jian Guo
Timing Modeling and Analysis for AUTOSAR Schedule Tables. HASE (2019)
Ulrich Thomas Gabor, Christoph-Cordt von Egidy, Olaf Spinczyk
Interface Injection with AspectC++ in Embedded Systems. HASE (2019)
Junjun Zheng, Hiroyuki Okamura, Tadashi Dohi
Security Evaluation of a VM-Based Intrusion-Tolerant System with Pull-Type Patch Management. HASE (2019)
Xiaodong Lu, Kazuyuki Morioka, Tadashi Koga, Yasuto Sumiya
Air-Ground System Wide Information Management to Achieve Safe Flight Operation. HASE (2019)
Frédéric Boniol, Claire Pagetti, Nathanaël Sensfelder
Identification of Multi-Core Interference. HASE (2019)
Xiao Liu, Yufei Jiang, Dinghao Wu
A Lightweight Framework for Regular Expression Verification. HASE (2019)
Kaikai Pan, Digvijay Gusain, Peter Palensky
Modelica-Supported Attack Impact Evaluation in Cyber Physical Energy System. HASE (2019)
Wei Zhihao, Jianyuan Li, Wanqing Li
Mining Accompanying Passing-Vehicles to Discover Suspected Gangs. HASE (2019)
Samip Dhakal, Fehmi Jaafar, Pavol Zavarsky
Private Blockchain Network for IoT Device Firmware Integrity Verification and Update. HASE (2019)
Jiaqi Yin, Huibiao Zhu, Yuan Fei, Yucheng Fang
Modeling and Verifying Spark on YARN Using Process Algebra. HASE (2019)
Giedre Sabaliauskaite, Lin Shen Liew, Fengjun Zhou, Jin Cui
Designing Safe and Secure Mixed Traffic Systems. HASE (2019)
Paulius Stankaitis, Alexei Iliasov, Yamine Aït Ameur, Tsutomu Kobayashi, Fuyuki Ishikawa, Alexander B. Romanovsky
A Refinement Based Method for Developing Distributed Protocols. HASE (2019)
Inna Vistbakka, Elena Troubitsyna, Amin Majd
Multi-Layered Safety Architecture of Autonomous Systems: Formalising Coordination Perspective. HASE (2019)
Mohamad Gharib, Paolo Lollini, Andrea Ceccarelli, Andrea Bondavalli
Engineering Functional Safety Requirements for Automotive Systems: A Cyber-Physical-Social Approach. HASE (2019)
Alexei Iliasov, Alexander B. Romanovsky, Linas Laibinis
Quantitative Validation of Formal Domain Models. HASE (2019)
Edwin Franco Myloth Josephlal, Sridhar Adepu
Vulnerability Analysis of an Automotive Infotainment System's WIFI Capability. HASE (2019)
Yoshitaka Arahori
RangeLocker: Adaptive Range-Sensitive Lockset Analysis for Precise Dynamic Race Detection. HASE (2019)
Bader Alahmad, Sathish Gopalakrishnan
Isochronous Execution Models for High-Assurance Real-Time Systems. HASE (2019)
Hongyan Zhao, Huibiao Zhu, Yucheng Fang, Lili Xiao
Modeling and Verifying Storm Using CSP. HASE (2019)
Andreas Schörgenhumer, Mario Kahlhofer, Peter Chalupar, Paul Grünbacher, Hanspeter Mössenböck
A Framework for Preprocessing Multivariate, Topology-Aware Time Series and Event Data in a Multi-System Environment. HASE (2019)
Tunde Akeem Yekini, Fehmi Jaafar, Pavol Zavarsky
Study of Trust at Device Level of the Internet of Things Architecture. HASE (2019)
Richardson Andrade, Nelson S. Rosa
MidSecThings: Assurance Solution for Security Smart Homes in IoT. HASE (2019)
Haoran Liang, Lei Song, Xuzhi Li
The Rotate Stress of Steam Turbine Prediction Method Based on Stacking Ensemble Learning. HASE (2019)
Morayo Adedjouma, Nataliya Yakymets
A Framework for Model-Based Dependability Analysis of Cyber-Physical Systems. HASE (2019)
Honghui Li, Xiuru Li, Huan Wang, Jie Zhang, Zhouxian Jiang
Research on Cloud Performance Testing Model. HASE (2019)
Junjie Wang, Peng Xu, Jinyang Li, Xiaoshan Sun, Wenchong Tian, Jie Ling, Wei Zheng, Hengchang Liu
Towards an Efficient Cyber-Physical System for First-Mile Taxi Transit in Urban Complex. HASE (2019)
Brad J. Ziegler, Sahra Sedigh Sarvestani, Ali R. Hurson
Facilitating Failure Analysis with Software Instrumentation. HASE (2019)
Shuai Zhang, Wenxi Zeng, I-Ling Yen, Farokh B. Bastani
Semantically Enhanced Time Series Databases in IoT-Edge-Cloud Infrastructure. HASE (2019)
Natasha Jarus, Sahra Sedigh Sarvestani, Ali R. Hurson
Formalizing Cyber-Physical System Model Transformation Via Abstract Interpretation. HASE (2019)
Bo Zhang, Haoming Liu, Jiajia Song, Jinbo Zhang
Simulation on Grounding Fault Location of Distribution Network Based on Regional Parameters. HASE (2019)
Faisal A. Alkhaldi, Ali T. Alouani
Development of a Generic Model for Large-Scale Healthcare Organizations. HASE (2019)
Lei Song, Haoran Liang, Taisheng Zheng
Real-Time Anomaly Detection Method for Space Imager Streaming Data Based on HTM Algorithm. HASE (2019)
Jeremy W. Bryans, Hoang Nga Nguyen, Siraj A. Shaikh
Attack Defense Trees with Sequential Conjunction. HASE (2019)
Nacha Chondamrongkul, Jing Sun, Bingyang Wei, Ian Warren
Parallel Verification of Software Architecture Design. HASE (2019)

2017