| Two semantic models for clock relations in the clock constraint specification language G Zholtkevych, F Mallet, I Zaretska, G Zholtkevych Information and Communication Technologies in Education, Research, and …, 2013 | 6 | 2013 |
| Maintainability Metrics of UML Design. I Zaretska, M Besedina ICTERI, 96-101, 2012 | 6 | 2012 |
| Clocks Model for Specification and Analysis of Timing in Real-Time Embedded Systems. I Zaretska, G Zholtkevych, G Zholtkevych, F Mallet ICTERI, 475-489, 2013 | 3 | 2013 |
| Cross-Diagram UML Design Verification I Zaretska, O Kulankhina, H Mykhailenko ICT in Education, Research, and Industrial Applications: 8th International …, 2013 | 3 | 2013 |
| Consistency of UML design I Zaretska, O Kulankhina, H Mykhailenko, T Butenko International Journal of Information Technology and Computer Science 10 (9 …, 2018 | 2 | 2018 |
| Checking Inconsistencies in UML Design. I Zaretska, O Kulankhina, H Mykhailenko, R Kovalenko ICTERI, 33-43, 2012 | 2 | 2012 |
| Algorithms Constructor. I Zaretska, G Zholtkevych, A Radchenko, A Minayev, V Ermolayev, ... ICTERI, 501-506, 2019 | 1 | 2019 |
| Algorithms Constructor: a Tool to Learn and Teach Algorithms I Zaretska, A Radchenko, A Minayev Редакційна колегія, 126, 2020 | | 2020 |
| Practice in Software Engineering Course:" What and How to Study". Y Solyanik, M Vladymyrova, I Zaretska, G Zholtkevych ICTERI, 127-133, 2011 | | 2011 |
| One Way to Guarantee the Stable Behaviour of a Software System by Preventing Unauthorized External Intrusions GM Zholtkevych, IТ Zaretska До випуску увійшли статті, присвячені дослідженням у галузі математичного …, 0 | | |
