Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Viktor Radchenko"'
Autor:
Anna Klikunova, Tatyana Dyakonova, Ekaterina Agafonnikova, Ilya Makoveev, Mariya Kornaukhova, Viktor Radchenko
Publikováno v:
Mathematical Physics and Computer Simulation. :63-72
The problem of flooding of territories with flood waters for settlements of the Volgograd region is considered. A numerical model of flood water dynamics is constructed, taking into account the topography of the terrain. The simulation is based on tw
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b48e7feba95d146e9c9daddcee86637f
https://doi.org/10.15688/mpcm.jvolsu.2021.3.6
https://doi.org/10.15688/mpcm.jvolsu.2021.3.6
Autor:
Oleksandr Letychevskyi, Viktor Radchenko, Maxim Orlovsky, Andrey Sobol, Volodymyr Peschanenko
Publikováno v:
Proceedings of the 2019 International Electronics Communication Conference.
Challenges in developing distributed applications have given rise to various different design techniques and technologies. This paper presents an algebraic approach using formal verification and model-based testing that can be applied to different de
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8715da887a0b1c163ea79b0e99df0b96
https://doi.org/10.1145/3343147.3343159
https://doi.org/10.1145/3343147.3343159
Autor:
Viktor Radchenko, Viktor Yakovlev, Oleksandr Letychevskyi, Volodymyr Peschanenko, Yaroslav Hryniuk
Publikováno v:
DESSERT
This paper presents an algebraic approach for formalizing and detecting vulnerabilities in binary code. It uses behaviour algebra equations for creating patterns of vulnerabilities and algebraic matching methods for vulnerability detection. Algebraic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::acc238424bad5ac48399f5ea93eacbfd
https://doi.org/10.1109/dessert.2019.8770033
https://doi.org/10.1109/dessert.2019.8770033