18 citations · 41 across the 10 of their papers we have counts for
10 papers
Formal Verification of a Generic Algorithm for TDM Communication Over Inter Satellite Links
Miroslav Popovic, Marko Popovic, Pavle Vasiljevic +1
The Python Testbed for Federated Learning Algorithms is a simple FL framework targeting edge systems, which provides the three generic algorithms: the centralized federated learnin…
Generic Algorithm for Universal TDM Communication Over Inter Satellite Links
Miroslav Popovic, Marko Popovic, Pavle Vasiljevic +1
The original Python Testbed for Federated Learning Algorithms is a light FL framework, which provides the three generic algorithms: the centralized federated learning, the decentra…
Translating Federated Learning Algorithms in Python into CSP Processes Using ChatGPT
Miroslav Popovic, Marko Popovic, Miodrag Djukic +1
The Python Testbed for Federated Learning Algorithms is a simple Python FL framework that is easy to use by ML&AI developers who do not need to be professional programmers and is a…
Towards Formal Verification of Federated Learning Orchestration Protocols on Satellites
Miroslav Popovic, Marko Popovic, Miodrag Djukic +1
Python Testbed for Federated Learning Algorithms (PTB-FLA) is a simple FL framework targeting smart Internet of Things in edge systems that provides both generic centralized and de…
MicroPython Testbed for Federated Learning Algorithms
Miroslav Popovic, Marko Popovic, Ivan Kastelan +2
Recently, Python Testbed for Federated Learning Algorithms emerged as a low code and generative large language models amenable framework for developing decentralized and distribute…
Developing Elementary Federated Learning Algorithms Leveraging the ChatGPT
Miroslav Popovic, Marko Popovic, Ivan Kastelan +2
The Python Testbed for Federated Learning Algorithms is a simple Python FL framework easy to use by ML&AI developers who do not need to be professional programmers, and this paper…
A Federated Learning Algorithms Development Paradigm
Miroslav Popovic, Marko Popovic, Ivan Kastelan +2
At present many distributed and decentralized frameworks for federated learning algorithms are already available. However, development of such a framework targeting smart Internet…
Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP
Ivan Prokić, Silvia Ghilezan, Simona Kašterović +3
Federated learning (FL) is a machine learning setting where clients keep the training data decentralised and collaboratively train a model either under the coordination of a centra…
PSTM Transaction Scheduler Verification Based on CSP and Testing
Miroslav Popovic, Marko Popovic, Branislav Kordic +1
Many online transaction scheduler architectures and algorithms for various software transactional memories have been designed in order to maintain good system performance even for…
A Simple Python Testbed for Federated Learning Algorithms
Miroslav Popovic, Marko Popovic, Ivan Kastelan +2
Nowadays many researchers are developing various distributed and decentralized frameworks for federated learning algorithms. However, development of such a framework targeting smar…