Marko Popovic

21 papers Journal 15Unranked 5
YearRankTypeTitle / 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
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 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
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 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
PSTM Transaction Scheduler Verification Based on CSP and Testing.
CoRR
Miroslav Popovic, Marko Popovic, Branislav Kordic, Huibiao Zhu
2022 J jnl
Atom counting method for determining elemental composition of viruses and its applications in biothermodynamics and environmental science.
Comput. Biol. Chem.
Marko Popovic
2021 — conf
PSTM Transaction Scheduler Verification Based on CSP and Testing.
ECBS
Miroslav Popovic, Marko Popovic, Branislav Kordic, Huibiao Zhu
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 — 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
2014 — ch.
Action Potential Initiation.
Encyclopedia of Computational Neuroscience
Dejan Zecevic, Marko Popovic
2014 J jnl
Extraction of Temporal Networks from Term Co-occurrences in Online Textual Sources.
CoRR
Marko Popovic, Hrvoje Stefancic, Borut Sluban, Petra Kralj Novak, Miha Grcar, Igor Mozetic, Michelangelo Puliga, Vinko Zlatic