Katarna Jelemensk
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
1
Active years
2012–2017
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | DDECS | PMS2UPF: An automated transition from ESL to RTL power-intent specification. | Miroslav Siro, Dominik Macko, Katarna Jelemensk |
| 2016 | DDECS | Early-stage verification of power-management specification in low-power systems design. | Dominik Macko, Katarna Jelemensk, Pavel Cick |
| 2015 | DDECS | Power-Management Specification in SystemC. | Dominik Macko, Katarna Jelemensk, Pavel Cick |
| 2014 | DDECS | Self-managing power management unit. | Dominik Macko, Katarna Jelemensk |
| 2012 | DDECS | VHDLVisualizer: HDL model visualization with simulation-based verification. | Dominik Macko, Katarna Jelemensk |