More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Oleksandr A. Letychevskyi

Olexander A. Letychevskyi – Olexandr A. Letychevskyi

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/dessert/OdarushchenkoSSLIO23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dessert/OdarushchenkoSSLIO23
Oleg Odarushchenko, Oleksiy Striuk, Viacheslav Shamanskyi, Oleksandr A. Letychevskyi, Aleksandr Ivasiuk, Elena Odarushchenko:
Application of Formal Verification Methods in a Safety-Oriented Software Development Life Cycle. DESSERT 2023: 1-6
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/idaacs/LetychevskyiTP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/idaacs/LetychevskyiTP23
Oleksandr A. Letychevskyi, Yuliia Tarasich, Volodymyr Peschanenko:
Algebraic Modeling System for Supporting Research in Medicine and Pharmacology. IDAACS 2023: 1093-1098
2022
[c24]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/intelitsis/LetychevskyiPH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/intelitsis/LetychevskyiPH22
Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Serhii Horbatiuk:
Consensus protocol security analysis using an algebraic virtual machine. IntelITSIS 2022: 484-493
2021
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/icteri/LetychevskyiPV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icteri/LetychevskyiPV21
Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Vlad Volkov:
Algebraic Virtual Machine and Its Applications. ICTERI (Revised Selected Papers) 2021: 23-41
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/icteri/LetychevskyiTPV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icteri/LetychevskyiTPV21
Oleksandr A. Letychevskyi, Yuliia Tarasich, Volodymyr Peschanenko, Vladislav Volkov, Hanna Sokolova, Maksym Poltoratskiy:
Algebraic Modeling as One of the Methods for Solving Organic Chemistry Problems. ICTERI (Revised Selected Papers) 2021: 180-202
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/idaacs/NaumenkoMOOPDL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/idaacs/NaumenkoMOOPDL21
Serhii Naumenko, Viktoriia Moskalets, Oleg Odarushchenko, Elena Odarushchenko, Volodymyr Peschanenko, Larysa Degtyareva, Oleksandr A. Letychevskyi:
Formal Methods of FPGA Project Verification Flow. IDAACS 2021: 1141-1146
2020
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/bigdataconf/LetychevskyiH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bigdataconf/LetychevskyiH20
Oleksandr A. Letychevskyi, Yaroslav Hryniuk:
Machine Learning Methods for Improving Vulnerability Detection in Low-level Code. IEEE BigData 2020: 5750-5752
[c19]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/icteri/LetychevskyiPPT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icteri/LetychevskyiPPT20
Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Maksym Poltoratskiy, Yuliia Tarasich:
Platform for Modeling of Algebraic Behavior: Experience and Conclusions. ICTERI Workshops 2020: 42-57
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/idaacssws/LetychevskyiHH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/idaacssws/LetychevskyiHH20
Oleksandr A. Letychevskyi, Serhii Horbatiuk, Viktor Horbatiuk:
Algebraic Modelling of Logistical Systems Equipped by Wireless Monitoring Devices. IDAACS-SWS 2020: 1-6

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/isecure/LetychevskyiHYP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isecure/LetychevskyiHYP19
Oleksandr A. Letychevskyi, Yaroslav Hryniuk, Viktor Yakovlev, Volodymyr Peschanenko, Viktor Radchenko:
Algebraic Matching of Vulnerabilities in a Low-Level Code. ISC Int. J. Inf. Secur. 11(3): 1-7 (2019)
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/bigdataconf/LetychevskyiP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bigdataconf/LetychevskyiP19
Oleksandr A. Letychevskyi, Tetiana Polhul:
Detection of Fraudulent Behavior Using the Combined Algebraic and Machine Learning Approach. IEEE BigData 2019: 4289-4293
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/dessert/LetychevskyiPRH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dessert/LetychevskyiPRH19
Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Viktor Radchenko, Yaroslav Hryniuk, Viktor Yakovlev:
Algebraic Patterns of Vulnerabilities in Binary Code. DESSERT 2019: 70-73
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/icteri/LetychevskyiPPT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icteri/LetychevskyiPPT19
Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Maksym Poltoratskiy, Yulia Tarasich:
Our Approach to Formal Verification of Token Economy Models. ICTERI (Revised Selected Papers) 2019: 348-363
[c14]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/icteri/LetychevskyiPRP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icteri/LetychevskyiPRP19
Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Viktor Radchenko, Maksym Poltoratskiy, Yulia Tarasich:
Formalization and Algebraic Modeling of Tokenomics Projects. ICTERI Workshops 2019: 577-584
[c13]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/icteri/SobolSKRSLPO19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icteri/SobolSKRSLPO19
Andrey Sobol, Volodymyr G. Skobelev, Julian Konchunas, Viktor Radchenko, Sabina Sachtachtinskagia, Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Maxim Orlovsky:
Random Re-Ordering of the Parties in the Consensus Protocol. ICTERI Workshops 2019: 694-703
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/idaacs/Letychevskyi19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/idaacs/Letychevskyi19
Oleksandr A. Letychevskyi:
Two-Level Algebraic Method for Detection of Vulnerabilities in Binary Code. IDAACS 2019: 1074-1077
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/iecc/LetychevskyiPRO19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecc/LetychevskyiPRO19
Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Viktor Radchenko, Maxim Orlovsky, Andrey Sobol:
Algebraic Approach to Verification and Testing of Distributed Applications. IECC 2019: 37-43
2017
[c10]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/icteri/GodlevskyiLPLMS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icteri/GodlevskyiLPLMS17
Alexander Godlevskyi, Aleksander Letichevskyi, Vladimir S. Peschanenko, Oleksandr A. Letychevskyi, Maryna Morokhovets, Volodymyr G. Skobelev, Maksym Poltorackiy:
Formalization and Algebraic Verification of Legal Requirements. ICTERI 2017: 524-535
[c9]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/icteri/LvovPLT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icteri/LvovPLT17
Michael Lvov, Vladimir S. Peschanenko, Oleksandr A. Letychevskyi, Yulia Tarasich:
The Canonical Forms of Logical Formulae over the Data Types and Their Using in Programs Verification. ICTERI 2017: 536-554
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/re/LetichevskyLPP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/LetichevskyLPP17
Alexander A. Letichevsky, Oleksandr A. Letychevskyi, Vladimir S. Peschanenko, Maxsim Poltorackij:
An Algebraic Approach for Analyzing of Legal Requirements. RE Workshops 2017: 209-212
2016
[j1]
- view
  - electronic edition @ math.md (open access)
  - details & citations
- export record
  dblp key:
  - journals/csjm/LetichevskyLP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csjm/LetichevskyLP16
Alexander A. Letichevsky, Oleksandr A. Letychevskyi, Vladimir S. Peschanenko:
Insertion Modeling and Its Applications. Comput. Sci. J. Moldova 24(3): 357-370 (2016)
2015
[c7]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/icteri/LetichevskyLP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icteri/LetichevskyLP15
Alexander A. Letichevsky, Oleksandr A. Letychevskyi, Vladimir S. Peschanenko:
An Interleaving Reduction for Reachability Checking in Symbolic Modeling. ICTERI 2015: 338-353
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/sdl/LetichevskyLPW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sdl/LetichevskyLPW15
Alexander A. Letichevsky, Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Thomas Weigert:
Insertion Modeling and Symbolic Verification of Large Systems. SDL Forum 2015: 3-18
2014
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/re/LetychevskyiW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/LetychevskyiW14
Oleksandr A. Letychevskyi, Thomas Weigert:
Symbolic verification of requirements in VRS system. RE 2014: 331-332
2013
[c4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/sycss/LetichevskyGGKLP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sycss/LetichevskyGGKLP13
Alexander A. Letichevsky, Alexander Godlevsky, Anton Guba, Alexander Kolchin, Olexander A. Letychevskyi, Vladimir S. Peschanenko:
Usage of Invariants for Symbolic Verification of Requirements. SCSS 2013: 124
2012
[c3]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/icteri/LetichevskyLP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icteri/LetichevskyLP12
Alexander A. Letichevsky, Olexander A. Letychevskyi, Vladimir S. Peschanenko:
Efficient Algorithm for Reachability Checking in Modeling. ICTERI 2012: 71-81
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/icteri/LetichevskyLP12a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icteri/LetichevskyLP12a
Alexander A. Letichevsky, Olexander A. Letychevskyi, Vladimir S. Peschanenko:
About One Efficient Algorithm for Reachability Checking in Modeling and Its Implementation. ICTERI (Revised Selected Papers) 2012: 149-164
2011
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/ershov/LetichevskyLP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ershov/LetichevskyLP11
Alexander A. Letichevsky, Olexander A. Letychevskyi, Vladimir S. Peschanenko:
Insertion Modeling System. Ershov Memorial Conference 2011: 262-273

Coauthor Index

see FAQ

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.