Researchers

Results 1-20 of 50
Issue DateTitleAuthor(s)TypeМp-cat.
2025Correct orchestration of federated learning generic algorithms: Python translation to CSP and verification by PATDjukic, Miodrag M  ; Prokic, Ivan  ; Popovic, Miroslav  ; Ghilezan, Silvia  ; Popovic, Marko; Prokic, Simona  Article
22M22
2024A Federated Learning Algorithms Development ParadigmPopovic, Miroslav  ; Popovic, Marko; Kastelan, Ivan  ; Djukic, Miodrag  ; Basicevic, Ilija  Book parts
Mp. category will be shown later
2024PTB-FLA Development Paradigm Adaptation for ChatGPTPopovic, Miroslav  ; Popovic, Marko; Kastelan, Ivan  ; Djukic, Miodrag M.  ; Basicevic, Ilija  Article
22M22
2023Smart Multi-Agent Framework for Automated Audio TestingKovacevic, Jelena  ; Radujko, Uros; Djukic, Miodrag  ; Novkovic, Teodora DArticle
Mp. category will be shown later
2023Guest Editorial - Engineering of Computer Based SystemsDjukić, Miodrag  ; Popović, Miroslav  Editorial works
Mp. category will be shown later
2023A Simple Python Testbed for Federated Learning AlgorithmsPopović, Miroslav  ; Popović, Marko; Kaštelan, Ivan  ; Đukić, Miodrag  ; Ghilezan, Silvia  Conference Paper
Mp. category will be shown later
2021Formal Verification of Distributed Master-Slave Finite State MachinePopović, Marko; Marinković, Vladimir  ; Đukić, Miodrag  ; Popović, Miroslav  Conference Paper
Mp. category will be shown later
2020Fault Tolerant Distributed Python Software Transactional MemoryPopovic, Marko M; Basicevic, Ilija V  ; Djukic, Miodrag M  ; Popovic, Miroslav V  Article
22M22
2019Postupak prilagođavanja obrade multimedijalnog sadržaja u digitalnom prijemnikuVranić, Nikola; Kaštelan, Ivan  ; Đukić, Miodrag  ; Marinković, Vladimir  Patent
Mp. category will be shown later
2019Sistem softverskih komponenti za izolovano izvršavanje algoritma veštačke inteligencije na integrisanom kolu vozilaBjelica, Milan Z.  ; Marinković, Vladimir  ; Đukić, Miodrag  ; Kaštelan, Ivan  Technical reports
Mp. category will be shown later
2019Sistem i postupak za donošenje odluka u realnom vremenu tokom autonomne vožnjeBjelica, Milan Z.  ; Marinković, Vladimir  ; Đukić, Miodrag  ; Lukač, Željko  Technical reports
Mp. category will be shown later
2019Postupak i sistem za ubacivanje obaveštenja u tok reprodukcije multimedijalnog sadržaja u voziluBjelica, Milan Z.  ; Đukić, Miodrag  ; Subotić, Miloš  ; Lukić, Nemanja  Technical reports
Mp. category will be shown later
2018Napredna kontrola uređaja na osnovu logičkih zona u pametnim sistemimaTanasković, Aleksandar; Đukić, Miodrag  ; Milanović, Miloš; Pap, Ištvan  Conference Paper
Mp. category will be shown later
2018Implementation and Optimization of Gateway for Data Routing between CAN and FlexRay protocolsJanjic, Zlatko; Herceg, Marijan; Kaštelan, Ivan  ; Đukic, Miodrag  Conference Paper
Mp. category will be shown later
2018Sistem i postupak za isticanje delova ekrana instrument klastera vozilaBjelica, Milan Z.  ; Đukić, Miodrag  ; Pjevalica, Nebojša  ; Ačanski, Milan Technical reports
Mp. category will be shown later
2018An Automatic Instruction-Level Parallelization of Machine CodeMarinković, Vladimir  ; POPOVIC, Miroslav  ; DJUKIC, Miodrag  Article
23M23
2017Metod za adaptivni prenos sa kamera u voziluBjelica, Milan Z.  ; Marinković, V.; Đukić, Miodrag M.  ; Kaštelan, Ivan A.  Patent
Mp. category will be shown later
2017Implementation of Invariant Code Motion Optimization in an Embedded Processor Oriented Compiler InfrastructurePovažan, Ivan Đ. ; Krnjetin, Marko S. ; Đukić, Miodrag  ; Popović, Miroslav V  Conference Paper
Mp. category will be shown later
2017Postupak prilagođavanja obrade multimedijalnog sadržaja u digitalnom prijemnikuVranić, Nikola ; Kaštelan, Ivan  ; Đukić, Miodrag  ; Marinković, Vladimir  Patent
Mp. category will be shown later
2016Implementation of Induction Variable Strength Reduction Optimization in an Embedded Processor Oriented Compiler InfrastructurePovažan, Ivan ; Krnjetin, Marko ; Đukić, Miodrag  ; Kovačević, Jelena  Conference Paper
Mp. category will be shown later