Researchers

eNauka >  Researchers >  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ć  Article
21M21
2026Verifikacija softveraVujošević Janičić, Milena  Уџбеник
Мп категорија ће бити приказана накнадно.
2026Code Layout Optimization Guided by Temporal Profiling InformationSpasic, Marko  ; Joksimovic, Miloje  ; Hofer, Peter; Vujosevic-Janicic, Milena  Conference Paper
Mp. category will be shown later
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  Conference Paper
Mp. category will be shown later
2025Proving correctness of the query containment solver SpeCS using SPARQL set semanticsSpasic, Mirko D  ; Vujosevic-Janicic, Milena  Научни чланак
21M21 - Водећи међународни часопис категорије 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ć  Article
22M22
2023Solving the SPARQL query containment problem with SpeCSSpasić, Mirko  ; Vujošević Janičić, Milena  Научни чланак
22M22 - Међународни часопис категорије 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  Article
22M22
2021Uloga, značaj i primene savremenih tehnika verifikacije softveraJaničić, Vujošević Milena  Conference Paper
Mp. category will be shown later
2021Moderni pristupi za obezbedjivanje ispravnosti softveraVujošević Janičić, Milena M.  Conference Paper
Mp. category will be shown later
2021AUTOCHECK: A Tool For Checking Compliance With Automotive Coding StandardsJaničić, Vujošević Milena  ; Plavsic, Ognjen; Mirko Brkusanin; Jovanovic, PetarConference Paper
Mp. category will be shown later
2021Maintenance and maintainability within agile software developmentJaničić, Vujošević Milena  Научни чланак
Мп категорија ће бити приказана накнадно.
2020Concurrent Bug Finding Based on Bounded Model CheckingVujošević Janičić, Milena  Naučni članak
22M22 - Međunarodni časopis kategorije M22
2020Regression Verification for Automated Evaluation of Students ProgramsVujošević Janičić, Milena  ; Marić, Filip  Naučni članak
22M22 - Međunarodni časopis kategorije M22
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.  Conference Paper
Mp. category will be shown later
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 Text book
Mp. category will be shown later