Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID19th HASE 2019: Hangzhou, China
- Dongjin Yu, Vu Nguyen, Congfeng Jiang:
19th IEEE International Symposium on High Assurance Systems Engineering, HASE 2019, Hangzhou, China, January 3-5, 2019. IEEE 2019, ISBN 978-1-5386-8540-2
Session 1: Data Analytics for High Assurance Systems Engineering
- Xiao Liu, Yufei Jiang, Dinghao Wu:
A Lightweight Framework for Regular Expression Verification. 1-8 - 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. 9-16 - Alexei Iliasov, Alexander B. Romanovsky
, Linas Laibinis:
Quantitative Validation of Formal Domain Models. 17-24 - Shuai Zhang, Wenxi Zeng, I-Ling Yen, Farokh B. Bastani:
Semantically Enhanced Time Series Databases in IoT-Edge-Cloud Infrastructure. 25-32 - Lei Song, Haoran Liang, Taisheng Zheng:
Real-Time Anomaly Detection Method for Space Imager Streaming Data Based on HTM Algorithm. 33-38 - Wei Zhihao, Jianyuan Li, Wanqing Li:
Mining Accompanying Passing-Vehicles to Discover Suspected Gangs. 39-41
Session 2: Development and Understanding
- Xiaodong Lu, Kazuyuki Morioka, Tadashi Koga, Yasuto Sumiya:
Air-Ground System Wide Information Management to Achieve Safe Flight Operation. 42-49 - Nacha Chondamrongkul, Jing Sun, Bingyang Wei, Ian Warren:
Parallel Verification of Software Architecture Design. 50-57 - Inna Vistbakka, Elena Troubitsyna, Amin Majd:
Multi-Layered Safety Architecture of Autonomous Systems: Formalising Coordination Perspective. 58-65 - Bader Alahmad, Sathish Gopalakrishnan:
Isochronous Execution Models for High-Assurance Real-Time Systems. 66-73 - Mohamad Gharib, Paolo Lollini, Andrea Ceccarelli, Andrea Bondavalli:
Engineering Functional Safety Requirements for Automotive Systems: A Cyber-Physical-Social Approach. 74-81
Session 3: Platforms, Architectures and Design
- Morayo Adedjouma, Nataliya Yakymets:
A Framework for Model-Based Dependability Analysis of Cyber-Physical Systems. 82-89 - Paulius Stankaitis, Alexei Iliasov, Yamine Aït Ameur, Tsutomu Kobayashi, Fuyuki Ishikawa, Alexander B. Romanovsky:
A Refinement Based Method for Developing Distributed Protocols. 90-97 - Frédéric Boniol, Claire Pagetti, Nathanaël Sensfelder:
Identification of Multi-Core Interference. 98-106 - Natasha Jarus, Sahra Sedigh Sarvestani, Ali R. Hurson:
Formalizing Cyber-Physical System Model Transformation Via Abstract Interpretation. 107-114
Session 4: System Operation and Behavior
- 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. 115-122 - Rongkun Yan, Jian Guo:
Timing Modeling and Analysis for AUTOSAR Schedule Tables. 123-130 - Ulrich Thomas Gabor, Christoph-Cordt von Egidy, Olaf Spinczyk:
Interface Injection with AspectC++ in Embedded Systems. 131-138 - Brad J. Ziegler, Sahra Sedigh Sarvestani, Ali R. Hurson:
Facilitating Failure Analysis with Software Instrumentation. 139-145 - Haoran Liang, Lei Song, Xuzhi Li:
The Rotate Stress of Steam Turbine Prediction Method Based on Stacking Ensemble Learning. 146-149
Session 5: Security and Privacy
- Tunde Akeem Yekini, Fehmi Jaafar, Pavol Zavarsky:
Study of Trust at Device Level of the Internet of Things Architecture. 150-155 - Junjun Zheng, Hiroyuki Okamura, Tadashi Dohi:
Security Evaluation of a VM-Based Intrusion-Tolerant System with Pull-Type Patch Management. 156-163 - Samip Dhakal, Fehmi Jaafar, Pavol Zavarsky:
Private Blockchain Network for IoT Device Firmware Integrity Verification and Update. 164-170 - Richardson Andrade, Nelson S. Rosa:
MidSecThings: Assurance Solution for Security Smart Homes in IoT. 171-178 - Honghui Li, Xiuru Li, Huan Wang, Jie Zhang, Zhouxian Jiang:
Research on Cloud Performance Testing Model. 179-183
Session 6: Emerging Systems of High Assurance
- Yoshitaka Arahori:
RangeLocker: Adaptive Range-Sensitive Lockset Analysis for Precise Dynamic Race Detection. 184-191 - Hongyan Zhao, Huibiao Zhu, Yucheng Fang, Lili Xiao:
Modeling and Verifying Storm Using CSP. 192-199 - Faisal A. Alkhaldi, Ali T. Alouani:
Development of a Generic Model for Large-Scale Healthcare Organizations. 200-207 - Jiaqi Yin, Huibiao Zhu, Yuan Fei, Yucheng Fang:
Modeling and Verifying Spark on YARN Using Process Algebra. 208-215 - Bo Zhang, Haoming Liu, Jiajia Song, Jinbo Zhang:
Simulation on Grounding Fault Location of Distribution Network Based on Regional Parameters. 216-221
Workshop on Security issues in Cyber-Physical System (SecCPS)
- Giedre Sabaliauskaite, Lin Shen Liew, Fengjun Zhou, Jin Cui:
Designing Safe and Secure Mixed Traffic Systems. 222-227 - Kaikai Pan, Digvijay Gusain, Peter Palensky:
Modelica-Supported Attack Impact Evaluation in Cyber Physical Energy System. 228-233 - Ryo Kurachi, Hiroaki Takada, Naoki Adachi, Hiroshi Ueda, Yukihiro Miyashita:
Asymmetric Key-Based Secure ECU Replacement Without PKI. 234-240 - Edwin Franco Myloth Josephlal, Sridhar Adepu:
Vulnerability Analysis of an Automotive Infotainment System's WIFI Capability. 241-246 - Jeremy W. Bryans, Hoang Nga Nguyen, Siraj A. Shaikh:
Attack Defense Trees with Sequential Conjunction. 247-252
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-22 21:05 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
