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 | 16 | 2015 |
The methodology for program properties proof in compositional languages IPCL T Panchenko Proceedings of the International Conference" Theoretical and Applied Aspects …, 2004 | 16 | 2004 |
The Method for Program Properties Proof in Compositional Nominative Languages IPCL T Panchenko Problems of Programming 1, 3-16, 2008 | 15 | 2008 |
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 | 14 | 2015 |
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 | 10 | 2015 |
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 | 10 | 2007 |
Application of the method for concurrent programs properties proof to real-world industrial software systems T Panchenko ICT in Education, Research and Industrial Applications, 2016 | 9 | 2016 |
Correctness property proof for the banking system for money transfer payments YA Ostapovska, TV Panchenko, NV Polishchuk, MO Kartavov PROBLEMS IN PROGRAMMING, 119-132, 2016 | 9 | 2016 |
Open data platform architecture and its advantages for an open E-government M Alhawawsha, T Panchenko Advances in Computer Science for Engineering and Education III 3, 631-639, 2021 | 8 | 2021 |
Sales forecasting using data mining methods TI Lytvynenko, TV Panchenko, VD Redko Вісник Київського національного університету імені Тараса Шевченка. Серія …, 2015 | 8 | 2015 |
Compositional Methods for Software Systems Specification and Verification (PhD Thesis Synopsis) T Panchenko Kyiv, 2006 | 8 | 2006 |
Композиційні методи специфікації та верифікації програмних систем ТВ Панченко Київський національний університет імені Тараса Шевченка.–Київ, 2006.–177 с, 2006 | 6 | 2006 |
Formalization of parallelism forms in ipcl T Panchenko Bulletin of Taras Shevchenko National University of Kyiv. Series: Physical …, 2008 | 5 | 2008 |
Parallel addition to shared variable correctness proof in ipcl T Panchenko Bulletin of Taras Shevchenko National University of Kyiv. Series: Physical …, 2007 | 5 | 2007 |
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 | 4 | 2017 |
Real-time health monitoring via ECG analysis VO Budichenko, TV Panchenko Штучний інтелект, 98-100, 2016 | 4 | 2016 |
Peterson’s Algorithm for Mutual Exclusion Correctness Proof in IPCL AA Zhygallo, YA Ostapovska, TV Panchenko Вісник Київського національного університету імені Тараса Шевченка. Серія …, 2015 | 4 | 2015 |
A systematic mapping study on artificial intelligence tools used in video editing I Bieda, T Panchenko Int. J. Comput. Sci. Netw. Secur 22 (3), 312-318, 2022 | 3 | 2022 |
An approach to scene change detection I Bieda, A Kisil, T Panchenko 2021 11th IEEE International Conference on Intelligent Data Acquisition and …, 2021 | 3 | 2021 |
Quality of concurrent shared memory programs T Panchenko, S Fabunmi 2018 11th International Conference on the Quality of Information and …, 2018 | 3 | 2018 |