Miodrag Djukic

According to our database, Miodrag Djukic authored at least 17 papers between 2009 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

A generic algorithm for universal TDM communication over inter-satellite links: Foundations, verification, and practice.

Miroslav Popovic, Pavle Vasiljevic, Marko Popovic, Miodrag Djukic, David Vázquez Enríquez, Giovanni Granato, Borja Lecue Cires

Array, 2026

2025

Formal Verification of a Generic Algorithm for TDM Communication Over Inter Satellite Links.

Miroslav Popovic, Marko Popovic, Pavle Vasiljevic, Miodrag Djukic

CoRR, November, 2025

Translating Federated Learning Algorithms in Python into CSP Processes Using ChatGPT.

Miroslav Popovic, Marko Popovic, Miodrag Djukic, Ilija Basicevic

CoRR, June, 2025

Correct orchestration of federated learning generic algorithms: Python translation to CSP and verification by PAT.

Miodrag Djukic, Ivan Prokic, Miroslav Popovic, Silvia Ghilezan, Marko Popovic, Simona Prokic

Int. J. Softw. Tools Technol. Transf., February, 2025

2024

Towards Formal Verification of Federated Learning Orchestration Protocols on Satellites.

Miroslav Popovic, Marko Popovic, Miodrag Djukic, Ilija Basicevic

CoRR, 2024

MicroPython Testbed for Federated Learning Algorithms.

Miroslav Popovic, Marko Popovic, Ivan Kastelan, Miodrag Djukic, Ilija Basicevic

CoRR, 2024

PTB-FLA development paradigm adaptation for ChatGPT.

Miroslav Popovic, Marko Popovic, Ivan Kastelan, Miodrag Djukic, Ilija Basicevic

Comput. Sci. Inf. Syst., 2024

2023

Developing Elementary Federated Learning Algorithms Leveraging the ChatGPT.

Miroslav Popovic, Marko Popovic, Ivan Kastelan, Miodrag Djukic, Ilija Basicevic

CoRR, 2023

A Simple Python Testbed for Federated Learning Algorithms.

Miroslav Popovic, Marko Popovic, Ivan Kastelan, Miodrag Djukic, Silvia Ghilezan

CoRR, 2023

Guest editorial - Engineering of computer based systems.

Miodrag Djukic, Miroslav Popovic

Comput. Sci. Inf. Syst., 2023

A Federated Learning Algorithms Development Paradigm.

Miroslav Popovic, Marko Popovic, Ivan Kastelan, Miodrag Djukic, Ilija Basicevic

Proceedings of the Engineering of Computer-Based Systems - 8th International Conference, 2023

2013

On task tree executor architectures based on intel parallel building blocks.

Miroslav Popovic, Miodrag Djukic, Vladimir Marinkovic, Nikola Vranic

Comput. Sci. Inf. Syst., 2013

A Retargetable C Compiler for Embedded Systems.

Ivan Povazan, Miroslav Popovic, Miodrag Djukic, Nenad Cetic

Proceedings of the 3rd Eastern European Regional Conference on the Engineering of Computer Based Systems, 2013

A Run-Time Library for Parallel Processing on a Multi-core DSP.

Nenad Cetic, Miroslav Popovic, Miodrag Djukic, Momcilo Krunic

Proceedings of the 3rd Eastern European Regional Conference on the Engineering of Computer Based Systems, 2013

2012

A Task Tree Executor Architecture Based on Intel Threading Building Blocks.

Miroslav Popovic, Miodrag Djukic, Vladimir Marinkovic, Nikola Vranic

Proceedings of the IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems, 2012

2011

An Approach to Parallelization of Sequential C Code.

Nikola Vranic, Vladimir Marinkovic, Miodrag Djukic, Miroslav Popovic

Proceedings of the Second Eastern European Regional Conference on the Engineering of Computer Based Systems, 2011

2009

An Approach to Instruction Set Compiled Simulator Development Based on a Target Processor C Compiler Back-End Design.

Miodrag Djukic, Nenad Cetic, Radovan Obradovic, Miroslav Popovic

Proceedings of the First IEEE Eastern European Conference on the Engineering of Computer Based Systems, 2009