Browsing eNauka
Browsing by Author Vujošević-Janičić, Milena
Showing results 1 to 20 of 44
next >
| Issue Date | Title | Author(s) | Type | М-cat. |
|---|---|---|---|---|
| 2018 | A calculus for a LLVM-based software verification tool LAV (✓) | Vujošević Janičić, Milena M.   | Conference Paper | Mp. category will be shown later |
| 2012 | A comparison of the usability of performing ad hoc querying on dimensionally modeled data versus operationally modeled data (✓) | Vujošević, Dušan ; Kovačević, Ivana ; Suknović, Milija; Lalić, Nenad | Article | 21aM21a |
| 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 | 23M23 |
| 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. | 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 |
| 2013 | Automatsko generisanje i proveravanje uslova ispravnosti programa (✓) | Vujošević-Janičić, Milena | Doctoral theses | 70M70 |
| 2008 | Automatsko otkrivanje prekoračenja bafera u programskom jeziku C : magistarska teza (✓) | Janičić, Vujošević Milena | Other | Mp. category will be shown later |
| 2020 | Concurrent Bug Finding Based on Bounded Model Checking (✓) | Vujošević Janičić, Milena | Article | 23M23 |
| 2012 | Development and Evaluation of LAV: An SMT-Based Error Finding Platform (✓) | Vujošević Janičić, Milena ; Kuncak, Viktor | Article | Mp. category will be shown later |
| 2018 | Evaluating the scientific performance of institutions within the university - an example from the University of Belgrade leading institutions (✓) | Pilcevic, Ivan; Jeremić, Veljko ; Vujosevic, Dusan | Article | 23M23 |
| 2020 | Extending Clang for checking compliance with automotive coding standards (✓) | Vujošević Janičić, Milena M. | Conference Paper | Mp. category will be shown later |
| 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ć | 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 |
| 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. | Conference Paper | Mp. category will be shown later |
| 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 |
| 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 |