Херсонський державний університет

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

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

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

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

Scopus

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

Google Scholar

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

ORCID

0000-0003-1013-9877

Web of Science

ID: L-6655-2018

Semantic Scholar

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

Статті

Заголовок Scopus Google Scholar Web of Science Semantic Scholar
An algebraic approach for analyzing of legal requirements + +
Formalization and algebraic verification of legal requirements + +
Algorithm and Tools for Constructing Canonical Forms of Linear Semi-Algebraic Formulas + +
The canonical forms of logical formulae over the data types and their using in programs verification + +
Use of metods of algebraic programming for the formal verification of legal acts + +
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 + +
An approach to creating concretized test scenarios within test automation technology for industrial software projects + +
SMSV Foreword + +
Specializations and symbolic modeling + +
Specializations in Symbolic Verification + +
About one efficient algorithm for reachability checking in modeling and its implementation + +
Invariants in symbolic modeling and verification of requirements + +
Total: 16 16 0 0

Співавтори

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