@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={Busch Costas,Chlebus Bogdan S,Herlihy Maurice,Popovic Miroslav V,Poudel Pavan,Sharma Gokarna},
year={2023},
title={Flexible scheduling of transactional memory on trees},
journal={THEORETICAL COMPUTER SCIENCE},
volume={978},
number={},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Kastelan Ivan,Popovic Miroslav V,Bjelica Milan Z},
year={2023},
title={A Learning Model for Lifelong Education of Computer Engineers},
journal={IEEE ACCESS},
volume={11},
number={},
pages={101296-101308},
document_type={Article},
} 

@ARTICLE{
author={Popovic Miroslav V,Popovic Marko M,Kordic Branislav A,Zhu Huibiao},
year={2023},
title={Complete Formal Verification of the PSTM Transaction Scheduler},
journal={COMPUTER SCIENCE AND INFORMATION SYSTEMS},
volume={20},
number={1},
pages={307-327},
document_type={Article},
} 

@ARTICLE{
author={Busch Costas,Herlihy Maurice,Popovic Miroslav V,Sharma Gokarna},
year={2022},
title={Dynamic scheduling in distributed transactional memory},
journal={DISTRIBUTED COMPUTING},
volume={35},
number={1},
pages={19-36},
document_type={Article},
} 

@ARTICLE{
author={Kordic Branislav A,Popovic Marko M,Popovic Miroslav V,Goldstein Moshe,Amitay Moshe,Da Yan David,Fredj Erick},
year={2021},
title={An Evolutionary Computational System Architecture Based on a Software Transactional Memory},
journal={REVUE ROUMAINE DES SCIENCES TECHNIQUES-SERIE ELECTROTECHNIQUE ET ENERGETIQUE},
volume={66},
number={1},
pages={47-52},
document_type={Article},
} 

@ARTICLE{
author={Busch Costas,Herlihy Maurice,Popovic Miroslav V,Sharma Gokarna},
year={2021},
title={Fast Scheduling in Distributed Transactional Memory},
journal={THEORY OF COMPUTING SYSTEMS},
volume={65},
number={2},
pages={296-322},
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={Liu Ailun,Zhu Huibiao,Popovic Miroslav V,Xiang Shuangqing,Zhang Lei},
year={2020},
title={Formal analysis and verification of the PSTM architecture using CSP},
journal={JOURNAL OF SYSTEMS AND SOFTWARE},
volume={165},
number={},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Popovic Marko M,Popovic Miroslav V,Ghilezan Silvia,Kordic Branislav A},
year={2019},
title={Formal Verification of Local and Distributed Python Software Transactional Memories},
journal={REVUE ROUMAINE DES SCIENCES TECHNIQUES-SERIE ELECTROTECHNIQUE ET ENERGETIQUE},
volume={64},
number={4},
pages={423-428},
document_type={Article},
} 

@ARTICLE{
author={Kordic Branislav A,Popovic Miroslav V,Ghilezan Silvia},
year={2019},
title={Formal Verification of Python Software Transactional Memory Based on Timed Automata},
journal={ACTA POLYTECHNICA HUNGARICA},
volume={16},
number={7},
pages={197-216},
document_type={Article},
} 

@ARTICLE{
author={Bojovic Petar D,Basicevic Ilija V,Ocovaj Stanislav V,Popovic Miroslav V},
year={2019},
title={A practical approach to detection of distributed denial-of-service attacks using a hybrid detection method},
journal={COMPUTERS & ELECTRICAL ENGINEERING},
volume={73},
number={},
pages={84-96},
document_type={Article},
} 

@ARTICLE{
author={Busch Costas,Herlihy Maurice,Popovic Miroslav V,Sharma Gokarna},
year={2018},
title={Time-communication impossibility results for distributed transactional memory},
journal={DISTRIBUTED COMPUTING},
volume={31},
number={6},
pages={471-487},
document_type={Article},
} 

@ARTICLE{
author={Petkovic Miodrag,Basicevic Ilija V,Kukolj Dragan D,Popovic Miroslav V},
year={2018},
title={Evaluation of Takagi-Sugeno-Kang Fuzzy Method in Entropy-based Detection of DDoS attacks},
journal={COMPUTER SCIENCE AND INFORMATION SYSTEMS},
volume={15},
number={1},
pages={139-162},
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={Peric Miroslav V,Peric Dragana B,Todorovic Branislav M,Popovic Miroslav V},
year={2017},
title={Dynamic Rain Attenuation Model for Millimeter Wave Network Analysis},
journal={IEEE TRANSACTIONS ON WIRELESS COMMUNICATIONS},
volume={16},
number={1},
pages={441-450},
document_type={Article},
} 

@ARTICLE{
author={Lebl Aleksandar V,Mitic Dragan S,Popovic Miroslav V,Markov Zarko,Mileusnic Mladen Dj,Matic Vladimir S},
year={2016},
title={Influence of Mobile Users' Density Distribution on the CDMA Base Station Power},
journal={Journal of Electrical Engineering-Elektrotechnicky Casopis},
volume={67},
number={6},
pages={390-398},
document_type={Article},
} 

@ARTICLE{
author={Krunic Momcilo V,Popovic Miroslav V,Krunic Vlado M,Cetic Nenad B},
year={2016},
title={Energy Consumption Estimation for Embedded Applications},
journal={ELEKTRONIKA IR ELEKTROTECHNIKA},
volume={22},
number={3},
pages={44-49},
document_type={Article},
} 

@ARTICLE{
author={Basicevic Ilija V,Ocovaj Stanislav V,Popovic Miroslav V},
year={2016},
title={The value of flow size distribution in entropy-based detection of DoS attacks},
journal={SECURITY AND COMMUNICATION NETWORKS},
volume={9},
number={10},
pages={958-965},
document_type={Article},
} 

@ARTICLE{
author={Basicevic Ilija V,Ocovaj Stanislav V,Popovic Miroslav V},
year={2015},
title={Use of Tsallis entropy in detection of SYN flood DoS attacks},
journal={SECURITY AND COMMUNICATION NETWORKS},
volume={8},
number={18},
pages={3634-3640},
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={Mileusnic Mladen Dj,Popovic Miroslav V,Lebl Aleksandar V,Mitic Dragan S,Markov Zarko},
year={2015},
title={Power Control of Base Station in GSM: Influence of Users' Density in the Cell},
journal={AUTOMATIKA},
volume={56},
number={1},
pages={84-90},
document_type={Article},
} 

@ARTICLE{
author={Basicevic Ilija V,Ocovaj Stanislav V,Popovic Miroslav V},
year={2015},
title={Evaluation of entropy-based detection of outbound denial-of-service attacks in edge networks},
journal={SECURITY AND COMMUNICATION NETWORKS},
volume={8},
number={5},
pages={837-844},
document_type={Article},
} 

@ARTICLE{
author={Mileusnic Mladen Dj,Popovic Miroslav V,Lebl Aleksandar V,Mitic Dragan S,Markov Zarko},
year={2014},
title={Influence of Users' Density on the Mean Base Station Output Power},
journal={ELEKTRONIKA IR ELEKTROTECHNIKA},
volume={20},
number={9},
pages={74-79},
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={Mileusnic Mladen Dj,Jovanovic Predrag N,Popovic Miroslav V,Lebl Aleksandar V,Mitic Dragan S,Markov Zarko},
year={2014},
title={Influence of Intra-cell Traffic on the Output Power of Base Station in GSM},
journal={RADIOENGINEERING},
volume={23},
number={2},
pages={601-608},
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},
} 

@ARTICLE{
author={Capko Darko,Erdeljan Aleksandar M,Svenda Goran S,Popovic Miroslav V},
year={2012},
title={Dynamic Repartitioning of Large Data Model in Distribution Management Systems},
journal={ELEKTRONIKA IR ELEKTROTECHNIKA},
volume={},
number={4},
pages={83-88},
document_type={Article},
} 

@ARTICLE{
author={Capko Darko,Erdeljan Aleksandar M,Popovic Miroslav V,Svenda Goran S},
year={2011},
title={An Optimal Initial Partitioning of Large Data Model in Utility Management Systems},
journal={ADVANCES IN ELECTRICAL AND COMPUTER ENGINEERING},
volume={11},
number={4},
pages={41-46},
document_type={Article},
} 

@ARTICLE{
author={Basicevic Ilija V,Kukolj Dragan D,Popovic Miroslav V},
year={2011},
title={On the application of fuzzy-based flow control approach to High Altitude Platform communications},
journal={APPLIED INTELLIGENCE},
volume={34},
number={2},
pages={199-210},
document_type={Article},
} 

@ARTICLE{
author={Popovic Miroslav V,Basicevic Ilija V},
year={2010},
title={Test case generation for the task tree type of architecture},
journal={INFORMATION AND SOFTWARE TECHNOLOGY},
volume={52},
number={6},
pages={697-706},
document_type={Article},
} 

@ARTICLE{
author={Popovic Miroslav V,Kovacevic Vladimir},
year={2001},
title={An approach to Internet-Based virtual call center implementation},
journal={NETWORKING - ICN 2001, PT I, PROCEEDINGS},
volume={2093},
number={},
pages={75-84},
document_type={Article},
} 

@ARTICLE{
author={Popovic Miroslav V,Atlagic Branislav,Kovacevic Vladimir},
year={2001},
title={Case study: a maintenance practice used with real-time telecommunications software},
journal={JOURNAL OF SOFTWARE MAINTENANCE AND EVOLUTION-RESEARCH AND PRACTICE},
volume={13},
number={2},
pages={97-126},
document_type={Article},
}