Browsing by Author
Popović, Marko
Showing results 1 to 4 of 4
| Author(s) | Title | Issue Date | Appears in | Rank |
| Prokić, Ivan; Ghilezan, Silvia ; Kašterović, Simona; Popović, Miroslav; Popović, Marko; Kaštelan, Ivan | Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP | 2023 | Engineering of Computer-Based Systems; ECBS 2023 - 8th International Conference on the Engineering of Computer Based Systems, Västerås, Sweden; 14390 LNCS; 274-288 | M33 |
| Popović, Marko; Popović, Miroslav; Ghilezan, Silvia ; Kordić, Branislav | Formal Verification of Local and Distributed Python Software Transactional Memories | 14-Oct-2019 | Revue roumaine des sciences techniques Série Électrotechnique et Énergétique; 64(4); 423-428 | M23 |
| Popović, Miroslav; Popović, Marko; Ghilezan, Silvia ; Kordić, Branislav | Formal verification of python software transactional memory serializability based on the push/pull semantic model | 2-Sep-2019 | ACM 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 Algorithms | 2023 | 2023 IEEE Zooming Innovation in Consumer Technologies Conference, ZINC 2023, Novi Sad, Serbia; 148-153 | M33 |
