eNauka - pregled
Pregled prema Autor Vujošević-Janičić, Milena
Prikaz rezultata 1 do 20 od 45
sledeće >
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2018 | A calculus for a LLVM-based software verification tool LAV | Vujošević Janičić, Milena M.   | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 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ć | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2018 | Adding support for global instruction selection pass for MIPS32 architecture in LLVM | Petar Avramović; Vujošević Janičić, Milena M. ; Gordana Cmiljanović; ANTIĆ, MARIJA D. | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2026 | Assessing 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 |
| 2021 | AUTOCHECK: A Tool For Checking Compliance With Automotive Coding Standards | Janičić, Vujošević Milena ; Plavsic, Ognjen; Mirko Brkusanin; Jovanovic, Petar | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2013 | Automatsko generisanje i proveravanje uslova ispravnosti programa | Vujošević-Janičić, Milena | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2008 | Automatsko otkrivanje prekoračenja bafera u programskom jeziku C : magistarska teza | Janičić, Vujošević Milena | Ostalo | Mp kategorija će biti prikazana naknadno. |
| 2026 | Code Layout Optimization Guided by Temporal Profiling Information | Spasic, Marko ; Joksimovic, Miloje ; Hofer, Peter; Vujosevic-Janicic, Milena | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2020 | Concurrent Bug Finding Based on Bounded Model Checking | Vujošević Janičić, Milena | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2012 | Development and Evaluation of LAV: An SMT-Based Error Finding Platform | Vujošević Janičić, Milena ; Kuncak, Viktor | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2020 | Extending Clang for checking compliance with automotive coding standards | Vujošević Janičić, Milena M. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2018 | First steps towards proving functional equivalence of embedded SQL | Mirko Spasić ; 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ć | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2021 | Maintenance and maintainability within agile software development | Janičić, Vujošević Milena | Article | 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 |
| 2017 | Modelling Program Behaviour within Software Verification Tool LAV | Vujošević Janičić, Milena M. | Conference Paper | Mp. category will be shown later |
| 2021 | Моделовање упитних језика са применама у рефакторисању и оптимизацији кода | Spasić, Mirko | Doctoral theses | 70M70 |
| 2021 | Moderni pristupi za obezbedjivanje ispravnosti softvera | Vujošević Janičić, Milena M. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2017 | Parallelization of Software Verification Tool LAV | Živković, Branislava B. ; Vujošević Janičić, Milena M. | Conference Paper | Mp. category will be shown later |
| 2006 | Phase Transition In Random SAT Problems | Vujoševic-Janicic, Milena ; Graovac, Jelena | Conference Paper | Mp. category will be shown later |