Pavel Cicák

18 papers B 1C 5Journal 2Unranked 10
YearRankTypeTitle / Venue / Authors
2024 C conf
Influence of Structural Units on Vulnerability of Systems with Distinct Protection Approaches.
DSD
Ján Mach, Lukás Kohútka, Pavel Cicák
2024 C conf
Interface Protection Against Transient Faults.
DDECS
Ján Mach, Lukás Kohútka, Pavel Cicák
2024 — conf
Lockstep Vs Microarchitecture: A Comparison.
SOCC
Ján Mach, Lukás Kohútka, Pavel Cicák
2024 — conf
Wireless Cross-Technology Communication in the Internet of Things.
TSP
Máté Konkoly, Jakub Dubec, Pavel Cicák
2023 — conf
A New RISC-V CPU for Safety-Critical Systems.
MECO
Ján Mach, Lukás Kohútka, Pavel Cicák
2023 — conf
Hardened Processor Architecture.
MIXDES
Ján Mach, Lukás Kohútka, Pavel Cicák
2023 — conf
Performance evaluation of the HTTP/3 client implementations.
TSP
Jakub Dubec, Jan Balazia, Pavel Cicák
2022 — conf
IoT and LPWAN Networks: Increasing Efficiency by Communication Planning.
TSP
Ladislav Zemko, Pavel Cicák
2022 B conf
UML-based Live Programming Environment in Virtual Reality.
VISSOFT
Jakub Kucecka, Juraj Vincúr, Peter Kapec, Pavel Cicák
2019 — conf
Advanced Network Monitoring using the Selection of Critical Nodes.
TSP
Ivana Huckova, Pavel Cicák
2018 J jnl
Simplifying low-power SoC top-down design using the system-level abstraction and the increased automation.
Integr.
Dominik Macko, Katarína Jelemenská, Pavel Cicák
2017 J jnl
Verification of Power-Management Specification at Early Stages of Power-Constrained Systems Design.
J. Circuits Syst. Comput.
Dominik Macko, Katarína Jelemenská, Pavel Cicák
2016 C conf
Early-stage verification of power-management specification in low-power systems design.
DDECS
Dominik Macko, Katarína Jelemenská, Pavel Cicák
2015 C conf
Power-Management Specification in SystemC.
DDECS
Dominik Macko, Katarína Jelemenská, Pavel Cicák
2015 C conf
Power-management high-level synthesis.
VLSI-SoC
Dominik Macko, Katarína Jelemenská, Pavel Cicák
2015 — conf
Quantitative Analysis of the Internet Topology Model.
ECBS-EERC
Duan Bernat, Pavel Cicák
2014 — conf
Power-efficient power-management logic.
PATMOS
Dominik Macko, Katarína Jelemenská, Pavel Cicák
2006 — conf
Hands on Roaming Duration: Petri-Nets Modeling of a Wireless Mobile-IP Procedure in Cisco Platform.
ICNS
Hossam el-ddin Mostafa, Pavel Cicák