Vladimir S. Peschanenko

Publication Activity (10 Years)

Years Active: 2011-2017
Publications (10 Years): 5

Top Topics

Connectionist Models

Complex Data Types

Legal Documents

Top Venues

Autom. Control. Comput. Sci.

ICTERI (Revised Selected Papers)

Publications

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)
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)
Alexander A. Letichevsky, Oleksandr A. Letychevskyi, Vladimir S. Peschanenko, Maxsim Poltorackij
An Algebraic Approach for Analyzing of Legal Requirements. RE Workshops (2017)
Alexander A. Letichevsky, Oleksandr A. Letychevskyi, Vladimir S. Peschanenko
Insertion Modeling and Its Applications. Comput. Sci. J. Moldova 24 (3) (2016)
Alexander A. Letichevsky, Oleksandr A. Letychevskyi, Vladimir S. Peschanenko
An Interleaving Reduction for Reachability Checking in Symbolic Modeling. ICTERI (2015)
Vladimir S. Peschanenko, Anton Guba, Constantin Shushpanov
Specializations and Symbolic Modeling. ICTERI (2013)
Vladimir S. Peschanenko, Anton Guba, Constantin Shushpanov
Specializations in Symbolic Verification. ICTERI (Revised Selected Papers) (2013)
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)
Alexander Kolchin, Alexander A. Letichevsky, Vladimir S. Peschanenko, Pavel D. Drobintsev, Vsevolod Kotlyarov
An approach to creating concretized test scenarios within test automation technology for industrial software projects. Autom. Control. Comput. Sci. 47 (7) (2013)
Alexander A. Letichevsky, Olexander A. Letychevskyi, Vladimir S. Peschanenko
Efficient Algorithm for Reachability Checking in Modeling. ICTERI (2012)
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)
Alexander A. Letichevsky, Olexander A. Letychevskyi, Vladimir S. Peschanenko
Insertion Modeling System. Ershov Memorial Conference (2011)
Alexander A. Letichevsky, Vladimir S. Peschanenko, Alexander Letichevsky Jr., Igor Ol. Blinov, Dmitriy M. Klionov
Insertion Modeling System and Constraint Programming. ICTERI (2011)