Vladimir S. Peschanenko

17 papers Misc 9Journal 2Unranked 5
YearRankTypeTitle / Venue / Authors
2017 — conf
An Algebraic Approach for Analyzing of Legal Requirements.
RE Workshops
Alexander A. Letichevsky, Oleksandr A. Letychevskyi, Vladimir S. Peschanenko, Maxsim Poltorackij
2017 Misc conf
Formalization and Algebraic Verification of Legal Requirements.
ICTERI
Alexander Godlevskyi, Aleksander Letichevskyi, Vladimir S. Peschanenko, Oleksandr A. Letychevskyi, Maryna Morokhovets, Volodymyr G. Skobelev, Maksym Poltorackiy
2017 Misc ed.
Proceedings of the 13th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017.
ICTERI
Vadim Ermolayev, Nick Bassiliades, Hans-Georg Fill, Vitaliy Yakovyna, Heinrich C. Mayr, Vyacheslav S. Kharchenko, Vladimir S. Peschanenko, Mariya Shyshkina, Mykola S. Nikitchenko, Aleksander Spivakovsky
2017 — ed.
Proceedings of the 14th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer. Volume II: Workshops, Kyiv, Ukraine, May 14-17, 2018.
ICTERI Workshops
Vadim Ermolayev, Mari Carmen Suárez-Figueroa, Vitaliy Yakovyna, Vyacheslav S. Kharchenko, Vitaliy Kobets, Hennadiy Kravtsov, Vladimir S. Peschanenko, Yaroslav Prytula, Mykola S. Nikitchenko, Aleksander Spivakovsky
2017 Misc conf
The Canonical Forms of Logical Formulae over the Data Types and Their Using in Programs Verification.
ICTERI
Michael Lvov, Vladimir S. Peschanenko, Oleksandr A. Letychevskyi, Yulia Tarasich
2016 J jnl
Insertion Modeling and Its Applications.
Comput. Sci. J. Moldova
Alexander A. Letichevsky, Oleksandr A. Letychevskyi, Vladimir S. Peschanenko
2015 Misc conf
An Interleaving Reduction for Reachability Checking in Symbolic Modeling.
ICTERI
Alexander A. Letichevsky, Oleksandr A. Letychevskyi, Vladimir S. Peschanenko
2015 Misc ed.
Proceedings of the 11th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer, Lviv, Ukraine, May 14-16, 2015.
ICTERI
Sotiris Batsakis, Heinrich C. Mayr, Vitaliy Yakovyna, Mykola S. Nikitchenko, Grygoriy Zholtkevych, Vyacheslav S. Kharchenko, Hennadiy Kravtsov, Vitaliy Kobets, Vladimir S. Peschanenko, Vadim Ermolayev, Yuriy Bobalo, Aleksander Spivakovsky
2013 J jnl
An approach to creating concretized test scenarios within test automation technology for industrial software projects.
Autom. Control. Comput. Sci.
Alexander Kolchin, Alexander A. Letichevsky, Vladimir S. Peschanenko, Pavel D. Drobintsev, Vsevolod Kotlyarov
2013 Misc ed.
Proceedings of the 9th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer, Kherson, Ukraine, June 19-22, 2013
ICTERI
Vadim Ermolayev, Heinrich C. Mayr, Mykola S. Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych, Mikhail Zavileysky, Hennadiy Kravtsov, Vitaliy Kobets, Vladimir S. Peschanenko
2013 Misc conf
Specializations and Symbolic Modeling.
ICTERI
Vladimir S. Peschanenko, Anton Guba, Constantin Shushpanov
2013 — conf
Specializations in Symbolic Verification.
ICTERI (Revised Selected Papers)
Vladimir S. Peschanenko, Anton Guba, Constantin Shushpanov
2013 — conf
Usage of Invariants for Symbolic Verification of Requirements.
SCSS
Alexander A. Letichevsky, Alexander Godlevsky, Anton Guba, Alexander Kolchin, Olexander A. Letychevskyi, Vladimir S. Peschanenko
2012 — conf
About One Efficient Algorithm for Reachability Checking in Modeling and Its Implementation.
ICTERI (Revised Selected Papers)
Alexander A. Letichevsky, Olexander A. Letychevskyi, Vladimir S. Peschanenko
2012 Misc conf
Efficient Algorithm for Reachability Checking in Modeling.
ICTERI
Alexander A. Letichevsky, Olexander A. Letychevskyi, Vladimir S. Peschanenko
2011 Misc conf
Insertion Modeling System and Constraint Programming.
ICTERI
Alexander A. Letichevsky, Vladimir S. Peschanenko, Alexander Letichevsky Jr., Igor Ol. Blinov, Dmitriy M. Klionov
2011 — conf
Insertion Modeling System.
Ershov Memorial Conference
Alexander A. Letichevsky, Olexander A. Letychevskyi, Vladimir S. Peschanenko