Iryna Zaretska

Publication Activity (10 Years)

Years Active: 2011-2019
Publications (10 Years): 1

Top Topics

Semantic Models

Specification Language

Real Time Embedded Systems

Temporal Relations

Top Venues

ICTERI (Revised Selected Papers)

Publications

Iryna Zaretska, Grygorii Zholtkevych, Andrii Radchenko, Alexey Minayev
Algorithms Constructor. ICTERI (2019)
Iryna Zaretska, Galyna Zholtkevych, Grygoriy Zholtkevych, Frédéric Mallet
Clocks Model for Specification and Analysis of Timing in Real-Time Embedded Systems. ICTERI (2013)
Grygoriy Zholtkevych, Frédéric Mallet, Iryna Zaretska, Galyna Zholtkevych
Two Semantic Models for Clock Relations in the Clock Constraint Specification Language. ICTERI (Revised Selected Papers) (2013)
Iryna Zaretska, Oleksandra Kulankhina, Hlib Mykhailenko, Roman Kovalenko
Checking Inconsistencies in UML Design. ICTERI (2012)
Iryna Zaretska, Oleksandra Kulankhina, Hlib Mykhailenko
Cross-Diagram UML Design Verification. ICTERI (Revised Selected Papers) (2012)
Iryna Zaretska, Maryna Besedina
Maintainability Metrics of UML Design. ICTERI (2012)
Yuriy Solyanik, Maryna Vladymyrova, Iryna Zaretska, Grygoriy Zholtkevych
Practice in Software Engineering Course: "What and How to Study". ICTERI (2011)