Dominik Macko

Proceedings of the 18th International Workshop on Semantic Evaluation, 2024

Authorship Obfuscation in Multilingual Machine-Generated Text Detection.

[BibT_eX]

[DOI]

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2024, 2024

Disinformation Capabilities of Large Language Models.

[BibT_eX]

[DOI]

Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2024

A Ship of Theseus: Curious Cases of Paraphrasing in LLM-Generated Texts.

[BibT_eX]

[DOI]

Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2024

2023

IMGTB: A Framework for Machine-Generated Text Detection Benchmarking.

[BibT_eX]

[DOI]

Michal Spiegel

CoRR, 2023

Assessing the Impact of a Supervised Classification Filter on Flow-based Hybrid Network Anomaly Detection.

[BibT_eX]

[DOI]

CoRR, 2023

MULTITuDE: Large-Scale Multilingual Machine-Generated Text Detection Benchmark.

[BibT_eX]

[DOI]

Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, 2023

2022

S-HIP: Simplified HIP Protocol for IoT Networks.

[BibT_eX]

[DOI]

Ladislav Hudec

Proceedings of the 45th International Conference on Telecommunications and Signal Processing, 2022

A Longitudinal Study of Cryptographic API: A Decade of Android Malware.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Security and Cryptography, 2022

Explaining the Use of Cryptographic API in Android Malware.

[BibT_eX]

[DOI]

Proceedings of the E-Business and Telecommunications - 19th International Conference, 2022

2021

Simplified introduction of power intent into a register-transfer level model.

[BibT_eX]

[DOI]

Matej Groma

Des. Autom. Embed. Syst., 2021

2020

Automation of Dynamic Power Management in FPGA-Based Energy-Constrained Systems.

[BibT_eX]

[DOI]

Michal Skuta

IEEE Access, 2020

Optimization of LoRa Devices Communication for Applications in Healthcare.

[BibT_eX]

[DOI]

Alexander Valach

Proceedings of the 43rd International Conference on Telecommunications and Signal Processing, 2020

Survey: Classification of the IoT Technologies for Better Selection to Real Use.

[BibT_eX]

[DOI]

Ladislav Hudec

Proceedings of the 43rd International Conference on Telecommunications and Signal Processing, 2020

2019

E-HIP: An Energy-Efficient OpenHIP-Based Security in Internet of Things Networks.

[BibT_eX]

[DOI]

Sensors, 2019

EEMIP: Energy-Efficient Communication Using Timing Channels and Prioritization in ZigBee.

[BibT_eX]

[DOI]

Pavol Gocal

Sensors, 2019

A New Planning-Based Collision-Prevention Mechanism in Long-Range IoT Networks.

[BibT_eX]

[DOI]

Jakub Pullmann

IEEE Internet Things J., 2019

Increasing Bluetooth Low Energy communication efficiency by presetting protocol parameters.

[BibT_eX]

[DOI]

Dusan Hatvani

Turkish J. Electr. Eng. Comput. Sci., 2019

Increasing Energy Efficiency by Minimizing Collisions in Long-Range IoT Networks.

[BibT_eX]

[DOI]

Jakub Pullmann

Proceedings of the 42nd International Conference on Telecommunications and Signal Processing, 2019

Optimizing Energy Efficiency of Secured IoT Communication by OpenHip.

[BibT_eX]

[DOI]

Proceedings of the 42nd International Conference on Telecommunications and Signal Processing, 2019

Automated Integration of Dynamic Power Management into FPGA-Based Design.

[BibT_eX]

[DOI]

Michal Skuta

Proceedings of the 22nd IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2019

2018

Simplifying low-power SoC top-down design using the system-level abstraction and the increased automation.

[BibT_eX]

[DOI]

Integr., 2018

Contribution to Automated Generating of System Power-Management Specification.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2018

2017

A New Automated Power-Estimation Method for SystemC Hardware Design.

[BibT_eX]

[DOI]

Michal Lid'ák

J. Low Power Electron., 2017

Verification of Power-Management Specification at Early Stages of Power-Constrained Systems Design.

[BibT_eX]

[DOI]

J. Circuits Syst. Comput., 2017

Rapid power-management exploration using post-processing of the system-level simulation results.

[BibT_eX]

[DOI]

Proceedings of the 27th International Symposium on Power and Timing Modeling, 2017

Rapid Estimation of Power-Management Unit Overhead from System-Level Specification.

[BibT_eX]

[DOI]

Proceedings of the Euromicro Conference on Digital System Design, 2017

PMS2UPF: An automated transition from ESL to RTL power-intent specification.

[BibT_eX]

[DOI]

Miroslav Siro

Proceedings of the 20th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2017

2016

PMHLS 2.0: An automated optimization of power management during high-level synthesis.

[BibT_eX]

[DOI]

Proceedings of the 26th International Workshop on Power and Timing Modeling, 2016

Early-stage verification of power-management specification in low-power systems design.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS), 2016

2015

Power-management high-level synthesis.

[BibT_eX]

[DOI]

Proceedings of the 2015 IFIP/IEEE International Conference on Very Large Scale Integration, 2015

Power-Management Specification in SystemC.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2015

2014

Power-efficient power-management logic.

[BibT_eX]

[DOI]

Proceedings of the 24th International Workshop on Power and Timing Modeling, 2014

Self-managing power management unit.

[BibT_eX]

[DOI]

Proceedings of the 17th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2014

2013

Managing digital-system power at the system level.

[BibT_eX]

[DOI]

Proceedings of the AFRICON 2013, Pointe aux Piments, Mauritius, September 9-12, 2013, 2013

2012

VHDLVisualizer: HDL model visualization with simulation-based verification.

[BibT_eX]

[DOI]

Proceedings of the IEEE 15th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2012

2011

VHDL structural model visualization.

[BibT_eX]

[DOI]