Pavel Cicak

Publication Activity (10 Years)

Years Active: 2006-2019
Publications (10 Years): 7

Top Topics

Power Consumption

Quantitative Analysis

Power Management

Network Monitoring

Top Venues

Publications

Ivana Huckova, Pavel Cicak
Advanced Network Monitoring using the Selection of Critical Nodes. TSP (2019)
Dominik Macko, Katarina Jelemenska, Pavel Cicak
Simplifying low-power SoC top-down design using the system-level abstraction and the increased automation. Integr. 63 (2018)
Dominik Macko, Katarina Jelemenska, Pavel Cicak
Verification of Power-Management Specification at Early Stages of Power-Constrained Systems Design. J. Circuits Syst. Comput. 26 (8) (2017)
Dominik Macko, Katarina Jelemenska, Pavel Cicak
Early-stage verification of power-management specification in low-power systems design. DDECS (2016)
Dominik Macko, Katarina Jelemenska, Pavel Cicak
Power-Management Specification in SystemC. DDECS (2015)
Dominik Macko, Katarina Jelemenska, Pavel Cicak
Power-management high-level synthesis. VLSI-SoC (2015)
Duan Bernat, Pavel Cicak
Quantitative Analysis of the Internet Topology Model. ECBS-EERC (2015)
Dominik Macko, Katarina Jelemenska, Pavel Cicak
Power-efficient power-management logic. PATMOS (2014)
Hossam el-ddin Mostafa, Pavel Cicak
Hands on Roaming Duration: Petri-Nets Modeling of a Wireless Mobile-IP Procedure in Cisco Platform. ICNS (2006)