Истраживачи

eNauka >  Istraživači >  Vujošević-Janičić, Milena

Vujošević-Janičić, Milena


Резултати 1-20 од 44
ГодинаНасловАутор(и)Тип резултатаМп-кат.
2026Assessing the effectiveness of large language models for generating and estimating time complexity of code segmentsĐ. Pešić; M. Vujošević Janičić  ; M. Mišić  ; J. Protić  Naučni članak
21M21 - Vodeći međunarodni časopis kategorije M21
2026Verifikacija softveraVujošević Janičić, Milena  Udžbenik
Mp kategorija će biti prikazana naknadno.
2026Code Layout Optimization Guided by Temporal Profiling InformationSpasic, Marko  ; Joksimovic, Miloje  ; Hofer, Peter; Vujosevic-Janicic, Milena  Konferencijski rad
Mp kategorija će biti prikazana naknadno.
2025ML-Driven Prediction of Optimal Control Flow Graph Traversal Algorithm in Modern ApplicationsCugurovic, Milan  ; Ristovic, Ivan  ; Stanojevic, Strahinja  ; Spasic, Marko  ; Marinkovic, Vesna  ; Vujosevic-Janicic, Milena  Konferencijski rad
Mp kategorija će biti prikazana naknadno.
2025Proving correctness of the query containment solver SpeCS using SPARQL set semanticsSpasic, Mirko D  ; Vujosevic-Janicic, Milena  Naučni članak
21M21 - Vodeći međunarodni časopis kategorije M21
2024A Novel Approach to Source Code Assembling in the Field of Algorithmic ComplexityĐ. Pešić; M. Vujošević Janičić  ; M. Mišić  ; J. Protić  Научни чланак
22M22 - Међународни часопис категорије M22
2023Solving the SPARQL query containment problem with SpeCSSpasić, Mirko  ; Vujošević Janičić, Milena  Naučni članak
22M22 - Međunarodni časopis kategorije M22
2022Proving code equivalence in database-driven applications and SPARQL queriesJaničić, Vujošević Milena  Other
Mp. category will be shown later
2022Soundness and Completeness of SPARQL Query Containment Solver SpeCSSpasić, Mirko  ; Janičić, Vujošević Milena  Other
Mp. category will be shown later
2021Verification supported refactoring of embedded SQLSpasić, Mirko  ; Vujošević Janičić, Milena  Научни чланак
22M22 - Међународни часопис категорије M22
2021Uloga, značaj i primene savremenih tehnika verifikacije softveraJaničić, Vujošević Milena  Konferencijski rad
Mp kategorija će biti prikazana naknadno.
2021Moderni pristupi za obezbedjivanje ispravnosti softveraVujošević Janičić, Milena M.  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2021AUTOCHECK: A Tool For Checking Compliance With Automotive Coding StandardsJaničić, Vujošević Milena  ; Plavsic, Ognjen; Mirko Brkusanin; Jovanovic, PetarKonferencijski rad
Mp kategorija će biti prikazana naknadno.
2021Maintenance and maintainability within agile software developmentJaničić, Vujošević Milena  Naučni članak
Mp kategorija će biti prikazana naknadno.
2020Concurrent Bug Finding Based on Bounded Model CheckingVujošević Janičić, Milena  Article
22M22
2020Regression Verification for Automated Evaluation of Students ProgramsVujošević Janičić, Milena  ; Marić, Filip  Article
22M22
2020SpeCS - SPARQL Query Containment SolverSpasić, Mirko  ; Vujošević Janičić, Milena  Konferencijski rad
Mp kategorija će biti prikazana naknadno.
2020Extending Clang for checking compliance with automotive coding standardsVujošević Janičić, Milena M.  Konferencijski rad
Mp kategorija će biti prikazana naknadno.
2020Teaching graduate students how to review research articles and respond to reviewer commentsBanković, 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;
Naučni članak
21M21 - Vodeći međunarodni časopis kategorije M21
2019Programiranje 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 Уџбеник
Мп категорија ће бити приказана накнадно.