Miodrag Djukic

18 papers Journal 12Unranked 6
YearRankTypeTitle / Venue / Authors
2025 J jnl
Correct orchestration of federated learning generic algorithms: Python translation to CSP and verification by PAT.
Int. J. Softw. Tools Technol. Transf.
Miodrag Djukic, Ivan Prokic, Miroslav Popovic, Silvia Ghilezan, Marko Popovic, Simona Prokic
2025 J jnl
Formal Verification of a Generic Algorithm for TDM Communication Over Inter Satellite Links.
CoRR
Miroslav Popovic, Marko Popovic, Pavle Vasiljevic, Miodrag Djukic
2025 J jnl
Translating Federated Learning Algorithms in Python into CSP Processes Using ChatGPT.
CoRR
Miroslav Popovic, Marko Popovic, Miodrag Djukic, Ilija Basicevic
2024 J jnl
MicroPython Testbed for Federated Learning Algorithms.
CoRR
Miroslav Popovic, Marko Popovic, Ivan Kastelan, Miodrag Djukic, Ilija Basicevic
2024 J jnl
PTB-FLA development paradigm adaptation for ChatGPT.
Comput. Sci. Inf. Syst.
Miroslav Popovic, Marko Popovic, Ivan Kastelan, Miodrag Djukic, Ilija Basicevic
2024 J jnl
Towards Formal Verification of Federated Learning Orchestration Protocols on Satellites.
CoRR
Miroslav Popovic, Marko Popovic, Miodrag Djukic, Ilija Basicevic
2023 — conf
A Federated Learning Algorithms Development Paradigm.
ECBS
Miroslav Popovic, Marko Popovic, Ivan Kastelan, Miodrag Djukic, Ilija Basicevic
2023 J jnl
A Federated Learning Algorithms Development Paradigm.
CoRR
Miroslav Popovic, Marko Popovic, Ivan Kastelan, Miodrag Djukic, Ilija Basicevic
2023 J jnl
A Simple Python Testbed for Federated Learning Algorithms.
CoRR
Miroslav Popovic, Marko Popovic, Ivan Kastelan, Miodrag Djukic, Silvia Ghilezan
2023 J jnl
Developing Elementary Federated Learning Algorithms Leveraging the ChatGPT.
CoRR
Miroslav Popovic, Marko Popovic, Ivan Kastelan, Miodrag Djukic, Ilija Basicevic
2023 J jnl
Guest editorial - Engineering of computer based systems.
Comput. Sci. Inf. Syst.
Miodrag Djukic, Miroslav Popovic
2013 — conf
A Retargetable C Compiler for Embedded Systems.
ECBS-EERC
Ivan Povazan, Miroslav Popovic, Miodrag Djukic, Nenad Cetic
2013 — conf
A Run-Time Library for Parallel Processing on a Multi-core DSP.
ECBS-EERC
Nenad Cetic, Miroslav Popovic, Miodrag Djukic, Momcilo Krunic
2013 J jnl
An approach to instruction set compiled simulator development based on a target processor C compiler back-end design.
Innov. Syst. Softw. Eng.
Miodrag Djukic, Nenad Cetic, Radovan Obradovic, Miroslav Popovic
2013 J jnl
On task tree executor architectures based on intel parallel building blocks.
Comput. Sci. Inf. Syst.
Miroslav Popovic, Miodrag Djukic, Vladimir Marinkovic, Nikola Vranic
2012 — conf
A Task Tree Executor Architecture Based on Intel Threading Building Blocks.
ECBS
Miroslav Popovic, Miodrag Djukic, Vladimir Marinkovic, Nikola Vranic
2011 — conf
An Approach to Parallelization of Sequential C Code.
ECBS-EERC
Nikola Vranic, Vladimir Marinkovic, Miodrag Djukic, Miroslav Popovic
2009 — conf
An Approach to Instruction Set Compiled Simulator Development Based on a Target Processor C Compiler Back-End Design.
ECBS-EERC
Miodrag Djukic, Nenad Cetic, Radovan Obradovic, Miroslav Popovic