Hands on Roaming Duration: Petri-Nets Modeling of a Wireless Mobile-IP Procedure in Cisco Platform. - Hossam el-ddin Mostafa; Pavel Cicák (ICNS, 2006)

Power-efficient power-management logic. - Dominik Macko; Katarína Jelemenská; Pavel Cicák (PATMOS, 2014)

Power-Management Specification in SystemC. - Dominik Macko; Katarína Jelemenská; Pavel Cicák (DDECS, 2015)

Quantitative Analysis of the Internet Topology Model. - Duan Bernat; Pavel Cicák (ECBS-EERC, 2015)

Power-management high-level synthesis. - Dominik Macko; Katarína Jelemenská; Pavel Cicák (VLSI-SoC, 2015)

Early-stage verification of power-management specification in low-power systems design. - Dominik Macko; Katarína Jelemenská; Pavel Cicák (DDECS, 2016)

Verification of Power-Management Specification at Early Stages of Power-Constrained Systems Design. - Dominik Macko; Katarína Jelemenská; Pavel Cicák (J. Circuits Syst. Comput., 2017)

Simplifying low-power SoC top-down design using the system-level abstraction and the increased automation. - Dominik Macko; Katarína Jelemenská; Pavel Cicák (Integr., 2018)

Advanced Network Monitoring using the Selection of Critical Nodes. - Ivana Huckova; Pavel Cicák (TSP, 2019)

IoT and LPWAN Networks: Increasing Efficiency by Communication Planning. - Ladislav Zemko; Pavel Cicák (TSP, 2022)

UML-based Live Programming Environment in Virtual Reality. - Jakub Kucecka; Juraj Vincúr; Peter Kapec; Pavel Cicák (VISSOFT, 2022)

A New RISC-V CPU for Safety-Critical Systems. - Ján Mach; Lukás Kohútka; Pavel Cicák (MECO, 2023)

Hardened Processor Architecture. - Ján Mach; Lukás Kohútka; Pavel Cicák (MIXDES, 2023)

Performance evaluation of the HTTP/3 client implementations. - Jakub Dubec; Jan Balazia; Pavel Cicák (TSP, 2023)

Interface Protection Against Transient Faults. - Ján Mach; Lukás Kohútka; Pavel Cicák (DDECS, 2024)

Influence of Structural Units on Vulnerability of Systems with Distinct Protection Approaches. - Ján Mach; Lukás Kohútka; Pavel Cicák (DSD, 2024)

Lockstep Vs Microarchitecture: A Comparison. - Ján Mach; Lukás Kohútka; Pavel Cicák (SOCC, 2024)

Wireless Cross-Technology Communication in the Internet of Things. - Máté Konkoly; Jakub Dubec; Pavel Cicák (TSP, 2024)