Software development and testing methodology used for subscriber digital concentrator ACK-2000. - Miroslav Popovic; Vladimir Kovacevic; M. Skrbic (ISSRE, 1999)

Software Testing Concept Used for MAS/C-Compiler. - Miroslav Popovic; Vladimir Kovacevic; Miodrag R. Temerinac (EUROMICRO, 2000)

Software Reliability and Maintenance Concept Used for Automatic Call Distributor MEDIO ACD. - Miroslav Popovic; Vladimir Kovacevic; M. Skrbic (ISSRE, 2000)

An Approach to Internet-Based Virtual Call Center Implementation. - Miroslav Popovic; Vladimir Kovacevic (ICN (1), 2001)

Case study: a maintenance practice used with real-time telecommunications software. - Miroslav Popovic; Branislav Atlagic; Vladimir Kovacevic (J. Softw. Maintenance Res. Pract., 2001)

A Formal Software Verification Concept Based on Automated Theorem Proving and Reverse Engineering. - Miroslav Popovic; Vladimir Kovacevic; Ivan Velikic (ECBS, 2002)

A Concept of an Integrated Development Environment for Reactive Systems. - Ivan Velikic; Miroslav Popovic; Vladimir Kovacevic (ECBS, 2004)

The Use of Distributed Network-Based IDS Systems in Detection of Evasion Attacks. - Ilija Basicevic; Miroslav Popovic; Vladimir Kovacevic (AICT/SAPIR/ELETE, 2005)

A Generic Model-Based Test Case Generator. - Miroslav Popovic; Ivan Velikic (ECBS, 2005)

A Model-Based Statistical Usage Testing of Communication Protocols. - Miroslav Popovic; Ilija Basicevic; Ivan Velikic; Jelena Tatic (ECBS, 2006)

A Statistical Approach to Model-Based Robustness Testing. - Miroslav Popovic; Jelena Kovacevic (ECBS, 2007)

Use of Publisher-Subscriber Design Pattern in Infrastructure of Distributed IDS Systems. - Ilija Basicevic; Miroslav Popovic; Vladimir Kovacevic (ICNS, 2007)

An Approach to Parallelization of Legacy Software. - Ilija Basicevic; Sabina Jovanovic; Branislav Drapsin; Miroslav Popovic; Vladislav Vrtunski (ECBS-EERC, 2009)

An Approach to Instruction Set Compiled Simulator Development Based on a Target Processor C Compiler Back-End Design. - Miodrag Djukic; Nenad Cetic; Radovan Obradovic; Miroslav Popovic (ECBS-EERC, 2009)

A Task Tree Executor: New Runtime for Parallelized Legacy Software. - Miroslav Popovic; Ilija Basicevic; Vladislav Vrtunski (ECBS, 2009)

An Optimal Relationship-Based Partitioning of Large Datasets. - Darko Capko; Aleksandar Erdeljan; Miroslav Popovic; Goran Svenda (ADBIS, 2010)

Use of Finite State Machine Based Framework in Implementation of Communication Protocols - A Case Study. - Ilija Basicevic; Miroslav Popovic; Ivan Velikic (AICT, 2010)

An Application Level Parallelization of Complex Real-Time Software. - Bogdan Trivunovic; Miroslav Popovic; Vladislav Vrtunski (ECBS, 2010)

Test case generation for the task tree type of architecture. - Miroslav Popovic; Ilija Basicevic (Inf. Softw. Technol., 2010)

Formal Verification of Distributed Transaction Management in a SOA Based Control System. - Ivana Popovic; Vladislav Vrtunski; Miroslav Popovic (ECBS, 2011)

An Approach to Parallelization of Sequential C Code. - Nikola Vranic; Vladimir Marinkovic; Miodrag Djukic; Miroslav Popovic (ECBS-EERC, 2011)

Energy consumption comparison between macro-micro and public femto deployment in a plausible LTE network. - Katerina Dufková; Jean-Yves Le Boudec; Miroslav Popovic; Milan Bjelica; Ramin Khalili; Lukas Kencl (e-Energy, 2011)

On the application of fuzzy-based flow control approach to High Altitude Platform communications. - Ilija Basicevic; Dragan Kukolj; Miroslav Popovic (Appl. Intell., 2011)

Sinkronizacija potrošačkih programa ; Consumer program synchronization. - Miroslav Popovic (2011)

MPTCP is not pareto-optimal: performance issues and a possible solution. - Ramin Khalili; Nicolas Gast; Miroslav Popovic; Utkarsh Upadhyay; Jean-Yves Le Boudec (CoNEXT, 2012)

A Host Based Method for Data Leak Protection by Tracking Sensitive Data Flow. - Miodrag Petkovic; Miroslav Popovic; Ilija Basicevic; Djordje Saric (ECBS, 2012)

A Task Tree Executor Architecture Based on Intel Threading Building Blocks. - Miroslav Popovic; Miodrag Djukic; Vladimir Marinkovic; Nikola Vranic (ECBS, 2012)

A Run-Time Library for Parallel Processing on a Multi-core DSP. - Nenad Cetic; Miroslav Popovic; Miodrag Djukic; Momcilo Krunic (ECBS-EERC, 2013)

Parallel Processing of Multichannel Video Based on Multicore Architecture. - Branislav Kordic; Vladimir Marinkovic; Miroslav Popovic; Vukota Pekovic (ECBS-EERC, 2013)

Selection and Prioritization of Test Cases by Combining White-Box and Black-Box Testing Methods. - Sandra Kukolj; Vladimir Marinkovic; Miroslav Popovic; Szabolcs Bognár (ECBS-EERC, 2013)

A Retargetable C Compiler for Embedded Systems. - Ivan Povazan; Miroslav Popovic; Miodrag Djukic; Nenad Cetic (ECBS-EERC, 2013)

A method for creating the operational profile of TV/STB device to be used for statistical testing. - Vladimir Marinkovic; Branislav Kordic; Miroslav Popovic; Vukota Pekovic (EUROCON, 2013)

On task tree executor architectures based on intel parallel building blocks. - Miroslav Popovic; Miodrag Djukic; Vladimir Marinkovic; Nikola Vranic (Comput. Sci. Inf. Syst., 2013)

MPTCP Is Not Pareto-Optimal: Performance Issues and a Possible Solution. - Ramin Khalili; Nicolas Gast; Miroslav Popovic; Jean-Yves Le Boudec (IEEE/ACM Trans. Netw., 2013)

Security Vulnerabilities of the Cisco IOS Implementation of the MPLS Transport Profile. - Upul Jayasinghe; Sérgio Barreto Andrade; Miroslav Popovic; Teklemariam Tsegay Tesfay; Jean-Yves Le Boudec (SEGS@CCS, 2014)

Scheduling Multiple Objects in Distributed Transactional Memory. - Costas Busch; Maurice Herlihy; Miroslav Popovic; Gokarna Sharma (DISC, 2014)

EFL: Implementing and Testing an Embedded Language Which Provides Safe and Efficient Parallel Execution. - David Dayan; Moshe Goldstein; Shimon Mizrahi; Max Rabin; Devora Berlowitz; Or Berlowitz; Elad Bussani Levy; Moshe Naaman; Mor Nagar; Ditsa Soudry; Raphael B. Yehezkael; Miroslav Popovic (ECBS-EERC, 2015)

DPM-PSTM: Dual-Port Memory Based Python Software Transactional Memory. - Branislav Kordic; Miroslav Popovic; Ilija Basicevic (ECBS-EERC, 2015)

Work, Span, and Parallelism of Transactional Memory Programs. - Miroslav Popovic; Branislav Kordic; Ilija Basicevic (ECBS-EERC, 2015)

A Profiling Tool for Heterogeneous Multi-core Systems. - Ivan Povazan; Momcilo Krunic; Miroslav Popovic (ECBS-EERC, 2015)

Real-time state estimation of the EPFL-campus medium-voltage grid by using PMUs. - Marco Pignati; Miroslav Popovic; Sérgio Barreto Andrade; Rachid Cherkaoui; German Dario Flores; Jean-Yves Le Boudec; Maaz Mohiuddin; Mario Paolone; Paolo Romano 001; Styliani Sarri; Teklemariam Tesfay; Dan-Cristian Tomozei; et al. (ISGT, 2015)

Hands-on system programming labs & projects based on E2LP platform. - Branislav Kordic; Vladimir Marinkovic; Miroslav Popovic; Ivan Kastelan (MIPRO, 2015)

Impossibility Results for Distributed Transactional Memory. - Costas Busch; Maurice Herlihy; Miroslav Popovic; Gokarna Sharma (PODC, 2015)

iPRP: Parallel redundancy protocol for IP networks. - Miroslav Popovic; Maaz Mohiuddin; Dan-Cristian Tomozei; Jean-Yves Le Boudec (WFCS, 2015)

Evaluation of entropy-based detection of outbound denial-of-service attacks in edge networks. - Ilija Basicevic; Stanislav Ocovaj; Miroslav Popovic (Secur. Commun. Networks, 2015)

Use of Tsallis entropy in detection of SYN flood DoS attacks. - Ilija Basicevic; Stanislav Ocovaj; Miroslav Popovic (Secur. Commun. Networks, 2015)

Data flow CAD tool for firniware development and power consumption estimation in multi-core hearing aids. - Momcilo Krunic; Ivan Povazan; Miroslav Popovic; Jelena Kovacevic (ICCE, 2016)

Experimental validation of the usability of Wi-Fi over redundant paths for streaming phasor data. - Maaz Mohiuddin; Miroslav Popovic; Athanasios Giannakopoulos; Jean-Yves Le Boudec (SmartGridComm, 2016)

The value of flow size distribution in entropy-based detection of DoS attacks. - Ilija Basicevic; Stanislav Ocovaj; Miroslav Popovic (Secur. Commun. Networks, 2016)

iPRP - The Parallel Redundancy Protocol for IP Networks: Protocol Design and Operation. - Miroslav Popovic; Maaz Mohiuddin; Dan-Cristian Tomozei; Jean-Yves Le Boudec (IEEE Trans. Ind. Informatics, 2016)

Performance Assessment of Linear State Estimators Using Synchrophasor Measurements. - Styliani Sarri; Lorenzo Zanni; Miroslav Popovic; Jean-Yves Le Boudec; Mario Paolone (IEEE Trans. Instrum. Meas., 2016)

Redundancy in Communication Networks for Smart Grids. - Miroslav Popovic (2016)

Formalization and Verification of the PSTM Architecture. - Ailun Liu; Miroslav Popovic; Huibiao Zhu (APSEC, 2017)

An approach to formal verification of python software transactional memory. - Branislav Kordic; Miroslav Popovic; Silvia Ghilezan; Ilija Basicevic (ECBS, 2017)

Instructions energy consumption on a heterogeneous multicore platform. - Momcilo Krunic; Jelena Kovacevic; Miroslav Popovic; Vlado Krunic (ECBS, 2017)

Performance comparison of node-redundant multicast distribution trees in SDN networks. - Miroslav Popovic; Ramin Khalili; Jean-Yves Le Boudec (NetSys, 2017)

Fast Scheduling in Distributed Transactional Memory. - Costas Busch; Maurice Herlihy; Miroslav Popovic; Gokarna Sharma (SPAA, 2017)

Dynamic Rain Attenuation Model for Millimeter Wave Network Analysis. - Miroslav V. Peric; Dragana B. Peric; Branislav M. Todorovic; Miroslav Popovic (IEEE Trans. Wirel. Commun., 2017)

Work in progress: Modernizing laboratories for innovative technologies in automotive. - Ivan Kastelan; Miroslav Popovic; Mario Vranjes; Gordana Velikic (EDUCON, 2018)

Evaluation of Takagi-Sugeno-Kang fuzzy method in entropy-based detection of DDoS attacks. - Miodrag Petkovic; Ilija Basicevic; Dragan Kukolj; Miroslav Popovic (Comput. Sci. Inf. Syst., 2018)

Time-communication impossibility results for distributed transactional memory. - Costas Busch; Maurice Herlihy; Miroslav Popovic; Gokarna Sharma (Distributed Comput., 2018)

A Protein Structure Prediction Program Architecture Based on a Software Transactional Memory. - Branislav Kordic; Marko Popovic; Miroslav Popovic; Moshe Goldstein; Moshe Amitay; David Dayan (ECBS, 2019)

Formal Verification of Python Software Transactional Memory Serializability Based on the Push/Pull Semantic Model. - Miroslav Popovic; Marko Popovic; Silvia Ghilezan; Branislav Kordic (ECBS, 2019)

Secure firmware update in embedded systems. - Levon Keleman; Danijel Matic; Miroslav Popovic; Ivan Kastelan (ICCE-Berlin, 2019)

Modernizing Laboratories for New Courses in Automotive Software Engineering. - Ivan Kastelan; Bogdan Pavkovic; Mario Vranjes; Miroslav Popovic; Gordana Velikic (MIPRO, 2019)

Modeling and Verifying Transaction Scheduling for Software Transactional Memory using CSP. - Chao Xu; Xi Wu 005; Huibiao Zhu; Miroslav Popovic (TASE, 2019)

A practical approach to detection of distributed denial-of-service attacks using a hybrid detection method. - Petar D. Bojovic; Ilija Basicevic; Stanislav Ocovaj; Miroslav Popovic (Comput. Electr. Eng., 2019)

Dynamic Scheduling in Distributed Transactional Memory. - Costas Busch; Maurice Herlihy; Miroslav Popovic; Gokarna Sharma (IPDPS, 2020)

Modernized Courses in Automotive Software Engineering. - Ivan Kastelan; Bogdan Pavkovic; Mario Vranjes; Miroslav Popovic (MIPRO, 2020)

Formal analysis and verification of the PSTM architecture using CSP. - Ailun Liu; Huibiao Zhu; Miroslav Popovic; Shuangqing Xiang; Lei Zhang (J. Syst. Softw., 2020)

PSTM Transaction Scheduler Verification Based on CSP and Testing. - Miroslav Popovic; Marko Popovic; Branislav Kordic; Huibiao Zhu (ECBS, 2021)

Formal Analysis and Verification of DPSTM v2 Architecture Using CSP. - Peimu Li; Jiaqi Yin; Huibiao Zhu; Lili Xiao; Miroslav Popovic (COMPSAC, 2022)

Flexible Scheduling of Transactional Memory on Trees. - Costas Busch; Bogdan S. Chlebus; Maurice Herlihy; Miroslav Popovic; Pavan Poudel; Gokarna Sharma (SSS, 2022)

A Federated Learning Algorithms Development Paradigm. - Miroslav Popovic; Marko Popovic; Ivan Kastelan; Miodrag Djukic; Ilija Basicevic (ECBS, 2023)

Correct Orchestration of Federated Learning Generic Algorithms: Formalisation and Verification in CSP. - Ivan Prokic; Silvia Ghilezan; Simona Kasterovic; Miroslav Popovic; Marko Popovic; Ivan Kastelan (ECBS, 2023)

A Learning Model for Lifelong Education of Computer Engineers. - Ivan Kastelan; Miroslav Popovic; Milan Z. Bjelica (IEEE Access, 2023)

Guest editorial - Engineering of computer based systems. - Miodrag Djukic; Miroslav Popovic (Comput. Sci. Inf. Syst., 2023)

Complete formal verification of the PSTM transaction Scheduler. - Miroslav Popovic; Marko Popovic; Branislav Kordic; Huibiao Zhu (Comput. Sci. Inf. Syst., 2023)

A Simple Python Testbed for Federated Learning Algorithms. - Miroslav Popovic; Marko Popovic; Ivan Kastelan; Miodrag Djukic; Silvia Ghilezan (CoRR, 2023)

Developing Elementary Federated Learning Algorithms Leveraging the ChatGPT. - Miroslav Popovic; Marko Popovic; Ivan Kastelan; Miodrag Djukic; Ilija Basicevic (CoRR, 2023)

PTB-FLA development paradigm adaptation for ChatGPT. - Miroslav Popovic; Marko Popovic; Ivan Kastelan; Miodrag Djukic; Ilija Basicevic (Comput. Sci. Inf. Syst., 2024)

MicroPython Testbed for Federated Learning Algorithms. - Miroslav Popovic; Marko Popovic; Ivan Kastelan; Miodrag Djukic; Ilija Basicevic (CoRR, 2024)

Fast Transaction Scheduling in Blockchain Sharding. - Ramesh Adhikari; Costas Busch; Miroslav Popovic (CoRR, 2024)

Towards Formal Verification of Federated Learning Orchestration Protocols on Satellites. - Miroslav Popovic; Marko Popovic; Miodrag Djukic; Ilija Basicevic (CoRR, 2024)

On the Efficiency of Dynamic Transaction Scheduling in Blockchain Sharding. - Ramesh Adhikari; Costas Busch; Miroslav Popovic (DISC, 2025)

Towards sustainable societies: Convolutional neural networks optimized by modified crayfish optimization algorithm aided by AdaBoost and XGBoost for waste classification tasks. - Ana Tasic; Luka Jovanovic; Nebojsa Bacanin; Miodrag Zivkovic; Vladimir Simic; Miroslav Popovic; Milos Antonijevic (Appl. Soft Comput., 2025)

Correct orchestration of federated learning generic algorithms: Python translation to CSP and verification by PAT. - Miodrag Djukic; Ivan Prokic; Miroslav Popovic; Silvia Ghilezan; Marko Popovic; Simona Prokic (Int. J. Softw. Tools Technol. Transf., 2025)

Federated Isolation Forest for Efficient Anomaly Detection on Edge IoT Systems. - Pavle Vasiljevic; Milica Matic; Miroslav Popovic (CoRR, 2025)

Translating Federated Learning Algorithms in Python into CSP Processes Using ChatGPT. - Miroslav Popovic; Marko Popovic; Miodrag Djukic; Ilija Basicevic (CoRR, 2025)