Dr. Taras V. Panchenko
TitleCited byYear
The methodology for program properties proof in compositional languages ipcl
T Panchenko
Proceedings of the International Conference" Theoretical and Applied Aspects …, 2004
132004
Safety property proof using correctness proof methodology in IPCL
NV Polishchuk, MO Kartavov, TV Panchenko
Proceedings of the 5th International Scientific Conference “Theoretical and …, 2015
102015
The method for program properties proof in compositional nominative languages ipcl
T Panchenko
Problems of Programming 1, 3-16, 2008
102008
Properties proof method in IPCL application to real-world system correctness proof
M Kartavov, T Panchenko, N Polishchuk
International Journal" Information Models and Analyses", Sofia, Bulgaria …, 2015
92015
The Simplified State Model for Properties Proof Method in IPCL Languages and its use and advantages
T Panchenko
Proceedings of the International Conference" Theoretical and Applied Aspects …, 2007
82007
Infosoft e-detailing system total correctness proof in IPCL
M Kartavov, T Panchenko, N Polishchuk
Bulletin of Taras Shevchenko National University of Kyiv. Series: Physical …, 2015
72015
Compositional Methods for Software Systems Specification and Verification
T Panchenko
PhD Thesis.–Kyiv, 2006.–177 p, 2006
72006
Композиційні методи специфікації та верифікації програмних систем
ТВ Панченко
Дисертація на здобуття наукового ступеня кандидата фізико-математичних наук …, 2006
52006
Application of the Method for Concurrent Programs Properties Proof to Real-World Industrial Software Systems.
T Panchenko
ICTERI, 119-128, 2016
42016
Метод доведення властивостей програм в композиційно-номінативних мовах IPCL
ТВ Панченко
Інститут програмних систем НАН України, 2008
32008
A formal proof of properties of a presentation system using Isabelle
T Panchenko, I Ivanov
Electrical and Computer Engineering (UKRCON), 2017 IEEE First Ukraine …, 2017
22017
Correctness Property Proof for the Banking System for Money Transfer Payments
Y Ostapovska, T Panchenko, N Polishchuk, M Kartavov
Problems of Programming, 119-132, 2016
22016
Peterson’s Algorithm for Mutual Exclusion Correctness Proof in IPCL
AA Zhygallo, YA Ostapovska, TV Panchenko
Вісник Київського національного університету імені Тараса Шевченка. Серія …, 2015
22015
On Formalization of Semantics of Real-Time and Cyber-Physical Systems
I Ivanov, T Panchenko, M Nikitchenko, F Sunmade
International Conference on Theory and Applications of Fuzzy Systems and …, 2018
12018
Sales Forecasting using Data Mining Methods
TI Lytvynenko, TV Panchenko, VD Redko
Вісник Київського національного університету імені Тараса Шевченка. Серія …, 2015
12015
Моделювання структур даних та функцій над ними в композиційно-номінативній мові ACoN
ТВ Панченко
Інститут програмних систем НАН України, 2004
12004
Contact Center Load Forecasting and Operator Schedule Planning
KO Chernichenko, AM Kapkanets, TV Panchenko
PROBLEMS IN PROGRAMMING, 227-236, 2018
2018
Equivalence of two parallel execution systems
TV Panchenko, S Fabunmi
PROBLEMS IN PROGRAMMING, 93-98, 2018
2018
Прогнозування навантаження та планування розкладу роботи операторів контактного центру
КО Черніченко, АМ Капканець, ТВ Панченко
Проблеми програмування, 2016
2016
Доведення властивості коректної роботи банківської системи виплати грошових переказів
ЮА Остаповська, ТВ Панченко, НВ Поліщук, МО Картавов
Проблеми програмування, 2016
2016
The system can't perform the operation now. Try again later.
Articles 1–20