Practice in Software Engineering Course: "What and How to Study". - Yuriy Solyanik; Maryna Vladymyrova; Iryna Zaretska; Grygoriy Zholtkevych (ICTERI, 2011)

Maintainability Metrics of UML Design. - Iryna Zaretska; Maryna Besedina (ICTERI, 2012)

Cross-Diagram UML Design Verification. - Iryna Zaretska; Oleksandra Kulankhina; Hlib Mykhailenko (ICTERI (Revised Selected Papers), 2012)

Checking Inconsistencies in UML Design. - Iryna Zaretska; Oleksandra Kulankhina; Hlib Mykhailenko; Roman Kovalenko (ICTERI, 2012)

Clocks Model for Specification and Analysis of Timing in Real-Time Embedded Systems. - Iryna Zaretska; Galyna Zholtkevych; Grygoriy Zholtkevych; Frédéric Mallet (ICTERI, 2013)

Two Semantic Models for Clock Relations in the Clock Constraint Specification Language. - Grygoriy Zholtkevych; Frédéric Mallet; Iryna Zaretska; Galyna Zholtkevych (ICTERI (Revised Selected Papers), 2013)

Algorithms Constructor. - Iryna Zaretska; Grygorii Zholtkevych; Andrii Radchenko; Alexey Minayev (ICTERI, 2019)