![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 758 matches
- 2019
- Morayo Adedjouma, Nataliya Yakymets:
A Framework for Model-Based Dependability Analysis of Cyber-Physical Systems. HASE 2019: 82-89 - Bader Alahmad, Sathish Gopalakrishnan:
Isochronous Execution Models for High-Assurance Real-Time Systems. HASE 2019: 66-73 - Faisal A. Alkhaldi, Ali T. Alouani:
Development of a Generic Model for Large-Scale Healthcare Organizations. HASE 2019: 200-207 - Richardson Andrade, Nelson S. Rosa:
MidSecThings: Assurance Solution for Security Smart Homes in IoT. HASE 2019: 171-178 - Yoshitaka Arahori:
RangeLocker: Adaptive Range-Sensitive Lockset Analysis for Precise Dynamic Race Detection. HASE 2019: 184-191 - Frédéric Boniol, Claire Pagetti, Nathanaël Sensfelder:
Identification of Multi-Core Interference. HASE 2019: 98-106 - Jeremy W. Bryans
, Hoang Nga Nguyen
, Siraj A. Shaikh
:
Attack Defense Trees with Sequential Conjunction. HASE 2019: 247-252 - Nacha Chondamrongkul, Jing Sun, Bingyang Wei, Ian Warren:
Parallel Verification of Software Architecture Design. HASE 2019: 50-57 - Samip Dhakal, Fehmi Jaafar, Pavol Zavarsky:
Private Blockchain Network for IoT Device Firmware Integrity Verification and Update. HASE 2019: 164-170 - Ulrich Thomas Gabor, Christoph-Cordt von Egidy, Olaf Spinczyk:
Interface Injection with AspectC++ in Embedded Systems. HASE 2019: 131-138 - Mohamad Gharib
, Paolo Lollini
, Andrea Ceccarelli
, Andrea Bondavalli
:
Engineering Functional Safety Requirements for Automotive Systems: A Cyber-Physical-Social Approach. HASE 2019: 74-81 - Alexei Iliasov, Alexander B. Romanovsky
, Linas Laibinis:
Quantitative Validation of Formal Domain Models. HASE 2019: 17-24 - Natasha Jarus
, Sahra Sedigh Sarvestani
, Ali R. Hurson
:
Formalizing Cyber-Physical System Model Transformation Via Abstract Interpretation. HASE 2019: 107-114 - Edwin Franco Myloth Josephlal, Sridhar Adepu:
Vulnerability Analysis of an Automotive Infotainment System's WIFI Capability. HASE 2019: 241-246 - Ryo Kurachi, Hiroaki Takada, Naoki Adachi, Hiroshi Ueda, Yukihiro Miyashita:
Asymmetric Key-Based Secure ECU Replacement Without PKI. HASE 2019: 234-240 - Honghui Li, Xiuru Li, Huan Wang, Jie Zhang, Zhouxian Jiang
:
Research on Cloud Performance Testing Model. HASE 2019: 179-183 - Haoran Liang, Lei Song, Xuzhi Li:
The Rotate Stress of Steam Turbine Prediction Method Based on Stacking Ensemble Learning. HASE 2019: 146-149 - Xiao Liu, Yufei Jiang, Dinghao Wu:
A Lightweight Framework for Regular Expression Verification. HASE 2019: 1-8 - Xiaodong Lu, Kazuyuki Morioka, Tadashi Koga, Yasuto Sumiya:
Air-Ground System Wide Information Management to Achieve Safe Flight Operation. HASE 2019: 42-49 - Kaikai Pan
, Digvijay Gusain, Peter Palensky:
Modelica-Supported Attack Impact Evaluation in Cyber Physical Energy System. HASE 2019: 228-233 - Giedre Sabaliauskaite
, Lin Shen Liew, Fengjun Zhou, Jin Cui:
Designing Safe and Secure Mixed Traffic Systems. HASE 2019: 222-227 - 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: 115-122 - Lei Song, Haoran Liang, Taisheng Zheng:
Real-Time Anomaly Detection Method for Space Imager Streaming Data Based on HTM Algorithm. HASE 2019: 33-38 - 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: 90-97 - Inna Vistbakka, Elena Troubitsyna, Amin Majd:
Multi-Layered Safety Architecture of Autonomous Systems: Formalising Coordination Perspective. HASE 2019: 58-65 - 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: 9-16 - Rongkun Yan, Jian Guo:
Timing Modeling and Analysis for AUTOSAR Schedule Tables. HASE 2019: 123-130 - Tunde Akeem Yekini, Fehmi Jaafar, Pavol Zavarsky:
Study of Trust at Device Level of the Internet of Things Architecture. HASE 2019: 150-155 - Jiaqi Yin, Huibiao Zhu, Yuan Fei, Yucheng Fang:
Modeling and Verifying Spark on YARN Using Process Algebra. HASE 2019: 208-215 - Bo Zhang, Haoming Liu, Jiajia Song, Jinbo Zhang:
Simulation on Grounding Fault Location of Distribution Network Based on Regional Parameters. HASE 2019: 216-221
skipping 728 more matches
loading more results
failed to load more results, please try again later
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-07-03 12:02 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint