@ARTICLE{
author={Stojkovic Dusan,Popovic Miroslav V},
year={2025},
title={A way to identify potential functions for vectorization for RISC-V},
journal={2025 12TH INTERNATIONAL CONFERENCE ON ELECTRICAL, ELECTRONIC AND COMPUTING ENGINEERING, ICETRAN},
volume={},
number={},
pages={-},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Vasiljevic Pavle,Matic Milica,Popovic Miroslav V},
year={2025},
title={Federated Isolation Forest for Efficient Anomaly Detection on Edge IoT Systems},
journal={2025 IEEE ZOOMING INNOVATION IN CONSUMER TECHNOLOGIES CONFERENCE, ZINC},
volume={},
number={},
pages={30-35},
document_type={Proceedings Paper},
} 

@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={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={Busch Costas,Chlebus Bogdan S,Herlihy Maurice,Popovic Miroslav V,Poudel Pavan,Sharma Gokarna},
year={2022},
title={Flexible Scheduling of Transactional Memory on Trees},
journal={STABILIZATION, SAFETY, AND SECURITY OF DISTRIBUTED SYSTEMS (SSS 2022)},
volume={13751},
number={},
pages={146-163},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Li Peimu,Yin Jiaqi,Zhu Huibiao,Xiao Lili,Popovic Miroslav V},
year={2022},
title={Formal Analysis and Verification of DPSTM v2 Architecture Using CSP},
journal={2022 IEEE 46TH ANNUAL COMPUTERS, SOFTWARE, AND APPLICATIONS CONFERENCE (COMPSAC 2022)},
volume={},
number={},
pages={872-877},
document_type={Proceedings Paper},
} 

@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={Bogosavljev Dejan,Popovic Miroslav V,Bogdanovic Dejan},
year={2021},
title={Analysis of a software based hardware composer adaptation},
journal={2021 29TH TELECOMMUNICATIONS FORUM (TELFOR)},
volume={},
number={},
pages={-},
document_type={Proceedings Paper},
} 

@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={Bogdanovic Dejan,Popovic Miroslav V,Usorac Srdjan},
year={2021},
title={Analysis of virtio GPU in a containerized environment},
journal={2021 29TH TELECOMMUNICATIONS FORUM (TELFOR)},
volume={},
number={},
pages={-},
document_type={Proceedings Paper},
} 

@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={Kastelan Ivan,Pavkovic Bogdan,Vranjes Mario,Popovic Miroslav V},
year={2020},
title={Modernized Courses in Automotive Software Engineering},
journal={2020 43RD INTERNATIONAL CONVENTION ON INFORMATION, COMMUNICATION AND ELECTRONIC TECHNOLOGY (MIPRO 2020)},
volume={},
number={},
pages={737-740},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Busch Costas,Herlihy Maurice,Popovic Miroslav V,Sharma Gokarna},
year={2020},
title={Dynamic Scheduling in Distributed Transactional Memory},
journal={2020 IEEE 34TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM IPDPS 2020},
volume={},
number={},
pages={874-883},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Banovic Radenko,Basicevic Ilija V,Popovic Miroslav V,Fimic Nemanja},
year={2020},
title={One Solution of DVB Software Demultiplexer Adaptation for Timestamped Transport Stream},
journal={2020 ZOOMING INNOVATION IN CONSUMER TECHNOLOGIES CONFERENCE (ZINC)},
volume={},
number={},
pages={319-320},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Gluhakovic Mario,Herceg Marijan,Popovic Miroslav V,Kovacevic Jelena V},
year={2020},
title={Vehicle Detection in the Autonomous Vehicle Environment for Potential Collision Warning},
journal={2020 ZOOMING INNOVATION IN CONSUMER TECHNOLOGIES CONFERENCE (ZINC)},
volume={},
number={},
pages={178-183},
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={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 Miroslav V,Popovic Marko M,Ghilezan Silvia,Kordic Branislav A},
year={2020},
title={Formal Verification of Python Software Transactional Memory Serializability Based on the Push/Pull Semantic Model},
journal={PROCEEDINGS OF THE 6TH CONFERENCE ON THE ENGINEERING OF COMPUTER BASED SYSTEMS (ECBS 2019)},
volume={},
number={},
pages={-},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Kordic Branislav A,Popovic Marko M,Popovic Miroslav V,Goldstein Moshe,Amitay Moshe,Dayan David},
year={2020},
title={A Protein Structure Prediction Program Architecture Based on a Software Transactional Memory},
journal={PROCEEDINGS OF THE 6TH CONFERENCE ON THE ENGINEERING OF COMPUTER BASED SYSTEMS (ECBS 2019)},
volume={},
number={},
pages={-},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Popovic Marko M,Popovic Miroslav V,Kordic Branislav A,Basicevic Ilija V},
year={2019},
title={A Solution of Python Distributed STM Based on Data Replication},
journal={2019 27TH TELECOMMUNICATIONS FORUM (TELFOR 2019)},
volume={},
number={},
pages={664-667},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Keleman Levon,Matic Danijel,Popovic Miroslav V,Kastelan Ivan},
year={2019},
title={Secure firmware update in embedded systems},
journal={2019 IEEE 9TH INTERNATIONAL CONFERENCE ON CONSUMER ELECTRONICS (ICCE-BERLIN)},
volume={},
number={},
pages={16-19},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Xu Chao,Wu Xi,Zhu Huibiao,Popovic Miroslav V},
year={2019},
title={Modeling and Verifying Transaction Scheduling for Software Transactional Memory using CSP},
journal={2019 13TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2019)},
volume={},
number={},
pages={240-247},
document_type={Proceedings Paper},
} 

@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={Vranic Nikola,Popovic Miroslav V},
year={2019},
title={One method for hybrid playback and recording of digital TV channels on embedded devices},
journal={2019 ZOOMING INNOVATION IN CONSUMER TECHNOLOGIES CONFERENCE (ZINC)},
volume={},
number={},
pages={64-69},
document_type={Proceedings Paper},
} 

@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={Kastelan Ivan,Pavkovic Bogdan,Vranjes Mario,Popovic Miroslav V,Velikic Gordana S},
year={2019},
title={Modernizing Laboratories for New Courses in Automotive Software Engineering},
journal={2019 42ND INTERNATIONAL CONVENTION ON INFORMATION AND COMMUNICATION TECHNOLOGY, ELECTRONICS AND MICROELECTRONICS (MIPRO)},
volume={},
number={},
pages={667-670},
document_type={Proceedings Paper},
} 

@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={Popovic Marko M,Kordic Branislav A,Popovic Miroslav V,Basicevic Ilija V},
year={2018},
title={A Solution of Concurrent Queue on PSTM},
journal={2018 26TH TELECOMMUNICATIONS FORUM (TELFOR)},
volume={},
number={},
pages={735-738},
document_type={Proceedings Paper},
} 

@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={Kastelan Ivan,Popovic Miroslav V,Vrarnjes Mario,Velikic Gordana S},
year={2018},
title={Work in Progress: Modernizing Laboratories for Innovative Technologies in Automotive},
journal={PROCEEDINGS OF 2018 IEEE GLOBAL ENGINEERING EDUCATION CONFERENCE (EDUCON) - EMERGING TRENDS AND CHALLENGES OF ENGINEERING EDUCATION},
volume={},
number={},
pages={1700-1702},
document_type={Proceedings Paper},
} 

@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={Kordic Branislav A,Popovic Miroslav V,Ghilezan Silvia,Basicevic Ilija V},
year={2017},
title={An Approach to Formal Verification of Python Software Transactional Memory},
journal={PROCEEDINGS OF THE FIFTH EUROPEAN CONFERENCE ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS (ECBS 2017)},
volume={},
number={},
pages={-},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Krunic Momcilo V,Kovacevic Jelena V,Popovic Miroslav V,Krunic Vlado M},
year={2017},
title={Instructions energy consumption on a heterogeneous multicore platform},
journal={PROCEEDINGS OF THE FIFTH EUROPEAN CONFERENCE ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS (ECBS 2017)},
volume={},
number={},
pages={-},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Busch Costas,Herlihy Maurice,Popovic Miroslav V,Sharma Gokarna},
year={2017},
title={Fast Scheduling in Distributed Transactional Memory},
journal={PROCEEDINGS OF THE 29TH ACM SYMPOSIUM ON PARALLELISM IN ALGORITHMS AND ARCHITECTURES (SPAA'17)},
volume={},
number={},
pages={173-182},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Liu Ailun,Popovic Miroslav V,Zhu Huibiao},
year={2017},
title={Formalization and Verification of the PSTM Architecture},
journal={2017 24TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2017)},
volume={},
number={},
pages={427-435},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Popovic Marko M,Kordic Branislav A,Popovic Miroslav V,Basicevic Ilija V},
year={2017},
title={Advanced algorithm for scheduling TM transactions with conflict avoidance},
journal={2017 25TH TELECOMMUNICATION FORUM (TELFOR)},
volume={},
number={},
pages={844-847},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Kordic Branislav A,Popovic Miroslav V,Ghilezan Silvia,Basicevic Ilija V},
year={2017},
title={An Approach to Formal Verification of Python Software Transactional Memory},
journal={FIFTH EUROPEAN CONFERENCE ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS (ECBS 2017)},
volume={},
number={},
pages={-},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Krunic Momcilo V,Popovic Miroslav V,Kovacevic Jelena V,Krunic Vlado M},
year={2017},
title={Instructions energy consumption on a heterogeneous multicore platform},
journal={FIFTH EUROPEAN CONFERENCE ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS (ECBS 2017)},
volume={},
number={},
pages={-},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Popovic Miroslav V,Kordic Branislav A,Basicevic Ilija V},
year={2017},
title={Transaction Scheduling for Software Transactional Memory},
journal={2017 2ND IEEE INTERNATIONAL CONFERENCE ON CLOUD COMPUTING AND BIG DATA ANALYSIS (ICCCBDA 2017)},
volume={},
number={},
pages={191-195},
document_type={Proceedings Paper},
} 

@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={Popovic Miroslav V,Kordic Branislav A,Basicevic Ilija V},
year={2016},
title={Estimating Transaction Execution Times for a Software Transactional Memory},
journal={2016 SIXTH INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE AND TECHNOLOGY (ICIST)},
volume={},
number={},
pages={137-141},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Krunic Momcilo V,Povazan Ivan,Popovic Miroslav V,Kovacevic Jelena V},
year={2016},
title={Data Flow CAD Tool for Firmware Development and Power Consumption Estimation in Multi-core Hearing Aids},
journal={2016 IEEE INTERNATIONAL CONFERENCE ON CONSUMER ELECTRONICS (ICCE)},
volume={},
number={},
pages={-},
document_type={Proceedings Paper},
} 

@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={Povazan Ivan,Krunic Momcilo V,Popovic Miroslav V},
year={2015},
title={A Profiling Tool for Heterogeneous Multi-core Systems},
journal={FOURTH EASTERN EUROPEAN REGIONAL CONFERENCE ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS ECBS-EERC 2015},
volume={},
number={},
pages={138-141},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Kordic Branislav A,Popovic Miroslav V,Basicevic Ilija V},
year={2015},
title={DPM-PSTM: Dual-port Memory Based Python Software Transactional Memory},
journal={FOURTH EASTERN EUROPEAN REGIONAL CONFERENCE ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS ECBS-EERC 2015},
volume={},
number={},
pages={126-129},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Dayan David,Goldstein Moshe,Mizrahi Shimon,Rabin Max,Berlovitz Devora,Berlovitz Or,Levy Elad Bussani,Naaman Moshe,Nagar Mor,Soudry Ditsa,Yehezkael Raphael B,Popovic Miroslav V},
year={2015},
title={EFL: Implementing and Testing an Embedded Language Which Provides Safe and Efficient Parallel Execution},
journal={FOURTH EASTERN EUROPEAN REGIONAL CONFERENCE ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS ECBS-EERC 2015},
volume={},
number={},
pages={83-90},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Popovic Miroslav V,Kordic Branislav A,Basicevic Ilija V},
year={2015},
title={Work, Span, and Parallelism of Transactional Memory Programs},
journal={FOURTH EASTERN EUROPEAN REGIONAL CONFERENCE ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS ECBS-EERC 2015},
volume={},
number={},
pages={59-66},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Kordic Branislav A,Marinkovic Vladimir,Popovic Miroslav V,Kastelan Ivan},
year={2015},
title={Hands-on System Programming Labs & Projects Based on E2LP Platform},
journal={2015 8TH INTERNATIONAL CONVENTION ON INFORMATION AND COMMUNICATION TECHNOLOGY, ELECTRONICS AND MICROELECTRONICS (MIPRO)},
volume={},
number={},
pages={790-793},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Vukobrat Violeta,Rankov Branislav,Jovanovic Petar M,Popovic Miroslav V},
year={2015},
title={Generating declarations needed by LuaJIT compiler for binding Lua and C},
journal={2015 23RD TELECOMMUNICATIONS FORUM TELFOR (TELFOR)},
volume={},
number={},
pages={847-850},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Basicevic Ilija V,Acanski Milan,Teslic Nikola Dj,Popovic Miroslav V,Nikolic Milos M},
year={2015},
title={The Concept of Remote Tuner in Digital Television Software},
journal={2015 23RD TELECOMMUNICATIONS FORUM TELFOR (TELFOR)},
volume={},
number={},
pages={756-759},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Doder Davor,Cetic Nenad B,Popovic Miroslav V,Kovacevic Jelena V},
year={2015},
title={Realisation of server application for acoustic sensors based on RTSP, RTP protocols},
journal={2015 23RD TELECOMMUNICATIONS FORUM TELFOR (TELFOR)},
volume={},
number={},
pages={516-519},
document_type={Proceedings Paper},
} 

@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={Popovic Miroslav V,Kordic Branislav A},
year={2014},
title={PSTM: Python Software Transactional Memory},
journal={2014 22ND TELECOMMUNICATIONS FORUM TELFOR (TELFOR)},
volume={},
number={},
pages={1106-1109},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Krunic Momcilo V,Cetic Nenad B,Popovic Miroslav V,Povazan Ivan},
year={2014},
title={Unit Test Case Generator and Automated Regression Testing in Terms of Firmware Development},
journal={2014 22ND TELECOMMUNICATIONS FORUM TELFOR (TELFOR)},
volume={},
number={},
pages={1079-1082},
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={Basicevic Ilija V,Cetic Nenad B,Popovic Miroslav V,Krunic Momcilo V},
year={2014},
title={A Light-weight SIP-based Execution Management Service for Bag-of-tasks Grid System},
journal={2014 22ND TELECOMMUNICATIONS FORUM TELFOR (TELFOR)},
volume={},
number={},
pages={919-922},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Popovic Miroslav V,Basicevic Ilija V},
year={2014},
title={Conflict Types and Probabilities in Stochastic TM-Programs},
journal={2014 4TH IEEE INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE AND TECHNOLOGY (ICIST)},
volume={},
number={},
pages={19-22},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Busch Costas,Herlihy Maurice,Popovic Miroslav V,Sharma Gokarna},
year={2014},
title={Brief Announcement: Scheduling Multiple Objects in Distributed Transactional Memory},
journal={DISTRIBUTED COMPUTING (DISC 2014)},
volume={8784},
number={},
pages={538-539},
document_type={Proceedings Paper},
} 

@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,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={Basicevic Ilija V,Kostovic Zarko,Popovic Miroslav V,Ocovaj Stanislav V},
year={2013},
title={Effect of Nonstationarity of Network Traffic in Entropy-Based Intrusion Detection (Case Study)},
journal={2013 21ST TELECOMMUNICATIONS FORUM (TELFOR)},
volume={},
number={},
pages={125-+},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Marinkovic Vladimir,Kordic Branislav A,Popovic Miroslav V,Pekovic Vukota},
year={2013},
title={A Method for Creating the Operational Profile of TV/STB Device to be Used for Statistical Testing},
journal={2013 IEEE EUROCON},
volume={},
number={},
pages={93-97},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Marinkovic Vladimir,Kordic Branislav A,Popovic Miroslav V,Pekovic Vukota},
year={2013},
title={Improved Automatic DTV/STB Menu Navigation for Functional Verification},
journal={2013 36TH INTERNATIONAL CONVENTION ON INFORMATION AND COMMUNICATION TECHNOLOGY, ELECTRONICS AND MICROELECTRONICS (MIPRO)},
volume={},
number={},
pages={847-850},
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={Stanojevic Mladen,Marinkovic Vladimir,Popovic Miroslav V,Pekovic Vukota,Kastelan Ivan},
year={2012},
title={Activity Based Integrated Test Development Enviroment},
journal={2012 20TH TELECOMMUNICATIONS FORUM (TELFOR)},
volume={},
number={},
pages={1689-1692},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Peric Miroslav V,Peric Dragana B,Todorovic Branislav M,Sunjevaric Milan M,Popovic Miroslav V},
year={2012},
title={Quality Merit for Performance Optimization in IP Radio-Relay Network Above 70GHz},
journal={2012 20TH TELECOMMUNICATIONS FORUM (TELFOR)},
volume={},
number={},
pages={404-407},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Petkovic Miodrag,Popovic Miroslav V,Basicevic Ilija V,Saric Djordje},
year={2012},
title={A host based method for data leak protection by tracking sensitive data flow},
journal={2012 IEEE 19TH INTERNATIONAL CONFERENCE AND WORKSHOPS ON ENGINEERING OF COMPUTER BASED SYSTEMS (ECBS)},
volume={},
number={},
pages={267-274},
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={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={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={Popovic Ivana,Vrtunski Vladislav,Popovic Miroslav V},
year={2011},
title={Formal Verification of Distributed Transaction Management in a SOA Based Control System},
journal={18TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON ENGINEERING OF COMPUTER BASED SYSTEMS (ECBS 2011)},
volume={},
number={},
pages={206-215},
document_type={Proceedings Paper},
} 

@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={Capko Darko,Erdeljan Aleksandar M,Popovic Miroslav V,Svenda Goran S},
year={2010},
title={An Optimal Relationship-Based Partitioning of Large Datasets},
journal={ADVANCES IN DATABASES AND INFORMATION SYSTEMS},
volume={6295},
number={},
pages={547-550},
document_type={Proceedings Paper},
} 

@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={Basicevic Ilija V,Jovanovic Sabina,Drapsin Branislav,Popovic Miroslav V,Vrtunski Vladislav},
year={2009},
title={An Approach to Parallelization of Legacy Software},
journal={2009 1ST IEEE EASTERN EUROPEAN CONFERENCE ON THE ENGINEERING OF COMPUTER BASED SYSTEMS},
volume={},
number={},
pages={42-48},
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={Popovic Miroslav V,Basicevic Ilija V,Kukolj Dragan D},
year={2009},
title={Cinr-based Load Balancing In Multi-hap Networks},
journal={EUROCON 2009: INTERNATIONAL IEEE CONFERENCE DEVOTED TO THE 150 ANNIVERSARY OF ALEXANDER S. POPOV, VOLS 1- 4, PROCEEDINGS},
volume={},
number={},
pages={1656-1661},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Popovic Miroslav V,Basicevic Ilija V,Vrtunski Vladislav},
year={2009},
title={A Task Tree Executor: New Runtime for Parallelized Legacy Software},
journal={16TH ANNUAL IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER BASED SYSTEMS, PROCEEDINGS},
volume={},
number={},
pages={41-47},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Simeonov Aleksandar,Medic Slavica S,Popovic Miroslav V},
year={2008},
title={A Dominator Path Scheduler for Deep Pipeline Architectures},
journal={2008 6TH INTERNATIONAL SYMPOSIUM ON INTELLIGENT SYSTEMS AND INFORMATICS},
volume={},
number={},
pages={80-85},
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},
} 

@ARTICLE{
author={Miljkovic Boza D,Popovic Miroslav V,Basicevic Ilija V},
year={2007},
title={VCC as an integrator of services in power distribution},
journal={TELSIKS 2007: 8TH INTERNATIONAL CONFERENCE ON TELECOMMUNICATIONS IN MODERN SATELLITE, CABLE AND BROADCASTING SERVICES, VOLS 1 AND 2},
volume={},
number={},
pages={621-624},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Trivunovic Bogdan D,Popovic Miroslav V,Basicevic Ilija V,Velikic Ivan S},
year={2007},
title={A design and implementation of ASNA parser for h.323 protocol stack},
journal={TELSIKS 2007: 8TH INTERNATIONAL CONFERENCE ON TELECOMMUNICATIONS IN MODERN SATELLITE, CABLE AND BROADCASTING SERVICES, VOLS 1 AND 2},
volume={},
number={},
pages={60-63},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Popovic Miroslav V,Kovacevic Jelena V},
year={2007},
title={A statistical approach to model-based robustness testing},
journal={ECBS 2007: 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, Proceedings - RAISING EXPECTATIONS OF COMPUTER-BASES SYSTEMS},
volume={},
number={},
pages={485-494},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Popovic Miroslav V,Basicevic Ilija V,Velikic Ivan S,Tatic Jelena},
year={2006},
title={A model-based statistical usage testing of communication protocols},
journal={13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems, Proceedings - MASTERING THE COMPLEXITY OF COMPUTER-BASED SYSTEMS},
volume={},
number={},
pages={377-386},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Pap Istvan I,Kukolj Dragan D,Marceta Zoran,Djurkovic V,Janev Marko B,Popovic Miroslav V,Teslic Nikola Dj},
year={2005},
title={Remotely controlled semi-autonomous robot with multimedia abilities},
journal={2005 International Conference on Control and Automation (ICCA), Vols 1 and 2},
volume={},
number={},
pages={863-868},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Basicevic Ilija V,Popovic Miroslav V,Kovacevic Vladimir},
year={2005},
title={The use of distributed network-based IDS systems in detection of evasion attacks},
journal={Telecommunications 2005, Proceedings},
volume={},
number={},
pages={78-82},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Popovic Miroslav V,Velikic Ivan S},
year={2005},
title={A generic model-based test case generator},
journal={12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, Proceedings},
volume={},
number={},
pages={221-228},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Velikic Ivan S,Popovic Miroslav V,Kovacevic Vladimir},
year={2004},
title={A concept of an integrated development environment for reactive systems},
journal={11TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS},
volume={},
number={},
pages={233-240},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Atlagic Branislav,Kukolj Dragan D,Kovacevic Vladimir,Popovic Miroslav V},
year={2003},
title={Application development environment of an integrated SCADA system},
journal={IEEE REGION 8 EUROCON 2003, VOL A, PROCEEDINGS - COMPUTER AS A TOOL},
volume={},
number={},
pages={322-326},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Medic V,Popovic Miroslav V,Velikic Ivan S,Savic M},
year={2003},
title={USB VoIP Gateway},
journal={TELSIKS 2003: 6TH INTERNATIONAL CONFERENCE ON TELECOMMUNICATIONS IN MODERN SATELLITE, CABLE AND BROADCASTING SERVICE, VOLS 1 AND 2, PROCEEDINGS OF PAPERS},
volume={},
number={},
pages={756-758},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Popovic Miroslav V,Kovacevic Vladimir,Velikic Ivan S},
year={2002},
title={A formal software verification concept based on automated theorem proving and reverse engineering},
journal={NINTH ANNUAL IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS},
volume={},
number={},
pages={59-66},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Popovic Miroslav V,Jovanovic Z,Pap Istvan I,Medic V,Culibrk Dubravko R},
year={2001},
title={A C compiler design concept used for MAS family of Digital Signal Processors},
journal={TELSIKS 2001, VOL 1 & 2, PROCEEDINGS},
volume={},
number={},
pages={607-610},
document_type={Proceedings Paper},
} 

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