Researchers
Vujošević-Janičić, Milena
Type
Date issued
Results 1-20 of 42
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2026 | Verifikacija softvera | Vujošević Janičić, Milena   | Text book | Mp. category will be shown later |
| 2025 | ML-Driven Prediction of Optimal Control Flow Graph Traversal Algorithm in Modern Applications | Cugurovic, Milan ; Ristovic, Ivan ; Stanojevic, Strahinja ; Spasic, Marko ; Marinkovic, Vesna ; Vujosevic-Janicic, Milena | Conference Paper | Mp. category will be shown later |
| 2025 | Proving correctness of the query containment solver SpeCS using SPARQL set semantics | Spasic, Mirko D ; Vujosevic-Janicic, Milena | Article | 21M21 |
| 2024 | A Novel Approach to Source Code Assembling in the Field of Algorithmic Complexity | Đ. Pešić; M. Vujošević Janičić ; M. Mišić ; J. Protić | Article | 22M22 |
| 2023 | Solving the SPARQL query containment problem with SpeCS | Spasić, Mirko ; Vujošević Janičić, Milena | Article | 22M22 |
| 2022 | Proving code equivalence in database-driven applications and SPARQL queries | Janičić, Vujošević Milena | Other | Mp. category will be shown later |
| 2022 | Soundness and Completeness of SPARQL Query Containment Solver SpeCS | Spasić, Mirko ; Janičić, Vujošević Milena | Other | Mp. category will be shown later |
| 2021 | Uloga, značaj i primene savremenih tehnika verifikacije softvera | Janičić, Vujošević Milena | Conference Paper | Mp. category will be shown later |
| 2021 | AUTOCHECK: A Tool For Checking Compliance With Automotive Coding Standards | Janičić, Vujošević Milena ; Plavsic, Ognjen; Mirko Brkusanin; Jovanovic, Petar | Conference Paper | Mp. category will be shown later |
| 2021 | Verification supported refactoring of embedded SQL | Spasić, Mirko ; Vujošević Janičić, Milena | Article | 22M22 |
| 2021 | Moderni pristupi za obezbedjivanje ispravnosti softvera | Vujošević Janičić, Milena M. | Conference Paper | Mp. category will be shown later |
| 2021 | Maintenance and maintainability within agile software development | Janičić, Vujošević Milena | Article | Mp. category will be shown later |
| 2020 | SpeCS - SPARQL Query Containment Solver | Spasić, Mirko ; Vujošević Janičić, Milena | Conference Paper | Mp. category will be shown later |
| 2020 | Concurrent Bug Finding Based on Bounded Model Checking | Vujošević Janičić, Milena | Article | 22M22 |
| 2020 | Regression Verification for Automated Evaluation of Students Programs | Vujošević Janičić, Milena ; Marić, Filip | Article | 22M22 |
| 2020 | Teaching graduate students how to review research articles and respond to reviewer comments | Banković, Milan ; Filipović, Vladimir ; Graovac, Jelena ; Hadži-Purić, Jelena; Hurson, Ali R.; Kartelj, Aleksandar ; Kovačević, Jovana ; Korolija, Nenad ; Kotlar, Miloš; Krdžavac, Nenad B. ;
Marić, Filip
; Malkov, Saša ; Milutinović, Veljko ; Mitić, Nenad ; Mišković, Stefan ; Nikolić, Mladen ; Pavlović Lažetić, Gordana ; Simić, Danijela ; Stojanović, Djurdjević Sana ; Vujičić Stanković, Staša ; Vujošević, Janičić Milena ; Živković, Miodrag; | Article | 21M21 |
| 2020 | Extending Clang for checking compliance with automotive coding standards | Vujošević Janičić, Milena M. | Conference Paper | Mp. category will be shown later |
| 2019 | Ispitivanje kvaliteta softverski generisanih segmenata u oblasti vremenske složenosti algoritama za automatizovano sastavljanje ispita | Mišić, Marko J. ; Jelica Protić ; Milena Vujošević Janičić ; Marko Mišić | Conference Paper | Mp. category will be shown later |
| 2019 | Programiranje 1 - Zbirka zadataka sa rešenjima (u programskom jeziku C) | Janičić, Vujošević Milena ; Kovačević, Jovana ; Simić, Danijela ; Zečević, Anđelka ; Kocić, Aleksandra | Text book | Mp. category will be shown later |
| 2019 | The learnability of the dimensional view of data and what to do with it | Vujošević, Dušan ; Kovačević, Ivana ; Vujošević Janičić, Milena | Article | 22M22 |