Pavel Cicák
According to our database1,
Pavel Cicák
authored at least 18 papers
between 2006 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the 47th International Conference on Telecommunications and Signal Processing, 2024
Proceedings of the 37th IEEE International System-on-Chip Conference, 2024
Influence of Structural Units on Vulnerability of Systems with Distinct Protection Approaches.
Proceedings of the 27th Euromicro Conference on Digital System Design, 2024
Proceedings of the 27th International Symposium on Design & Diagnostics of Electronic Circuits & Systems, 2024
2023
Proceedings of the 46th International Conference on Telecommunications and Signal Processing, 2023
Proceedings of the 30th International Conference on Mixed Design of Integrated Circuits and System, 2023
Proceedings of the 12th Mediterranean Conference on Embedded Computing, 2023
2022
Proceedings of the Working Conference on Software Visualization, 2022
Proceedings of the 45th International Conference on Telecommunications and Signal Processing, 2022
2019
Proceedings of the 42nd International Conference on Telecommunications and Signal Processing, 2019
2018
Simplifying low-power SoC top-down design using the system-level abstraction and the increased automation.
Integr., 2018
2017
Verification of Power-Management Specification at Early Stages of Power-Constrained Systems Design.
J. Circuits Syst. Comput., 2017
2016
Early-stage verification of power-management specification in low-power systems design.
Proceedings of the 2016 IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS), 2016
2015
Proceedings of the 2015 IFIP/IEEE International Conference on Very Large Scale Integration, 2015
Proceedings of the 2015 4th Eastern European Regional Conference on the Engineering of Computer Based Systems, 2015
Proceedings of the 18th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2015
2014
Proceedings of the 24th International Workshop on Power and Timing Modeling, 2014
2006
Hands on Roaming Duration: Petri-Nets Modeling of a Wireless Mobile-IP Procedure in Cisco Platform.
Proceedings of the 2006 International Conference on Networking and Services (ICNS 2006), 2006