@ARTICLE{
author={Djukic Miodrag M,Prokic Ivan,Popovic Miroslav V,Ghilezan Silvia,Popovic Marko M,Prokic Simona B},
year={2025},
title={Correct orchestration of federated learning generic algorithms: Python translation to CSP and verification by PAT},
journal={INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER},
volume={},
number={},
pages={-},
document_type={Article; Early Access},
} 

@ARTICLE{
author={Popovic Miroslav V,Popovic Marko M,Kastelan Ivan,Djukic Miodrag M,Basicevic Ilija V},
year={2024},
title={PTB-FLA Development Paradigm Adaptation for ChatGPT},
journal={COMPUTER SCIENCE AND INFORMATION SYSTEMS},
volume={21},
number={4},
pages={1269-1292},
document_type={Article},
} 

@ARTICLE{
author={Trifunovic Nemanja,Djukic Miodrag M},
year={2024},
title={Data Channel API: Middleware for Big Data Streaming in Automotive},
journal={2024 ZOOMING INNOVATION IN CONSUMER TECHNOLOGIES CONFERENCE, ZINC 2024},
volume={},
number={},
pages={169-172},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Kovacevic Jelena V,Radujko Uros,Djukic Miodrag M,Novkovic Teodora D},
year={2023},
title={Smart Multi-Agent Framework for Automated},
journal={ELEKTRONIKA IR ELEKTROTECHNIKA},
volume={29},
number={1},
pages={59-68},
document_type={Article},
} 

@ARTICLE{
author={Djukic Miodrag M,Popovic Miroslav V},
year={2023},
title={Guest Editorial - Engineering of Computer Based Systems},
journal={COMPUTER SCIENCE AND INFORMATION SYSTEMS},
volume={20},
number={1},
pages={V-VI},
document_type={Editorial Material},
} 

@ARTICLE{
author={Popovic Marko M,Marinkovic Vladimir,Djukic Miodrag M,Popovic Miroslav V},
year={2021},
title={Formal Verification of Distributed Master-Slave Finite State Machine},
journal={2021 29TH TELECOMMUNICATIONS FORUM (TELFOR)},
volume={},
number={},
pages={-},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Popovic Marko M,Basicevic Ilija V,Djukic Miodrag M,Popovic Miroslav V},
year={2020},
title={Fault Tolerant Distributed Python Software Transactional Memory},
journal={ADVANCES IN ELECTRICAL AND COMPUTER ENGINEERING},
volume={20},
number={4},
pages={19-28},
document_type={Article},
} 

@ARTICLE{
author={Janjic Zlatko,Herceg Marijan,Kastelan Ivan,Djukic Miodrag M},
year={2018},
title={Implementation and Optimization of Gateway for Data Routing between CAN and FlexRay protocols},
journal={2018 ZOOMING INNOVATION IN CONSUMER TECHNOLOGIES CONFERENCE (ZINC)},
volume={},
number={},
pages={43-46},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Ercegovcevic Luka,Djukic Miodrag M,Jovanovic Petar M,Petrovic Strahinja},
year={2018},
title={Support for Orcjit In the LLVM Program Translator for MIPS Architecture32},
journal={2018 26TH TELECOMMUNICATIONS FORUM (TELFOR)},
volume={},
number={},
pages={679-682},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Stojanovic Mihailo,Djukic Miodrag M,Radosavljevic Vladimir,Mzakula Radomir},
year={2018},
title={Implementation of Incremental Linking for MIPS64 Architecture in Gold Linker},
journal={2018 26TH TELECOMMUNICATIONS FORUM (TELFOR)},
volume={},
number={},
pages={675-678},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Marinkovic Vladimir,Popovic Miroslav V,Djukic Miodrag M},
year={2018},
title={An Automatic Instruction-Level Parallelization of Machine Code},
journal={ADVANCES IN ELECTRICAL AND COMPUTER ENGINEERING},
volume={18},
number={1},
pages={27-36},
document_type={Article},
} 

@ARTICLE{
author={Krickovic Jovica,Miljkovic Djordje,Djukic Miodrag M},
year={2015},
title={Automation Testing of Bootloader for Target DSP Platform},
journal={2015 23RD TELECOMMUNICATIONS FORUM TELFOR (TELFOR)},
volume={},
number={},
pages={1016-1019},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Drazic-Vignjevic Miroslava,Vucicevic Marko,Djukic Miodrag M,Radin Boris},
year={2015},
title={Efficient Adaptation and High Reusability of Test Suites in a Black Box Testing Environment},
journal={2015 23RD TELECOMMUNICATIONS FORUM TELFOR (TELFOR)},
volume={},
number={},
pages={1002-1004},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Cetic Nenad B,Popovic Miroslav V,Djukic Miodrag M,Kovacevic Jelena V},
year={2015},
title={Source Traffic Modelling in WSN for Acoustic Sensing in Reverberant Environment},
journal={ELEKTRONIKA IR ELEKTROTECHNIKA},
volume={21},
number={5},
pages={64-68},
document_type={Article},
} 

@ARTICLE{
author={Radonic Slavko,Djukic Miodrag M,Cetic Nenad B},
year={2014},
title={One solution of loop invariant code motion compiler optimisation},
journal={2014 22ND TELECOMMUNICATIONS FORUM TELFOR (TELFOR)},
volume={},
number={},
pages={1103-1105},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Bokan Dejan M,Djukic Miodrag M,Popovic Miroslav V,Cetic Nenad B},
year={2014},
title={Adjustment of GCC compiler frontend for embedded processors},
journal={2014 22ND TELECOMMUNICATIONS FORUM TELFOR (TELFOR)},
volume={},
number={},
pages={983-986},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Djukic Miodrag M,Popovic Miroslav V,Cetic Nenad B,Povazan Ivan},
year={2014},
title={Embedded Processor Oriented Compiler Infrastructure},
journal={ADVANCES IN ELECTRICAL AND COMPUTER ENGINEERING},
volume={14},
number={3},
pages={123-130},
document_type={Article},
} 

@ARTICLE{
author={Popovic Miroslav V,Basicevic Ilija V,Djukic Miodrag M,Cetic Nenad B},
year={2013},
title={Estimating Parallelism of Transactional Memory Programs},
journal={2013 INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE AND TECHNOLOGY (ICIST)},
volume={},
number={},
pages={437-443},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Popovic Miroslav V,Djukic Miodrag M,Marinkovic Vladimir,Vranic Nikola},
year={2013},
title={On Task Tree Executor Architectures Based on Intel Parallel Building Blocks},
journal={COMPUTER SCIENCE AND INFORMATION SYSTEMS},
volume={10},
number={1},
pages={369-392},
document_type={Article},
} 

@ARTICLE{
author={Miljkovic Djordje,Bojic Sasa,Djukic Miodrag M,Jovanovic Miladin},
year={2012},
title={Automation Testing of Graphical User Interface},
journal={2012 20TH TELECOMMUNICATIONS FORUM (TELFOR)},
volume={},
number={},
pages={1609-1612},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Popovic Miroslav V,Djukic Miodrag M,Marinkovic Vladimir,Vranic Nikola},
year={2012},
title={A Task Tree Executor Architecture Based on Intel Threading Building Blocks},
journal={2012 IEEE 19TH INTERNATIONAL CONFERENCE AND WORKSHOPS ON ENGINEERING OF COMPUTER BASED SYSTEMS (ECBS)},
volume={},
number={},
pages={201-209},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Vranic Nikola,Marinkovic Vladimir,Djukic Miodrag M,Popovic Miroslav V},
year={2011},
title={An approach to parallelization of sequential C code},
journal={2011 2ND EASTERN EUROPEAN REGIONAL CONFERENCE ON THE ENGINEERING OF COMPUTER BASED SYSTEMS (ECBS-EERC)},
volume={},
number={},
pages={143-146},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Djukic Miodrag M,Cetic Nenad B,Obradovic Radovan,Popovic Miroslav V},
year={2009},
title={An Approach to Instruction Set Compiled Simulator Development Based on a Target Processor C Compiler Back-End Design},
journal={2009 1ST IEEE EASTERN EUROPEAN CONFERENCE ON THE ENGINEERING OF COMPUTER BASED SYSTEMS},
volume={},
number={},
pages={32-41},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Djukic Miodrag M,Cetic Nenad B,Kovacevic Jelena V,Popovic Miroslav V},
year={2008},
title={A C compiler based methodology for implementing audio DSP applications on a class of embedded systems},
journal={2008 IEEE INTERNATIONAL SYMPOSIUM ON CONSUMER ELECTRONICS, VOLS 1 AND 2},
volume={},
number={},
pages={235-238},
document_type={Proceedings Paper},
}