Browsing by Author Popović, Marko

Showing results 1 to 4 of 4
Author(s)TitleIssue DateAppears inRank
Prokić, Ivan; Ghilezan, Silvia ; Kašterović, Simona; Popović, Miroslav; Popović, Marko; Kaštelan, IvanCorrect orchestration of Federated Learning generic algorithms: formalisation and verification in CSP2023Engineering of Computer-Based Systems; ECBS 2023 - 8th International Conference on the Engineering of Computer Based Systems, Västerås, Sweden; 14390 LNCS; 274-288M33
Popović, Marko; Popović, Miroslav; Ghilezan, Silvia ; Kordić, BranislavFormal Verification of Local and Distributed Python Software Transactional Memories14-Oct-2019Revue roumaine des sciences techniques Série Électrotechnique et Énergétique; 64(4); 423-428M23
Popović, Miroslav; Popović, Marko; Ghilezan, Silvia ; Kordić, BranislavFormal verification of python software transactional memory serializability based on the push/pull semantic model2-Sep-2019ACM International Conference Proceeding Series; 6th Conference on the Engineering of Computer-Based Systems, ECBS 2019; Bucharest; Romania; 2 September 2019 through 3 September 2019
Popović, Miroslav; Popović, Marko; Kaštelan, Ivan; Đukić, Miodrag; Ghilezan, Silvia A Simple Python Testbed for Federated Learning Algorithms20232023 IEEE Zooming Innovation in Consumer Technologies Conference, ZINC 2023, Novi Sad, Serbia; 148-153M33