еНаука - преглед
Преглед према Аутор Vujošević-Janičić, Milena
Приказ резултата 1 до 20 од 43
следеће >
Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
---|---|---|---|---|
2018 | A calculus for a LLVM-based software verification tool LAV (✓) | Vujošević Janičić, Milena M. ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2012 | A comparison of the usability of performing ad hoc querying on dimensionally modeled data versus operationally modeled data (✓) | Vujošević, Dušan ![]() ![]() ![]() ![]() | Научни чланак | 21aM21a - Рад у међ. часопису изузетних вредности |
2018 | Adding support for global instruction selection pass for MIPS32 architecture in LLVM (✓) | Petar Avramović; Vujošević Janičić, Milena M. ![]() ![]() ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2021 | AUTOCHECK: A Tool For Checking Compliance With Automotive Coding Standards (✓) | Janičić, Vujošević Milena ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2013 | Automatsko generisanje i proveravanje uslova ispravnosti programa (✓) | Vujošević-Janičić, Milena ![]() ![]() | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
2008 | Automatsko otkrivanje prekoračenja bafera u programskom jeziku C : magistarska teza (✓) | Janičić, Vujošević Milena ![]() ![]() | Остало | Мп категорија ће бити приказана накнадно. |
2020 | Concurrent Bug Finding Based on Bounded Model Checking (✓) | Vujošević Janičić, Milena ![]() ![]() | Научни чланак | 23M23 - Рад у међ. часопису |
2012 | Development and Evaluation of LAV: An SMT-Based Error Finding Platform (✓) | Vujošević Janičić, Milena ![]() ![]() | Научни чланак | Мп категорија ће бити приказана накнадно. |
2018 | Evaluating the scientific performance of institutions within the university - an example from the University of Belgrade leading institutions (✓) | Pilcevic, Ivan; Jeremić, Veljko ![]() ![]() ![]() ![]() | Научни чланак | 23M23 - Рад у међ. часопису |
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ć ![]() ![]() ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2019 | Ispitivanje kvaliteta softverski generisanih segmenata u oblasti vremenske složenosti algoritama za automatizovano sastavljanje ispita (✓) | Mišić, Marko J. ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2021 | Maintenance and maintainability within agile software development (✓) | Janičić, Vujošević Milena ![]() ![]() | Научни чланак | Мп категорија ће бити приказана накнадно. |
2017 | Modelling Program Behaviour within Software Verification Tool LAV (✓) | Vujošević Janičić, Milena M. ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2021 | Моделовање упитних језика са применама у рефакторисању и оптимизацији кода (✓) | Spasić, Mirko ![]() ![]() | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
2021 | Moderni pristupi za obezbedjivanje ispravnosti softvera (✓) | Vujošević Janičić, Milena M. ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2017 | Parallelization of Software Verification Tool LAV (✓) | Živković, Branislava B. ![]() ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2006 | Phase Transition In Random SAT Problems (✓) | Vujoševic-Janicic, Milena ![]() ![]() ![]() ![]() | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2019 | Programiranje 1 - Zbirka zadataka sa rešenjima (u programskom jeziku C) (✓) | Janičić, Vujošević Milena ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Уџбеник | Мп категорија ће бити приказана накнадно. |
2016 | Programiranje 2 - Zbirka zadataka sa rešenjima (u programskom jeziku C) (✓) | Janičić, Vujošević Milena ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | Уџбеник | Мп категорија ће бити приказана накнадно. |