default search action
DESSERT 2020: Kyiv, Ukraine
- 11th IEEE International Conference on Dependable Systems, Services and Technologies, DESSERT 2020, Kyiv, Ukraine, May 14-18, 2020. IEEE 2020, ISBN 978-1-7281-9957-3
- Tetiana Hovorushchenko
, Alla Herts, Yelyzaveta Hnatchuk
Modelling the Decision Making Process on Legal Conducting the Surrogate Motherhood. 1-5 - Anatoliy Gorbenko
Analysis of Trade-offs in Fault-Tolerant Distributed Computing and Replicated Databases. 1-6 - Oleg V. Bisikalo
Research of safety and survivability models of the information system for critical use. 7-12 - Oleg Ivanchenko
Dependability Assessment for SCADA System Considering Usage of Cloud Resources. 13-17 - Viktoriia Merlak, Heorhii Kuchuk:
Resource allocation for hierarchical widget system. 18-22 - Oleksandr Lemeshko, Oleksandra Yeremenko, Maryna Yevdokymenko, Batoul Sleiman, Pavel Segec, Jozef Papán
Advanced Performance-Based Fast ReRouting Model with Path Protection. 23-28 - Lev Raskin, Oksana Sira, Yurii Parfenyuk:
Reliability Assessment of Large Systems That Fail as a Result of Damage Accumulation. 29-33 - Herman Fesenko, Ihor Kliushnikov
Routing an Unmanned Aerial Vehicle During NPP Monitoring in the Presence of an Automatic Battery Replacement Aerial System. 34-39 - Vladimir V. Sklyar, Vyacheslav Kharchenko:
Structured Argumentation for Assurance Case of Monitoring System based on UAVs. 40-46 - Yuri Stepchenkov, Yuri Rogdestvenski, Anton N. Kamenskih, Yuri Diachenko, Denis Diachenko:
Improvement of the Quasi Delay-Insensitive Pipeline Noise Immunity. 47-51 - Sergey F. Tyurin:
Reversible Majority Voter Based on Fredkin Gates. 52-57 - Oleksandr Drozd, Vitaliy A. Romankevich, Mykola Kuznietsov
Using Natural Version Redundancy of FPGA Projects in Area of Critical Applications. 58-64 - Vadym Puidenko
The Minimizating of Hardware for Implementation of Pseudo LRU Algorithm for Cache Memory. 65-71 - Oleksandr Gordieiev
Method and tool for support of software requirements profile quality assessment. 72-79 - Oleg Odarushchenko, Oleksiy Striuk, Kostiantyn Leontiiev, Elena Odarushchenko
Software Fault Insertion Testing for SIL Certification of Safety PLC-Based System. 80-84 - Maryna Miroshnyk, Alexander Shkil, Elvira Kulak
Verification of FPGA control systems by analyzing the correctness of state diagrams. 85-89 - Kostiantyn Leontiiev, Eugene Babeshko
Assumption Modes and Effect Analysis of XMECA: Expert based safety assessment. 90-94 - Dmytro Progonov, Veronika Prokhorchuk
Evaluation system for user authentication methods on mobile devices. 95-101 - Dmytro Likhomanov, Vladyslav Poliukh:
Predicting malicious hosts by blacklisted IPv4 address density estimation. 102-109 - Natalia N. Sirenko, Igor P. Atamanyuk, Yuriy Volosyuk
Paradigm Changes that Strengthen the Financial Security of the State through FINTECH Development. 110-116 - Victoriia Turkina, Dmytro Ihnatiev:
Approach to Sustainable Trust and Reputation Evaluation in Distributed Mobile Networks of the Internet of Things. 117-121 - Vyacheslav Kharchenko, Yuriy Ponochovnyi
Availability Model of Two-Zone Physical Security System considering Cyber Attacks and Software Update. 122-126 - Sergii Lysenko
A Cyberattacks Detection Technique Based on Evolutionary Algorithms. 127-132 - Tamara Radivilova, Lyudmyla Kirichenko, Abed Saif Alghawli, Andrii Ilkov, Maxim Tawalbeh, Petro Zinchenko:
The Complex Method of Intrusion Detection Based on Anomaly Detection and Misuse Detection. 133-137 - Maryna Kolisnyk, Vyacheslav Kharchenko, Iryna Piskachova:
Availability Models of Industrial Internet of Things Wired System Considering Cyberattacks. 138-144 - Victor Krasnobayev, Alexandr Kuznetsov
Techniques for Raising the Remainder to a Power in the System of Residual Classes. 145-150 - Victor Krasnobayev, Alexandr Kuznetsov
Determination of Positional Characteristics of Numbers in the Residual Class System. 151-156 - Mariia Rodinko
The Method of Searching for Differential Trails of ARX-based Block Cipher Cypress. 157-160 - Alexandr Kuznetsov
Adaptive Pseudo-Random Sequence Generation for Spread Spectrum Image Steganography. 161-165 - Alexandr Kuznetsov
New Approach to the Implementation of Post-Quantum Digital Signature Scheme. 166-171 - Alexandr Kuznetsov
Testing of Code-Based Pseudorandom Number Generators for Post-Quantum Application. 172-177 - Valerii Hlukhov:
FPGA Based Digital Quantum Computer Verification. 178-182 - Sergiy Gnatyuk, Tetiana Okhrimenko
Experimental Study of Secure PRNG for Q-trits Quantum Cryptography Protocols. 183-188 - Anatoly Shevchenko
Universal Meta-Definition of Intelligence. 189-195 - Vyacheslav Kharchenko, Oleg Illiashenko
Combination of Digital Twin and Artificial Intelligence in Manufacturing Using Industrial IoT. 196-201 - Oleh Pihnastyi, Georgii Kozhevnikov, Tetiana Bondarenko:
An Analytical Method for Generating a Data Set for a Neural Model of a Conveyor Line. 202-206 - Roman Leizerovych, Galyna V. Kondratenko, Ievgen V. Sidenko, Yuriy P. Kondratenko:
IoT-complex for Monitoring and Analysis of Motor Highway Condition Using Artificial Neural Networks. 207-212 - Olena Protsenko
Informational and extreme machine learning for onboard recognition system of ground objects. 213-218 - Bo Jiang, Pengfei Liu, Jie Xu:
A Deep Learning Approach to Locate Buggy Files. 219-223 - Galyna Mygal, Valeriy Mygal:
The viability of dynamic systems in difficult conditions: cognitive aspects. 224-229 - Petr Makarenko
Cognitive Modeling of the Consumer Market: Sensitivity and Scenario Analysis. 230-235 - Maryna Derkach
Obstacle Avoidance Algorithm for Small Autonomous Mobile Robot Equipped with Ultrasonic Sensors. 236-241 - Oleksandr Tymochko, Oleksandr Timochko, Andrii Trystan
Method of Automated Flight Route Planning for Unmanned Aerial Vehicles to Search for Stationary Objects. 242-246 - Kostiantyn Dergachov
The Algorithm of UAV Automatic Landing System Using Computer Vision. 247-252 - Oleh Pihnastyi, Georgii Kozhevnikov, Valery Khodusov:
Conveyor Model with Input and Output Accumulating Bunker. 253-258 - Igor P. Atamanyuk, Vyacheslav Shebanin, Yuriy P. Kondratenko, Valerii Havrysh, Vadim Lykhach, Sergey Kramarenko:
Identification of the Optimal Parameters for Forecasting the State of Technical Objects Based on the Canonical Random Sequence Decomposition. 259-264 - Vitaliy V. Tsyganok, Sergii V. Kadenko
Hybrid Decision Support Methodology Based on Objective and Expert Data. 265-271 - Yaroslav Khortiuk, Galyna V. Kondratenko, Ievgen V. Sidenko, Yuriy P. Kondratenko:
Increasing Reliability of Programming Interfaces Based on Fuzz Testing. 272-277 - Elena Golembovska, Vyacheslav Kharchenko, Igor Shostak
Assessing the Perception of Abstract Paintings with Elements of Augmented Reality. 278-283 - Axel Sikora, Andi Walz, Lukas Zimmermann:
Research Aspects for Secure Communication in the Industrial Internet of Things. 284-289 - Maksim Pavlenko, Maksym Kolmykov, Oleksandr Tymochko, Serhii Khmelevskiy
Conceptual Basis of Cascading Differential Masking Technology. 290-294 - Mykhailo Babii, Andrii Dikhtiarov:
Identification of a Person by Gait on the Basis of Wavelet Technology. 295-300 - Viktor O. Makarichev, Vladimir V. Lukin, Iryna V. Brysina:
Discrete Atomic Compression with Different Structures of Discrete Atomic Transform: Efficiency Comparison and Perspectives of Application to Digital Images Privacy Protection. 301-306 - Fangfang Li, Sergey S. Krivenko
A Two-step Procedure for Image Lossy Compression by ADCTC With a Desired Quality. 307-312 - Igor Shostak
Using Internet of Things Technologies to Ensure Cargo Transportation Safety. 313-319 - Oksana Luchsheva
Navigation Assistive Application for the Visually Impaired People. 320-325 - Anatoliy Sachenko, Oleksandr Osolinskyi
Development of the Flexible Traffic Control System Using the LabView and ThingSpeak. 326-330 - Igor Zhukov, Nickolay Pechurin, Lyudmila Kondratova
IoT's Primary Information Load Estimation. 331-335 - Iryna Svyd
Fusion Method of Primary Surveillance Radar Data and IFF systems Data. 336-340 - Iryna Svyd
Secondary Surveillance Radar Response Channel Information Security Improvement Method. 341-345 - Nataliia Kussul, Andrii Shelestov, Bohdan Yailymov
Crop monitoring technology based on time series of satellite imagery. 346-350 - Lev Yasenko, Yaroslav Klyatchenko, Oksana Tarasenko-Klyatchenko:
Image noise reduction by denoising autoencoder. 351-355 - Valerii Zhabin
Methods of On-Line Computation Acceleration in Systems with Direct Connection between Units. 356-362 - Sergii Saukh:
Regularization Method for the Clarke's Generalized Jacobian to Ensure the Formation of Nonsingular Systems for Inexact Newton Methods. 363-370 - Vadym Shkarupylo
On Hoare Triples Applicability to Dependable System Specification Synthesis. 371-375 - Artem Perepelitsyn
FPGA as a Service Solutions Development Strategy. 376-380 - Zlatogor Minchev
Digital Society Future Transformation Perspectives in the Informational Age. 381-388 - Oleksandr Potii, Yurii Tsyplinskyi:
Methods of Classification and Assessment of Critical Information Infrastructure Objects. 389-393 - Halyna Chmeruk, Tetiana Bludova:
Probabilistic approach for evaluation of organization of enterprise reengineering. 394-398 - Oleksandr Dorofyeyev
Linear Regression Model for Substantiation of Sustainable State Policy in a Digital Economy. 399-403 - Olena Kopishynska
Main Aspects of the Creation of Managing Information System at the Implementation of Precision Farming. 404-410 - Viktoriya Saravas
The Development of Educational Application with Virtual Reality Placing Objects System Using Snap Zone Technology. 416-421 - Iryna Yakymenko, Volodymyr Kazymyr, Svitlana Lytvyn:
Webometrics ranking analysis and possible ways to improve the position of the university. 422-426 - A. Y. Shamyna, A. D. Ardyako, A. K. Labokha:
Modeling the Distribution of Radionuclides in the Environment as a Result of Radiation Accidents. 427-430 - Todor Tagarev
Business Models of Collaborative Networked Organisations: Implications for Cybersecurity Collaboration. 431-438 - Todor Tagarev
Governance of Collaborative Networked Organisations: Stakeholder Requirements. 439-445 - Kateryna Isirova, Oleksandr Potii:
Development Principles for Electronic Voting System Using Distributed Ledger Technology. 446-450 - Lyudmila Vasylieva, Olga Procenko, Svitlana Chmykhun:
Problems and Solutions for an IT-Dependent Information Society: Essence, Development and Prospects. 451-455 - Sergiy Kryvyi, Olena Grinenko, Volodymyr M. Opanasenko:
Logical Approach to the Research of Properties of Software Engineering Ecosystem. 456-464 - Tetiana Hovorushchenko
Concept of Intelligent Agent for Verification of Considering the Subject Area Information. 465-469 - Sergiy Dotsenko, Herman Fesenko, Oleg Illiashenko
Integration of Security, Functional and Ecology Safety Management Systems: Concept and Industrial Case. 470-474 - Yannick Fourastier, Claude Baron
Assurance levels for decision making in autonomous intelligent systems and their safety. 475-483
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-11-19 20:32 CET 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: