Get started
Author

В.В. Душеба

Observed names: V.V. Dusheba, Valentyna Dusheba, Valentyna V. Dusheba, В. В. Душеба, Душеба, В. В.
ORCID: 0000-0002-8929-3625
Observed ORCID: 0000-0002-8929-3625
OpenAlex ID: A5075529870
On Applicability of Model Checking Technique in Power Systems and Electric Power Industry
2021 · Vadym V. Shkarupylo, Ihor V. Blinov, et al. · Studies in systems, decision and control · 26
Iterative Approach to TLC Model Checker Application
2021 · Vadym Shkarupylo, Ihor Blinov, et al. · IEEE KhPI Week on Advanced Technology (KhPIWeek) · 16
Analysis of Optimizing Database Performance Methods
2024 · V.R. Gerasimov, V.V. Dusheba · Èlektronnoe modelirovanie · 3
PDF
Case Driven TLC Model Checker Analysis in Energy Scenario
2023 · Vadym Shkarupylo, Ihor Blinov, et al. · 3
Stratified Model of Safety-critical System Non-functional Properties Representation at Design
2022 · V.V. Shkarupylo, V.V. Dusheba, et al. · Èlektronnoe modelirovanie · 3
PDF
A technique for checking the adequacy of formal model
2021 · Vadym Shkarupylo, Jamil Abedalrahim Jamil Alsayaydeh, et al. · ARPN Journal of Engineering and Applied Sciences · 3
On Hoare Triples Applicability to Dependable System Specification Synthesis
2020 · Vadym Shkarupylo, Alexander Chemeris, et al. · International Conference on Dependable Systems, Services and Technologies (DESSERT) · 3
Model-driven Approach to Non-functional Properties Indexes Control at Design
2021 · V.V. Shkarupylo, O.A. Chemerys, et al. · Scientific notes of Taurida National V I Vernadsky University Series Technical Sciences · 2
PDF
Formal Methods Usage With Respect to Critical Systems Checking
2019 · V.V. Shkarupylo, V.F. Evdokimov, et al. · Scientific notes of Taurida National V I Vernadsky University Series Technical Sciences · 2
PDF
Formal Verification Problem Solved With the Model Checking Method Spatial Complexity Estimation
2020 · V.V. Shkarupylo, O.A. Chemerys, et al. · Scientific notes of Taurida National V I Vernadsky University Series Technical Sciences · 1
PDF
Research on Multithreaded Implementation of Model Checkingmethod for Temporal Logic of Actions
2020 · V.V. Shkarupylo, O.A. Chemerys, et al. · Scientific notes of Taurida National V I Vernadsky University Series Technical Sciences · 1
PDF
Semantics-Preserving Data Migration from Relational to Non-Relational Databases Based on Source Code Analysis
2026 · V.R. Gerasimov, V.V. Dusheba · Elektronne modelûvannâ
On Variation of Formal Specification Abstraction Level through Operation with TLA+ Concepts
2025 · Victor Shkarupylo, Vadym Shkarupylo, et al. · IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS)
Inductive Approach to Software and Algorithmic Component Formalized Representations Construction at Design
2024 · V.V. Shkarupylo, V.V. Dusheba, et al. · Scientific notes of Taurida National V I Vernadsky University Series Technical Sciences
PDF
Засоби додаткового захисту інформації користувачів у розподілених обчислювальних мережах
2022 · А.М. Давиденко, С.Я. Гільгурт, et al. · Problems of Informatization and Management
PDF
Спадковість артефактів у контексті багатовимірної верифікації
2022 · Шкарупило, В. В., Душеба, В. В. · Electronic Institutional Repository of Zaporizhzhya National Technical University (Zaporizhzhya National Technical University)
Computer technologies for formation of acoustic images of defects of the scanned environment with high accuracy
2020 · В. Ф. Євдокимов, Е. А. Огир, et al. · Problems of Informatization and Management
PDF
Анализ вопросов контроля целостности информации в распределннных компьютерных сетях
2011 · С.Я. Гильгурт, А.Н. Давиденко, et al. · The scientific electronic library of periodicals of the National Academy of Sciences of Ukraine (National Academy of Sciences of Ukraine)
PDF
Центр Для Решения Задач Энергетики На Базе Технологии Grid
2009 · А.Н. Давиденко, С.Я. Гильгурт, et al. · Problems of Informatization and Management
Информационно-аналитический центр по проблемам энергетики на базе грид-узла ИПМЭ НАНУ
2009 · В.Ф. Евдокимов, А.Н. Давиденко, et al. · The scientific electronic library of periodicals of the National Academy of Sciences of Ukraine (National Academy of Sciences of Ukraine)
PDF
Works count: 20
Citation count: 63
H-index: 3
I10-index: 2
Year
Topic
Type