I.
Поточні посади
1
| Назва посади | Назва підрозділу |
|---|---|
| Професор | Факультет комп'ютерних наук, фізики та математики |
II.
Додаток до картки НПП
Картка містить досягнення за пунктами постанови КМУ.
Заповнені пункти виділено — натисніть, щоб розкрити.
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 років
III.
Науковий ступінь
2
| Дата отримання | Ступінь | Документ |
|---|---|---|
| 2006 | Кандидат наук | Диплом |
| 2016 | Доктор наук | Диплом |
IV.
Освіта
1
| Дата | Заклад освіти | Документ |
|---|---|---|
| 1981 | Київський орден леніна державного університету ім. Т.Г.Шевченка | Диплом |
V.
Дослідницькі профілі
2
| Платформа | H-індекс | Кількість документів | Кількість цитувань |
|---|---|---|---|
| Scopus | 5 | 46 | 138 |
| 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.0 | Congnitive Networks, Their Properties and Applications in Attack Detection and Prevention Systems | 10.1007/s10559-023-00621-y | — | — |
| 2023.0 | Application of Formal Verification Methods in a Safety-Oriented Software Development Life Cycle | 10.1109/DESSERT61349.2023.10416448 | — | — |
| 2023.0 | AN ALGEBRAIC APPROACH TO THE VERIFICATION OF SMART CONTRACTS IN TEAL | — | — | — |
| 2023.0 | Artificial Intelligence for screening and assessment of autism. | — | — | — |
| 2023.0 | Algebraic Modeling System for Supporting Research in Medicine and Pharmacology | 10.1109/IDAACS58523.2023.10348778 | — | — |
| 2022.0 | Algebraic Virtual Machine Project | 10.1007/978-3-031-14841-5_23 | — | — |
| 2022.0 | Modern Methods and Software Systems of Molecular Modeling and Application of Behavior Algebra | 10.1007/s10559-022-00482-x | — | — |
| 2022.0 | Insertion Semantics of VHDL as Electronic Design Languge | 10.1007/s10559-022-00461-2 | — | — |
| 2022.0 | Algebraic Approach in Molecular Modeling | 10.1109/ICECCME55909.2022.9988227 | — | — |
| 2022.0 | Algebraic Virtual Machine and Its Applications | 10.1007/978-3-031-20834-8_2 | — | — |
| 2022.0 | Algebraic Modeling as One of the Methods for Solving Organic Chemistry Problems | 10.1007/978-3-031-20834-8_9 | — | — |
| 2022.0 | Applying Algebraic Virtual Machine to Cybersecurity Tasks | 10.1109/SETIT54465.2022.9875895 | — | — |
| 2022.0 | Algebraic Modeling of Molecular Interactions | 10.1007/978-3-031-14841-5_25 | — | — |
| 2022.0 | Consensus Protocol Security Analysis Using an Algebraic Virtual Machine | — | — | — |
| 2022.0 | Fuzz Testing Technique and its Use in Cybersecurity Tasks | 10.1007/s10559-022-00445-2 | — | — |
| 2022.0 | Creation of a Self-Sustaining Token Economy | — | — | — |
| 2022.0 | Algebraic approach to the analysis of legal documents | — | — | — |
| 2022.0 | How to Build Self-Sustaining Tokenomics | — | — | — |
| 2021.0 | Algebraic modeling of molecular interactions | — | — | — |
| 2021.0 | Formal Methods of FPGA Project Verification Flow | 10.1109/IDAACS53288.2021.9660906 | — | — |
| 2021.0 | Algebraic virtual machine project | — | — | — |
| 2021.0 | Algebraic Modeling as One of the Methods for Solving Organic Chemistry Problems | — | — | — |
| 2021.0 | Algebraic virtual machine and its applications | — | — | — |
| 2020.0 | Modeling Method for Development of Digital System Algorithms Based on Programmable Logic Devices | 10.1007/s10559-020-00289-8 | — | — |
| 2020.0 | Platform for Modeling of Algebraic Behavior: Experience and Conclusions. | — | — | — |
| 2020.0 | Algebraic Modelling of Logistical Systems Equipped by Wireless Monitoring Devices | 10.1109/IDAACS-SWS50031.2020.9297092 | — | — |
| 2020.0 | Platform for modeling of algebraic behavior: Experience and conclusions | — | — | — |
| 2020.0 | Our Approach to Formal Verification of Token Economy Models | 10.1007/978-3-030-39459-2_16 | — | — |
| 2020.0 | Algebraic modeling in international and local service logistical systems | — | — | — |
| 2020.0 | Machine Learning Methods for Improving Vulnerability Detection in Low-level Code | 10.1109/BigData50022.2020.9377753 | — | — |
| 2019.0 | Algebraic Matching of Vulnerabilities in a Low-Level Code | 10.22042/isecure.2019.11.0.1 | — | — |
| 2019.0 | Algebraic Patterns of Vulnerabilities in Binary Code | 10.1109/DESSERT.2019.8770033 | — | — |
| 2019.0 | Algebraic Matching of Vulnerabilities in a Low-Level Code. | — | — | — |
| 2019.0 | Two-Level Algebraic Method for Detection of Vulnerabilities in Binary Code | 10.1109/IDAACS.2019.8924255 | — | — |
| 2019.0 | Random Re-Ordering of the Parties in the Consensus Protocol. | — | — | — |
| 2019.0 | ACM INTERNATIONAL CONFERENCE PROCEEDING SERIES | — | — | — |
| 2019.0 | Our approach to formal verification of token economy models | — | — | — |
| 2019.0 | Formal verification of token economy models | 10.1109/BLOC.2019.8751318 | — | — |
| 2019.0 | Detection of Fraudulent Behavior Using the Combined Algebraic and Machine Learning Approach | 10.1109/BigData47090.2019.9006546 | — | — |
| 2019.0 | Algebraic approach to verification and testing of distributed applications | 10.1145/3343147.3343159 | — | — |
| 2019.0 | An Overview of the Modern Methods of Security and Protection of Software Systems | 10.1007/s10559-019-00194-9 | — | — |
| 2019.0 | Formalization and algebraic modeling of tokenomics projects | — | — | — |
| 2019.0 | Random re-ordering of the parties in the consensus protocol | — | — | — |
| 2018.0 | Algebraic methods for detection of vulnerabilities in software systems | 10.1109/DESSERT.2018.8409127 | — | — |
| 2018.0 | Algorithm and Tools for Constructing Canonical Forms of Linear Semi-Algebraic Formulas | 10.1007/s10559-018-0102-4 | — | — |
| 2017.0 | An algebraic approach for analyzing of legal requirements | 10.1109/REW.2017.51 | — | — |
| 2017.0 | Cyber-Physical Systems | 10.1007/s10559-017-9984-9 | — | — |
| 2017.0 | The canonical forms of logical formulae over the data types and their using in programs verification | — | — | — |
| 2017.0 | Formalization and algebraic verification of legal requirements | — | — | — |
| 2017.0 | The Canonical Forms of Logical Formulae over the Data Types and Their Using in Programs Verification. | — | — | — |
| 2017.0 | An Algebraic Approach for the Detection of Vulnerabilities in Software Systems | — | — | — |
| 2017.0 | Formalization and Algebraic Verification of Legal Requirements. | — | — | — |
| 2016.0 | Insertion modeling and its applications | — | — | — |
| 2016.0 | Symbolic modelling in white-box model-based testing | 10.1109/AIMS.2015.46 | — | — |
| 2015.0 | Symbolic modelling in white-box model-based testing | — | — | — |
| 2015.0 | Paradigms of Model-Based and Symbolic Testing of Software Systems | 10.1007/s10559-015-9761-6 | — | — |
| 2015.0 | An interleaving reduction for reachability checking in symbolic modeling | — | — | — |
| 2015.0 | Generating Symbolic Traces in the Insertion Modeling System | 10.1007/s10559-015-9691-3 | — | — |
| 2015.0 | Insertion modeling and symbolic verification of large systems | 10.1007/978-3-319-24912-4_1 | — | — |
| 2015.0 | Predicate transformers for local description units | 10.1109/CSITechnol.2015.7358245 | — | — |
| 2015.0 | An Interleaving Reduction for Reachability Checking in Symbolic Modeling. | — | — | — |
| 2014.0 | Symbolic verification of requirements in VRS system | 10.1109/RE.2014.6912282 | — | — |
| 2013.0 | Satisfiability for symbolic verification in VRS | — | — | — |
| 2013.0 | The Non-Deterministic Strategy of Rewriting | — | — | — |
| 2013.0 | Usage of Invariants for Symbolic Verification of Requirements. | — | — | — |
| 2013.0 | About one efficient algorithm for reachability checking in modeling and its implementation | 10.1007/978-3-642-35737-4_9 | — | — |
| 2013.0 | Invariants in symbolic modeling and verification of requirements | 10.1109/CSITechnol.2013.6710332 | — | — |
| 2013.0 | Deductive verification of requirements for event-driven architecture | — | — | — |
| 2012.0 | Efficient algorithm for reachability checking in modeling | — | — | — |
| 2012.0 | System of Programs Proving | — | — | — |
| 2012.0 | Insertion modeling system | 10.1007/978-3-642-29709-0_23 | — | — |
| 2012.0 | Efficient Algorithm for Reachability Checking in Modeling. | — | — | — |
| 2011.0 | Insertion Modeling System and Constraint Programming. | — | — | — |
| 2010.0 | Predicate transformers and system verification | — | — | — |
| 2010.0 | Properties of a predicate transformer of the VRS system | 10.1007/s10559-010-9229-7 | — | — |
| 2010.0 | Formal Requirements Capturing using VRS system. | — | — | — |
| 2010.0 | APS and Tools | — | — | — |
| 2008.0 | Insertion modeling in distributed system design | — | — | — |
| 2005.0 | Basic protocols, message sequence charts, and the verification of requirements specifications | — | — | — |
VIII.
Міжнародні проєкти (фінансовані)
1
| Дата початку реалізації проєкту | Дата завершення реалізації проєкту | Назва проєкту | Роль виконавця у проєкті |
|---|---|---|---|
| 2023 | 2026 | «Символьні методи переписування для забезпечення безпеки та надійності критичних кібер-фізичних систем» | Керівник проєкту |