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
112015
The method for program properties proof in compositional nominative languages ipcl
T Panchenko
Problems of Programming 1, 3-16, 2008
112008
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
102015
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
Application of the Method for Concurrent Programs Properties Proof to Real-World Industrial Software Systems.
T Panchenko
ICTERI, 119-128, 2016
52016
Композиційні методи специфікації та верифікації програмних систем
ТВ Панченко
Дисертація на здобуття наукового ступеня кандидата фізико-математичних наук …, 2006
42006
Correctness Property Proof for the Banking System for Money Transfer Payments
YA Ostapovska, TV Panchenko, NV Polishchuk, MO Kartavov
PROBLEMS IN PROGRAMMING, 119-132, 2018
32018
A formal proof of properties of a presentation system using Isabelle
T Panchenko, I Ivanov
2017 IEEE First Ukraine Conference on Electrical and Computer Engineering …, 2017
22017
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 Computer Science, Engineering and Education …, 2018
12018
Sales Forecasting using Data Mining Methods
TI Lytvynenko, TV Panchenko, VD Redko
Вісник Київського національного університету імені Тараса Шевченка. Серія …, 2015
12015
Метод доведення властивостей програм в композиційно-номінативних мовах IPCL
ТВ Панченко
Інститут програмних систем НАН України, 2008
12008
Моделювання структур даних та функцій над ними в композиційно-номінативній мові ACoN
ТВ Панченко
Інститут програмних систем НАН України, 2004
12004
Quality of Concurrent Shared Memory Programs
T Panchenko, S Fabunmi
2018 11th International Conference on the Quality of Information and …, 2018
2018
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
A Formal Proof of Correctness of a Distributed Presentation Software System.
I Ivanov, T Panchenko
ICTERI, 467-487, 2017
2017
The system can't perform the operation now. Try again later.
Articles 1–20