Miroslav Popovic

103 papers A* 1A 6B 2C 6Misc 1Journal 39Unranked 43

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Correct orchestration of federated learning generic algorithms: Python translation to CSP and verification by PAT. Int. J. Softw. Tools Technol. Transf. Miodrag Djukic, Ivan Prokic, Miroslav Popovic, Silvia Ghilezan, Marko Popovic, Simona Prokic
2025	J	`jnl`	Federated Isolation Forest for Efficient Anomaly Detection on Edge IoT Systems. CoRR Pavle Vasiljevic, Milica Matic, Miroslav Popovic
2025	J	`jnl`	Formal Verification of a Generic Algorithm for TDM Communication Over Inter Satellite Links. CoRR Miroslav Popovic, Marko Popovic, Pavle Vasiljevic, Miodrag Djukic
2025	J	`jnl`	Generic Algorithm for Universal TDM Communication Over Inter Satellite Links. CoRR Miroslav Popovic, Marko Popovic, Pavle Vasiljevic, Ilija Basicevic
2025	A	`conf`	On the Efficiency of Dynamic Transaction Scheduling in Blockchain Sharding. DISC Ramesh Adhikari, Costas Busch, Miroslav Popovic
2025	J	`jnl`	On the Efficiency of Dynamic Transaction Scheduling in Blockchain Sharding. CoRR Ramesh Adhikari, Costas Busch, Miroslav Popovic
2025	J	`jnl`	Towards sustainable societies: Convolutional neural networks optimized by modified crayfish optimization algorithm aided by AdaBoost and XGBoost for waste classification tasks. Appl. Soft Comput. Ana Tasic, Luka Jovanovic, Nebojsa Bacanin, Miodrag Zivkovic, Vladimir Simic, Miroslav Popovic, Milos Antonijevic
2025	J	`jnl`	Translating Federated Learning Algorithms in Python into CSP Processes Using ChatGPT. CoRR Miroslav Popovic, Marko Popovic, Miodrag Djukic, Ilija Basicevic
2024	J	`jnl`	Fast Transaction Scheduling in Blockchain Sharding. CoRR Ramesh Adhikari, Costas Busch, Miroslav Popovic
2024	J	`jnl`	MicroPython Testbed for Federated Learning Algorithms. CoRR Miroslav Popovic, Marko Popovic, Ivan Kastelan, Miodrag Djukic, Ilija Basicevic
2024	J	`jnl`	PTB-FLA development paradigm adaptation for ChatGPT. Comput. Sci. Inf. Syst. Miroslav Popovic, Marko Popovic, Ivan Kastelan, Miodrag Djukic, Ilija Basicevic
2024	J	`jnl`	Towards Formal Verification of Federated Learning Orchestration Protocols on Satellites. CoRR Miroslav Popovic, Marko Popovic, Miodrag Djukic, Ilija Basicevic
2023	—	`conf`	A Federated Learning Algorithms Development Paradigm. ECBS Miroslav Popovic, Marko Popovic, Ivan Kastelan, Miodrag Djukic, Ilija Basicevic
2023	J	`jnl`	A Federated Learning Algorithms Development Paradigm. CoRR Miroslav Popovic, Marko Popovic, Ivan Kastelan, Miodrag Djukic, Ilija Basicevic
2023	J	`jnl`	A Learning Model for Lifelong Education of Computer Engineers. IEEE Access Ivan Kastelan, Miroslav Popovic, Milan Z. Bjelica
2023	J	`jnl`	A Simple Python Testbed for Federated Learning Algorithms. CoRR Miroslav Popovic, Marko Popovic, Ivan Kastelan, Miodrag Djukic, Silvia Ghilezan
2023	J	`jnl`	Complete formal verification of the PSTM transaction Scheduler. Comput. Sci. Inf. Syst. Miroslav Popovic, Marko Popovic, Branislav Kordic, Huibiao Zhu
2023	—	`conf`	Correct Orchestration of Federated Learning Generic Algorithms: Formalisation and Verification in CSP. ECBS Ivan Prokic, Silvia Ghilezan, Simona Kasterovic, Miroslav Popovic, Marko Popovic, Ivan Kastelan
2023	J	`jnl`	Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP. CoRR Ivan Prokic, Silvia Ghilezan, Simona Kasterovic, Miroslav Popovic, Marko Popovic, Ivan Kastelan
2023	J	`jnl`	Developing Elementary Federated Learning Algorithms Leveraging the ChatGPT. CoRR Miroslav Popovic, Marko Popovic, Ivan Kastelan, Miodrag Djukic, Ilija Basicevic
2023	J	`jnl`	Flexible scheduling of transactional memory on trees. Theor. Comput. Sci. Costas Busch, Bogdan S. Chlebus, Maurice Herlihy, Miroslav Popovic, Pavan Poudel, Gokarna Sharma
2023	J	`jnl`	Guest editorial - Engineering of computer based systems. Comput. Sci. Inf. Syst. Miodrag Djukic, Miroslav Popovic
2023	J	`jnl`	PSTM Transaction Scheduler Verification Based on CSP and Testing. CoRR Miroslav Popovic, Marko Popovic, Branislav Kordic, Huibiao Zhu
2022	J	`jnl`	Dynamic scheduling in distributed transactional memory. Distributed Comput. Costas Busch, Maurice Herlihy, Miroslav Popovic, Gokarna Sharma
2022	C	`conf`	Flexible Scheduling of Transactional Memory on Trees. SSS Costas Busch, Bogdan S. Chlebus, Maurice Herlihy, Miroslav Popovic, Pavan Poudel, Gokarna Sharma
2022	B	`conf`	Formal Analysis and Verification of DPSTM v2 Architecture Using CSP. COMPSAC Peimu Li, Jiaqi Yin, Huibiao Zhu, Lili Xiao, Miroslav Popovic
2021	J	`jnl`	Fast Scheduling in Distributed Transactional Memory. Theory Comput. Syst. Costas Busch, Maurice Herlihy, Miroslav Popovic, Gokarna Sharma
2021	—	`conf`	PSTM Transaction Scheduler Verification Based on CSP and Testing. ECBS Miroslav Popovic, Marko Popovic, Branislav Kordic, Huibiao Zhu
2020	A	`conf`	Dynamic Scheduling in Distributed Transactional Memory. IPDPS Costas Busch, Maurice Herlihy, Miroslav Popovic, Gokarna Sharma
2020	J	`jnl`	Formal analysis and verification of the PSTM architecture using CSP. J. Syst. Softw. Ailun Liu, Huibiao Zhu, Miroslav Popovic, Shuangqing Xiang, Lei Zhang
2020	—	`conf`	Modernized Courses in Automotive Software Engineering. MIPRO Ivan Kastelan, Bogdan Pavkovic, Mario Vranjes, Miroslav Popovic
2019	—	`conf`	A Protein Structure Prediction Program Architecture Based on a Software Transactional Memory. ECBS Branislav Kordic, Marko Popovic, Miroslav Popovic, Moshe Goldstein, Moshe Amitay, David Dayan
2019	J	`jnl`	A practical approach to detection of distributed denial-of-service attacks using a hybrid detection method. Comput. Electr. Eng. Petar D. Bojovic, Ilija Basicevic, Stanislav Ocovaj, Miroslav Popovic
2019	—	`conf`	Formal Verification of Python Software Transactional Memory Serializability Based on the Push/Pull Semantic Model. ECBS Miroslav Popovic, Marko Popovic, Silvia Ghilezan, Branislav Kordic
2019	Misc	`conf`	Modeling and Verifying Transaction Scheduling for Software Transactional Memory using CSP. TASE Chao Xu, Xi Wu, Huibiao Zhu, Miroslav Popovic
2019	—	`conf`	Modernizing Laboratories for New Courses in Automotive Software Engineering. MIPRO Ivan Kastelan, Bogdan Pavkovic, Mario Vranjes, Miroslav Popovic, Gordana Velikic
2019	—	`conf`	Secure firmware update in embedded systems. ICCE-Berlin Levon Keleman, Danijel Matic, Miroslav Popovic, Ivan Kastelan
2018	J	`jnl`	A practical approach to detection of distributed denial-of-service attacks using a hybrid detection method. CoRR Petar D. Bojovic, Ilija Basicevic, Stanislav Ocovaj, Miroslav Popovic
2018	J	`jnl`	Evaluation of Takagi-Sugeno-Kang fuzzy method in entropy-based detection of DDoS attacks. Comput. Sci. Inf. Syst. Miodrag Petkovic, Ilija Basicevic, Dragan Kukolj, Miroslav Popovic
2018	J	`jnl`	Time-communication impossibility results for distributed transactional memory. Distributed Comput. Costas Busch, Maurice Herlihy, Miroslav Popovic, Gokarna Sharma
2018	C	`conf`	Work in progress: Modernizing laboratories for innovative technologies in automotive. EDUCON Ivan Kastelan, Miroslav Popovic, Mario Vranjes, Gordana Velikic
2017	—	`conf`	An approach to formal verification of python software transactional memory. ECBS Branislav Kordic, Miroslav Popovic, Silvia Ghilezan, Ilija Basicevic
2017	J	`jnl`	Dynamic Rain Attenuation Model for Millimeter Wave Network Analysis. IEEE Trans. Wirel. Commun. Miroslav V. Peric, Dragana B. Peric, Branislav M. Todorovic, Miroslav Popovic
2017	B	`conf`	Fast Scheduling in Distributed Transactional Memory. SPAA Costas Busch, Maurice Herlihy, Miroslav Popovic, Gokarna Sharma
2017	C	`conf`	Formalization and Verification of the PSTM Architecture. APSEC Ailun Liu, Miroslav Popovic, Huibiao Zhu
2017	—	`conf`	Instructions energy consumption on a heterogeneous multicore platform. ECBS Momcilo Krunic, Jelena Kovacevic, Miroslav Popovic, Vlado Krunic
2017	—	`conf`	Performance comparison of node-redundant multicast distribution trees in SDN networks. NetSys Miroslav Popovic, Ramin Khalili, Jean-Yves Le Boudec
2016	C	`conf`	Data flow CAD tool for firniware development and power consumption estimation in multi-core hearing aids. ICCE Momcilo Krunic, Ivan Povazan, Miroslav Popovic, Jelena Kovacevic
2016	—	`conf`	Experimental validation of the usability of Wi-Fi over redundant paths for streaming phasor data. SmartGridComm Maaz Mohiuddin, Miroslav Popovic, Athanasios Giannakopoulos, Jean-Yves Le Boudec
2016	J	`jnl`	Performance Assessment of Linear State Estimators Using Synchrophasor Measurements. IEEE Trans. Instrum. Meas. Styliani Sarri, Lorenzo Zanni, Miroslav Popovic, Jean-Yves Le Boudec, Mario Paolone
2016	—	`—`	Redundancy in Communication Networks for Smart Grids. Miroslav Popovic
2016	J	`jnl`	The value of flow size distribution in entropy-based detection of DoS attacks. Secur. Commun. Networks Ilija Basicevic, Stanislav Ocovaj, Miroslav Popovic
2016	J	`jnl`	iPRP - The Parallel Redundancy Protocol for IP Networks: Protocol Design and Operation. IEEE Trans. Ind. Informatics Miroslav Popovic, Maaz Mohiuddin, Dan-Cristian Tomozei, Jean-Yves Le Boudec
2015	—	`conf`	A Profiling Tool for Heterogeneous Multi-core Systems. ECBS-EERC Ivan Povazan, Momcilo Krunic, Miroslav Popovic
2015	—	`conf`	DPM-PSTM: Dual-Port Memory Based Python Software Transactional Memory. ECBS-EERC Branislav Kordic, Miroslav Popovic, Ilija Basicevic
2015	—	`conf`	EFL: Implementing and Testing an Embedded Language Which Provides Safe and Efficient Parallel Execution. ECBS-EERC 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
2015	J	`jnl`	Evaluation of entropy-based detection of outbound denial-of-service attacks in edge networks. Secur. Commun. Networks Ilija Basicevic, Stanislav Ocovaj, Miroslav Popovic
2015	—	`conf`	Hands-on system programming labs & projects based on E2LP platform. MIPRO Branislav Kordic, Vladimir Marinkovic, Miroslav Popovic, Ivan Kastelan
2015	A*	`conf`	Impossibility Results for Distributed Transactional Memory. PODC Costas Busch, Maurice Herlihy, Miroslav Popovic, Gokarna Sharma
2015	—	`conf`	Real-time state estimation of the EPFL-campus medium-voltage grid by using PMUs. ISGT Marco Pignati, Miroslav Popovic, Sérgio Barreto Andrade, Rachid Cherkaoui, German Dario Flores, Jean-Yves Le Boudec, Maaz Mohiuddin, Mario Paolone, Paolo Romano, Styliani Sarri, Teklemariam Tesfay, Dan-Cristian Tomozei, Lorenzo Zanni
2015	J	`jnl`	Use of Tsallis entropy in detection of SYN flood DoS attacks. Secur. Commun. Networks Ilija Basicevic, Stanislav Ocovaj, Miroslav Popovic
2015	—	`conf`	Work, Span, and Parallelism of Transactional Memory Programs. ECBS-EERC Miroslav Popovic, Branislav Kordic, Ilija Basicevic
2015	C	`conf`	iPRP: Parallel redundancy protocol for IP networks. WFCS Miroslav Popovic, Maaz Mohiuddin, Dan-Cristian Tomozei, Jean-Yves Le Boudec
2014	A	`conf`	Scheduling Multiple Objects in Distributed Transactional Memory. DISC Costas Busch, Maurice Herlihy, Miroslav Popovic, Gokarna Sharma
2014	—	`conf`	Security Vulnerabilities of the Cisco IOS Implementation of the MPLS Transport Profile. SEGS@CCS Upul Jayasinghe, Sérgio Barreto Andrade, Miroslav Popovic, Teklemariam Tsegay Tesfay, Jean-Yves Le Boudec
2013	—	`conf`	A Retargetable C Compiler for Embedded Systems. ECBS-EERC Ivan Povazan, Miroslav Popovic, Miodrag Djukic, Nenad Cetic
2013	—	`conf`	A Run-Time Library for Parallel Processing on a Multi-core DSP. ECBS-EERC Nenad Cetic, Miroslav Popovic, Miodrag Djukic, Momcilo Krunic
2013	—	`conf`	A method for creating the operational profile of TV/STB device to be used for statistical testing. EUROCON Vladimir Marinkovic, Branislav Kordic, Miroslav Popovic, Vukota Pekovic
2013	J	`jnl`	An approach to instruction set compiled simulator development based on a target processor C compiler back-end design. Innov. Syst. Softw. Eng. Miodrag Djukic, Nenad Cetic, Radovan Obradovic, Miroslav Popovic
2013	J	`jnl`	MPTCP Is Not Pareto-Optimal: Performance Issues and a Possible Solution. IEEE/ACM Trans. Netw. Ramin Khalili, Nicolas Gast, Miroslav Popovic, Jean-Yves Le Boudec
2013	J	`jnl`	On task tree executor architectures based on intel parallel building blocks. Comput. Sci. Inf. Syst. Miroslav Popovic, Miodrag Djukic, Vladimir Marinkovic, Nikola Vranic
2013	—	`conf`	Parallel Processing of Multichannel Video Based on Multicore Architecture. ECBS-EERC Branislav Kordic, Vladimir Marinkovic, Miroslav Popovic, Vukota Pekovic
2013	—	`conf`	Selection and Prioritization of Test Cases by Combining White-Box and Black-Box Testing Methods. ECBS-EERC Sandra Kukolj, Vladimir Marinkovic, Miroslav Popovic, Szabolcs Bognár
2012	—	`conf`	A Host Based Method for Data Leak Protection by Tracking Sensitive Data Flow. ECBS Miodrag Petkovic, Miroslav Popovic, Ilija Basicevic, Djordje Saric
2012	—	`conf`	A Task Tree Executor Architecture Based on Intel Threading Building Blocks. ECBS Miroslav Popovic, Miodrag Djukic, Vladimir Marinkovic, Nikola Vranic
2012	—	`ed.`	IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems, ECBS 2012, Novi Sad, Serbia, April 11-13, 2012 ECBS Miroslav Popovic, Bernhard Schätz, Sebastian Voss
2012	A	`conf`	MPTCP is not pareto-optimal: performance issues and a possible solution. CoNEXT Ramin Khalili, Nicolas Gast, Miroslav Popovic, Utkarsh Upadhyay, Jean-Yves Le Boudec
2011	—	`conf`	An Approach to Parallelization of Sequential C Code. ECBS-EERC Nikola Vranic, Vladimir Marinkovic, Miodrag Djukic, Miroslav Popovic
2011	—	`conf`	Energy consumption comparison between macro-micro and public femto deployment in a plausible LTE network. e-Energy Katerina Dufková, Jean-Yves Le Boudec, Miroslav Popovic, Milan Bjelica, Ramin Khalili, Lukas Kencl
2011	—	`conf`	Formal Verification of Distributed Transaction Management in a SOA Based Control System. ECBS Ivana Popovic, Vladislav Vrtunski, Miroslav Popovic
2011	J	`jnl`	On the application of fuzzy-based flow control approach to High Altitude Platform communications. Appl. Intell. Ilija Basicevic, Dragan Kukolj, Miroslav Popovic
2011	—	`ed.`	Second Eastern European Regional Conference on the Engineering of Computer Based Systems, ECBS-EERC 2011, Bratislava, Slovakia, 5-6 September 2011. ECBS-EERC Miroslav Popovic, Valentino Vranic
2011	—	`—`	Sinkronizacija potrošačkih programa ; Consumer program synchronization. Miroslav Popovic
2010	—	`conf`	An Application Level Parallelization of Complex Real-Time Software. ECBS Bogdan Trivunovic, Miroslav Popovic, Vladislav Vrtunski
2010	C	`conf`	An Optimal Relationship-Based Partitioning of Large Datasets. ADBIS Darko Capko, Aleksandar Erdeljan, Miroslav Popovic, Goran Svenda
2010	J	`jnl`	Test case generation for the task tree type of architecture. Inf. Softw. Technol. Miroslav Popovic, Ilija Basicevic
2010	—	`conf`	Use of Finite State Machine Based Framework in Implementation of Communication Protocols - A Case Study. AICT Ilija Basicevic, Miroslav Popovic, Ivan Velikic
2009	—	`conf`	A Task Tree Executor: New Runtime for Parallelized Legacy Software. ECBS Miroslav Popovic, Ilija Basicevic, Vladislav Vrtunski
2009	—	`conf`	An Approach to Instruction Set Compiled Simulator Development Based on a Target Processor C Compiler Back-End Design. ECBS-EERC Miodrag Djukic, Nenad Cetic, Radovan Obradovic, Miroslav Popovic
2009	—	`conf`	An Approach to Parallelization of Legacy Software. ECBS-EERC Ilija Basicevic, Sabina Jovanovic, Branislav Drapsin, Miroslav Popovic, Vladislav Vrtunski
2009	—	`ed.`	First IEEE Eastern European Conference on the Engineering of Computer Based Systems, ECBS-EERC 2009, Novi Sad, Serbia, September 7-8, 2009 ECBS-EERC Miroslav Popovic
2007	—	`conf`	A Statistical Approach to Model-Based Robustness Testing. ECBS Miroslav Popovic, Jelena Kovacevic
2007	—	`conf`	Use of Publisher-Subscriber Design Pattern in Infrastructure of Distributed IDS Systems. ICNS Ilija Basicevic, Miroslav Popovic, Vladimir Kovacevic
2006	—	`conf`	A Model-Based Statistical Usage Testing of Communication Protocols. ECBS Miroslav Popovic, Ilija Basicevic, Ivan Velikic, Jelena Tatic
2005	—	`conf`	A Generic Model-Based Test Case Generator. ECBS Miroslav Popovic, Ivan Velikic
2005	—	`conf`	The Use of Distributed Network-Based IDS Systems in Detection of Evasion Attacks. AICT/SAPIR/ELETE Ilija Basicevic, Miroslav Popovic, Vladimir Kovacevic
2004	—	`conf`	A Concept of an Integrated Development Environment for Reactive Systems. ECBS Ivan Velikic, Miroslav Popovic, Vladimir Kovacevic
2002	—	`conf`	A Formal Software Verification Concept Based on Automated Theorem Proving and Reverse Engineering. ECBS Miroslav Popovic, Vladimir Kovacevic, Ivan Velikic
2001	—	`conf`	An Approach to Internet-Based Virtual Call Center Implementation. ICN (1) Miroslav Popovic, Vladimir Kovacevic
2001	J	`jnl`	Case study: a maintenance practice used with real-time telecommunications software. J. Softw. Maintenance Res. Pract. Miroslav Popovic, Branislav Atlagic, Vladimir Kovacevic
2000	A	`conf`	Software Reliability and Maintenance Concept Used for Automatic Call Distributor MEDIO ACD. ISSRE Miroslav Popovic, Vladimir Kovacevic, M. Skrbic
2000	—	`conf`	Software Testing Concept Used for MAS/C-Compiler. EUROMICRO Miroslav Popovic, Vladimir Kovacevic, Miodrag R. Temerinac
1999	A	`conf`	Software development and testing methodology used for subscriber digital concentrator ACK-2000. ISSRE Miroslav Popovic, Vladimir Kovacevic, M. Skrbic