Dr. Dominik Macko

2020

• M. Škuta, D. Macko and K. Jelemenská, "Automation of dynamic power management in FPGA-based energy-constrained systems," IEEE Access, vol. 8, pp. 165894-165903, September 2020. DOI: 10.1109/ACCESS.2020.3022955. download
• J. Erdelyi, D. Macko and K. Jelemenska, "PESL: System-level estimation of power-management effect on dynamic energy consumption," Electronics, vol. 9, no. 8, article no. 1313, pp. 1-13, August 2020. DOI: 10.3390/electronics9081313. download
• A. Valach and D. Macko, "Optimization of LoRa devices communication for applications in healthcare," in 2020 43nd International Conference on Telecommunications and Signal Processing (TSP), 2020, pp. 511-514. DOI: 10.1109/TSP49548.2020.9163432. Accepted version
• P. Kaňuch, D. Macko and L. Hudec, "Survey: Classification of the IoT technologies for better selection to real use," in 2020 43nd International Conference on Telecommunications and Signal Processing (TSP), 2020, pp. 500-505. DOI: 10.1109/TSP49548.2020.9163480. Accepted version

2019

• J. Pullmann and D. Macko, "A new planning-based collision-prevention mechanism in long-range IoT networks," IEEE Internet of Things Journal, vol. 6, no. 6, pp. 9439-9446, December 2019. DOI: 10.1109/JIOT.2019.2940994. Accepted version
• P. Kaňuch and D. Macko, "E-HIP: An energy-efficient OpenHIP-based security in Internet of Things networks," Sensors, vol. 19, no. 22, article no. 4921, pp. 1-17, November 2019. DOI: 10.3390/s19224921. download
• D. Hatvani and D. Macko, "Increasing Bluetooth Low Energy communication efficiency by presetting protocol parameters," Turkish Journal of Electrical Engineering & Computer Sciences, vol. 27, no. 5, pp. 3486–3499, September 2019. DOI: 10.3906/elk-1901-109. download
• P. Gočal and D. Macko, "EEMIP: Energy-efficient communication using timing channels and prioritization in ZigBee," Sensors, vol. 19, no. 10, article no. 2246, pp. 1-18, May 2019. DOI: 10.3390/s19102246. download
• J. Pullmann and D. Macko, "Increasing energy efficiency by minimizing collisions in long-range IoT networks," in 2019 42nd International Conference on Telecommunications and Signal Processing (TSP), 2019, pp. 178-181. DOI: 10.1109/TSP.2019.8768844. Accepted version
• P. Kaňuch and D. Macko, "Optimizing energy efficiency of secured IoT communication by OpenHip," in 2019 42nd International Conference on Telecommunications and Signal Processing (TSP), 2019, pp. 174-177. DOI: 10.1109/TSP.2019.8769096. Accepted version
• M. Škuta and D. Macko, "Automated integration of dynamic power management into FPGA-based design," in 2019 IEEE 22th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS), 2019, pp. 151-154. DOI: 10.1109/DDECS.2019.8724635. Accepted version
• K. Marso and D. Macko, "A new parking-space detection system using prototyping devices and Bluetooth Low Energy communication," International Journal of Engineering and Technology Innovation, vol. 9, no. 2, pp. 108-118, April 2019. download

2018

• K. Jelemenská and D. Macko, "Adopting high-level synthesis approach to accelerate power management design," in 2018 7th International Conference on Reliability, Infocom Technologies and Optimization (Trends and Future Directions) (ICRITO), 2018, pp. 124-130. DOI: 10.1109/ICRITO.2018.8748268. Accepted version
• A. Valach and D. Macko, "Exploration of the LoRa technology utilization possibilities in healthcare IoT devices," in 2018 16th International Conference on Emerging eLearning Technologies and Applications (ICETA), 2018, pp. 623-628. DOI: 10.1109/ICETA.2018.8572032. Accepted version
• J. Pullmann and D. Macko, "Network Tester: A generation and evaluation of diagnostic communication in IP networks," in 2018 16th International Conference on Emerging eLearning Technologies and Applications (ICETA), 2018, pp. 451-456. DOI: 10.1109/ICETA.2018.8572067. Accepted version
• Z. Csengődy, D. Macko and K. Jelemenská, "Automated evaluation of network device configuration," in 2018 16th International Conference on Emerging eLearning Technologies and Applications (ICETA), 2018, pp. 99-104. DOI: 10.1109/ICETA.2018.8572175. Accepted version
• D. Macko, K. Jelemenská and P. Čičák, "Simplifying Low-Power SoC Top-Down Design Using the System-Level Abstraction and the Increased Automation," Integration, the VLSI Journal, vol. 63, pp. 101-114, September 2018. DOI: 10.1016/j.vlsi.2018.06.001. preprint
• D. Macko, "Contribution to automated generating of system power-management specification," in 2018 IEEE 21th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS), 2018, pp. 27-32. DOI: 10.1109/DDECS.2018.00012. Accepted version

2017

• M. Procházka, D. Macko and K. Jelemenská, "IP networks diagnostic communication generator," in 15th IEEE International Conference on Emerging eLearning Technologies and Applications, 2017, pp. 371-376. DOI: 10.1109/ICETA.2017.8102520. Accepted version
• M. Liďák and D. Macko, "A new automated power-estimation method for SystemC hardware design," Journal of Low Power Electronics, vol. 13, no. 4, pp. 545-550, December 2017. DOI: 10.1166/jolpe.2017.1520
• D. Macko, "Rapid power-management exploration using post-processing of the system-level simulation results," in 2017 27th International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS), 2017, pp. 108-113. DOI: 10.1109/PATMOS.2017.8106965. Accepted version
• D. Macko, "Rapid estimation of power-management unit overhead from system-level specification," in 2017 Euromicro Conference on Digital System Design, 2017, pp. 9-13. DOI: 10.1109/DSD.2017.19. Accepted version
• M. Siro, D. Macko and K. Jelemenská, "PMS2UPF: An automated transition from ESL to RTL power-intent specification," in 2017 IEEE 20th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS), 2017, pp. 140-144. DOI: 10.1109/DDECS.2017.7934558. Accepted version
• D. Macko, K. Jelemenská and P. Čičák, "Verification of power-management specification at early stages of power-constrained systems design," Journal of Circuits, Systems, and Computers, vol. 26, no. 8, August 2017. DOI: 10.1142/S0218126617400023. preprint

2016

• D. Macko, "Adoption of abstract power-management specification to FPGA-based design," in 14th IEEE International Conference on Emerging eLearning Technologies and Applications, 2016, pp. 199-204. DOI: 10.1109/ICETA.2016.7802073. Accepted version
• Ľ. Maron and D. Macko, "Automated formal verification of the refined specification of digital systems in HSSL," in 14th IEEE International Conference on Emerging eLearning Technologies and Applications, 2016, pp. 205-210. DOI: 10.1109/ICETA.2016.7802074. Accepted version
• D. Macko, "PMHLS 2.0: An automated optimization of power management during high-level synthesis," in 2016 26th International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS), 2016, pp. 205-212. DOI: 10.1109/PATMOS.2016.7833689. Accepted version
• D. Macko, K. Jelemenská and P. Čičák, "Early-stage verification of power-management specification in low-power systems design," in Proceedings of the 2016 IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS), 2016, pp. 157-162. DOI: 10.1109/DDECS.2016.7482449. Accepted version

2015

• D. Macko, K. Jelemenská and P. Čičák, “Power-management high-level synthesis,” in The 23rd IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC), 2015, pp. 63-68. DOI: 10.1109/VLSI-SoC.2015.7314393. Accepted version
• D. Macko and K. Jelemenská, "Validating power management at early stages of low-power systems design," in Proceedings of the 3rd Prague Embedded Systems Workshop, 2015, pp. 54-55. download
• D. Macko, "Contribution to system-level design and verification of low-power digital systems," Information Sciences and Technologies Bulletin of the ACM Slovakia, vol. 7, no. 2, pp. 10-17, 2015. download
• D. Macko, K. Jelemenská and P. Čičák, "Power-management specification in SystemC," in 2015 IEEE 18th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2015, pp. 259-262. DOI: 10.1109/DDECS.2015.16. Accepted version

2014

• D. Macko, K. Jelemenská and P. Čičák, "Power-efficient power-management logic," in 2014 24th International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS), 2014, pp. 105-111. DOI: 10.1109/PATMOS.2014.6951881. Accepted version
• D. Macko, "Contribution to the low-power design," in PAD 2014 Počítačové architektury & diagnostika, 2014, pp. 123-128.
• D. Macko, "Novel power management unit design," in Proceedings of the 10th Student Research Conference in Informatics and Information Technologies, 2014, pp. 439-446.
• D. Macko and K. Jelemenská, "Self-managing power management unit," in Proceedings of the 2014 IEEE 17th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2014, pp. 159-162. DOI: 10.1109/DDECS.2014.6868781. Accepted version

2013

• D. Macko and K. Jelemenská, "Managing digital-system power at the system level," in IEEE Africon 2013 Sustainable Engineering for a Better Future, 2013, pp. 179-183. DOI: 10.1109/AFRCON.2013.6757781. Accepted version
• D. Macko, "System-level power management specification," in PAD 2013 Počítačové architektury & diagnostika, 2013, pp. 87-92.
• D. Macko and K. Jelemenská, "Power-intent integration into the digital system specification model," in Proceedings of The Second Workshop on Manufacturable and Dependable Multicore Architectures at Nanoscale (MEDIAN 2013), 2013, pp. 49-52. download
• D. Macko, "Power-intent integration into the digital system specification model," in Proceedings of the 9th Student Research Conference in Informatics and Information Technologies, 2013, pp. 359-366.

2012

• D. Macko, "Functional verification of the digital system design," in PAD 2012 Počítačové architektury & diagnostika, 2012, pp. 61-66.
• D. Macko and K. Jelemenská, "HDL model verification based on visualization and simulation," Lecture Notes in Engineering and Computer Science: Proceedings of The World Congress on Engineering 2012, WCE 2012, 4-6 July, 2012, London, U.K., pp. 1095-1100. download
• D. Macko, "Contribution to visualization of HDL model simulation results," in Proceedings of the 8th Student Research Conference in Informatics and Information Technologies, 2012, pp. 375-382.
• D. Macko and K. Jelemenská, "VHDLVisualizer: HDL model visualization with simulation-based verification," in Proceedings of the 2012 IEEE 15th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2012, pp. 199-200. DOI: 10.1109/DDECS.2012.6219056. Accepted version

2011

• D. Macko, K. Jelemenská and P. Čičák, "HDL model simulation-based verification in a VHDLVisualizer visualization environment," in AWERProcedia Information Technology and Computer Science: 2nd World Conference on Information Technology (WCIT 2011), 2012, pp. 1431-1436. download
• K. Jelemenská, M. Siebert, D. Macko and P. Čičák, "Logic circuit design verification support tool - FitBoard," in World Conference on Educational Technology Researches, 2011, pp. 305-310. DOI: 10.1016/j.sbspro.2011.11.058
• D. Macko and K. Jelemenská, "VHDL structural model visualization," in 2011 IEEE EUROCON - International Conference on Computer as a Tool (EUROCON), 2011, pp. 686-689. DOI: 10.1109/EUROCON.2011.5929348. Accepted version

2010

• D. Macko, "Development of visualization environment for supporting the digital systems design," in Proceedings of Informatics and Information Technologies Student Research Conference, 2010, pp. 419-426.

Final Theses

• D. Macko, Contribution to System-Level Design and Verification of Low-Power Digital Systems, Slovak University of Technology Bratislava, 2015. Dissertation thesis.
• D. Macko, VHDL Digital Systems Model Visualization, Slovak University of Technology Bratislava, 2011. Master thesis.
• D. Macko, VHDL Model Visualization, Slovak University of Technology Bratislava, 2009. Bachelor thesis.