Lazy Parallel Synchronous Composition of Infinite Transition Systems. - Yuliia Romenska; Frédéric Mallet (ICTERI, 2013)

Improving the Efficiency of Synchronized Product with Infinite Transition Systems. - Yuliia Romenska; Frédéric Mallet (ICTERI (Revised Selected Papers), 2013)

Efficient monitoring of loose-ordering properties for SystemC/TLM. - Yuliia Romenska; Florence Maraninchi (DATE, 2016)

high-level component-based models for functional verificationof systems-on-a-chip. (Composants abstraits pour la vérification fonctionnelle des systèmes sur puce). - Yuliia Romenska (2017)