Researchers
Popović, Miroslav
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2011 | An Approach to Formal Verification of Embedded Software | Bašičević, Ilija   ; Popović, Miroslav | Conference Paper | Mp. category will be shown later |
| 2011 | Системска програмска подршка у реалном времену - 2 - Оперативни системи за рад у реалном времену | Kovačević, Vladimir; Popović, Miroslav | Text book | Mp. category will be shown later |
| 2011 | Formal Verification of Distributed Transaction Management in a SOA Based Control System | Ivana Popović; Vladislav Vrtunski; Popović, Miroslav | Conference Paper | Mp. category will be shown later |
| 2011 | RAZMENA PODATAKA U ELEKTROENERGETSKIM SISTEMIMA ZASNOVANA NA CIM MODELU I SERVISNO ORIJENTISANOJ ARHITEKTURI | Nenad Mučalov; Popović, Miroslav | Conference Paper | Mp. category will be shown later |
| 2011 | Sistem za govornu komunikaciju povezivanjem javne telefonske mreze (PSTN) ili telefonskog aparata sa Internetom (VoIP) | Bašičević, Ilija ; Drašković, Svetozar ; POPOVIĆ, MIROSLAV ; Spasojević, Danijel ; Bjelica, Milan ; Pečkai-Kovač, Robert ; SIMIĆ, DRAGAN ; Samardžija, Dragan ; Nikola Kuzmanović; Novković, Teodora | Technical reports | Mp. category will be shown later |
| 2011 | An Approach to Parallelization of Sequential C Code | Nikola Vranić; Marinković, Vladimir ; Đukić, Miodrag ; Popović, Miroslav | Conference Paper | Mp. category will be shown later |
| 2011 | JEDNO REŠENJE DISTRIBUIRANE TOPOLOŠKE ANALIZE ZA RAD U REALNOM - VREMENU | POPOVIĆ, NEMANjA ; POPOVIĆ, MIROSLAV | Article | Mp. category will be shown later |
| 2011 | Jedno rešenje komunikacione sprege i okvira za distribuiranu obradu elektroenergetskih funkcija | Nikola Radin; Popović, Miroslav | Conference Paper | Mp. category will be shown later |
| 2011 | An Optimal Initial Partitioning of Large Data Model in Utility Management Systems | Čapko, Darko ; Erdeljan, Aleksandar ; Popović, Miroslav ; Švenda, Goran | Article | 23M23 |
| 2011 | Formal verification of embedded software based on software compliance properties and explicit use of time | Bašičević, Ilija ; Popović, Miroslav | Article | Mp. category will be shown later |
| 2011 | EPS Elektroprivreda | ČOKIĆ, MITA ; POPOVIĆ, MIROSLAV ; POPOVIĆ, DRAGAN | Article | 52M52 |
| 2011 | Izrada okruženja za testiranje paralelizovanog programa | Popović, Miroslav ; Lukić, Nemanja ; Bašičević, Ilija ; Đukić, Miodrag ; Nenad Četić; Marinković, Vladimir ; Vladimir Jovanović; Pavlović, Roman | Technical reports | Mp. category will be shown later |
| 2011 | Системска програмска подршка у реалном времену - 1 - Програмски алати и паралелно програмирање | Kovačević, Vladimir; Popović, Miroslav | Text book | Mp. category will be shown later |
| 2011 | Prototip infrastrukture za verifikaciju rešenja | Bašičević, Ilija ; POPOVIĆ, MIROSLAV ; ATLAGIĆ, BRANISLAV ; Jovanović, Marija ; Nenad Četić; Zejak, Aleksa ; Snežana Crnogorac-Jovanović; Pavle Kuzevski | Technical reports | Mp. category will be shown later |
| 2011 | Izrada alfa verzije paralelizovanog programa za procenu kvaliteta slike | Anđelković, Aleksandar ; Atlagić, Branislav ; Bašičević, Ilija ; Kovačević, Jelena ; Popović, Miroslav ; Lukić, Nemanja ; Radovan Obradović; Milenko Herget | Technical reports | Mp. category will be shown later |
| 2011 | Operational Profiles for Statistical Testing of Distribution Management System | Bašičević, Ilija ; Ilija Kuprešanin; POPOVIĆ, MIROSLAV | Article | Mp. category will be shown later |
| 2011 | OTKRIVANJE IDENTITETA KORISNIKA INTERNET - USLUGA POMOCU DRUSTVENIH MREZA | Jovanović, Nemanja; Považan, Ivan ; POPOVIĆ, MIROSLAV ; Bašičević, Ilija | Conference Paper | Mp. category will be shown later |
| 2010 | Use of Finite State Machine Based Framework in Implementation of Communication Protocols – A Case Study | Bašičević, Ilija ; Popović, Miroslav ; Velikić, Ivan | Conference Paper | Mp. category will be shown later |
| 2010 | An Optimal Relationship-Based Partitioning of Large Datasets | Čapko, Darko ; Erdeljan, Aleksandar ; Popović, Miroslav ; Švenda, Goran | Conference Paper | Mp. category will be shown later |
| 2010 | Softver za brzu pretragu podataka na mobilnim telefonima | Kovačević, Vladimir ; Jovanović Petar ; Marijan Dušica; Popović Miroslav ; Simić Dragan ; Pečkai-Kovač Robert ; Samardžija Dragan ; Bjelica Milan ; Novković Teodora ; Kuzmanović Nikola | Technical reports | Mp. category will be shown later |