| Author(s) | Title | Issue Date | Appears in | Rank |
| Kordić, Branislav; Popović, Miroslav; Ghilezan, Silvia ; Bašičević, Ilija | An approach to formal verification of python software transactional memory | 31-Aug-2017 | ACM International Conference Proceeding Series; 5th European Conference on the Engineering of Computer-Based Systems, ECBS 2017; Larnaca; Cyprus; 31 August 2017 through 1 September 2017; Part F130524 | |
| 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 | ECBS 2023 - 8th International Conference on the Engineering of Computer Based Systems, Västerås, Sweden | 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 |
| Kordić, Branislav; Popović, Miroslav; Ghilezan, Silvia | Formal verification of python software transactional memory based on timed automata | 1-Jan-2019 | Acta Polytechnica Hungarica; 16(7); 197-216 | M22 |
| 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 | |
| Pap, Ištvan; Kukolj, Dragan; Marčeta, Zoran; Durković, Vladimir; Janev, Marko ; Popović, Miroslav; Teslić, Nikola | Remotely controlled semi-autonomous robot with multimedia abilities | 1-Jan-2005 | Proceedings of the 5th International Conference on Control and Automation, ICCA'05; 5th International Conference on Control and Automation, ICCA'05; Budapest; Hungary; 27 June 2005 through 29 June 2005; 863-868 | |
| 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 |
