@ARTICLE{
author={Popovic Miroslav V,Vasiljevic Pavle,Popovic Marko M,Djukic Miodrag M,Enriquez David Vazquez,Granato Giovanni,Cires Borja Lecue},
year={2026},
title={A generic algorithm for universal TDM communication over inter-satellite links: Foundations, verification, and practice},
journal={ARRAY},
volume={30},
number={},
pages={-},
document_type={Article},
} 

@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={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={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={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={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={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,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},
}