Yuliia Romenska

Table of Contents


Welcome! I am a PhD student in Computer Science at Verimag laboratory, Synchrone team and the University Grenoble Alpes. My scientific advisor is Florence Maraninchi. I am working on high-level hierarchical component-based models for expression and analysis of functional properties of Systems-on-Chip. The work is done in collaboration with STMicroelectronics, in the context of the OpenES European CATRENE project.


I am interested in the following topics:

  • formal methods for specification, development and verification of software and hardware systems
  • Formal Assertion Based Verification (F-ABV) of Cyber-Physical systems
  • virtual prototyping of Systems-on-Chip



Email: (name) dot (surname) at imag dot fr

Address: Verimag Laboratory, Centre Équation - 2, avenue de Vignate, 38610 GIÈRES, France

Tel: +33 (0) 4 56 52 03 62


Validate XHTML 1.0