Yuliia Romenska

According to our database, Yuliia Romenska authored at least 4 papers between 2013 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2017

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

PhD thesis, 2017

2016

Efficient monitoring of loose-ordering properties for SystemC/TLM.

Yuliia Romenska, Florence Maraninchi

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

2013

Improving the Efficiency of Synchronized Product with Infinite Transition Systems.

Yuliia Romenska, Frédéric Mallet

Proceedings of the Information and Communication Technologies in Education, Research, and Industrial Applications, 2013

Lazy Parallel Synchronous Composition of Infinite Transition Systems.

Yuliia Romenska, Frédéric Mallet

Proceedings of the 9th International Conference on ICT in Education, 2013