Miroslav Popovic

According to our database, Miroslav Popovic authored at least 82 papers between 1999 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Towards Formal Verification of Federated Learning Orchestration Protocols on Satellites.

Miroslav Popovic, Marko Popovic, Miodrag Djukic, Ilija Basicevic

CoRR, 2024

Fast Transaction Scheduling in Blockchain Sharding.

Ramesh Adhikari, Costas Busch, Miroslav Popovic

CoRR, 2024

MicroPython Testbed for Federated Learning Algorithms.

Miroslav Popovic, Marko Popovic, Ivan Kastelan, Miodrag Djukic, Ilija Basicevic

CoRR, 2024

PTB-FLA development paradigm adaptation for ChatGPT.

Miroslav Popovic, Marko Popovic, Ivan Kastelan, Miodrag Djukic, Ilija Basicevic

Comput. Sci. Inf. Syst., 2024

2023

Flexible scheduling of transactional memory on trees.

Costas Busch, Bogdan S. Chlebus, Maurice Herlihy, Miroslav Popovic, Pavan Poudel, Gokarna Sharma

Theor. Comput. Sci., November, 2023

Developing Elementary Federated Learning Algorithms Leveraging the ChatGPT.

Miroslav Popovic, Marko Popovic, Ivan Kastelan, Miodrag Djukic, Ilija Basicevic

CoRR, 2023

A Simple Python Testbed for Federated Learning Algorithms.

Miroslav Popovic, Marko Popovic, Ivan Kastelan, Miodrag Djukic, Silvia Ghilezan

CoRR, 2023

Complete formal verification of the PSTM transaction Scheduler.

Miroslav Popovic, Marko Popovic, Branislav Kordic, Huibiao Zhu

Comput. Sci. Inf. Syst., 2023

Guest editorial - Engineering of computer based systems.

Miodrag Djukic, Miroslav Popovic

Comput. Sci. Inf. Syst., 2023

A Learning Model for Lifelong Education of Computer Engineers.

Ivan Kastelan, Miroslav Popovic, Milan Z. Bjelica

IEEE Access, 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

Proceedings of the Engineering of Computer-Based Systems - 8th International Conference, 2023

A Federated Learning Algorithms Development Paradigm.

Miroslav Popovic, Marko Popovic, Ivan Kastelan, Miodrag Djukic, Ilija Basicevic

Proceedings of the Engineering of Computer-Based Systems - 8th International Conference, 2023

2022

Dynamic scheduling in distributed transactional memory.

Costas Busch, Maurice Herlihy, Miroslav Popovic, Gokarna Sharma

Distributed Comput., 2022

Formal Analysis and Verification of DPSTM v2 Architecture Using CSP.

Peimu Li, Jiaqi Yin, Huibiao Zhu, Lili Xiao, Miroslav Popovic

Proceedings of the 46th IEEE Annual Computers, Software, and Applications Conferenc, 2022

2021

Fast Scheduling in Distributed Transactional Memory.

Costas Busch, Maurice Herlihy, Miroslav Popovic, Gokarna Sharma

Theory Comput. Syst., 2021

PSTM Transaction Scheduler Verification Based on CSP and Testing.

Miroslav Popovic, Marko Popovic, Branislav Kordic, Huibiao Zhu

Proceedings of the ECBS 2021: 7th Conference on the Engineering of Computer Based Systems, 2021

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

Modernized Courses in Automotive Software Engineering.

Ivan Kastelan, Bogdan Pavkovic, Mario Vranjes, Miroslav Popovic

Proceedings of the 43rd International Convention on Information, 2020

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

Modeling and Verifying Transaction Scheduling for Software Transactional Memory using CSP.

Chao Xu, Xi Wu, Huibiao Zhu, Miroslav Popovic

Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

Modernizing Laboratories for New Courses in Automotive Software Engineering.

Ivan Kastelan, Bogdan Pavkovic, Mario Vranjes, Miroslav Popovic, Gordana Velikic

Proceedings of the 42nd International Convention on Information and Communication Technology, 2019

Secure firmware update in embedded systems.

Levon Keleman, Danijel Matic, Miroslav Popovic, Ivan Kastelan

Proceedings of the 9th IEEE International Conference on Consumer Electronics, 2019

Formal Verification of Python Software Transactional Memory Serializability Based on the Push/Pull Semantic Model.

Miroslav Popovic, Marko Popovic, Silvia Ghilezan, Branislav Kordic

Proceedings of the 6th Conference on the Engineering of Computer Based Systems, 2019

A Protein Structure Prediction Program Architecture Based on a Software Transactional Memory.

Branislav Kordic, Marko Popovic, Miroslav Popovic, Moshe Goldstein, Moshe Amitay, David Dayan

Proceedings of the 6th Conference on the Engineering of Computer Based Systems, 2019

2018

Time-communication impossibility results for distributed transactional memory.

Costas Busch, Maurice Herlihy, Miroslav Popovic, Gokarna Sharma

Distributed Comput., 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

Work in progress: Modernizing laboratories for innovative technologies in automotive.

Ivan Kastelan, Miroslav Popovic, Mario Vranjes, Gordana Velikic

Proceedings of the 2018 IEEE Global Engineering Education Conference, 2018

2017

Performance comparison of node-redundant multicast distribution trees in SDN networks.

Miroslav Popovic, Ramin Khalili, Jean-Yves Le Boudec

Proceedings of the 2017 International Conference on Networked Systems, 2017

Instructions energy consumption on a heterogeneous multicore platform.

Momcilo Krunic, Jelena Kovacevic, Miroslav Popovic, Vlado Krunic

Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems, 2017

An approach to formal verification of python software transactional memory.

Branislav Kordic, Miroslav Popovic, Silvia Ghilezan, Ilija Basicevic

Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems, 2017

Formalization and Verification of the PSTM Architecture.

Ailun Liu, Miroslav Popovic, Huibiao Zhu

Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017

2016

Redundancy in Communication Networks for Smart Grids.

Miroslav Popovic

PhD thesis, 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

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

The value of flow size distribution in entropy-based detection of DoS attacks.

Ilija Basicevic, Stanislav Ocovaj, Miroslav Popovic

Secur. Commun. Networks, 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

Proceedings of the 2016 IEEE International Conference on Smart Grid Communications, 2016

Data flow CAD tool for firniware development and power consumption estimation in multi-core hearing aids.

Momcilo Krunic, Ivan Povazan, Miroslav Popovic, Jelena Kovacevic

Proceedings of the IEEE International Conference on Consumer Electronics, 2016

2015

Use of Tsallis entropy in detection of SYN flood DoS attacks.

Ilija Basicevic, Stanislav Ocovaj, Miroslav Popovic

Secur. Commun. Networks, 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

iPRP: Parallel redundancy protocol for IP networks.

Miroslav Popovic, Maaz Mohiuddin, Dan-Cristian Tomozei, Jean-Yves Le Boudec

Proceedings of the IEEE World Conference on Factory Communication Systems, 2015

Impossibility Results for Distributed Transactional Memory.

Costas Busch, Maurice Herlihy, Miroslav Popovic, Gokarna Sharma

Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing, 2015

Hands-on system programming labs & projects based on E2LP platform.

Branislav Kordic, Vladimir Marinkovic, Miroslav Popovic, Ivan Kastelan

Proceedings of the 38th International Convention on Information and Communication Technology, 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, Styliani Sarri, Teklemariam Tesfay, Dan-Cristian Tomozei, Lorenzo Zanni

Proceedings of the 2015 IEEE Power & Energy Society Innovative Smart Grid Technologies Conference, 2015

A Profiling Tool for Heterogeneous Multi-core Systems.

Ivan Povazan, Momcilo Krunic, Miroslav Popovic

Proceedings of the 2015 4th Eastern European Regional Conference on the Engineering of Computer Based Systems, 2015

Work, Span, and Parallelism of Transactional Memory Programs.

Miroslav Popovic, Branislav Kordic, Ilija Basicevic

Proceedings of the 2015 4th Eastern European Regional Conference on the Engineering of Computer Based Systems, 2015

DPM-PSTM: Dual-Port Memory Based Python Software Transactional Memory.

Branislav Kordic, Miroslav Popovic, Ilija Basicevic

Proceedings of the 2015 4th Eastern European Regional Conference on the Engineering of Computer Based Systems, 2015

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

Proceedings of the 2015 4th Eastern European Regional Conference on the Engineering of Computer Based Systems, 2015

2014

Scheduling Multiple Objects in Distributed Transactional Memory.

Costas Busch, Maurice Herlihy, Miroslav Popovic, Gokarna Sharma

Proceedings of the Distributed Computing - 28th International Symposium, 2014

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

Proceedings of the 2nd Workshop on Smart Energy Grid Security, 2014

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

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

Innov. Syst. Softw. Eng., 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

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

Proceedings of Eurocon 2013, 2013

A Retargetable C Compiler for Embedded Systems.

Ivan Povazan, Miroslav Popovic, Miodrag Djukic, Nenad Cetic

Proceedings of the 3rd Eastern European Regional Conference on the Engineering of Computer Based Systems, 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

Proceedings of the 3rd Eastern European Regional Conference on the Engineering of Computer Based Systems, 2013

Parallel Processing of Multichannel Video Based on Multicore Architecture.

Branislav Kordic, Vladimir Marinkovic, Miroslav Popovic, Vukota Pekovic

Proceedings of the 3rd Eastern European Regional Conference on the Engineering of Computer Based Systems, 2013

A Run-Time Library for Parallel Processing on a Multi-core DSP.

Nenad Cetic, Miroslav Popovic, Miodrag Djukic, Momcilo Krunic

Proceedings of the 3rd Eastern European Regional Conference on the Engineering of Computer Based Systems, 2013

2012

A Task Tree Executor Architecture Based on Intel Threading Building Blocks.

Miroslav Popovic, Miodrag Djukic, Vladimir Marinkovic, Nikola Vranic

Proceedings of the IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems, 2012

A Host Based Method for Data Leak Protection by Tracking Sensitive Data Flow.

Miodrag Petkovic, Miroslav Popovic, Ilija Basicevic, Djordje Saric

Proceedings of the IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems, 2012

MPTCP is not pareto-optimal: performance issues and a possible solution.

Ramin Khalili, Nicolas Gast, Miroslav Popovic, Utkarsh Upadhyay, Jean-Yves Le Boudec

Proceedings of the Conference on emerging Networking Experiments and Technologies, 2012

2011

On the application of fuzzy-based flow control approach to High Altitude Platform communications.

Ilija Basicevic, Dragan Kukolj, Miroslav Popovic

Appl. Intell., 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 Z. Bjelica, Ramin Khalili, Lukas Kencl

Proceedings of the 2nd International Conference on Energy-Efficient Computing and Networking 2011, 2011

An Approach to Parallelization of Sequential C Code.

Nikola Vranic, Vladimir Marinkovic, Miodrag Djukic, Miroslav Popovic

Proceedings of the Second Eastern European Regional Conference on the Engineering of Computer Based Systems, 2011

Formal Verification of Distributed Transaction Management in a SOA Based Control System.

Ivana Popovic, Vladislav Vrtunski, Miroslav Popovic

Proceedings of the 18th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2011

2010

Test case generation for the task tree type of architecture.

Miroslav Popovic, Ilija Basicevic

Inf. Softw. Technol., 2010

An Application Level Parallelization of Complex Real-Time Software.

Bogdan Trivunovic, Miroslav Popovic, Vladislav Vrtunski

Proceedings of the 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2010

Use of Finite State Machine Based Framework in Implementation of Communication Protocols - A Case Study.

Ilija Basicevic, Miroslav Popovic, Ivan Velikic

Proceedings of the Sixth Advanced International Conference on Telecommunications, 2010

An Optimal Relationship-Based Partitioning of Large Datasets.

Darko Capko, Aleksandar Erdeljan, Miroslav Popovic, Goran Svenda

Proceedings of the Advances in Databases and Information Systems, 2010

2009

A Task Tree Executor: New Runtime for Parallelized Legacy Software.

Miroslav Popovic, Ilija Basicevic, Vladislav Vrtunski

Proceedings of the 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2009

An Approach to Parallelization of Legacy Software.

Ilija Basicevic, Sabina Jovanovic, Branislav Drapsin, Miroslav Popovic, Vladislav Vrtunski

Proceedings of the First IEEE Eastern European Conference on the Engineering of Computer Based Systems, 2009

2007

Use of Publisher-Subscriber Design Pattern in Infrastructure of Distributed IDS Systems.

Ilija Basicevic, Miroslav Popovic, Vladimir Kovacevic

Proceedings of the Third International Conference on Networking and Services (ICNS 2007), 2007

A Statistical Approach to Model-Based Robustness Testing.

Miroslav Popovic, Jelena Kovacevic

Proceedings of the 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 2007

2006

A Model-Based Statistical Usage Testing of Communication Protocols.

Miroslav Popovic, Ilija Basicevic, Ivan Velikic, Jelena Tatic

Proceedings of the 13th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2006), 2006

2005

A Generic Model-Based Test Case Generator.

Miroslav Popovic, Ivan Velikic

Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005

The Use of Distributed Network-Based IDS Systems in Detection of Evasion Attacks.

Ilija Basicevic, Miroslav Popovic, Vladimir Kovacevic

Proceedings of the Telecommunications 2005: Advanced Industrial Conference on Telecommunications / Service Assurance with Partial and Intermittent Resources Conference / E-Learning on Telecommunications Workshop (AICT / SAPIR / ELETE 2005), 2005

2004

A Concept of an Integrated Development Environment for Reactive Systems.

Ivan Velikic, Miroslav Popovic, Vladimir Kovacevic

Proceedings of the 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 2004

2002

A Formal Software Verification Concept Based on Automated Theorem Proving and Reverse Engineering.

Miroslav Popovic, Vladimir Kovacevic, Ivan Velikic

Proceedings of the 9th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2002), 2002

2001

Case study: a maintenance practice used with real-time telecommunications software.

Miroslav Popovic, Branislav Atlagic, Vladimir Kovacevic

J. Softw. Maintenance Res. Pract., 2001

An Approach to Internet-Based Virtual Call Center Implementation.

Miroslav Popovic, Vladimir Kovacevic

Proceedings of the Networking, 2001

2000

Software Reliability and Maintenance Concept Used for Automatic Call Distributor MEDIO ACD.

Miroslav Popovic, Vladimir Kovacevic, M. Skrbic

Proceedings of the 11th International Symposium on Software Reliability Engineering (ISSRE 2000), 2000

Software Testing Concept Used for MAS/C-Compiler.

Miroslav Popovic, Vladimir Kovacevic, Miodrag R. Temerinac

Proceedings of the 26th EUROMICRO 2000 Conference, 2000

1999

Software development and testing methodology used for subscriber digital concentrator ACK-2000.

Miroslav Popovic, Vladimir Kovacevic, M. Skrbic

Proceedings of the 10th International Symposium on Software Reliability Engineering, 1999