18 citations · 41 across the 10 of their papers we have counts for
4 papers · 2 filters
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…