Истраживачи

eNauka >  Researchers >  Vujošević-Janičić, Milena

Vujošević-Janičić, Milena


Rezultati 1-20 od 44
GodinaNaslovAutor(i)Tip rezultataMp-kat.
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  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  Конференцијски рад
Мп категорија ће бити приказана накнадно.
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ć  Научни чланак
22M22 - Међународни часопис категорије M22
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  Остало
Мп категорија ће бити приказана накнадно.
2022Soundness and Completeness of SPARQL Query Containment Solver SpeCSSpasić, Mirko  ; Janičić, Vujošević Milena  Остало
Мп категорија ће бити приказана накнадно.
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  Article
Mp. category will be shown later
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  Научни чланак
22M22 - Међународни часопис категорије M22
2020SpeCS - SPARQL Query Containment SolverSpasić, Mirko  ; Vujošević Janičić, Milena  Конференцијски рад
Мп категорија ће бити приказана накнадно.
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;
Article
21M21
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 Уџбеник
Мп категорија ће бити приказана накнадно.