Kherson State University

Остання ревізія:

Головна Наукометричні показники

Загальна інформація

ПІБ: Песчаненко Володимир Сергійович
Установа: Kherson State University
Факультет: Факультет фізики, математики та інформатики
Кафедра: Кафедра інформатики, програмної інженерії та економічної кібернетики

Scopus

ID: 36190302600
Індекс Хірша: 3
Документи: 24
Цитування: 28

Google Scholar

ID: tC7VVisAAAAJ
Індекс Хірша: 5
Цитування: 87

ORCID

0000-0003-1013-9877

Web of Science

Дані відсутні

Статті

Заголовок Scopus Google Scholar Web of Science
An algebraic approach for analyzing of legal requirements + +
The canonical forms of logical formulae over the data types and their using in programs verification + +
Formalization and algebraic verification of legal requirements + +
Symbolic modelling in white-box model-based testing + +
Approach to behavior scenarios debugging + +
An interleaving reduction for reachability checking in symbolic modeling + +
Insertion modeling and symbolic verification of large systems + +
Generating Symbolic Traces in the Insertion Modeling System + +
About one efficient algorithm for reachability checking in modeling and its implementation + +
Specializations and symbolic modeling + +
SMSV Foreword + +
Specializations in Symbolic Verification + +
Invariants in symbolic modeling and verification of requirements + +
Insertion modeling system + +
Efficient algorithm for reachability checking in modeling
Trapezoid method for solving systems of linear inequalities and its implementation in insertion modeling + +
An approach to creating concretized test scenarios within test automation technology for industrial software projects + +

Співавтори

Дані відсутні