I.
Додаток до картки НПП
Картка містить досягнення за пунктами постанови КМУ.
Заповнені пункти виділено — натисніть, щоб розкрити.
2
3
16
17
18
ПК
- OO Letychevskyi, SO Yevdokymov / Digital twins in intrusion detection systems based on deep learning / Журнал PROBLEMS IN PROGRAMMING, випуск 2 / ст. 20-27 / 07.09.2025
- Oleksandr Letychevskyi, Oleksandr Kolchyn, Stepan Potiyenko/ Scenario-Based Slicing and Its Use for Cyber / Журнал Intelligent Computing: Proceedings of the 2025 Computing Conference, Volume 3, том 1425, Видавець Springer Nature / ст. 376 / 13.08.2025
- Oleksandr Letychevskyi, Oleksandr Kolchyn, Stepan Potiyenko / Scenario-Based Slicing and Its Use for Cyber Vulnerabilities Detection in Programs with Highly Various Call Stack / Книга
Intelligent Computing-Proceedings of the Computing Conference / Видавець Springer Nature Switzerland / ст. 376-390 / 19.06.2025
- O Letychevskyi, B Panchuk / The Problem of Accuracy in Systems for Cyberattack Resistance and the Verification of Neural Networks on the Example of Botnet Detecting Problem / Журнал
Cybernetics and Systems Analysis, видавець Springer International Publishing / ст. 1-8 / 26.04.2025
- OO Letychevskyi, Yu H Tarasich / Neuro-symbolic approach for the biological systems and processes research / Журнал ПРОБЛЕМИ ПРОГРАМУВАННЯ / ст. 271-279 / 17.12.2024
- Oleg Odarushchenko, Oleksandr Letychevskyi, Viacheslav Shamanskyi, Ievgen Babeshko, Volodymyr Peschanenko, Oleksiy Striuk / Information Technology of Formal Verification and Design of FPGA Electronic Projects / Конференція 2024 14th International Conference on Dependable Systems, Services and Technologies (DESSERT) / ст. 1-6 / 2024
- Oleksandr Letychevskyi, Volodymyr Peschanenko / Usage of Cognitive Networks for Cyberattack Detection and Prevention / International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, видавець Springer Nature Switzerland, ст. 76-91 / 2024
- Oleksandr Letychevskyi, Volodymyr Peschanenko, Maksym Poltoratskyi, Olga Konnova / An algebraic approach to the verification of smart contracts in TEAL / Journal of Information Technologies in Education (ITE), випуск 54 ст. 37-51 / 2023
- Oleksandr Letychevskyi, Yuliia Tarasich, Volodymyr Peschanenko / AN ALGEBRAIC APPROACH TO MOLECULAR MODELING AND ITS APPLICATION IN CELL APOPTOSIS PROCESS RESEARCH / Конференція 2023-Sustainable Industrial Processing Summit / ст. 109-116, 2023
- Oleg Odarushchenko, Oleksiy Striuk, Viacheslav Shamanskyi, Oleksandr Letychevskyi, Aleksandr Ivasiuk, Elena Odarushchenko / Application of formal verification methods in a safety-oriented software development life cycle / Конференція 2023 13th International Conference on Dependable Systems, Services and Technologies (DESSERT) / ст. 1-6, 2023
- Oleksandr Letychevskyi, Yuliia Tarasich, Volodymyr Peschanenko / Algebraic Modeling System for Supporting Research in Medicine and Pharmacology / Конференція 2023 IEEE 12th International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS), том 1, ст. 1093-1098, 2023
- O Letychevskyi / Congnitive Networks, Their Properties and Applications in Attack Detection and Prevention Systems / Cybernetics and Systems Analysis, том 59, випуск 5, ст. 859-866
- Oleksandr Letychevskyi, Viktor Horbatyuk / Алгебраїчний підхід та методи штучного інтелекту в сучасних системах виявлення вторгнень / International Scientific Technical Journal" Problems of Control and Informatics" том 68, випуск 3, ст. 101-111, 2023
- D Gimmelberg, Vladyslav Volkov, Gianna Raucher, Aigerim Zhunisbekova, M Glowacka, Pablo Roitman, Mara Gutshabash, Radu Irbe, Olexandr Letychevskyi, Ruzhena Sikarova / Artificial Intelligence for screening and assessment of autism / State of the art. Direction to further research / ст. 1-56 / 01.06.2023
- Algebraic Modeling as One of the Methods for Solving Organic Chemistry Problems / O. Letychevskyi, Y. Tarasich, V. Peschanenko, V. Volkov, H. Sokolova, M. Poltoratskyi // Communications in Computer and Information Science, 2022, 1698 CCIS, pp. 180–202, https://doi.org/10.1007/978-3-031-20834-8_9
- Algebraic Virtual Machine Project / Letychevskyi, O., Peschanenko, V., Volkov, V. // Communications in Computer and Information Science, 2022, 1635 CCIS, pp. 353–364
- Algebraic Modeling of Molecular Interactions / Letychevskyi, O., Tarasich, Y., Peschanenko, V., Volkov, V., Sokolova, H.// Communications in Computer and Information Science, 2022, 1635 CCIS, pp. 379–387
- Fuzz Testing Technique and its Use in Cybersecurity Tasks / O. Letychevskyi, V. Peschanenko, Y. Hryniuk // Cybernetics and Systems Analysis, 2022, 58(1), pp. 157–163
- O. Letychevskyi and V. Peschanenko, "Applying Algebraic Virtual Machine to Cybersecurity Tasks," 2022 IEEE 9th International Conference on Sciences of Electronics, Technologies of Information and Telecommunications (SETIT), 2022, pp. 161-169, doi: 10.1109/SETIT54465.2022.9875895.
- Modern methods and software systems of molecular modeling and application of behavior algebra / O. Letychevskyi, V. Volkov, Yu. Tarasich, G. Sokolova, V. Peschanenko // Kibernetyka ta sistemnyi analiz. 2022. Vol. 58, N 3. P. 150–163.
- Insertion semantics of VHDL as electronic design language / O.O. Letychevskyi, O.M. Odarushchenko, V.S. Peschanenko, V.S. Kharchenko, V.V. Moskalets // Kibernetyka ta Systemnyi Analiz. 2022. Vol. 58, N 2. P. 154–165.
- Fuzzing technique and its usage in cybersecurity tasks / O.O. Letychevskyi, V.S. Peschanenko, Y.V. Hryniuk // Kibernetyka ta Systemnyi Analiz. 2022. Vol. 58, N 1. P. 181–189.
- Algebraic Modeling as One of the Methods for Solving Organic Chemistry Problems/ O. Letychevskyi, Y. Tarasich, V. Peschanenko, V. Volkov, H. Sokolova, M. Poltoratskyi // Communications in Computer and Information Science, Vol. 1698, 2021, p. 180-202.
- Oleksandr Letychevskyi, Oleksandr Kolchyn, Stepan Potiyenko/ Scenario-Based Slicing and Its Use for Cyber / Журнал Intelligent Computing: Proceedings of the 2025 Computing Conference, Volume 3, том 1425, Видавець Springer Nature / ст. 376 / 13.08.2025
- Oleksandr Letychevskyi, Oleksandr Kolchyn, Stepan Potiyenko / Scenario-Based Slicing and Its Use for Cyber Vulnerabilities Detection in Programs with Highly Various Call Stack / Книга
Intelligent Computing-Proceedings of the Computing Conference / Видавець Springer Nature Switzerland / ст. 376-390 / 19.06.2025
- O Letychevskyi, B Panchuk / The Problem of Accuracy in Systems for Cyberattack Resistance and the Verification of Neural Networks on the Example of Botnet Detecting Problem / Журнал
Cybernetics and Systems Analysis, видавець Springer International Publishing / ст. 1-8 / 26.04.2025
- OO Letychevskyi, Yu H Tarasich / Neuro-symbolic approach for the biological systems and processes research / Журнал ПРОБЛЕМИ ПРОГРАМУВАННЯ / ст. 271-279 / 17.12.2024
- Oleg Odarushchenko, Oleksandr Letychevskyi, Viacheslav Shamanskyi, Ievgen Babeshko, Volodymyr Peschanenko, Oleksiy Striuk / Information Technology of Formal Verification and Design of FPGA Electronic Projects / Конференція 2024 14th International Conference on Dependable Systems, Services and Technologies (DESSERT) / ст. 1-6 / 2024
- Oleksandr Letychevskyi, Volodymyr Peschanenko / Usage of Cognitive Networks for Cyberattack Detection and Prevention / International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, видавець Springer Nature Switzerland, ст. 76-91 / 2024
- Oleksandr Letychevskyi, Volodymyr Peschanenko, Maksym Poltoratskyi, Olga Konnova / An algebraic approach to the verification of smart contracts in TEAL / Journal of Information Technologies in Education (ITE), випуск 54 ст. 37-51 / 2023
- Oleksandr Letychevskyi, Yuliia Tarasich, Volodymyr Peschanenko / AN ALGEBRAIC APPROACH TO MOLECULAR MODELING AND ITS APPLICATION IN CELL APOPTOSIS PROCESS RESEARCH / Конференція 2023-Sustainable Industrial Processing Summit / ст. 109-116, 2023
- Oleg Odarushchenko, Oleksiy Striuk, Viacheslav Shamanskyi, Oleksandr Letychevskyi, Aleksandr Ivasiuk, Elena Odarushchenko / Application of formal verification methods in a safety-oriented software development life cycle / Конференція 2023 13th International Conference on Dependable Systems, Services and Technologies (DESSERT) / ст. 1-6, 2023
- Oleksandr Letychevskyi, Yuliia Tarasich, Volodymyr Peschanenko / Algebraic Modeling System for Supporting Research in Medicine and Pharmacology / Конференція 2023 IEEE 12th International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS), том 1, ст. 1093-1098, 2023
- O Letychevskyi / Congnitive Networks, Their Properties and Applications in Attack Detection and Prevention Systems / Cybernetics and Systems Analysis, том 59, випуск 5, ст. 859-866
- Oleksandr Letychevskyi, Viktor Horbatyuk / Алгебраїчний підхід та методи штучного інтелекту в сучасних системах виявлення вторгнень / International Scientific Technical Journal" Problems of Control and Informatics" том 68, випуск 3, ст. 101-111, 2023
- D Gimmelberg, Vladyslav Volkov, Gianna Raucher, Aigerim Zhunisbekova, M Glowacka, Pablo Roitman, Mara Gutshabash, Radu Irbe, Olexandr Letychevskyi, Ruzhena Sikarova / Artificial Intelligence for screening and assessment of autism / State of the art. Direction to further research / ст. 1-56 / 01.06.2023
- Algebraic Modeling as One of the Methods for Solving Organic Chemistry Problems / O. Letychevskyi, Y. Tarasich, V. Peschanenko, V. Volkov, H. Sokolova, M. Poltoratskyi // Communications in Computer and Information Science, 2022, 1698 CCIS, pp. 180–202, https://doi.org/10.1007/978-3-031-20834-8_9
- Algebraic Virtual Machine Project / Letychevskyi, O., Peschanenko, V., Volkov, V. // Communications in Computer and Information Science, 2022, 1635 CCIS, pp. 353–364
- Algebraic Modeling of Molecular Interactions / Letychevskyi, O., Tarasich, Y., Peschanenko, V., Volkov, V., Sokolova, H.// Communications in Computer and Information Science, 2022, 1635 CCIS, pp. 379–387
- Fuzz Testing Technique and its Use in Cybersecurity Tasks / O. Letychevskyi, V. Peschanenko, Y. Hryniuk // Cybernetics and Systems Analysis, 2022, 58(1), pp. 157–163
- O. Letychevskyi and V. Peschanenko, "Applying Algebraic Virtual Machine to Cybersecurity Tasks," 2022 IEEE 9th International Conference on Sciences of Electronics, Technologies of Information and Telecommunications (SETIT), 2022, pp. 161-169, doi: 10.1109/SETIT54465.2022.9875895.
- Modern methods and software systems of molecular modeling and application of behavior algebra / O. Letychevskyi, V. Volkov, Yu. Tarasich, G. Sokolova, V. Peschanenko // Kibernetyka ta sistemnyi analiz. 2022. Vol. 58, N 3. P. 150–163.
- Insertion semantics of VHDL as electronic design language / O.O. Letychevskyi, O.M. Odarushchenko, V.S. Peschanenko, V.S. Kharchenko, V.V. Moskalets // Kibernetyka ta Systemnyi Analiz. 2022. Vol. 58, N 2. P. 154–165.
- Fuzzing technique and its usage in cybersecurity tasks / O.O. Letychevskyi, V.S. Peschanenko, Y.V. Hryniuk // Kibernetyka ta Systemnyi Analiz. 2022. Vol. 58, N 1. P. 181–189.
- Algebraic Modeling as One of the Methods for Solving Organic Chemistry Problems/ O. Letychevskyi, Y. Tarasich, V. Peschanenko, V. Volkov, H. Sokolova, M. Poltoratskyi // Communications in Computer and Information Science, Vol. 1698, 2021, p. 180-202.
-
-
Полторацький Максим - доктор філософії з галузі знань 012 Інформаційні технології зі спеціальності 121 Інженерія програмного забезпечення
Тема дисертації - "Алгебраїчний підхід у формалізації та аналізі економічних та правових моделей" , 2021
Тема дисертації - "Алгебраїчний підхід у формалізації та аналізі економічних та правових моделей" , 2021
Так
Науковий керівник тем АН НАНУ:
ВФК.100.14 Розробити теоретичні засади та методи модельного способу побудови та реінжинірингу систем, що критичні до безпеки, на основі символьного інсерційного моделювання, дедуктивних методів та методів штучного інтелекту
ВФ.100.15 Розробити теоретичні засади аналізу кіберфізичних систем на основі інсерційного моделювання
В.П.100.16 Розробити формальні методи виявлення вразливостей програмних систем
ВФК.100.14 Розробити теоретичні засади та методи модельного способу побудови та реінжинірингу систем, що критичні до безпеки, на основі символьного інсерційного моделювання, дедуктивних методів та методів штучного інтелекту
ВФ.100.15 Розробити теоретичні засади аналізу кіберфізичних систем на основі інсерційного моделювання
В.П.100.16 Розробити формальні методи виявлення вразливостей програмних систем
-
Symbolic rewriting methods for the safety and security of critical cyber-physical systems(2023-2026, NATO)
-
-
-
-
-
-
LitSoft, директор
33 років
II.
Освіта
1
| Дата | Освітній ступінь | Заклад | Спеціальність | Кваліфікація | Документ | Серія / № |
|---|---|---|---|---|---|---|
| 1981 | Спеціаліст | Київський орден леніна державного університету ім. Т.Г.Шевченка | прикладна математика | математик | Диплом | ЗВ •••••• |
III.
Науковий ступінь
2
| Дата | Науковий ступінь | Заклад | Спеціальність | Документ | Серія / № |
|---|---|---|---|---|---|
| 2016 | Доктор наук | Інститут кібернетики імені В.М.Глушкова НАН України | фізико-математичних наук | Диплом | ДД •••••• |
| 2006 | Кандидат наук | — | фізико-математичних наук | Диплом | ДК •••••• |
IV.
Вчене звання
1
| Дата | Вчене звання | Документ | Серія / № |
|---|---|---|---|
| 2015 | Старший науковий співробітник | Атестат | АС •••••• |
V.
Дослідницькі профілі
3
| Платформа | H-індекс | Кількість документів | Кількість цитувань |
|---|---|---|---|
| Scopus | 5 | 46 | 138 |
| Web of Science | — | — | — |
| Google Scholar | 9 | 71 | 550 |
VI.
H-індекс за роками
2
| Рік | H-індекс | Посилання на профіль |
|---|---|---|
| 2025 | 6 | https://www.scopus.com/authid/detail.uri?authorId=555573584… |
| 2025 | 9 | https://scholar.google.com/citations?user=KqUYncEAAAAJ |
VII.
Статті
85
| Рік | Назва | ID цифрового об'єкту | ISSN | Посилання на статтю |
|---|---|---|---|---|
| — | Algebraic Virtual Machine and Cybersecurity Tasks | — | — | — |
| — | Algebraic School of VM Glushkov and Insertion Modeling | — | — | — |
| — | The Canonical Forms of Logical Formulae over the Data Types and Their Using in Programs Verification | — | — | — |
| — | Symbolic Modeling Approach in Verification and Testing | — | — | — |
| — | ALGEBRAIC MODELING AND ITS APPLICATION | — | — | — |
| — | ISeCure | — | — | — |
| 2023 | Congnitive Networks, Their Properties and Applications in Attack Detection and Prevention Systems | 10.1007/s10559-023-00621-y | — | — |
| 2023 | Application of Formal Verification Methods in a Safety-Oriented Software Development Life Cycle | 10.1109/DESSERT61349.2023.10416448 | — | — |
| 2023 | AN ALGEBRAIC APPROACH TO THE VERIFICATION OF SMART CONTRACTS IN TEAL | — | — | — |
| 2023 | Artificial Intelligence for screening and assessment of autism. | — | — | — |
| 2023 | Algebraic Modeling System for Supporting Research in Medicine and Pharmacology | 10.1109/IDAACS58523.2023.10348778 | — | — |
| 2022 | Algebraic Virtual Machine Project | 10.1007/978-3-031-14841-5_23 | — | — |
| 2022 | Modern Methods and Software Systems of Molecular Modeling and Application of Behavior Algebra | 10.1007/s10559-022-00482-x | — | — |
| 2022 | Insertion Semantics of VHDL as Electronic Design Languge | 10.1007/s10559-022-00461-2 | — | — |
| 2022 | Algebraic Approach in Molecular Modeling | 10.1109/ICECCME55909.2022.9988227 | — | — |
| 2022 | Algebraic Virtual Machine and Its Applications | 10.1007/978-3-031-20834-8_2 | — | — |
| 2022 | Algebraic Modeling as One of the Methods for Solving Organic Chemistry Problems | 10.1007/978-3-031-20834-8_9 | — | — |
| 2022 | Applying Algebraic Virtual Machine to Cybersecurity Tasks | 10.1109/SETIT54465.2022.9875895 | — | — |
| 2022 | Algebraic Modeling of Molecular Interactions | 10.1007/978-3-031-14841-5_25 | — | — |
| 2022 | Consensus Protocol Security Analysis Using an Algebraic Virtual Machine | — | — | — |
| 2022 | Fuzz Testing Technique and its Use in Cybersecurity Tasks | 10.1007/s10559-022-00445-2 | — | — |
| 2022 | Creation of a Self-Sustaining Token Economy | — | — | — |
| 2022 | Algebraic approach to the analysis of legal documents | — | — | — |
| 2022 | How to Build Self-Sustaining Tokenomics | — | — | — |
| 2021 | Algebraic modeling of molecular interactions | — | — | — |
| 2021 | Formal Methods of FPGA Project Verification Flow | 10.1109/IDAACS53288.2021.9660906 | — | — |
| 2021 | Algebraic virtual machine project | — | — | — |
| 2021 | Algebraic Modeling as One of the Methods for Solving Organic Chemistry Problems | — | — | — |
| 2021 | Algebraic virtual machine and its applications | — | — | — |
| 2020 | Modeling Method for Development of Digital System Algorithms Based on Programmable Logic Devices | 10.1007/s10559-020-00289-8 | — | — |
| 2020 | Platform for Modeling of Algebraic Behavior: Experience and Conclusions. | — | — | — |
| 2020 | Algebraic Modelling of Logistical Systems Equipped by Wireless Monitoring Devices | 10.1109/IDAACS-SWS50031.2020.9297092 | — | — |
| 2020 | Platform for modeling of algebraic behavior: Experience and conclusions | — | — | — |
| 2020 | Our Approach to Formal Verification of Token Economy Models | 10.1007/978-3-030-39459-2_16 | — | — |
| 2020 | Algebraic modeling in international and local service logistical systems | — | — | — |
| 2020 | Machine Learning Methods for Improving Vulnerability Detection in Low-level Code | 10.1109/BigData50022.2020.9377753 | — | — |
| 2019 | Algebraic Matching of Vulnerabilities in a Low-Level Code | 10.22042/isecure.2019.11.0.1 | — | — |
| 2019 | Algebraic Patterns of Vulnerabilities in Binary Code | 10.1109/DESSERT.2019.8770033 | — | — |
| 2019 | Algebraic Matching of Vulnerabilities in a Low-Level Code. | — | — | — |
| 2019 | Two-Level Algebraic Method for Detection of Vulnerabilities in Binary Code | 10.1109/IDAACS.2019.8924255 | — | — |
| 2019 | Random Re-Ordering of the Parties in the Consensus Protocol. | — | — | — |
| 2019 | ACM INTERNATIONAL CONFERENCE PROCEEDING SERIES | — | — | — |
| 2019 | Our approach to formal verification of token economy models | — | — | — |
| 2019 | Formal verification of token economy models | 10.1109/BLOC.2019.8751318 | — | — |
| 2019 | Detection of Fraudulent Behavior Using the Combined Algebraic and Machine Learning Approach | 10.1109/BigData47090.2019.9006546 | — | — |
| 2019 | Algebraic approach to verification and testing of distributed applications | 10.1145/3343147.3343159 | — | — |
| 2019 | An Overview of the Modern Methods of Security and Protection of Software Systems | 10.1007/s10559-019-00194-9 | — | — |
| 2019 | Formalization and algebraic modeling of tokenomics projects | — | — | — |
| 2019 | Random re-ordering of the parties in the consensus protocol | — | — | — |
| 2018 | Algebraic methods for detection of vulnerabilities in software systems | 10.1109/DESSERT.2018.8409127 | — | — |
| 2018 | Algorithm and Tools for Constructing Canonical Forms of Linear Semi-Algebraic Formulas | 10.1007/s10559-018-0102-4 | — | — |
| 2017 | An algebraic approach for analyzing of legal requirements | 10.1109/REW.2017.51 | — | — |
| 2017 | Cyber-Physical Systems | 10.1007/s10559-017-9984-9 | — | — |
| 2017 | The canonical forms of logical formulae over the data types and their using in programs verification | — | — | — |
| 2017 | Formalization and algebraic verification of legal requirements | — | — | — |
| 2017 | The Canonical Forms of Logical Formulae over the Data Types and Their Using in Programs Verification. | — | — | — |
| 2017 | An Algebraic Approach for the Detection of Vulnerabilities in Software Systems | — | — | — |
| 2017 | Formalization and Algebraic Verification of Legal Requirements. | — | — | — |
| 2016 | Insertion modeling and its applications | — | — | — |
| 2016 | Symbolic modelling in white-box model-based testing | 10.1109/AIMS.2015.46 | — | — |
| 2015 | Symbolic modelling in white-box model-based testing | — | — | — |
| 2015 | Paradigms of Model-Based and Symbolic Testing of Software Systems | 10.1007/s10559-015-9761-6 | — | — |
| 2015 | An interleaving reduction for reachability checking in symbolic modeling | — | — | — |
| 2015 | Generating Symbolic Traces in the Insertion Modeling System | 10.1007/s10559-015-9691-3 | — | — |
| 2015 | Insertion modeling and symbolic verification of large systems | 10.1007/978-3-319-24912-4_1 | — | — |
| 2015 | Predicate transformers for local description units | 10.1109/CSITechnol.2015.7358245 | — | — |
| 2015 | An Interleaving Reduction for Reachability Checking in Symbolic Modeling. | — | — | — |
| 2014 | Symbolic verification of requirements in VRS system | 10.1109/RE.2014.6912282 | — | — |
| 2013 | Satisfiability for symbolic verification in VRS | — | — | — |
| 2013 | The Non-Deterministic Strategy of Rewriting | — | — | — |
| 2013 | Usage of Invariants for Symbolic Verification of Requirements. | — | — | — |
| 2013 | About one efficient algorithm for reachability checking in modeling and its implementation | 10.1007/978-3-642-35737-4_9 | — | — |
| 2013 | Invariants in symbolic modeling and verification of requirements | 10.1109/CSITechnol.2013.6710332 | — | — |
| 2013 | Deductive verification of requirements for event-driven architecture | — | — | — |
| 2012 | Efficient algorithm for reachability checking in modeling | — | — | — |
| 2012 | System of Programs Proving | — | — | — |
| 2012 | Insertion modeling system | 10.1007/978-3-642-29709-0_23 | — | — |
| 2012 | Efficient Algorithm for Reachability Checking in Modeling. | — | — | — |
| 2011 | Insertion Modeling System and Constraint Programming. | — | — | — |
| 2010 | Predicate transformers and system verification | — | — | — |
| 2010 | Properties of a predicate transformer of the VRS system | 10.1007/s10559-010-9229-7 | — | — |
| 2010 | Formal Requirements Capturing using VRS system. | — | — | — |
| 2010 | APS and Tools | — | — | — |
| 2008 | Insertion modeling in distributed system design | — | — | — |
| 2005 | Basic protocols, message sequence charts, and the verification of requirements specifications | — | — | — |
VIII.
Наукові журнали
23
| Журнал | Публікацій | ISSN |
|---|---|---|
| Cybernetics and Systems Analysis | 11 | 10600396 15738337 |
| CEUR Workshop Proceedings | 8 | 16130073 |
| Communications in Computer and Information Science | 6 | 18650937 18650929 |
| Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2 | 16113349 03029743 |
| 2014 IEEE 22nd International Requirements Engineering Conference, RE 2014 - Proceedings | 1 | — |
| 2022 IEEE 9th International Conference on Sciences of Electronics, Technologies of Information and Telecommunications, SETIT 2022 | 1 | — |
| 2023 13th International Conference on Dependable Systems, Services and Technologies, DESSERT 2023 | 1 | — |
| ACM International Conference Proceeding Series | 1 | — |
| Conference Proceedings of 2019 10th International Conference on Dependable Systems, Services and Technologies, DESSERT 2019 | 1 | — |
| CSIT 2013 - 9th International Conference on Computer Science and Information Technologies, Revised Selected Papers | 1 | — |
| ICBC 2019 - IEEE International Conference on Blockchain and Cryptocurrency | 1 | — |
| IDAACS-SWS 2020 - 5th IEEE International Symposium on Smart and Wireless Systems within the International Conferences on Intelligent Data Acquisition and Advanced Computing Systems, Proceedings | 1 | — |
| International Conference on Electrical, Computer, Communications and Mechatronics Engineering, ICECCME 2022 | 1 | — |
| International Scientific and Technical Conference on Computer Sciences and Information Technologies | 1 | 27663639 27663655 |
| ISeCure | 1 | 20083076 20082045 |
| Proceedings - 2017 IEEE 25th International Requirements Engineering Conference Workshops, REW 2017 | 1 | — |
| Proceedings - 2019 IEEE International Conference on Big Data, Big Data 2019 | 1 | — |
| Proceedings - 2020 IEEE International Conference on Big Data, Big Data 2020 | 1 | — |
| Proceedings - AIMS 2015, 3rd International Conference on Artificial Intelligence, Modelling and Simulation | 1 | — |
| Proceedings of 2018 IEEE 9th International Conference on Dependable Systems, Services and Technologies, DESSERT 2018 | 1 | — |
| Proceedings of the 11th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, IDAACS 2021 | 1 | — |
| Proceedings of the 2019 10th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, IDAACS 2019 | 1 | — |
| Proceedings of the IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, IDAACS | 1 | 27704254 27704262 |
IX.
Міжнародні проєкти (фінансовані)
1
| Дата початку реалізації проєкту | Дата завершення реалізації проєкту | Назва проєкту | Роль виконавця у проєкті |
|---|---|---|---|
| 2023 | 2026 | «Символьні методи переписування для забезпечення безпеки та надійності критичних кібер-фізичних систем» | Виконавець |