Browsing by Author Popović, Miroslav


Or, select a letter below to browse by last name
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 2 to 7 of 7 < previous 
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 CSP2023ECBS 2023 - 8th International Conference on the Engineering of Computer Based Systems, Västerås, SwedenM33
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
Kordić, Branislav; Popović, Miroslav; Ghilezan, Silvia Formal verification of python software transactional memory based on timed automata1-Jan-2019Acta Polytechnica Hungarica; 16(7); 197-216M22
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
Pap, Ištvan; Kukolj, Dragan; Marčeta, Zoran; Durković, Vladimir; Janev, Marko ; Popović, Miroslav; Teslić, NikolaRemotely controlled semi-autonomous robot with multimedia abilities1-Jan-2005Proceedings 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 Algorithms20232023 IEEE Zooming Innovation in Consumer Technologies Conference, ZINC 2023, Novi Sad, Serbia; 148-153M33