


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

, Andrii Karpenko
, Olga Tarasyuk
:
Analysis of Trade-offs in Fault-Tolerant Distributed Computing and Replicated Databases. 1-6 - Oleg V. Bisikalo

, Viacheslav V. Kovtun
, Oksana V. Kovtun
, Volodimir B. Romanenko:
Research of safety and survivability models of the information system for critical use. 7-12 - Oleg Ivanchenko

, Vyacheslav Kharchenko, Eugene Brezhnev
, Yuriy Ponochovnyi
, Borys Moroz
, Leonid Kabak
:
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

, Vyacheslav Kharchenko, Serhii Rudakov, Elena Odarushchenko
:
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

, Myroslav Drozd, Oleksandr Martynyuk:
Using Natural Version Redundancy of FPGA Projects in Area of Critical Applications. 58-64 - Vadym Puidenko

, Vyacheslav Kharchenko:
The Minimizating of Hardware for Implementation of Pseudo LRU Algorithm for Cache Memory. 65-71 - Oleksandr Gordieiev

, Daria Gordieieva
, Andrii Tryfonov, Vladyslav Dokukin, Elena Odarushchenko
:
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

, Dariia Rakhlis
, Inna Filippenko
, Anatolii Miroshnyk
:
Verification of FPGA control systems by analyzing the correctness of state diagrams. 85-89 - Kostiantyn Leontiiev, Eugene Babeshko

, Vyacheslav Kharchenko:
Assumption Modes and Effect Analysis of XMECA: Expert based safety assessment. 90-94 - Dmytro Progonov, Veronika Prokhorchuk

, Andriy Oliynyk
:
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
, Anastasiya Poltorak
, Olha Melnyk, Polina Fenenko:
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

, Al-Khafaji Ahmed Waleed, Oleg Ivanchenko
, Dmytro Uzun, Larysa Degtyareva
:
Availability Model of Two-Zone Physical Security System considering Cyber Attacks and Software Update. 122-126 - Sergii Lysenko

, Kira Bobrovnikova
, Roman Shchuka, Oleg Savenko:
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

, Irina Lokotkova, Anastasiia Kiian, Tetiana Kuznetsova:
Techniques for Raising the Remainder to a Power in the System of Residual Classes. 145-150 - Victor Krasnobayev, Alexandr Kuznetsov

, Victoria Popenko, Anna Kononchenko, Tetiana Kuznetsova:
Determination of Positional Characteristics of Numbers in the Residual Class System. 151-156 - Mariia Rodinko

, Roman Oliynykov
:
The Method of Searching for Differential Trails of ARX-based Block Cipher Cypress. 157-160 - Alexandr Kuznetsov

, Oleksii Smirnov
, Alexander Onikiychuk
, Tymur Makushenko, Olha Anisimova
, Anna Arischenko:
Adaptive Pseudo-Random Sequence Generation for Spread Spectrum Image Steganography. 161-165 - Alexandr Kuznetsov

, Anastasiia Kiian, Vitalina Babenko
, Iryna Perevozova
, Iryna Chepurko
, Oleksii Smirnov
:
New Approach to the Implementation of Post-Quantum Digital Signature Scheme. 166-171 - Alexandr Kuznetsov

, Anastasiia Kiian, Oleksii Smirnov
, Alla Cherep, Meruert Kanabekova, Iryna Chepurko
:
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
, Olena Azarenko, Andriy Fesenko, Rat Berdibayev
:
Experimental Study of Secure PRNG for Q-trits Quantum Cryptography Protocols. 183-188 - Anatoly Shevchenko

, Alexander Sosnitsky:
Universal Meta-Definition of Intelligence. 189-195 - Vyacheslav Kharchenko, Oleg Illiashenko

, Olga Morozova
, Sergii Sokolov:
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

, Taras Savchenko
, Mykyta Myronenko, Oleksandr Prikhodchenko:
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

, Yulia Makarenko, Mikola Mogilat, Anton Neklesa, Olena Ponochovna
:
Cognitive Modeling of the Consumer Market: Sensitivity and Scenario Analysis. 230-235 - Maryna Derkach

, Danylo Matiuk, Inna Skarga-Bandurova
:
Obstacle Avoidance Algorithm for Small Autonomous Mobile Robot Equipped with Ultrasonic Sensors. 236-241 - Oleksandr Tymochko, Oleksandr Timochko, Andrii Trystan

, Olga Matiushchenko, Andrii Berezhnyi
:
Method of Automated Flight Route Planning for Unmanned Aerial Vehicles to Search for Stationary Objects. 242-246 - Kostiantyn Dergachov

, Serhii Bahinskii, Iryna Piavka:
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

, Oleh V. Andriichuk:
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

, Mariia Danova
, Olena Feoktystova
:
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
, Volodymyr Larin:
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

, Vladimir V. Lukin:
A Two-step Procedure for Image Lossy Compression by ADCTC With a Desired Quality. 307-312 - Igor Shostak

, Mariia Danova
, Olga Morozova
, Tamara Kliuieva:
Using Internet of Things Technologies to Ensure Cargo Transportation Safety. 313-319 - Oksana Luchsheva

, Ihor B. Turkin
, Pavlo O. Luchshev
:
Navigation Assistive Application for the Visually Impaired People. 320-325 - Anatoliy Sachenko, Oleksandr Osolinskyi

, Pavlo Bykovyy
, Maciej Dobrowolski
, Volodymyr Kochan:
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

, Oleksandr Maltsev, Ivan Obod, Ganna Zavolodko
:
Fusion Method of Primary Surveillance Radar Data and IFF systems Data. 336-340 - Iryna Svyd

, Ivan Obod, Oleksandr Maltsev, Artem Hlushchenko:
Secondary Surveillance Radar Response Channel Information Security Improvement Method. 341-345 - Nataliia Kussul, Andrii Shelestov, Bohdan Yailymov

, Hanna Yailymova
, Mykola Lavreniuk, Leonid Shumilo, Yuliia Bilokonska:
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

, Valentina Zhabina:
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

, Alexander Chemeris
, Valentyna Dusheba, Ravil Kudermetov, Andrii O. Oliinyk
:
On Hoare Triples Applicability to Dependable System Specification Synthesis. 371-375 - Artem Perepelitsyn

, Inna Zarizenko, Vitaliy Kulanov
:
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

, Tamara Lozinska
, Yuriy Ponochovnyi
, Tetiana Vlasenko
:
Linear Regression Model for Substantiation of Sustainable State Policy in a Digital Economy. 399-403 - Olena Kopishynska

, Yurii Utkin
, Oleksandr Galych, Mykola Marenych
, Ihor Sliusar
:
Main Aspects of the Creation of Managing Information System at the Implementation of Precision Farming. 404-410 - Viktoriya Saravas

, Evgenii Pahalchuk, Andrii Molchan, Yuriy Kampov:
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

, Yantsislav Yanakiev
:
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

, Ivan Lopatto
, Olga Pavlova:
Concept of Intelligent Agent for Verification of Considering the Subject Area Information. 465-469 - Sergiy Dotsenko, Herman Fesenko, Oleg Illiashenko

, Vyacheslav Kharchenko, Valentin Moiseenko, Liudmyla Yermolenko:
Integration of Security, Functional and Ecology Safety Management Systems: Concept and Industrial Case. 470-474 - Yannick Fourastier, Claude Baron

, Carsten Thomas, Philippe Esteban:
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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














